The compiler as a static analysis tool

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The compiler as a static analysis tool

Full text

Pdf (301 KB)

Source

Annual International Conference on Ada archive
Proceedings of the 2007 ACM international conference on SIGAda annual international conference table of contents

Fairfax, Virginia, USA

SESSION: Conference program table of contents

Pages: 83 - 88

Year of Publication: 2007

ISBN:978-1-59593-876-3

Also published in ...

Author

Robert B. K. Dewar

AdaCore, New York, NY

Sponsors

ACM: Association for Computing Machinery
SIGADA: ACM Special Interest Group on Ada Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 37, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1315580.1315601 What is a DOI?

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	AdaCore. "The GNAT Pro Compiler". www.adacore.com
	2	Bartholomew, R. "Static Analysis as an Example Approach to High Integrity Open Source Software", Military Technologies Conference 2007, March 28, 2007.
	3	Ian F. Darwin, Checking C programs with lint, O'Reilly & Associates, Inc., Sebastopol, CA, 1986
	4	The GNAT project. "Examples of gnatxref Usage", GNAT Pro Users Guide, AdaCore, 2007. www.adacore.com.
	5	The GNAT project. "The GNAT metric tool gnatmetric", GNAT Pro Users Guide, AdaCore 2007. www.adacore.com.
	6	The GNU project. "Link-Time Optimization in GCC: Requirements and High-Level Design", Nov 16, 2005, http://gcc.gnu.org/projects/lto/lto.pdf.
	7	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.
	8	Thomas J. McCabe , Charles W. Butler, Design complexity measurement and testing, Communications of the ACM, v.32 n.12, p.1415-1425, Dec. 1989 [doi>10.1145/76380.76382]
	9	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.
	10	David W. Wall, Global register allocation at link time, Proceedings of the 1986 SIGPLAN symposium on Compiler construction, p.264-275, June 25-27, 1986, Palo Alto, California, United States
	11	Wikipedia, "The SofCheck Inspector" Entry last modified May 2007, http://en.wikipedia.org/wiki/SofCheck_Inspector.