Sökning: "Bugs"

Visar resultat 21 - 25 av 264 uppsatser innehållade ordet Bugs.

  1. 21. Does Rust SPARK joy? : Recommendations for safe cross-language bindings between Rust and SPARK

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

    Författare :Aïssata Maiga; [2023]
    Nyckelord :Rust; Ada; SPARK; Foreign Function Interface FFI ; memory safety; type safety; ownership; Rust; Ada; SPARK; Gränssnitt för främmande funktioner FFI ; minnessäkerhet; typsäkerhet; ägarskap;

    Sammanfattning : This thesis aims to provide recommendations for interfacing two memory-safe programming languages, Rust and SPARK. The comparison of Rust and C/C++, as well as SPARK and C/C++, has been thoroughly researched. However, this level of investigation hasn’t been as extensive between memory-safe languages. LÄS MER

  3. 22. A new approach to identify corner test cases for AD/ADAS functions in a Virtual Environment

    Master-uppsats, Högskolan i Halmstad/Akademin för informationsteknologi

    Författare :Rasmita Samantaray; [2023]
    Nyckelord :;

    Sammanfattning : The validation of Autonomous Drive (AD) software needs sufficient testing to ensure the safety of autonomous vehicles. Scenario-based testing in a virtual environment provides a platform to detect AD/ ADAS software bugs and fix them early in the software development life cycle. LÄS MER

  4. 23. Token Budget Minimisation of Large Language Model based Program Repair

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

    Författare :Dávid Hidvégi; [2023]
    Nyckelord :Automated Program Repair; Conversational; Prompt Engineering; Automatiserad programreparation; Konversationell; Prompt-utformning;

    Sammanfattning : Automated Program Repair (APR) is gaining popularity in the field of software engineering. APR reduces the time and effort needed to find and fix software bugs, with a goal of completely automating bug fixing without any human input. LÄS MER

  5. 24. Can Developer Data Predict Vulnerabilities? : Examining Developer and Vulnerability Correlation in the Kibana Project

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

    Författare :Johan Lövgren; [2023]
    Nyckelord :open-source; vulnerability identification; high-risk developers; öppen källkod; identifiering av sårbarheter; högriskutvecklare;

    Sammanfattning : Open-source software is often chosen with the expectation of increased security. The transparency and peer review process of open development offer advantages in terms of more secure code. However, developing secure code remains a challenging task that requires more than just expertise. LÄS MER

  7. 25. Investigating the Effectiveness of Forward-Porting Bugs

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

    Författare :Fredrik Nyquist; [2023]
    Nyckelord :Fuzzing; Fuzz testing; Forward-porting; Fault injection; Magma; Umeå University;

    Sammanfattning : This research investigates the effectiveness of the forward-porting approach employed in the Magma framework as a fault injection technique for evaluating fuzzers. The study aims to assess the use of Proof-of-Concepts in reproducing crashes in CVEs and evaluate the feasibility of forward-porting vulnerabilities into later software versions. LÄS MER