Sökning: "Static analysis"
Visar resultat 1 - 5 av 537 avhandlingar innehållade orden Static analysis.
1. Benchmarking Points-to Analysis
Sammanfattning : Points-to analysis is a static program analysis that, simply put, computes which objects created at certain points of a given program might show up at which other points of the same program. In particular, it computes possible targets of a call and possible objects referenced by a field. LÄS MER
2. Towards a Gold Standard for Points-to Analysis
Sammanfattning : Points-to analysis is a static program analysis that computes reference informationfor a given input program. It serves as input to many client applicationsin optimizing compilers and software engineering tools. Unfortunately, the Gold Standard – i.e. LÄS MER
3. Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis
Sammanfattning : Static program analysis plays a crucial role in ensuring the quality and security of software applications by detecting and fixing bugs, and potential security vulnerabilities in the code. The use of declarative paradigms in dataflow analysis as part of static program analysis has become increasingly popular in recent years. LÄS MER
4. Automated static code analysis : A tool for early vulnerability detection
Sammanfattning : Software vulnerabilities are added into programs during its development. Architectural flaws are introduced during planning and design, while implementation faults are created during coding. Penetration testing is often used to detect these vulnerabilities. LÄS MER
5. Parametric WCET Analysis
Sammanfattning : In a real-time system, it is crucial to ensure that all tasks of the system hold their deadlines. A missed deadline in a real-time system means that the system has not been able to function correctly. If the system is safety critical, this could potentially lead to disaster. LÄS MER