Sökning: "static program analysis"

Visar resultat 6 - 10 av 83 uppsatser innehållade orden static program analysis.

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

    Master-uppsats, Linköpings universitet/Programvara och system

    Författare :Dennis Mivelli; [2022]
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  3. 7. Control Flow Based Static Execution Time Analysis Using Symbolic Execution

    Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Författare :Isak Sundell; [2022]
    Nyckelord :WCET; symbolic execution; LLVM;

    Sammanfattning : 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. LÄS MER

  4. 8. Calculation of WCET with symbolic execution

    Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Författare :Carl Österberg; [2022]
    Nyckelord :wcet; klee; static analysis; rust; llvm;

    Sammanfattning : 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. LÄS MER

  5. 9. Laminated veneer lumber floor : An evaluation of performance

    Master-uppsats, KTH/Bro- och stålbyggnad

    Författare :Lisa Nuszkowski; Mylan Tran; [2022]
    Nyckelord :;

    Sammanfattning : 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). LÄS MER

  7. 10. En kvantitativ studie om chefers ledarskap inom offentlig och privat sektor : En jämförelsestudie utifrån ett medarbetarperspektiv

    Kandidat-uppsats, Högskolan i Borås/Akademin för vård, arbetsliv och välfärd

    Författare :Shejla Atic; Adelisa Klica; [2022]
    Nyckelord :Manager; leader; leadership; public sector; private sector; gender; leadership style; Chef; ledare; ledarskap; offentlig sektor; privat sektor; genus; ledarskapsstil;

    Sammanfattning : Denna studie är baserad på en kvantitativ metod om hur medarbetare upplever sin närmaste chefs ledarskap inom offentlig och privat sektor. Syftet med studien är att undersöka om ledarskapet skiljer sig inom respektive sektor, om det förekommer stora likheter samt skillnader, vilka typer av ledarskapsstilar som är företrädande och om det finns ett samband mellan bra ledarskap och ledarens kön. LÄS MER