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.
- AdaCore. "The GNAT Pro Compiler". www.adacore.comGoogle Scholar
- Bartholomew, R. "Static Analysis as an Example Approach to High Integrity Open Source Software", Military Technologies Conference 2007, March 28, 2007.Google Scholar
- Darwin, I. "Checking C Programs with Lint", 75pp O'Reilly October 1988 Google Scholar
Digital Library
- The GNAT project. "Examples of gnatxref Usage", GNAT Pro Users Guide, AdaCore, 2007. www.adacore.com.Google Scholar
- The GNAT project. "The GNAT metric tool gnatmetric", GNAT Pro Users Guide, AdaCore 2007. www.adacore.com.Google Scholar
- The GNU project. "Link-Time Optimization in GCC: Requirements and High-Level Design", Nov 16, 2005, http://gcc.gnu.org/projects/lto/lto.pdf.Google Scholar
- ISO/IEC 15291:1999 Information technology. "Programming languages -- Ada Semantic Interface Specification (ASIS)". International Standard published by ISO/IEC in 1999. http://www.iso.org/iso/en/prods-services/ISOstore/store.html.Google Scholar
- McCabe, T. and Butler, C. "Design complexity measurement and testing", Communications of the ACM, Volume 32, Issue 12 (December 1989). Google Scholar
Digital Library
- Ruiz, J. "Static stack analysis for safety-critical applications", September 2007, Embedded System Engineering, http://www.esemagazine.com/index.php? option=com_content&task=view&id=177&Itemid=2.Google Scholar
- Wall, D. "Global register allocation at link time", Proceedings of SIGPLAN 86 Symposium on Compiler Construction (Palo Alto, June 1986). ACM, New York, 1986 pp 264--275. Google Scholar
Digital Library
- Wikipedia, "The SofCheck Inspector" Entry last modified May 2007, http://en.wikipedia.org/wiki/SofCheck_Inspector.Google Scholar
Index Terms
The compiler as a static analysis tool
Recommendations
The compiler as a static analysis tool
SIGAda '07This 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 ...
A Value Analysis for C Programs
SCAM '09: Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and ManipulationWe demonstrate the value analysis of Frama-C. Frama-C is an Open Source static analysis framework for the C language. In Frama-C, each static analysis technique, approach or idea can be implemented as a new plug-in, with the opportunity to obtain ...
Precise shape analysis using field sensitivity
We present a static shape analysis technique to infer the shapes of the heap structures created by a program at run time. Our technique is field sensitive in that it uses field information to compute the shapes. The shapes of the heap structures are ...







Comments