Live briefing
Everything about Static program analysis
Analysis of computer programs without executing them
In computer science, static program analysis is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs during their execution in the integrated environment. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Static program analysisA 5-minute orientation
- Skim a recent paper: SafeCheck: Detecting smart contract vulnerabilities based on static program analysis methodsInfluential work since 2022
- Pick up a classic book: METCAN demonstration manualThe most-reprinted book on the subject
- Read the landmark paper: Combining static worst-case timing analysis and program proofCited 44 times
- Go sideways: Formal verificationA closely related topic
- Go sideways: Formal methodsA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Combining static worst-case timing analysis and program proof
Static program analysis assisted dynamic taint tracking for software vulnerability discovery
Several lifted abstract domains for static analysis of numerical program families
Static Program Analysis for String Manipulation Languages
Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation
Cobra: a light-weight tool for static and dynamic program analysis
Multilevel static analysis for improving program quality
Sup-interpretations, a semantic method for static analysis of program resources
🆕 Influential since 2022
SafeCheck: Detecting smart contract vulnerabilities based on static program analysis methods
OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-Program Specialization
Code Analysis with Static Application Security Testing for Python Program
Static analysis of linear absolute value equalities among variables of a program
Crowdsourced test case generation for android applications via static program analysis
📚 Books worth reading
- 📕METCAN demonstration manualH. J. Lee · 1992
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Formal verification In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of a system with respect to a…
- Formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and…
- Program analysis In computer science, program analysis is the process of analyzing the behavior of computer programs regarding a property such as correctness, robustness…
- Automated code review Automated code review refers to the use of software tools and techniques to assist or fully automate the process of reviewing source code for defects,…
- Static application security testing Static application security testing (SAST) is used to secure software by reviewing its source code to identify security vulnerabilities. Although the process…
- Code review Code review (sometimes to as peer review) is a software quality assurance activity in which one or more people examine the source code of a computer program…
- Software assurance Software assurance (SwA) is a critical process in software development that ensures the reliability, safety, and security of software products. It involves…
- Radhia Cousot Radhia Cousot, née Rezig (French: [ʁadja kuzɔ]; 6 August 1947 – 1 May 2014) was a French computer scientist known for inventing abstract interpretation…