Hierarchy For All Packages
Package Hierarchies:- pascal.taie,
- pascal.taie.analysis,
- pascal.taie.analysis.bugfinder,
- pascal.taie.analysis.bugfinder.nullpointer,
- pascal.taie.analysis.dataflow.analysis,
- pascal.taie.analysis.dataflow.analysis.availexp,
- pascal.taie.analysis.dataflow.analysis.constprop,
- pascal.taie.analysis.dataflow.fact,
- pascal.taie.analysis.dataflow.inter,
- pascal.taie.analysis.dataflow.solver,
- pascal.taie.analysis.deadcode,
- pascal.taie.analysis.defuse,
- pascal.taie.analysis.exception,
- pascal.taie.analysis.graph.callgraph,
- pascal.taie.analysis.graph.cfg,
- pascal.taie.analysis.graph.flowgraph,
- pascal.taie.analysis.graph.icfg,
- pascal.taie.analysis.misc,
- pascal.taie.analysis.pta,
- pascal.taie.analysis.pta.client,
- pascal.taie.analysis.pta.core.cs,
- pascal.taie.analysis.pta.core.cs.context,
- pascal.taie.analysis.pta.core.cs.element,
- pascal.taie.analysis.pta.core.cs.selector,
- pascal.taie.analysis.pta.core.heap,
- pascal.taie.analysis.pta.core.solver,
- pascal.taie.analysis.pta.plugin,
- pascal.taie.analysis.pta.plugin.assertion,
- pascal.taie.analysis.pta.plugin.exception,
- pascal.taie.analysis.pta.plugin.invokedynamic,
- pascal.taie.analysis.pta.plugin.natives,
- pascal.taie.analysis.pta.plugin.reflection,
- pascal.taie.analysis.pta.plugin.taint,
- pascal.taie.analysis.pta.plugin.util,
- pascal.taie.analysis.pta.pts,
- pascal.taie.analysis.pta.toolkit,
- pascal.taie.analysis.pta.toolkit.mahjong,
- pascal.taie.analysis.pta.toolkit.scaler,
- pascal.taie.analysis.pta.toolkit.util,
- pascal.taie.analysis.pta.toolkit.zipper,
- pascal.taie.analysis.sideeffect,
- pascal.taie.config,
- pascal.taie.frontend.cache,
- pascal.taie.frontend.soot,
- pascal.taie.ir,
- pascal.taie.ir.exp,
- pascal.taie.ir.proginfo,
- pascal.taie.ir.stmt,
- pascal.taie.language.annotation,
- pascal.taie.language.classes,
- pascal.taie.language.generics,
- pascal.taie.language.natives,
- pascal.taie.language.type,
- pascal.taie.util,
- pascal.taie.util.collection,
- pascal.taie.util.function,
- pascal.taie.util.graph
Class Hierarchy
- java.lang.Object
- pascal.taie.util.collection.AbstractBitSet (implements pascal.taie.util.collection.IBitSet)
- pascal.taie.util.collection.RegularBitSet (implements java.io.Serializable)
- pascal.taie.util.collection.SparseBitSet (implements java.io.Serializable)
- pascal.taie.analysis.graph.callgraph.AbstractCallGraph<CallSite,
Method> (implements pascal.taie.analysis.graph.callgraph.CallGraph<CallSite, Method>) - pascal.taie.analysis.pta.core.cs.CSCallGraph
- pascal.taie.analysis.graph.callgraph.DefaultCallGraph
- java.util.AbstractCollection<E> (implements java.util.Collection<E>)
- java.util.AbstractQueue<E> (implements java.util.Queue<E>)
- pascal.taie.util.collection.SetQueue<E> (implements java.io.Serializable)
- java.util.AbstractSet<E> (implements java.util.Set<E>)
- pascal.taie.util.collection.AbstractSetEx<E> (implements pascal.taie.util.collection.SetEx<E>)
- pascal.taie.util.collection.AbstractHybridSet<E> (implements java.io.Serializable)
- pascal.taie.util.collection.HybridBitSet<E> (implements java.io.Serializable)
- pascal.taie.util.collection.HybridHashSet<E> (implements java.io.Serializable)
- pascal.taie.util.collection.HybridIndexableSet<E> (implements java.io.Serializable)
- pascal.taie.util.collection.HybridLinkedHashSet<E> (implements java.io.Serializable)
- pascal.taie.util.collection.ArraySet<E> (implements java.io.Serializable)
- pascal.taie.util.collection.GenericBitSet<E> (implements java.io.Serializable)
- pascal.taie.util.collection.IndexerBitSet<E> (implements java.io.Serializable)
- pascal.taie.util.collection.IndexableSet<E>
- pascal.taie.util.collection.AbstractHybridSet<E> (implements java.io.Serializable)
- pascal.taie.util.collection.AbstractSetEx<E> (implements pascal.taie.util.collection.SetEx<E>)
- java.util.AbstractQueue<E> (implements java.util.Queue<E>)
- pascal.taie.analysis.pta.core.cs.element.AbstractCSElement (implements pascal.taie.analysis.pta.core.cs.element.CSElement)
- pascal.taie.analysis.pta.core.cs.element.CSCallSite
- pascal.taie.analysis.pta.core.cs.element.CSMethod
- pascal.taie.analysis.pta.core.cs.element.CSObj (implements pascal.taie.util.Indexable)
- pascal.taie.analysis.dataflow.analysis.AbstractDataflowAnalysis<Node,
Fact> (implements pascal.taie.analysis.dataflow.analysis.DataflowAnalysis<Node, Fact>) - pascal.taie.analysis.dataflow.analysis.constprop.ConstantPropagation.Analysis
- pascal.taie.util.graph.AbstractEdge<N> (implements pascal.taie.util.graph.Edge<N>)
- pascal.taie.analysis.graph.cfg.CFGEdge<N>
- pascal.taie.analysis.graph.icfg.ICFGEdge<Node>
- pascal.taie.analysis.graph.icfg.CallEdge<Node>
- pascal.taie.analysis.graph.icfg.CallToReturnEdge<Node>
- pascal.taie.analysis.graph.icfg.NormalEdge<Node>
- pascal.taie.analysis.graph.icfg.ReturnEdge<Node>
- pascal.taie.analysis.pta.core.heap.AbstractHeapModel (implements pascal.taie.analysis.pta.core.heap.HeapModel)
- pascal.taie.analysis.pta.core.heap.AllocationSiteBasedModel
- java.util.AbstractMap<K,
V> (implements java.util.Map<K, V>) - pascal.taie.util.collection.AbstractHybridMap<K,
V> (implements java.io.Serializable) - pascal.taie.util.collection.HybridHashMap<K,
V> (implements java.io.Serializable)
- pascal.taie.util.collection.HybridHashMap<K,
- pascal.taie.util.collection.ArrayMap<K,
V> (implements java.io.Serializable) - pascal.taie.util.collection.IndexMap<K,
V> (implements java.io.Serializable)
- pascal.taie.util.collection.AbstractHybridMap<K,
- pascal.taie.util.collection.AbstractMultiMap<K,
V> (implements pascal.taie.util.collection.MultiMap<K, V>) - pascal.taie.util.collection.MapSetMultiMap<K,
V> (implements java.io.Serializable)
- pascal.taie.util.collection.MapSetMultiMap<K,
- pascal.taie.util.AbstractResultHolder (implements pascal.taie.util.ResultHolder)
- pascal.taie.ir.DefaultIR (implements pascal.taie.ir.IR)
- pascal.taie.language.classes.JClass (implements pascal.taie.language.annotation.Annotated, pascal.taie.util.Indexable, java.io.Serializable)
- pascal.taie.analysis.pta.PointerAnalysisResultImpl (implements pascal.taie.analysis.pta.PointerAnalysisResult)
- pascal.taie.World (implements java.io.Serializable)
- pascal.taie.util.collection.AbstractTwoKeyMap<K1,
K2, V> (implements java.io.Serializable, pascal.taie.util.collection.TwoKeyMap<K1, K2, V>) - pascal.taie.util.collection.MapMapTwoKeyMap<K1,
K2, V> (implements java.io.Serializable)
- pascal.taie.util.collection.MapMapTwoKeyMap<K1,
- pascal.taie.util.collection.AbstractTwoKeyMultiMap<K1,
K2, V> (implements java.io.Serializable, pascal.taie.util.collection.TwoKeyMultiMap<K1, K2, V>) - pascal.taie.util.collection.MapMultiMapTwoKeyMultiMap<K1,
K2, V>
- pascal.taie.util.collection.MapMultiMapTwoKeyMultiMap<K1,
- pascal.taie.AbstractWorldBuilder (implements pascal.taie.WorldBuilder)
- pascal.taie.frontend.soot.SootWorldBuilder
- pascal.taie.analysis.Analysis
- pascal.taie.analysis.ClassAnalysis<R>
- pascal.taie.analysis.bugfinder.CloneIdiom
- pascal.taie.analysis.misc.IRDumper
- pascal.taie.analysis.MethodAnalysis<R>
- pascal.taie.analysis.dataflow.analysis.AnalysisDriver<Node,
Fact> - pascal.taie.analysis.dataflow.analysis.availexp.AvailableExpression
- pascal.taie.analysis.dataflow.analysis.constprop.ConstantPropagation
- pascal.taie.analysis.bugfinder.nullpointer.IsNullAnalysis
- pascal.taie.analysis.dataflow.analysis.LiveVariable
- pascal.taie.analysis.dataflow.analysis.ReachingDefinition
- pascal.taie.analysis.graph.cfg.CFGBuilder
- pascal.taie.analysis.deadcode.DeadCodeDetection
- pascal.taie.analysis.defuse.DefUseAnalysis
- pascal.taie.analysis.bugfinder.DroppedException
- pascal.taie.analysis.bugfinder.nullpointer.NullPointerDetection
- pascal.taie.analysis.exception.ThrowAnalysis
- pascal.taie.analysis.dataflow.analysis.AnalysisDriver<Node,
- pascal.taie.analysis.ProgramAnalysis<R>
- pascal.taie.analysis.dataflow.inter.AbstractInterDataflowAnalysis<Method,
Node, Fact> (implements pascal.taie.analysis.dataflow.inter.InterDataflowAnalysis<Node, Fact>) - pascal.taie.analysis.dataflow.inter.InterConstantPropagation
- pascal.taie.analysis.graph.callgraph.CallGraphBuilder
- pascal.taie.analysis.graph.icfg.ICFGBuilder
- pascal.taie.analysis.pta.client.MayFailCast
- pascal.taie.analysis.pta.PointerAnalysis
- pascal.taie.analysis.pta.client.PolymorphicCallSite
- pascal.taie.analysis.misc.ResultProcessor
- pascal.taie.analysis.sideeffect.SideEffectAnalysis
- pascal.taie.analysis.dataflow.inter.AbstractInterDataflowAnalysis<Method,
- pascal.taie.analysis.ClassAnalysis<R>
- pascal.taie.config.AnalysisConfig
- pascal.taie.analysis.AnalysisManager
- pascal.taie.config.AnalysisOptions
- pascal.taie.config.AnalysisPlanner
- pascal.taie.analysis.pta.plugin.AnalysisTimer (implements pascal.taie.analysis.pta.plugin.Plugin)
- pascal.taie.language.annotation.Annotation (implements java.io.Serializable)
- pascal.taie.language.annotation.AnnotationHolder (implements java.io.Serializable)
- pascal.taie.ir.exp.ArithmeticExp
- pascal.taie.ir.exp.ArrayAccess (implements pascal.taie.ir.exp.LValue, pascal.taie.ir.exp.RValue)
- pascal.taie.analysis.pta.core.cs.element.ArrayIndex
- pascal.taie.ir.exp.ArrayLengthExp (implements pascal.taie.ir.exp.UnaryExp)
- pascal.taie.language.generics.ArrayTypeGSignature (implements pascal.taie.language.generics.ReferenceTypeGSignature)
- pascal.taie.analysis.pta.plugin.assertion.AssertionChecker (implements pascal.taie.analysis.pta.plugin.Plugin)
- pascal.taie.ir.exp.BitwiseExp
- pascal.taie.analysis.bugfinder.BugInstance (implements java.lang.Comparable<T>)
- pascal.taie.frontend.cache.CachedIRBuilder (implements pascal.taie.ir.IRBuilder)
- pascal.taie.frontend.cache.CachedWorldBuilder (implements pascal.taie.WorldBuilder)
- pascal.taie.analysis.graph.callgraph.CallGraphs
- pascal.taie.util.Canonicalizer<T> (implements java.io.Serializable)
- pascal.taie.ir.exp.CastExp (implements pascal.taie.ir.exp.RValue)
- pascal.taie.ir.stmt.Catch
- pascal.taie.analysis.exception.CatchAnalysis
- pascal.taie.analysis.exception.CatchResult
- pascal.taie.analysis.graph.cfg.CFGDumper
- pascal.taie.language.generics.ClassGSignature (implements java.io.Serializable)
- pascal.taie.language.classes.ClassHierarchyImpl (implements pascal.taie.language.classes.ClassHierarchy)
- pascal.taie.analysis.pta.plugin.ClassInitializer (implements pascal.taie.analysis.pta.plugin.Plugin)
- pascal.taie.ir.exp.ClassLiteral (implements pascal.taie.ir.exp.ReferenceLiteral)
- pascal.taie.language.classes.ClassMember (implements pascal.taie.language.annotation.Annotated, java.io.Serializable)
- pascal.taie.util.ClassNameExtractor
- pascal.taie.language.classes.ClassNames
- pascal.taie.language.type.ClassType (implements pascal.taie.language.type.ReferenceType)
- pascal.taie.language.generics.ClassTypeGSignature (implements pascal.taie.language.generics.ReferenceTypeGSignature)
- pascal.taie.analysis.pta.toolkit.CollectionMethods
- pascal.taie.util.collection.CollectionUtils
- pascal.taie.ir.exp.ComparisonExp
- pascal.taie.analysis.pta.plugin.CompositePlugin (implements pascal.taie.analysis.pta.plugin.Plugin)
- pascal.taie.analysis.pta.plugin.natives.NativeModeller
- pascal.taie.analysis.pta.plugin.reflection.ReflectionAnalysis
- pascal.taie.analysis.pta.plugin.taint.TaintAnalysis
- pascal.taie.ir.exp.ConditionExp
- pascal.taie.config.ConfigManager
- pascal.taie.config.Configs
- pascal.taie.analysis.pta.plugin.ConstraintChecker (implements pascal.taie.analysis.pta.plugin.Plugin)
- pascal.taie.analysis.pta.core.cs.selector.ContextSelectorFactory
- pascal.taie.analysis.pta.plugin.exception.CSMethodThrowResult
- pascal.taie.analysis.pta.plugin.util.CSObjs
- pascal.taie.analysis.pta.core.cs.element.CSVar (implements pascal.taie.analysis.pta.core.cs.element.CSElement)
- pascal.taie.analysis.dataflow.fact.DataflowResult<Node,
Fact> (implements pascal.taie.analysis.dataflow.fact.NodeResult<Node, Fact>) - pascal.taie.analysis.pta.core.solver.DeclaredParamProvider (implements pascal.taie.analysis.pta.core.solver.ParamProvider)
- pascal.taie.language.natives.DefaultNativeModel (implements pascal.taie.language.natives.NativeModel)
- pascal.taie.analysis.pta.core.solver.DefaultSolver (implements pascal.taie.analysis.pta.core.solver.Solver)
- pascal.taie.ir.stmt.DefinitionStmt<L,
R> - pascal.taie.ir.stmt.AssignStmt<L,
R> - pascal.taie.ir.stmt.AssignLiteral
- pascal.taie.ir.stmt.Binary
- pascal.taie.ir.stmt.Cast
- pascal.taie.ir.stmt.Copy
- pascal.taie.ir.stmt.FieldStmt<L,
R> - pascal.taie.ir.stmt.LoadField
- pascal.taie.ir.stmt.StoreField
- pascal.taie.ir.stmt.InstanceOf
- pascal.taie.ir.stmt.LoadArray
- pascal.taie.ir.stmt.New
- pascal.taie.ir.stmt.StoreArray
- pascal.taie.ir.stmt.Unary
- pascal.taie.ir.stmt.Invoke (implements java.lang.Comparable<T>)
- pascal.taie.ir.stmt.AssignStmt<L,
- pascal.taie.analysis.defuse.DefUse (implements pascal.taie.analysis.StmtResult<R>)
- pascal.taie.util.graph.DominatorFinder<N>
- pascal.taie.util.graph.DotAttributes
- pascal.taie.util.graph.DotDumper<N>
- pascal.taie.ir.exp.DoubleLiteral (implements pascal.taie.ir.exp.FloatingPointLiteral)
- pascal.taie.analysis.graph.callgraph.Edge<CallSite,
Method> - pascal.taie.analysis.graph.callgraph.OtherEdge<CallSite,
Method>
- pascal.taie.analysis.graph.callgraph.OtherEdge<CallSite,
- pascal.taie.language.natives.EmptyNativeModel (implements pascal.taie.language.natives.NativeModel)
- pascal.taie.analysis.pta.plugin.EntryPointHandler (implements pascal.taie.analysis.pta.plugin.Plugin)
- pascal.taie.analysis.dataflow.analysis.constprop.Evaluator
- pascal.taie.analysis.pta.plugin.exception.ExceptionAnalysis (implements pascal.taie.analysis.pta.plugin.Plugin)
- pascal.taie.ir.exp.Exps
- pascal.taie.analysis.dataflow.analysis.availexp.ExpWrapper
- pascal.taie.ir.exp.FieldAccess (implements pascal.taie.ir.exp.LValue, pascal.taie.ir.exp.RValue)
- pascal.taie.ir.exp.InstanceFieldAccess
- pascal.taie.ir.exp.StaticFieldAccess
- pascal.taie.ir.exp.FloatLiteral (implements pascal.taie.ir.exp.FloatingPointLiteral)
- pascal.taie.analysis.graph.flowgraph.FlowGraphDumper
- pascal.taie.language.generics.GSignatures
- pascal.taie.util.Hashes
- pascal.taie.analysis.pta.core.cs.element.InstanceField
- pascal.taie.ir.exp.InstanceOfExp (implements pascal.taie.ir.exp.RValue)
- pascal.taie.ir.exp.IntLiteral (implements pascal.taie.ir.exp.IntegerLiteral)
- pascal.taie.analysis.pta.plugin.invokedynamic.InvokeDynamicAnalysis (implements pascal.taie.analysis.pta.plugin.Plugin)
- pascal.taie.ir.exp.InvokeExp (implements pascal.taie.ir.exp.RValue)
- pascal.taie.ir.exp.InvokeDynamic
- pascal.taie.ir.exp.InvokeInstanceExp
- pascal.taie.ir.exp.InvokeInterface
- pascal.taie.ir.exp.InvokeSpecial
- pascal.taie.ir.exp.InvokeVirtual
- pascal.taie.ir.exp.InvokeStatic
- pascal.taie.analysis.pta.plugin.util.InvokeUtils
- pascal.taie.ir.IRBuildHelper
- pascal.taie.ir.IRPrinter
- pascal.taie.analysis.pta.core.heap.IsApplicationString (implements java.util.function.Predicate<T>)
- pascal.taie.analysis.pta.core.heap.IsReflectionString (implements java.util.function.Predicate<T>)
- pascal.taie.analysis.pta.plugin.invokedynamic.Java9StringConcatHandler (implements pascal.taie.analysis.pta.plugin.Plugin)
- pascal.taie.ir.stmt.JumpStmt
- pascal.taie.ir.stmt.Goto
- pascal.taie.ir.stmt.If
- pascal.taie.ir.stmt.SwitchStmt
- pascal.taie.ir.stmt.LookupSwitch
- pascal.taie.ir.stmt.TableSwitch
- pascal.taie.analysis.pta.plugin.invokedynamic.LambdaAnalysis (implements pascal.taie.analysis.pta.plugin.Plugin)
- pascal.taie.util.collection.Lists
- pascal.taie.config.LoggerConfigs
- pascal.taie.analysis.pta.plugin.reflection.LogItem
- pascal.taie.ir.exp.LongLiteral (implements pascal.taie.ir.exp.IntegerLiteral)
- pascal.taie.analysis.pta.toolkit.mahjong.Mahjong
- pascal.taie.Main
- pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager (implements pascal.taie.analysis.pta.core.cs.element.CSManager)
- pascal.taie.util.collection.MapEntry<K,
V> (implements java.util.Map.Entry<K, V>, java.io.Serializable) - pascal.taie.analysis.dataflow.fact.MapFact<K,
V> (implements pascal.taie.util.Copyable<T>) - pascal.taie.analysis.dataflow.analysis.constprop.CPFact
- pascal.taie.util.collection.Maps
- pascal.taie.ir.proginfo.MemberRef (implements java.io.Serializable)
- pascal.taie.util.graph.MergedNode<N>
- pascal.taie.util.graph.MergedSCCGraph<N> (implements pascal.taie.util.graph.Graph<N>)
- pascal.taie.language.generics.MethodGSignature (implements java.io.Serializable)
- pascal.taie.ir.exp.MethodHandle (implements pascal.taie.ir.exp.ReferenceLiteral)
- pascal.taie.language.classes.MethodNames
- pascal.taie.analysis.pta.plugin.exception.MethodThrowResult
- pascal.taie.ir.exp.MethodType (implements pascal.taie.ir.exp.ReferenceLiteral)
- pascal.taie.ir.stmt.Monitor
- pascal.taie.util.collection.MultiMapCollector<T,
K, V, R> (implements java.util.stream.Collector<T, A, R>) - pascal.taie.ir.exp.NegExp (implements pascal.taie.ir.exp.UnaryExp)
- pascal.taie.ir.exp.NewArray (implements pascal.taie.ir.exp.NewExp)
- pascal.taie.ir.exp.NewInstance (implements pascal.taie.ir.exp.NewExp)
- pascal.taie.ir.exp.NewMultiArray (implements pascal.taie.ir.exp.NewExp)
- pascal.taie.analysis.graph.flowgraph.Node (implements pascal.taie.util.Indexable)
- pascal.taie.analysis.graph.flowgraph.InstanceNode
- pascal.taie.analysis.graph.flowgraph.ArrayIndexNode
- pascal.taie.analysis.graph.flowgraph.InstanceFieldNode
- pascal.taie.analysis.graph.flowgraph.StaticFieldNode
- pascal.taie.analysis.graph.flowgraph.VarNode
- pascal.taie.analysis.graph.flowgraph.InstanceNode
- pascal.taie.analysis.graph.flowgraph.NodeManager (implements pascal.taie.util.Indexer<E>)
- pascal.taie.analysis.graph.flowgraph.ObjectFlowGraph (implements pascal.taie.util.graph.Graph<N>, pascal.taie.util.Indexer<E>)
- pascal.taie.ir.stmt.Nop
- pascal.taie.analysis.pta.plugin.NullHandler (implements pascal.taie.analysis.pta.plugin.Plugin)
- java.lang.Number (implements java.io.Serializable)
- pascal.taie.util.MutableInt (implements java.lang.Comparable<T>)
- pascal.taie.analysis.pta.plugin.NumberLiteralHandler (implements pascal.taie.analysis.pta.plugin.Plugin)
- pascal.taie.analysis.pta.toolkit.util.OAGs
- pascal.taie.analysis.pta.core.heap.Obj (implements pascal.taie.util.Indexable)
- pascal.taie.analysis.pta.core.heap.ConstantObj
- pascal.taie.analysis.pta.core.heap.MergedObj
- pascal.taie.analysis.pta.core.heap.MockObj
- pascal.taie.analysis.pta.core.heap.NewObj
- pascal.taie.config.Options (implements java.io.Serializable)
- pascal.taie.config.PlanConfig
- pascal.taie.analysis.pta.toolkit.PointerAnalysisResultExImpl (implements pascal.taie.analysis.pta.toolkit.PointerAnalysisResultEx)
- pascal.taie.analysis.pta.core.solver.PointerFlowEdge (implements pascal.taie.util.graph.Edge<N>)
- pascal.taie.analysis.pta.core.solver.OtherEdge
- pascal.taie.analysis.pta.core.solver.PointerFlowGraph (implements pascal.taie.util.graph.Graph<N>)
- pascal.taie.analysis.pta.pts.PointsToSetFactory
- pascal.taie.util.Predicates
- pascal.taie.analysis.pta.plugin.Profiler (implements pascal.taie.analysis.pta.plugin.Plugin)
- pascal.taie.analysis.pta.core.solver.PropagateTypes
- pascal.taie.analysis.pta.plugin.exception.PTAThrowResult
- pascal.taie.util.graph.Reachability<N>
- java.lang.Record
- pascal.taie.language.annotation.Annotation.Entry
- pascal.taie.language.annotation.AnnotationElement (implements pascal.taie.language.annotation.Element)
- pascal.taie.language.annotation.ArrayElement (implements pascal.taie.language.annotation.Element)
- pascal.taie.language.type.ArrayType (implements pascal.taie.language.type.ReferenceType)
- pascal.taie.language.annotation.BooleanElement (implements pascal.taie.language.annotation.Element)
- pascal.taie.analysis.graph.cfg.CFGNodeIndexer<Node> (implements pascal.taie.util.Indexer<E>)
- pascal.taie.language.annotation.ClassElement (implements pascal.taie.language.annotation.Element)
- pascal.taie.language.generics.ClassTypeGSignature.SimpleClassTypeGSignature (implements java.io.Serializable)
- pascal.taie.language.annotation.DoubleElement (implements pascal.taie.language.annotation.Element)
- pascal.taie.analysis.pta.core.solver.EntryPoint
- pascal.taie.language.annotation.EnumElement (implements pascal.taie.language.annotation.Element)
- pascal.taie.ir.proginfo.ExceptionEntry (implements java.io.Serializable)
- pascal.taie.language.annotation.FloatElement (implements pascal.taie.language.annotation.Element)
- pascal.taie.language.annotation.IntElement (implements pascal.taie.language.annotation.Element)
- pascal.taie.language.annotation.LongElement (implements pascal.taie.language.annotation.Element)
- pascal.taie.analysis.graph.flowgraph.OtherFlowEdge (implements pascal.taie.analysis.graph.flowgraph.FlowEdge)
- pascal.taie.util.collection.Pair<T1,
T2> (implements java.io.Serializable) - pascal.taie.config.Plan
- pascal.taie.language.annotation.StringElement (implements pascal.taie.language.annotation.Element)
- pascal.taie.analysis.pta.plugin.taint.TaintFlow (implements java.lang.Comparable<T>)
- pascal.taie.util.collection.TwoKeyMap.Entry<K1,
K2, V> (implements java.io.Serializable)
- pascal.taie.analysis.pta.plugin.ReferenceHandler (implements pascal.taie.analysis.pta.plugin.Plugin)
- pascal.taie.language.classes.Reflections
- pascal.taie.analysis.pta.plugin.ResultProcessor (implements pascal.taie.analysis.pta.plugin.Plugin)
- pascal.taie.ir.stmt.Return
- pascal.taie.util.graph.ReverseGraph<N> (implements pascal.taie.util.graph.Graph<N>)
- pascal.taie.util.RuntimeInfoLogger
- pascal.taie.analysis.pta.toolkit.scaler.Scaler
- pascal.taie.util.graph.SCC<N>
- pascal.taie.analysis.dataflow.fact.SetFact<E> (implements pascal.taie.util.Copyable<T>, java.lang.Iterable<T>)
- pascal.taie.util.collection.Sets
- pascal.taie.ir.exp.ShiftExp
- pascal.taie.analysis.sideeffect.SideEffect (implements pascal.taie.analysis.StmtResult<R>)
- pascal.taie.language.classes.SignatureMatcher
- pascal.taie.language.classes.Signatures
- pascal.taie.util.graph.SimpleGraph<N> (implements pascal.taie.util.graph.Graph<N>)
- pascal.taie.util.SimpleIndexer<E> (implements pascal.taie.util.Indexer<E>)
- 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)
- pascal.taie.analysis.pta.plugin.util.AnalysisModelPlugin
- pascal.taie.analysis.pta.plugin.invokedynamic.LookupModel
- pascal.taie.analysis.pta.plugin.invokedynamic.MethodTypeModel
- pascal.taie.analysis.pta.plugin.reflection.OthersModel
- pascal.taie.analysis.pta.plugin.reflection.ReflectiveActionModel
- pascal.taie.analysis.pta.plugin.reflection.SolarModel
- pascal.taie.analysis.pta.plugin.reflection.StringBasedModel
- pascal.taie.analysis.pta.plugin.util.IRModelPlugin
- pascal.taie.analysis.pta.plugin.natives.ArrayModel
- pascal.taie.analysis.pta.plugin.natives.DoPriviledgedModel
- pascal.taie.analysis.pta.plugin.natives.UnsafeModel
- pascal.taie.analysis.pta.core.solver.SpecifiedParamProvider (implements pascal.taie.analysis.pta.core.solver.ParamProvider)
- pascal.taie.analysis.pta.core.solver.SpecifiedParamProvider.Builder
- pascal.taie.analysis.pta.core.cs.element.StaticField
- pascal.taie.util.collection.Streams
- pascal.taie.ir.exp.StringLiteral (implements pascal.taie.ir.exp.ReferenceLiteral)
- pascal.taie.language.classes.StringReps
- pascal.taie.util.Strings
- pascal.taie.language.classes.Subsignature (implements java.io.Serializable)
- pascal.taie.analysis.pta.plugin.ThreadHandler (implements pascal.taie.analysis.pta.plugin.Plugin)
- pascal.taie.ir.stmt.Throw
- java.lang.Throwable (implements java.io.Serializable)
- java.lang.Exception
- java.lang.RuntimeException
- pascal.taie.language.classes.AmbiguousMemberException
- pascal.taie.util.AnalysisException
- pascal.taie.config.ConfigException
- pascal.taie.ir.proginfo.ResolutionFailedException
- pascal.taie.ir.proginfo.FieldResolutionFailedException
- pascal.taie.ir.proginfo.MethodResolutionFailedException
- pascal.taie.util.collection.TooManyElementsException
- java.lang.RuntimeException
- java.lang.Exception
- pascal.taie.analysis.exception.ThrowResult
- pascal.taie.util.Timer
- pascal.taie.util.graph.TopologicalSorter<N>
- pascal.taie.analysis.pta.core.cs.context.TrieContext (implements pascal.taie.analysis.pta.core.cs.context.Context)
- pascal.taie.analysis.pta.core.cs.context.TrieContext.Factory<T> (implements pascal.taie.analysis.pta.core.cs.context.ContextFactory<T>)
- pascal.taie.language.generics.TypeArgument (implements java.io.Serializable)
- pascal.taie.analysis.pta.core.solver.TypeFilter (implements pascal.taie.analysis.pta.core.solver.Transfer)
- pascal.taie.language.generics.TypeParameter (implements java.io.Serializable)
- pascal.taie.language.type.TypeSystemImpl (implements pascal.taie.language.type.TypeSystem)
- pascal.taie.language.generics.TypeVariableGSignature (implements pascal.taie.language.generics.ReferenceTypeGSignature)
- pascal.taie.util.collection.UnionFindSet<E>
- pascal.taie.analysis.dataflow.analysis.constprop.Value
- pascal.taie.ir.exp.Var (implements pascal.taie.util.Indexable, pascal.taie.ir.exp.LValue, pascal.taie.ir.exp.RValue)
- pascal.taie.util.collection.Views
- pascal.taie.analysis.pta.toolkit.zipper.Zipper
- pascal.taie.util.collection.AbstractBitSet (implements pascal.taie.util.collection.IBitSet)
Interface Hierarchy
- pascal.taie.language.annotation.Annotated
- pascal.taie.ir.exp.BinaryExp.Op
- pascal.taie.analysis.bugfinder.BugType
- pascal.taie.analysis.pta.core.cs.context.Context
- pascal.taie.analysis.pta.core.cs.context.ContextFactory<T>
- pascal.taie.analysis.pta.core.cs.selector.ContextSelector
- pascal.taie.util.Copyable<T>
- pascal.taie.util.collection.IBitSet (also extends java.io.Serializable)
- pascal.taie.analysis.pta.pts.PointsToSet (also extends java.lang.Iterable<T>)
- pascal.taie.util.collection.SetEx<E> (also extends java.util.Set<E>)
- pascal.taie.analysis.pta.core.cs.element.CSElement
- pascal.taie.analysis.pta.core.cs.element.CSManager
- pascal.taie.analysis.dataflow.analysis.DataflowAnalysis<Node,
Fact> - pascal.taie.analysis.pta.core.heap.Descriptor
- pascal.taie.ir.exp.ExpVisitor<T>
- pascal.taie.util.collection.IBitSet.Action<R>
- pascal.taie.util.Indexable
- pascal.taie.analysis.pta.core.cs.element.Pointer
- pascal.taie.ir.stmt.Stmt (also extends java.io.Serializable)
- pascal.taie.analysis.dataflow.inter.InterDataflowAnalysis<Node,
Fact> - pascal.taie.analysis.pta.plugin.util.IRModel
- java.lang.Iterable<T>
- java.util.Collection<E>
- pascal.taie.util.graph.Graph<N> (also extends java.io.Serializable)
- pascal.taie.analysis.graph.callgraph.CallGraph<CallSite,
Method> (also extends pascal.taie.analysis.StmtResult<R>) - pascal.taie.analysis.graph.cfg.CFG<N>
- pascal.taie.analysis.graph.icfg.ICFG<Method,
Node>
- pascal.taie.analysis.graph.callgraph.CallGraph<CallSite,
- pascal.taie.ir.IR (also extends pascal.taie.util.Indexer<E>, pascal.taie.util.ResultHolder, java.io.Serializable)
- pascal.taie.analysis.pta.pts.PointsToSet (also extends pascal.taie.util.Copyable<T>)
- pascal.taie.language.classes.JClassBuilder
- pascal.taie.analysis.pta.plugin.util.Model
- pascal.taie.util.collection.MultiMap<K,
V> - pascal.taie.analysis.pta.core.solver.ParamProvider
- pascal.taie.analysis.pta.plugin.Plugin
- pascal.taie.analysis.pta.toolkit.PointerAnalysisResultEx
- pascal.taie.util.ResultHolder
- pascal.taie.ir.IR (also extends pascal.taie.util.Indexer<E>, java.lang.Iterable<T>, java.io.Serializable)
- pascal.taie.analysis.pta.PointerAnalysisResult
- java.io.Serializable
- pascal.taie.util.graph.Edge<N>
- pascal.taie.analysis.graph.flowgraph.FlowEdge
- pascal.taie.language.annotation.Element
- pascal.taie.ir.exp.Exp
- pascal.taie.ir.exp.LValue
- pascal.taie.ir.exp.RValue
- pascal.taie.ir.exp.BinaryExp
- pascal.taie.ir.exp.Literal
- pascal.taie.ir.exp.NumberLiteral
- pascal.taie.ir.exp.FloatingPointLiteral
- pascal.taie.ir.exp.IntegerLiteral
- pascal.taie.ir.exp.ReferenceLiteral
- pascal.taie.ir.exp.NumberLiteral
- pascal.taie.ir.exp.NewExp
- pascal.taie.ir.exp.UnaryExp
- pascal.taie.util.graph.Graph<N> (also extends java.lang.Iterable<T>)
- pascal.taie.analysis.graph.callgraph.CallGraph<CallSite,
Method> (also extends pascal.taie.analysis.StmtResult<R>) - pascal.taie.analysis.graph.cfg.CFG<N>
- pascal.taie.analysis.graph.icfg.ICFG<Method,
Node>
- pascal.taie.analysis.graph.callgraph.CallGraph<CallSite,
- pascal.taie.util.collection.IBitSet (also extends pascal.taie.util.Copyable<T>)
- pascal.taie.util.Indexer<E>
- pascal.taie.language.classes.ClassHierarchy
- pascal.taie.analysis.pta.core.heap.HeapModel
- pascal.taie.ir.IR (also extends java.lang.Iterable<T>, pascal.taie.util.ResultHolder, java.io.Serializable)
- pascal.taie.ir.IR (also extends pascal.taie.util.Indexer<E>, java.lang.Iterable<T>, pascal.taie.util.ResultHolder)
- pascal.taie.ir.IRBuilder
- pascal.taie.language.classes.JClassLoader
- pascal.taie.language.natives.NativeModel
- pascal.taie.util.function.SSupplier<T> (also extends java.util.function.Supplier<T>)
- pascal.taie.ir.stmt.Stmt (also extends pascal.taie.util.Indexable)
- pascal.taie.language.type.Type
- pascal.taie.language.type.ReferenceType
- pascal.taie.language.type.ValueType
- pascal.taie.language.type.PrimitiveType
- pascal.taie.language.generics.TypeGSignature
- pascal.taie.language.generics.ReferenceTypeGSignature
- pascal.taie.language.type.TypeSystem
- pascal.taie.util.graph.Edge<N>
- pascal.taie.analysis.dataflow.solver.Solver<Node,
Fact> - pascal.taie.analysis.pta.core.solver.Solver
- pascal.taie.analysis.StmtResult<R>
- pascal.taie.analysis.graph.callgraph.CallGraph<CallSite,
Method> (also extends pascal.taie.util.graph.Graph<N>) - pascal.taie.analysis.dataflow.fact.NodeResult<Node,
Fact>
- pascal.taie.analysis.graph.callgraph.CallGraph<CallSite,
- pascal.taie.ir.stmt.StmtVisitor<T>
- java.util.function.Supplier<T>
- pascal.taie.util.function.SSupplier<T> (also extends java.io.Serializable)
- pascal.taie.analysis.pta.core.solver.Transfer
- pascal.taie.util.TriConsumer<T,
U, V> - pascal.taie.util.TriFunction<T,
U, V, R> - pascal.taie.util.collection.TwoKeyMap<K1,
K2, V> - pascal.taie.util.collection.TwoKeyMultiMap<K1,
K2, V> - pascal.taie.WorldBuilder
Annotation Interface Hierarchy
- pascal.taie.util.Experimental (implements java.lang.annotation.Annotation)
- pascal.taie.util.InternalCanonicalized (implements java.lang.annotation.Annotation)
- 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.ir.exp.ArithmeticExp.Op (implements pascal.taie.ir.exp.BinaryExp.Op)
- pascal.taie.language.generics.BaseType (implements pascal.taie.language.generics.TypeGSignature)
- pascal.taie.ir.exp.BitwiseExp.Op (implements pascal.taie.ir.exp.BinaryExp.Op)
- pascal.taie.language.type.BooleanType (implements pascal.taie.language.type.PrimitiveType)
- pascal.taie.language.type.BottomType (implements pascal.taie.language.type.Type)
- pascal.taie.language.type.ByteType (implements pascal.taie.language.type.PrimitiveType)
- pascal.taie.analysis.graph.callgraph.CallKind
- pascal.taie.analysis.graph.cfg.CFGEdge.Kind
- pascal.taie.language.type.CharType (implements pascal.taie.language.type.PrimitiveType)
- pascal.taie.ir.exp.ComparisonExp.Op (implements pascal.taie.ir.exp.BinaryExp.Op)
- pascal.taie.ir.exp.ConditionExp.Op (implements pascal.taie.ir.exp.BinaryExp.Op)
- pascal.taie.language.type.DoubleType (implements pascal.taie.language.type.PrimitiveType)
- pascal.taie.analysis.pta.core.solver.EmptyParamProvider (implements pascal.taie.analysis.pta.core.solver.ParamProvider)
- pascal.taie.language.type.FloatType (implements pascal.taie.language.type.PrimitiveType)
- pascal.taie.analysis.graph.flowgraph.FlowKind
- pascal.taie.analysis.pta.core.solver.Identity (implements pascal.taie.analysis.pta.core.solver.Transfer)
- pascal.taie.language.type.IntType (implements pascal.taie.language.type.PrimitiveType)
- pascal.taie.language.type.LongType (implements pascal.taie.language.type.PrimitiveType)
- pascal.taie.ir.exp.MethodHandle.Kind
- pascal.taie.language.classes.Modifier
- pascal.taie.ir.stmt.Monitor.Op
- pascal.taie.ir.exp.NullLiteral (implements pascal.taie.ir.exp.ReferenceLiteral)
- pascal.taie.language.type.NullType (implements pascal.taie.language.type.ReferenceType)
- pascal.taie.config.Scope
- pascal.taie.analysis.bugfinder.Severity
- pascal.taie.ir.exp.ShiftExp.Op (implements pascal.taie.ir.exp.BinaryExp.Op)
- pascal.taie.language.type.ShortType (implements pascal.taie.language.type.PrimitiveType)
- pascal.taie.language.generics.TypeArgument.Kind
- pascal.taie.language.generics.VoidDescriptor (implements pascal.taie.language.generics.TypeGSignature)
- pascal.taie.language.type.VoidType (implements pascal.taie.language.type.Type)
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)