Static Analysis Tools

Program analyzers scan the source of a program for possible faults and anomalies (e.g., Lint for C programs).

? Control flow: loops with multiple exit or entry points

? Data use: Undeclared or uninitialized variables, unused variables, multiple assignments, array bounds

? Interface faults: Parameter mismatches, non-use of functions results, uncalled procedures

? Storage management: Unassigned pointers, pointer arithmetic

Previous slide

Next slide

Back to first slide

View graphic version