Search for dissertations about: "Points-to Analysis"
Showing result 1 - 5 of 124 swedish dissertations containing the words Points-to Analysis.
-
1. Benchmarking Points-to Analysis
Abstract : Points-to analysis is a static program analysis that, simply put, computes which objects created at certain points of a given program might show up at which other points of the same program. In particular, it computes possible targets of a call and possible objects referenced by a field. READ MORE
-
2. Towards a Gold Standard for Points-to Analysis
Abstract : Points-to analysis is a static program analysis that computes reference informationfor a given input program. It serves as input to many client applicationsin optimizing compilers and software engineering tools. Unfortunately, the Gold Standard – i.e. READ MORE
-
3. Towards a Framework for Static Analysis Based on Points-to Information
Abstract : Static analysis on source code or binary code retrieves information about a software program. In object-oriented languages, static points-to analysis retrieves information about objects and how they refer to each other. READ MORE
-
4. Fast and Precise Points-to Analysis
Abstract : Many software engineering applications require points-to analysis. These client applications range from optimizing compilers to integrated program development environments (IDEs) and from testing environments to reverse-engineering tools. READ MORE
-
5. Geometric Discretization in Shape analysis
Abstract : Discretizations in shape analysis is the main theme of this licentiate thesis, which comprises two papers. The first paper considers the problem of finding a parameterized time-dependent vector field that warps an initial set of points to a target set of points. READ MORE