Essays about: "static code analysis"

Showing result 11 - 15 of 111 essays containing the words static code analysis.

  1. 11. Analyzing and Reducing Compilation Times for C++ Programs

    University essay from Linköpings universitet/Programvara och system

    Author : Dennis Mivelli; [2022]
    Keywords : C ; Compilation; Build; Dependencies; File Dependencies; File inclusions; Time; Speed; Compilation time; Build time; Design patterns; PImpl; Bridge; Dependency injection; Pointer to implementation; Mocking; GoogleTest; gMock; large; large-scale; Reduce; Reduce compilation times; Reduce build times; C ; Kompilering; Byggtid; Beroenden; Filberoenden; Filinkluderingar; Tid; Hastighet; Kompileringstid; Designmönster; PImpl; Bridge; Dependency injection; Pointer to implementation; Mockning; Mocking; GoogleTest; gMock; Storskalig; Minska kompileringstid; Minska;

    Abstract : Software companies often choose to develop in C++ because of the high performance that the language offers. Facilitated by static compilation and powerful optimization options, runtime performance is paid for with compilation time. READ MORE

  3. 12. 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

  4. 13. 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

  5. 14. Game-Agnostic Asset Loading Order Using Static Code Analysis

    University essay from Blekinge Tekniska Högskola/Institutionen för datavetenskap

    Author : Anton Åsbrink; Jacob Andersson; [2022]
    Keywords : Game-agnostic; load order; static code analysis; Spel agnostisk; laddnings ordning; statisk kod analys;

    Abstract : Background. User retention is important in the online sphere, especially within gaming. Utilising browser gaming websites to host games helps smaller studios and solo developers reach out to a larger audience. READ MORE

  6. 15. An Empirical Investigation On The Quality Of Open Source Anonymization Tools

    University essay from Blekinge Tekniska Högskola/Institutionen för programvaruteknik

    Author : Pol Haghverdian; [2022]
    Keywords : Anonymization tools; Software testing; ARX; Amnesia;

    Abstract : Context. In mid-2018, the GDPR legislation came into force, makingit less easy for companies to acquire personal data and use that information,for example, with machine learning. In addition, the legislationnow requires personal data to be anonymized to avoid penaltiesbefore giving up such information to other organizations. READ MORE