The top documents tagged [pointer analysis]

DynaMine: Finding Common Error Patterns by Mining Software Revision Histories Benjamin Livshits Stanford University Thomas Zimmermann Saarland University
Documents DynaMine: Finding Common Error Patterns by Mining Software Revision Histories Benjamin Livshits Stanford University Thomas Zimmermann Saarland University

217 views

PLDI WALA Tutorial
Technology PLDI WALA Tutorial

148 views

Thesis: A Static Slicing Tool for sequential Java programs
Technology Thesis: A Static Slicing Tool for sequential Java programs

1.895 views

Carnegie Mellon Lecture 7 Instruction Scheduling I. Basic Block Scheduling II.Global Scheduling (for Non-Numeric Code) Reading: Chapter 10.3 – 10.4 M
Documents Carnegie Mellon Lecture 7 Instruction Scheduling I. Basic Block Scheduling II.Global Scheduling (for Non-Numeric Code) Reading: Chapter 10.3 – 10.4 M

222 views

Static Analysis of Embedded C Code John Regehr University of Utah Joint work with Nathan Cooprider
Documents Static Analysis of Embedded C Code John Regehr University of Utah Joint work with Nathan Cooprider

215 views

Recap from last time Saw several examples of optimizations –Constant folding –Constant Prop –Copy Prop –Common Sub-expression Elim –Partial Redundancy
Documents Recap from last time Saw several examples of optimizations –Constant folding –Constant Prop –Copy Prop –Common Sub-expression Elim –Partial Redundancy

216 views

Administrative info Subscribe to the class mailing list –instructions are on the class web page, which is accessible from my home page, which is accessible
Documents Administrative info Subscribe to the class mailing list –instructions are on the class web page, which is accessible from my home page, which is accessible

215 views

Static Analysis of Embedded C John Regehr University of Utah Joint work with Nathan Cooprider
Documents Static Analysis of Embedded C John Regehr University of Utah Joint work with Nathan Cooprider

221 views

Another example p := &x; *p := 5 y := x + 1;. Another example p := &x; *p := 5 y := x + 1; x := 5; *p := 3 y := x + 1; ???
Documents Another example p := &x; *p := 5 y := x + 1;. Another example p := &x; *p := 5 y := x + 1; x := 5; *p := 3 y := x + 1; ???

250 views

Presenter: Suzanna Schmeelk Course: E6998 Date: December 1, 2014 Instructor: Professor Alfred Aho STATIC ANALYSIS TECHNIQUES USED IN ANDROID APPLICATION
Documents Presenter: Suzanna Schmeelk Course: E6998 Date: December 1, 2014 Instructor: Professor Alfred Aho STATIC ANALYSIS TECHNIQUES USED IN ANDROID APPLICATION

219 views

Making Object-Based STM Practical in Unmanaged Environments Torvald Riegel and Diogo Becker de Brum ( Dresden University of Technology, Germany)
Documents Making Object-Based STM Practical in Unmanaged Environments Torvald Riegel and Diogo Becker de Brum ( Dresden University of Technology, Germany)

218 views

Combined Static and Dynamic Mutability Analysis
Documents Combined Static and Dynamic Mutability Analysis

60 views