ABSTRACT
Chapter Summary The reader is introduced to a general-purpose facility to define and perform a range of static program analysis methods. Such a facility can be implemented in any IDE (integrated development environment). This chapter gives the reader an idea of what we can realistically expect from static program analysis methods and tools in terms of their benefits, and also the limitations in software development, maintenance, and evolution.
