All Classes

Class Summary

Class	Description
Activator	The activator class controls the plug-in life cycle
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.
Log	Centralized logging for Eclipse plugins.
SetDefinitions	Common set definitions which are useful for program analysis