Program analysis

Known as: Computer program analysis, Program analysis (computer science), Program analyzer 
In computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance… (More)
  • figure 2
  • figure 3
  • figure 4
  • table 2
  • table 1
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Software engineers are faced with a dilemma. They want to write general and wellstructured programs that are flexible and easy to… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper describes LLVM (Low Level Virtual Machine),a compiler framework designed to support transparent, lifelongprogram… (More)
  • figure 4
  • table 1
  • table 2
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis… (More)
  • figure 1
  • figure 3
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
1999
Highly Cited
1999
locations. The abstract locations have the form nx where X is a subset of the variables of V ar*: ALoc= {nx 1 X~ Var*} abstract… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This paper describes how a number of program-analysis problems can be solved by transforming them to graph-reachability problems… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1994
Highly Cited
1994
ATOM (Analysis Tools with OM) is a single framework for building a wide range of customized program analysis tools. It provides… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1979
Highly Cited
1979
Semantic analysis of programs is essential in optimizingcompilers and program verification systems. It encompasses dataflow… (More)
Is this relevant?
Highly Cited
1976
Highly Cited
1976
This paper describes the symbolic execution of programs. Instead of supplying the normal inputs to a program (e.g. numbers) one… (More)
  • figure 2
  • figure 3
  • figure 5
  • figure 6
  • figure 9
Is this relevant?
Highly Cited
1975
Highly Cited
1975
One means of analyzing program performance is by deriving closed-form expressions for their execution behavior. This paper… (More)
  • figure I
Is this relevant?