Search for dissertations about: "Static Analysis"

Showing result 1 - 5 of 476 swedish dissertations containing the words Static Analysis.

  1. 1. Benchmarking Points-to Analysis

    Author : Tobias Gutzmann; Welf Löwe; Jonas Lundberg; Sibylle Schupp; Linnéuniversitetet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; 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

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

  3. 3. Automated static code analysis : A tool for early vulnerability detection

    Author : Dejan Baca; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Software vulnerabilities are added into programs during its development. Architectural flaws are introduced during planning and design, while implementation faults are created during coding. Penetration testing is often used to detect these vulnerabilities. READ MORE

  4. 4. Parametric WCET Analysis

    Author : Stefan Bygde; Björn Lisper; Raimund Kirner; Mälardalens högskola; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; WCET Analysis; parametric WCET Analysis; WCET; Timing; Computer Science; datavetenskap;

    Abstract : In a real-time system, it is crucial to ensure that all tasks of the system hold their deadlines. A missed deadline in a real-time system means that the system has not been able to function correctly. If the system is safety critical, this could potentially lead to disaster. READ MORE

  5. 5. Pain analysis : A study in patients with chronic low back pain or fibromyalgia

    Author : John Sörensen; Alf Udén; Linköpings universitet; []
    Keywords : MEDICINE; MEDICIN;

    Abstract : Chronic low back pain (CLBP} and fibromyalgia (FM} are two common chronic pain conditions in which the pain processing mechanisms are not well understood. To identify the types of pain, we used different intravenous {t.v. READ MORE