Static Analysis Tools
Swe04
Static analysis tools check certain properties of software systems without running the system, but rather by inspecting the source code.
- Ball, T.; Larus, J. R.: Using Paths to Measure, Explain, and Enhance Program Behavior. IEEE Computer, July 2000, pp. 57-65
