Class Hierarchy
- java.lang.Object
- pascal.taie.analysis.pta.plugin.util.CSObjs
- pascal.taie.analysis.pta.plugin.util.InvokeUtils
- pascal.taie.analysis.pta.plugin.util.Reflections
- pascal.taie.analysis.pta.plugin.util.SolverHolder
- pascal.taie.analysis.pta.plugin.util.AbstractIRModel (implements pascal.taie.analysis.pta.plugin.util.IRModel)
- pascal.taie.analysis.pta.plugin.util.AbstractModel (implements pascal.taie.analysis.pta.plugin.util.Model)
Interface Hierarchy
Annotation Interface Hierarchy
- pascal.taie.analysis.pta.plugin.util.InvokeHandler (implements java.lang.annotation.Annotation)
- pascal.taie.analysis.pta.plugin.util.InvokeHandlers (implements java.lang.annotation.Annotation)
Enum Class Hierarchy
- java.lang.Object
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
- pascal.taie.analysis.pta.plugin.util.DummyModel (implements pascal.taie.analysis.pta.plugin.util.Model)
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)