This class is instantiated when a Root- or CalledTaintAnalysisDomain decide to further analyse a method resulting.
Set of ids (integer values) associated with the relevant parameters passed to a method.
The root domain that one is instanciated for every entry point found as well as when searching for the use of a field
This is the analysis domain it provides all need functionality to find Class.forName bugs.
Searches for occurrences of the Class.forName bug in the JDK
This companion object saves some values during the analysis.