Sökning: "Static code analysis"
Visar resultat 1 - 5 av 62 uppsatser innehållade orden Static code analysis.
- Master-uppsats, Linköpings universitet/StatistikLinköpings universitet/Tekniska fakulteten
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
- Master-uppsats, Blekinge Tekniska Högskola/Institutionen för programvaruteknik; Blekinge Tekniska Högskola/Institutionen för programvaruteknik
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
- Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskap
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
- Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologi
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
- Master-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)
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
BEVAKA DENNA SÖKNING
Få ett mail när det kommer in nya uppsatser på ämnet Static code analysis.