Sökning: "Bugs"

Visar resultat 11 - 15 av 264 uppsatser innehållade ordet Bugs.

  1. 11. Adding Floating-point Arithmetic Support to TriCera

    Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Danyal Mirza; [2023]
    Nyckelord :;

    Sammanfattning : Floating-point arithmetic is a widely utilized technique for approximating real numbers. When applied in safety-critical systems, it is essential to ensure that these numbers behave as they should and do not give unsuspected errors. To ensure this, the utilization of floating-point verification is needed. LÄS MER

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

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

    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 [1]. 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

  4. 13. Visualizing bug-prone code via version control metadata

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

    Författare :Simon Gradin; [2023]
    Nyckelord :Development; Git; Metadata; visualization; treemap; treemaps; bugs; bug; bug prediction;

    Sammanfattning : Software being developed today can have years worth of history and hundreds if notthousands of files involved in a single project. When trying to determine what parts ofthe code need maintenance or updating it can be difficult to determine what will beproblematic in the future. LÄS MER

  5. 14. Detection of Prototype Pollution Using Joern : Joern’s Detection Capability Compared to CodeQL’s

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

    Författare :Tobias Fröberg; [2023]
    Nyckelord :CodeQL; Computer security; JavaScript; Joern; Prototype pollution; Vulnerability detection; CodeQL; Datorsäkerhet; JavaScript; Joern; Prototypförorening; Sårbarhetsdetektering;

    Sammanfattning : JavaScript-built programs are widely used by the general public, but they are also vulnerable to JavaScript-related exploits stemming from the newly discovered prototype pollution vulnerability. Research has been focused on understanding the impact of this vulnerability and finding ways to detect it using code analysis tools. LÄS MER

  7. 15. Syntax-Based Dependency Discovery : Extracting Dependencies Between Integration Test Cases for Passive Testing

    M1-uppsats, KTH/Hälsoinformatik och logistik

    Författare :David Halldoff; Martin Sten; [2023]
    Nyckelord :Software testing; passive testing; integration testing; test case; dependency discovery; guarded assertion; automotive; safety-critical; Mjukvarutestning; passiv testning; integrationstestning; testfall; beroendeupptäckt; fordon; säkerhetskritisk;

    Sammanfattning : Modern-day vehicles consist of numerous electronic computing devices with accompanying software. Since vehicles are generally classified as safety-critical systems, rigorous testing strategies have to be deployed to ensure correct operation of the embedded software. LÄS MER