Sökning: "symbolic execution"

Visar resultat 1 - 5 av 32 uppsatser innehållade orden symbolic execution.

  1. 1. Amplifying heap overflow vulnerability detection with reinforcement learning

    Uppsats för yrkesexamina på avancerad nivå, Blekinge Tekniska Högskola/Institutionen för datavetenskap

    Författare :Erik Thomasson; Ludwig Wideskär; [2023]
    Nyckelord :;

    Sammanfattning : The extensive development of cyberspace and the increasing potential for cybersecu-rity vulnerabilities demand the constant production of improved methods for detect-ing and mitigating vulnerabilities in software. In a perfect world, there would be atool that detects and mitigates all types of vulnerabilities in all types of software, butunfortunately, that is not the reality. LÄS MER

  3. 2. Exposing memory accesses and branches in machine code to symbolic execution : Tracking instructions through binary raising

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

    Författare :Isak Axelsson; [2023]
    Nyckelord :Binary lifting; Binary raising; Spectre;

    Sammanfattning : In 2018, a new security vulnerability was discovered that existed in billions of processors from different manufacturers, using various architectures. A so-called spectre attack can be launched to exploit the vulnerability and cause cryptographic information to leak through side-channels of the targeted system. LÄS MER

  4. 3. Using Requirement-Driven Symbolic Execution to Test Implementations of the CoAP and EDHOC Network Protocols

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Datalogi

    Författare :Sabor Amini; [2023]
    Nyckelord :Requirement-driven; Symbolic execution; Network protocols; CoAP; EDHOC; Kravbaserad; Symbolisk Exekvering; Nätverksprotokoll;

    Sammanfattning : As the number of Internet of Things devices is increasing rapidly, it is of utmost significance that the implementations of protocols for constrained devices are bug-free. In general implementations of network protocols are error-prone due to their complex nature and ambiguities in the protocol specification. LÄS MER

  5. 4. Extending applicability of symbolic execution to uncover possible shared memory transactions in GPU programs

    Master-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Jonathan Hjort; [2022]
    Nyckelord :;

    Sammanfattning : General-purpose computing on the graphics processing unit has become popular since the cost-to-power ratio is lower for GPUs (compared to CPUs) and the programmability of the GPU has increased. CUDA is an extension of the C/C++ programming languages which enables software developers to more easily make use of the computational power of the GPUs. LÄS MER

  7. 5. RAUK: Automatic Schedulability Analysis of RTIC Applications Using Symbolic Execution

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

    Författare :Mark Håkansson; [2022]
    Nyckelord :RTIC; symbolic execution; embedded systems; software verification; software analysis; schedulability;

    Sammanfattning : In this thesis, the proof-of-concept tool RAUK for automatically analyzing RTIC applications for schedulability using symbolic execution is presented. The RTIC framework provides a declarative executable model for building embedded applications, which behavior is based on established formal methods and policies. LÄS MER