Sökning: "Points-to Analysis"

Visar resultat 1 - 5 av 169 avhandlingar innehållade orden Points-to Analysis.

1. 1. Benchmarking Points-to Analysis

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

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER

5. 4. Fast and Precise Points-to Analysis

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

   Sammanfattning : 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. LÄS MER

7. 5. Geometric Discretization in Shape analysis

   Författare :Erik Jansson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; compressible fluids; diffeomorphisms; residual neural networks; quantization; machine learning; Shape analysis;

   Sammanfattning : 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. LÄS MER