Essays about: "static program analysis"

Showing result 6 - 10 of 65 essays containing the words static program analysis.

  1. 6. Control Flow Based Static Execution Time Analysis Using Symbolic Execution

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Isak Sundell; [2022]
    Keywords : WCET; symbolic execution; LLVM;

    Abstract : To ensure the correctness of real time systems, it is important to determine the execution time of tasks. The worst case execution time of each task needs to be found in order to determine if the system is schedulable. This thesis aims at bounding the execution time of programs analyzed by KLEE, a symbolic execution engine. READ MORE

  3. 7. Calculation of WCET with symbolic execution

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Carl Österberg; [2022]
    Keywords : wcet; klee; static analysis; rust; llvm;

    Abstract : Calculating WCET for schedulability analysis of RTIC applications is today performed with a hybrid approach with both static analysis of code and hardware measurements. A fully static analysis tool would allow for a easier integration into a CI/CD pipeline without the actual hardware. READ MORE

  4. 8. Laminated veneer lumber floor : An evaluation of performance

    University essay from KTH/Bro- och stålbyggnad

    Author : Lisa Nuszkowski; Mylan Tran; [2022]
    Keywords : ;

    Abstract : The ongoing climate change has become a very discussed and accurate topic. A fifth of the Swedishemissions of greenhouse gases originate from buildings (Boverket, n.d). READ MORE

  5. 9. Automatically Choosing Implementations for Abstract Data Types

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Alfrida Mattisson; [2021]
    Keywords : ;

    Abstract : The data structures that are used in a program can have a significant effect on how well it performs. The main objective of this degree project is to make the choice of data structures automatic by using abstract data types and developing an algorithm that applies static program analysis to make an as optimal choice as possible. READ MORE

  6. 10. Filtering False Positive Alarms in JavaDL and Language Experience Report

    University essay from Lunds universitet/Institutionen för datavetenskap

    Author : Karl-Oskar Rikås; Frank Weslien; [2021]
    Keywords : static program analysis; alarm filtering; feature engineering; Technology and Engineering;

    Abstract : JavaDL is a domain-specific language (DSL) for writing static program analyses in a declarative logic programming style, based on Datalog. The key feature of this DSL is the ability to pattern-match on literal source code syntax and reason non-locally through declarative programming. READ MORE