Search for dissertations about: "Static Program Analysis"

Showing result 11 - 15 of 60 swedish dissertations containing the words Static Program Analysis.

2. 11. Static WCET Analysis Based on Abstract Interpretation and Counting of Elements

   Author : Stefan Bygde; Björn Lisper; Andreas Ermedahl; Jan Gustafsson; Konstantinos Sagonas; Ulf Nilsson; Mälardalens högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; parametric WCET analysis; program analysis; abstract interpretation; Computer science; Datalogi; Computer Science; datavetenskap;

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

4. 12. Towards a static cache analysis for whole program analysis

   Author : Xavier Vera; Mälardalens högskola; []
   Keywords : ;

   Abstract : .... READ MORE

5. 13. Automatic Extraction of Program Models for Formal Software Verification

   Author : Pedro de Carvalho Gomes; Dilian Gurov; Einar Johnsen; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Verification; Static Analysis; Program Models; Petri Nets; Compositional Verification; Concurrency; Computer Science; Datalogi;

   Abstract : In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties. READ MORE

6. 14. Contributions to Declarative Implementation of Static Program Analysis

   Author : Jesper Öqvist; Institutionen för datavetenskap; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : Programming languages are ever evolving, with new languages being invented to solve new problems, and old languages being extended to solve old problems in new ways. With the continued evolution of programming languages, and with new and improved static program analyses, we need flexible systems for building our static analyses and compilers. READ MORE

7. 15. Debloating Java Dependencies

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

   Abstract : 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. READ MORE