Sökning: "Points-to analysis"

Visar resultat 1 - 5 av 153 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 :NATURAL SCIENCES; NATURVETENSKAP; 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

  2. 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

  3. 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 :NATURAL SCIENCES; NATURVETENSKAP; 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

  4. 4. Fast and Precise Points-to Analysis

    Författare :Jonas Lundberg; Welf Löwe; Ondrej Lhoták; Linnéuniversitetet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; 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

  5. 5. NMR studies of metabolites and xenobiotics : From time-points to long-term metabolic regulation

    Författare :Ina Ehlers; Jürgen Schleucher; Farquhar Graham; Umeå universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; NMR spectroscopy; isotopomer; phospholipid; persistent organic pollutant; CO2 fertilization; photorespiration;

    Sammanfattning : Chemical species carry information in two dimensions, in their concentrations and their isotopic signatures. The concentrations of metabolites or synthetic compounds describe the composition of a chemical or biological system, while isotopic signatures describe processes in the system by their reaction pathways, regulation, and responses to external stimuli. LÄS MER