| Picture A | Picture B |
 |
 |
| Picture C | |
 |
Procase's Smartsystem can analyze a large undocumented C program, converting the program into a comprehensible bubble chart (a). The program has facilities for navigating through this directed graph of call dependencies and homing in on selected sections of the program being analyzed (b, c). |
back |
|