Search for dissertations about: "Points-to Analysis"

Showing result 1 - 5 of 124 swedish dissertations containing the words Points-to Analysis.

  2. 1. Benchmarking Points-to Analysis

    Author : Tobias Gutzmann; Welf Löwe; Jonas Lundberg; Sibylle Schupp; Linnéuniversitetet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Points-to Analysis; Dataflow Analysis; Static Analysis; Dynamic Analysis; Gold Standard; Software Technology; Programvaruteknik;

    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

  4. 2. Towards a Gold Standard for Points-to Analysis

    Author : Tobias Gutzmann; Welf Löwe; Jonas Lundberg; Jens Krinke; Linnéuniversitetet; []
    Keywords : Points-to Analysis; Dataflow Analysis; Static Analysis; Dynamic Analysis; Gold Standard; Data- och informationsvetenskap; Computer and Information Sciences Computer Science;

    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

  5. 3. Towards a Framework for Static Analysis Based on Points-to Information

    Author : Marcus Edvinsson; Welf Löwe; Joakim Nivre; Christoph Kessler; Växjö universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Static analysis; Points-to analysis; Framework; Computer science; Datalogi; Computer and Information Sciences Computer Science; Data- och informationsvetenskap;

    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

  6. 4. Fast and Precise Points-to Analysis

    Author : Jonas Lundberg; Welf Löwe; Ondrej Lhoták; Linnéuniversitetet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap;

    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

  7. 5. Geometric Discretization in Shape analysis

    Author : Erik Jansson; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; compressible fluids; diffeomorphisms; residual neural networks; quantization; machine learning; 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