Sökning: "static dynamic program analysis"

Visar resultat 1 - 5 av 14 avhandlingar innehållade orden static dynamic program 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. Program Analysis for Performance and Reliability

    Författare :Jacob Lidman; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; static dynamic program analysis; abstract interpretation; performance; reliability;

    Sammanfattning : The increased demand for computing power has lead designers to put an ever increasing number of cores on processor dies. This advance has been made possible through miniaturization and effectivization of the underlying semi-conductor technology. As a by-product, however, the resulting computer systems are more vulnerable to interference. LÄS MER

  5. 4. Debloating Java Dependencies

    Författare :César Soto Valero; Benoit Baudry; Martin Monperrus; Diomidis Spinellis; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software debloating; software dependencies; Java bytecode; package manager; static program analysis; dynamic program analysis; Datalogi; Computer Science;

    Sammanfattning : Software systems have a natural tendency to grow in size and complexity. A part of this growth comes with the addition of new features or bug fixes, while another part is due to useless code that accumulates over time. LÄS MER

  7. 5. Scalable Dynamic Analysis of Binary Code

    Författare :Ulf Kargén; Nahid Shahmehri; Patrick Lambrix; Uwe Assmann; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : In recent years, binary code analysis, i.e., applying program analysis directly at the machine code level, has become an increasingly important topic of study. This is driven to a large extent by the information security community, where security auditing of closed-source software and analysis of malware are important applications. LÄS MER