Static analysis: an aid to program maintenance and development
K. V. Narayanaswamy · 2003
The application of a static code analysis tool to program development and maintenance in the Common Lisp Framework (CLF) environment is considered. CLF is described briefly, with the bulk of the discussion being devoted to the structure of the code analyzer, the activities it supports, and its integration into programming activities. Applications being investigated are discussed.>