Static Analysis Tools (continued)

? Cross-reference table: Shows every use of a variable, procedure, object, etc.

? Information flow analysis: Identifies input variables on which an output depends.

? Path analysis: Identifies all possible paths through the program.

Previous slide

Next slide

Back to first slide

View graphic version