
Files | |
| file | ICFG.cpp [code] |
Implementation of ICFG. | |
| file | ICFG.hpp [code] |
Declaration for standard ICFG (interprocedural control flow graph). | |
| file | ICFGInterface.hpp [code] |
Abstract interface that all ICFG analysis results must satisfy. | |
| file | ManagerICFG.cpp [code] |
The AnnotationManager that generates ICFG. | |
| file | ManagerICFG.hpp [code] |
Declarations of the AnnotationManager that generates a ICFGStandard from the CFG standards for each procedure. | |
1.6.1