Static program analysis

Known as: Static testing, Static analyzer, Code analysis 
Static program analysis is the analysis of computer software that is performed without actually executing programs (analysis performed on executing… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
syntax trees (ASTs) as known from compiler construction provide a representation of programs that is suitable for flow… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This paper proposes a static analysis technique for detecting many recently discovered application vulnerabilities such as SQL… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent… (More)
  • figure 1
  • figure 6
  • figure 7
  • figure 13
  • figure 14
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We show that abstract interpretation-based static program analysis can be made efficient and precise enough to formally verify a… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The purpose of this paper is to present four basic methods for compositional separate modular static analysis of programs by… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The goal of the SLAM project is to check whether or not a program obeys "API usage rules" that specify what it means to be a good… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
One of the primary challenges in intrusion detection is modelling typical application behavior, so that we can recognize attacks… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Virtual functions make code easier for programmers to reuse but also make it harder for compilers to analyze. We investigate the… (More)
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Static analysis of programs is indispensable to any software tool, environment, or system that requires compile-time information… (More)
Is this relevant?
Highly Cited
1977
Highly Cited
1977
A program denotes computations in some universe of objects. Abstract interpretation of programs consists in using that denotation… (More)
Is this relevant?