Sökning: "Tobias Gutzmann"

Hittade 2 avhandlingar innehållade orden Tobias Gutzmann.

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