Static Analysis

Static Analysis is a method of analyzing a modeled system that derives properties of its time-invariant or execution-independent state—such as equilibrium responses of structures or semantic properties of programs—without simulating its dynamic evolution or performing actual executions.

2.4K

Publications

143.2K

Citations

4.1K

Authors

Institutions

Publications per year

2017–2026

348

Parents

Finite Element MethodsFormal Methods

Children

Context-sensitivityDead Code AnalysisField SensitivityFlow SensitivityInterprocedural AnalysisIntraprocedural AnalysisInvariant GenerationLiveness AnalysisPath SensitivityPointer Analysis

Publications

2.4K

The program dependence graph and its use in optimization

Jeanne Ferrante, Karl J. Ottenstein, Joe Warren · ACM Transactions on Programming Languages and Systems · 1987 · 2.7K citations · Full text

Computing, Computer Engineering, Computer Science +16

Efficiently computing static single assignment form and the control dependence graph

Ron K. Cytron, Jeanne Ferrante, Barry K. Rosen et al. · ACM Transactions on Programming Languages and Systems · 1991 · 2.2K citations · Full text

Computing, Computer Science, Computer Systems +12

Automatically characterizing large scale program behavior

Timothy Sherwood, Erez Perelman, Greg Hamerly et al. · 2002 · 1.7K citations

Computing, Computer Engineering, Computer Science +11

Automatic discovery of linear restraints among variables of a program

Patrick Cousot, Nicolas Halbwachs · 1978 · 1.6K citations

Computing, Computer Science, Data Mining +10

Points-to analysis in almost linear time

Bjarne Steensgaard · 1996 · 1.1K citations · Full text

Computing, Computer Science, Algorithms +16

1–5 of 2.4K

Authors

4.1K

BG
Barbara G. Ryder
Rutgers, The State University of New Jersey, United States
28 publications · 2K citations
20
h-index
MD
Michael D. Ernst
University of Washington, United States
22 publications · 3K citations
18
h-index
PC
Patrick Cousot
École Normale Supérieure - PSL, France
19 publications · 3.7K citations
18
h-index
YS
Yannis Smaragdakis
National and Kapodistrian University of Athens, Greece
21 publications · 1.5K citations
18
h-index
JX
Jingling Xue
UNSW Sydney, Australia
17 publications · 1.2K citations
17
h-index

1–5 of 4.1K

Institutions

1–8 of 1K

Venues

ACM SIGPLAN Notices
140 publications · 8.1K citations
40
h-index
ACM Transactions on Programming Languages and Systems
52 publications · 9.5K citations
35
h-index
IEEE Transactions on Software Engineering
TSE · 46 publications · 6K citations
29
h-index
ACM SIGSOFT Software Engineering Notes
SEN · 39 publications · 2.2K citations
23
h-index
Proceedings of the ACM on Programming Languages
PACMPL · 35 publications · 1.2K citations
22
h-index

1–5