Home

Luis Peñaranda

This tool tests COBOL source code, using the SSA (Single Static Assignment) form as intermediate representation to obtain varibles definition-use chains under different criteria.

Screenshot thumbnail
Graphviz output at some stage of the program
Screenshot thumbnail
Text file output of definition-use sets


Project Members: