Ada Code Analysis: Technology, Experience, and Issues

C. Daniel Cooper

Abstract

Code analysis for software is a mature technology, but remains largely unapplied in our industry. Most developers and managers seem to have only the most trivial notion about its capabilities, thinking of call trees or metrics. Yet, for certain classes of problems, code analysis provides earlier and cheaper detection than do peer reviews or testing. This presentation will review those capabilities and discuss experiences in applying them; but most importantly, it will address the barriers to adoption for this surprisingly underleveraged technology.