StaticAnalysisSubsystemsDescription

The Mobius PVE contains over a half dozen static analysis subsystems. Some of these static checker were wholly developed within the MOBIUS project (e.g, ESCJava2), some that were developed by others, but evolved and extended within the project, and still others that were adopted and configured to complement the core analyses of MOBIUS. This section describes the second kind of static analysis subsystems--tools that MOBIUS has adopted and extended for our own purposes.

Version: 1 Time: Fri Mar 28 16:01:52 2008 Author: dcochran (dcochran) IP: 193.1.132.32