Sökning: "Taint analysis"

Visar resultat 1 - 5 av 7 uppsatser innehållade orden Taint analysis.

  1. 1. Dasty : Revealing Real-World Prototype Pollution Consequences with Dynamic Taint Analysis

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Paul Moosbrugger; [2023]
    Nyckelord :Prototype Pollution Gadgets; Dynamic Taint Analysis; Forced Branch Execution; NodeProf Instrumentation; Truffle GraalJS;

    Sammanfattning : Prototype pollution is a vulnerability in JavaScript and other prototype-based languages that allows malicious actors to inject a property into an object’s prototype. The injected property can subsequently trigger gadgets - source code sections that use the properties in sensitive locations. LÄS MER

  3. 2. The Dream : A Psychoanalytic Reading of the Conceptualization of the American Dream in F. Scott Fitzgerald’s The Great Gatsby

    Kandidat-uppsats, Högskolan i Gävle/Avdelningen för humaniora

    Författare :Hugo Älfvåg; [2020]
    Nyckelord :The American Dream; Dreams; Desires; Psychoanalysis; Id; Ego; Super-Ego; Trauma;

    Sammanfattning : F. Scott Fitzgerald’s critically acclaimed classic The Great Gatsby, written in 1925, poetically captures the zeitgeist of the roaring twenties, and has attracted considerable attention regarding the depiction of the American dream. LÄS MER

  4. 3. Taint analysis for automotive safety using the LLVM compiler infrastructure

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

    Författare :Eléonore Goblé; [2019]
    Nyckelord :taint analysis; static analysis; LLVM; compiler; safety; automotive safety;

    Sammanfattning : Software safety is getting more and more important in the automotive industry as mechanical functions are replaced by complex embedded computer systems. Errors  during development can lead to accidents and threaten users’ lives. LÄS MER

  5. 4. The future of grey-box fuzzing

    Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskap

    Författare :Isak Hjelt; [2017]
    Nyckelord :;

    Sammanfattning : Society are becoming more dependent on software, and more artifacts are being connected to the Internet each day [31]. This makes the work of tracking down vulnerabilities in software a moral obligation for software developers. LÄS MER

  7. 5. Fast and Scalable Static Analysis using Deterministic Concurrency

    Master-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

    Författare :Patrik Ackland; [2017]
    Nyckelord :concurrent static analysis; ifds algorithm; reactive async;

    Sammanfattning : This thesis presents an algorithm for solving a subset of static analysis data flow problems known as Interprocedural Finite Distribute Subset problems. The algorithm, called IFDS-RA, is an implementation of the IFDS algorithm which is an algorithm for solving such problems. LÄS MER