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: Hybrid Automated Program Repair by Combining Large Language Models and Program AnalysisInfluential work since 2022
- Pick up a classic book: The art of computer programmingThe most-reprinted book on the subject
- Read the landmark paper: G*Power 3: A flexible statistical power analysis program for the social, behavioral, and biomedical sciencesCited 57,558 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)
G*Power 3: A flexible statistical power analysis program for the social, behavioral, and biomedical sciences
OLEX2 : a complete structure solution, refinement and analysis program
Mechanical program analysis
Knowledge-based program analysis
Distributed program reliability analysis
Newtonian program analysis
TAP: Test Analysis Program
Automating program analysis
🆕 Influential since 2022
Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis
Auditory brainstem response (ABR) waveform analysis program
Learning Abstraction Selection for Bayesian Program Analysis
SEAL: Integrating Program Analysis and Repository Mining
Texture analysis of AGR program matrix materials
📚 Books worth reading
The art of computer programmingDonald Knuth · 1922
Systems Analysis and DesignAlan Dennis, Barbara Haley Wixom · 2000
MATLABAmos Gilat · 2003
SPICEPaul W. Tuinenga · 1988
Electric circuitsJames William Nilsson, James W. Nilsson · 1983
Systems analysis and designKendall, Kenneth E., Kenneth E. Kendall · 1988
Introductory circuit analysisRobert L. Boylestad · 1968
Electric CircuitsJames W. Nilsson, Susan Riedel · 1996
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…