Package com.ensoftcorp.open.c.commons.analysis

Class Summary

Class	Description
CallSiteAnalysis
CommonQueries	Common queries which are useful for writing larger C analysis programs, and for using on the shell.
GotoLoopDetection	It uses immediate dominance (idom) analysis to detect Goto loop and add tag as Goto_Back_Edge to the edge which cause loop.
SetDefinitions	Common set definitions which are useful for program analysis