
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.5.7.1