Sökning: "Static code analysis"

Visar resultat 1 - 5 av 62 uppsatser innehållade orden Static code analysis.

  1. 1. Prediction of Code Lifetime

    Master-uppsats, Linköpings universitet/StatistikLinköpings universitet/Tekniska fakulteten

    Författare :Per Nordfors; [2017]
    Nyckelord :machine learning; support vector machines; neural networks; code analysis; version control; open-source;

    Sammanfattning : There are several previous studies in which machine learning algorithms are used to predict how fault-prone a piece of code is. This thesis takes on a slightly different approach by attempting to predict how long a piece of code will remain unmodified after being written (its “lifetime”). LÄS MER

  2. 2. Static Code Analysis: A Systematic Literature Review and an Industrial Survey

    Master-uppsats, Blekinge Tekniska Högskola/Institutionen för programvaruteknik; Blekinge Tekniska Högskola/Institutionen för programvaruteknik

    Författare :Bilal Ilyas; Islam Elkhalifa; [2016]
    Nyckelord :Static code analysis; systematic literature review; empirical evaluation; industrial survey;

    Sammanfattning : Context: Static code analysis is a software verification technique that refers to the process of examining code without executing it in order to capture defects in the code early, avoiding later costly fixations. The lack of realistic empirical evaluations in software engineering has been identified as a major issue limiting the ability of research to impact industry and in turn preventing feedback from industry that can improve, guide and orient research. LÄS MER

  3. 3. Evaluating the ability of static code analysis tools to detect injection vulnerabilities

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

    Författare :Alexander Ramos; [2016]
    Nyckelord :;

    Sammanfattning : Identifying and eliminating security vulnerabilities in programs can be very time consuming. A way to automate and speed up the process is to integrate static code analysis tools in the development process. LÄS MER

  4. 4. Early evaluation of branches via decoupled access-execute to enable super-block optimizations

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

    Författare :Andreas Scherman; [2016]
    Nyckelord :;

    Sammanfattning : Modern CPUs rely on expensive branch predictors to speed up execution. Predictions nevertheless imply speculation, which is inherently costly, as mispredictions and re-execution of instructions can not only slow down execution but require extra energy expenditure. LÄS MER

  5. 5. Formal Requirement Models for Automotive Embedded Systems

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

    Författare :John Eriksson; [2016]
    Nyckelord :automotive; system; formal; verification; static analysis; specification;

    Sammanfattning : Embedded systems are a crucial part of modern vehicles today and are used widely by the automotive industry to control safety-critical functions. To verify that the software will work correctly, formal verification can be used to prove that the code will always behave correctly according to some specification. LÄS MER


Få ett mail när det kommer in nya uppsatser på ämnet Static code analysis.

Din email-adress: