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.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.ArrayMap<K,V> (implements java.io.Serializable)
    • pascal.taie.util.collection.IndexMap<K,V> (implements java.io.Serializable)
  • 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.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.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.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.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.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.language.classes.JField
    • pascal.taie.language.classes.JMethod
  • 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.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.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.ir.proginfo.FieldRef
    • pascal.taie.ir.proginfo.MethodRef
  • 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.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.pta.plugin.taint.CallSource (implements pascal.taie.analysis.pta.plugin.taint.Source)
    • 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.analysis.pta.plugin.taint.FieldSource (implements pascal.taie.analysis.pta.plugin.taint.Source)
    • pascal.taie.language.annotation.FloatElement (implements pascal.taie.language.annotation.Element)
    • pascal.taie.analysis.pta.plugin.taint.IndexRef (implements java.lang.Comparable<T>)
    • 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.analysis.pta.plugin.taint.ParamSanitizer (implements pascal.taie.analysis.pta.plugin.taint.Sanitizer)
    • pascal.taie.analysis.pta.plugin.taint.ParamSource (implements pascal.taie.analysis.pta.plugin.taint.Source)
    • pascal.taie.config.Plan
    • pascal.taie.analysis.pta.plugin.taint.Sink
    • pascal.taie.language.annotation.StringElement (implements pascal.taie.language.annotation.Element)
    • pascal.taie.analysis.pta.plugin.taint.TaintConfig
    • pascal.taie.analysis.pta.plugin.taint.TaintFlow (implements java.lang.Comparable<T>)
    • pascal.taie.analysis.pta.plugin.taint.TaintTransfer
    • 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.taint.TaintConfigProvider
  • 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
  • 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

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>
    • java.util.Set<E>
      • pascal.taie.util.collection.SetEx<E> (also extends pascal.taie.util.Copyable<T>)
  • 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.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
• pascal.taie.analysis.pta.plugin.taint.Sanitizer
• 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.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.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.analysis.dataflow.solver.Solver<Node,Fact>
• pascal.taie.analysis.pta.core.solver.Solver
• pascal.taie.analysis.pta.plugin.taint.Source
• 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.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.analysis.pta.plugin.taint.IndexRef.Kind
    • 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)