Package pascal.taie.analysis.pta.plugin.util
package pascal.taie.analysis.pta.plugin.util
-
ClassDescriptionProvides common functionalities for implementing IR-based API models.Provides common functionalities for implementing API models.Static utility methods for
CSObjs.Dummy model which does nothing.Annotation for conveniently marking Invoke handlers in API models.Container annotation forInvokeHandler.Provides utility methods to conveniently handleInvoke.Models specific APIs by generating corresponding IR.Model for special APIs.Static utility methods for reflection analysis.Base class for the objects that holds aSolver.