Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
The recent growth of the blockchain technology market puts its main cryptocurrencies in the spotlight. Among them, Ethereum… Expand
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Malicious code is an increasingly important problem that threatens the security of computer systems. The traditional line of… Expand
  • figure 2
  • table 1
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… Expand
  • figure 6
  • figure 7
  • figure 13
  • figure 14
  • figure 15
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Summary form only given. Many tasks in safety-critical embedded systems have hard real-time characteristics. Failure to meet… Expand
  • figure 2
  • figure 4
  • figure 5
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… Expand
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… Expand
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… Expand
  • table 1
  • table 2
  • table 3
  • figure 2
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Optimizing compilers for object-oriented languages apply static class analysis and other techniques to try to deduce precise… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 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… Expand
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… Expand
Is this relevant?