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

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Soot is a successful framework for experimenting with compiler and software engineering techniques for Java programs. Researchers… Expand
  • figure 1
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance… Expand
  • 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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We describe LLVM (low level virtual machine), a compiler framework designed to support transparent, lifelong program analysis and… Expand
  • figure 4
  • table 1
  • table 2
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
ATOM (Analysis Tools with OM) is a single framework for building a wide range of customized program analysis tools. It provides… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
This paper describes the C Intermediate Language: a high-level representation along with a set of tools that permit easy analysis… Expand
  • figure 1
  • figure 3
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
1997
Highly Cited
1997
  • T. Reps
  • Inf. Softw. Technol.
  • 1997
  • Corpus ID: 2200706
Abstract : This paper describes how a number of program-analysis problems can be solved by transforming them to graph… Expand
  • 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… Expand
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… Expand
  • 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… Expand
  • figure I
Is this relevant?