The compiler as a static analysis tool

Authors:
Robert B. K. Dewar
Affiliations:
AdaCore, New York, NY
Venue:
Proceedings of the 2007 ACM international conference on SIGAda annual international conference
Year:
2007

Citing 3
Cited 0

Global register allocation at link time

SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Checking C programs with lint

Checking C programs with lint
Design complexity measurement and testing

Communications of the ACM

Quantified Score

Hi-index	0.01

Visualization

Abstract

This paper shows that a programming language compiler can perform many kinds of tasks that are generally viewed as the domain of separate static analysis tools and, in the other direction, identifies certain kinds of analysis that are best left to separate tools.