View Java Class Source Code in JAR file
- Download JD-GUI to open JAR file and explore Java source code file (.class .java)
- Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window tai-e-0.2.2.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
pascal.taie.analysis.pta.core.solver
├─ pascal.taie.analysis.pta.core.solver.DeclaredParamProvider.class - [JAR]
├─ pascal.taie.analysis.pta.core.solver.DefaultSolver.class - [JAR]
├─ pascal.taie.analysis.pta.core.solver.EmptyParamProvider.class - [JAR]
├─ pascal.taie.analysis.pta.core.solver.EntryPoint.class - [JAR]
├─ pascal.taie.analysis.pta.core.solver.Identity.class - [JAR]
├─ pascal.taie.analysis.pta.core.solver.ParamProvider.class - [JAR]
├─ pascal.taie.analysis.pta.core.solver.PointerFlowEdge.class - [JAR]
├─ pascal.taie.analysis.pta.core.solver.PointerFlowGraph.class - [JAR]
├─ pascal.taie.analysis.pta.core.solver.PropagateTypes.class - [JAR]
├─ pascal.taie.analysis.pta.core.solver.Solver.class - [JAR]
├─ pascal.taie.analysis.pta.core.solver.SpecifiedParamProvider.class - [JAR]
├─ pascal.taie.analysis.pta.core.solver.Transfer.class - [JAR]
├─ pascal.taie.analysis.pta.core.solver.TypeFilter.class - [JAR]
├─ pascal.taie.analysis.pta.core.solver.WorkList.class - [JAR]
pascal.taie.analysis.dataflow.solver
├─ pascal.taie.analysis.dataflow.solver.AbstractSolver.class - [JAR]
├─ pascal.taie.analysis.dataflow.solver.Solver.class - [JAR]
├─ pascal.taie.analysis.dataflow.solver.WorkListSolver.class - [JAR]
pascal.taie.language.generics
├─ pascal.taie.language.generics.ArrayTypeGSignature.class - [JAR]
├─ pascal.taie.language.generics.BaseType.class - [JAR]
├─ pascal.taie.language.generics.ClassGSignature.class - [JAR]
├─ pascal.taie.language.generics.ClassGSignatureBuilder.class - [JAR]
├─ pascal.taie.language.generics.ClassTypeGSignature.class - [JAR]
├─ pascal.taie.language.generics.GSignatures.class - [JAR]
├─ pascal.taie.language.generics.MethodGSignature.class - [JAR]
├─ pascal.taie.language.generics.MethodGSignatureBuilder.class - [JAR]
├─ pascal.taie.language.generics.ReferenceTypeGSignature.class - [JAR]
├─ pascal.taie.language.generics.TypeArgument.class - [JAR]
├─ pascal.taie.language.generics.TypeGSignature.class - [JAR]
├─ pascal.taie.language.generics.TypeGSignatureBuilder.class - [JAR]
├─ pascal.taie.language.generics.TypeParameter.class - [JAR]
├─ pascal.taie.language.generics.TypeParameterAwareGSignatureBuilder.class - [JAR]
├─ pascal.taie.language.generics.TypeVariableGSignature.class - [JAR]
├─ pascal.taie.language.generics.VoidDescriptor.class - [JAR]
├─ pascal.taie.language.generics.package-info.class - [JAR]
pascal.taie.frontend.soot
├─ pascal.taie.frontend.soot.Converter.class - [JAR]
├─ pascal.taie.frontend.soot.IRBuilder.class - [JAR]
├─ pascal.taie.frontend.soot.MethodIRBuilder.class - [JAR]
├─ pascal.taie.frontend.soot.Modifiers.class - [JAR]
├─ pascal.taie.frontend.soot.SootClassBuilder.class - [JAR]
├─ pascal.taie.frontend.soot.SootClassLoader.class - [JAR]
├─ pascal.taie.frontend.soot.SootFrontendException.class - [JAR]
├─ pascal.taie.frontend.soot.SootWorldBuilder.class - [JAR]
├─ pascal.taie.frontend.soot.VarManager.class - [JAR]
pascal.taie.language.natives
├─ pascal.taie.language.natives.DefaultNativeModel.class - [JAR]
├─ pascal.taie.language.natives.EmptyNativeModel.class - [JAR]
├─ pascal.taie.language.natives.NativeModel.class - [JAR]
pascal.taie.ir
├─ pascal.taie.ir.DefaultIR.class - [JAR]
├─ pascal.taie.ir.IR.class - [JAR]
├─ pascal.taie.ir.IRBuildHelper.class - [JAR]
├─ pascal.taie.ir.IRBuilder.class - [JAR]
├─ pascal.taie.ir.IRPrinter.class - [JAR]
pascal.taie.ir.exp
├─ pascal.taie.ir.exp.AbstractBinaryExp.class - [JAR]
├─ pascal.taie.ir.exp.ArithmeticExp.class - [JAR]
├─ pascal.taie.ir.exp.ArrayAccess.class - [JAR]
├─ pascal.taie.ir.exp.ArrayLengthExp.class - [JAR]
├─ pascal.taie.ir.exp.BinaryExp.class - [JAR]
├─ pascal.taie.ir.exp.BitwiseExp.class - [JAR]
├─ pascal.taie.ir.exp.CastExp.class - [JAR]
├─ pascal.taie.ir.exp.ClassLiteral.class - [JAR]
├─ pascal.taie.ir.exp.ComparisonExp.class - [JAR]
├─ pascal.taie.ir.exp.ConditionExp.class - [JAR]
├─ pascal.taie.ir.exp.DoubleLiteral.class - [JAR]
├─ pascal.taie.ir.exp.Exp.class - [JAR]
├─ pascal.taie.ir.exp.ExpVisitor.class - [JAR]
├─ pascal.taie.ir.exp.Exps.class - [JAR]
├─ pascal.taie.ir.exp.FieldAccess.class - [JAR]
├─ pascal.taie.ir.exp.FloatLiteral.class - [JAR]
├─ pascal.taie.ir.exp.FloatingPointLiteral.class - [JAR]
├─ pascal.taie.ir.exp.InstanceFieldAccess.class - [JAR]
├─ pascal.taie.ir.exp.InstanceOfExp.class - [JAR]
├─ pascal.taie.ir.exp.IntLiteral.class - [JAR]
├─ pascal.taie.ir.exp.IntegerLiteral.class - [JAR]
├─ pascal.taie.ir.exp.InvokeDynamic.class - [JAR]
├─ pascal.taie.ir.exp.InvokeExp.class - [JAR]
├─ pascal.taie.ir.exp.InvokeInstanceExp.class - [JAR]
├─ pascal.taie.ir.exp.InvokeInterface.class - [JAR]
├─ pascal.taie.ir.exp.InvokeSpecial.class - [JAR]
├─ pascal.taie.ir.exp.InvokeStatic.class - [JAR]
├─ pascal.taie.ir.exp.InvokeVirtual.class - [JAR]
├─ pascal.taie.ir.exp.LValue.class - [JAR]
├─ pascal.taie.ir.exp.Literal.class - [JAR]
├─ pascal.taie.ir.exp.LongLiteral.class - [JAR]
├─ pascal.taie.ir.exp.MethodHandle.class - [JAR]
├─ pascal.taie.ir.exp.MethodType.class - [JAR]
├─ pascal.taie.ir.exp.NegExp.class - [JAR]
├─ pascal.taie.ir.exp.NewArray.class - [JAR]
├─ pascal.taie.ir.exp.NewExp.class - [JAR]
├─ pascal.taie.ir.exp.NewInstance.class - [JAR]
├─ pascal.taie.ir.exp.NewMultiArray.class - [JAR]
├─ pascal.taie.ir.exp.NullLiteral.class - [JAR]
├─ pascal.taie.ir.exp.NumberLiteral.class - [JAR]
├─ pascal.taie.ir.exp.RValue.class - [JAR]
├─ pascal.taie.ir.exp.ReferenceLiteral.class - [JAR]
├─ pascal.taie.ir.exp.ShiftExp.class - [JAR]
├─ pascal.taie.ir.exp.StaticFieldAccess.class - [JAR]
├─ pascal.taie.ir.exp.StringLiteral.class - [JAR]
├─ pascal.taie.ir.exp.UnaryExp.class - [JAR]
├─ pascal.taie.ir.exp.Var.class - [JAR]
pascal.taie.analysis.defuse
├─ pascal.taie.analysis.defuse.DefUse.class - [JAR]
├─ pascal.taie.analysis.defuse.DefUseAnalysis.class - [JAR]
pascal.taie.analysis.bugfinder.nullpointer
├─ pascal.taie.analysis.bugfinder.nullpointer.IsNullAnalysis.class - [JAR]
├─ pascal.taie.analysis.bugfinder.nullpointer.IsNullConditionDecision.class - [JAR]
├─ pascal.taie.analysis.bugfinder.nullpointer.IsNullFact.class - [JAR]
├─ pascal.taie.analysis.bugfinder.nullpointer.IsNullValue.class - [JAR]
├─ pascal.taie.analysis.bugfinder.nullpointer.NPEVarVisitor.class - [JAR]
├─ pascal.taie.analysis.bugfinder.nullpointer.NullPointerDetection.class - [JAR]
pascal.taie.analysis.graph.cfg
├─ pascal.taie.analysis.graph.cfg.AbstractCFG.class - [JAR]
├─ pascal.taie.analysis.graph.cfg.CFG.class - [JAR]
├─ pascal.taie.analysis.graph.cfg.CFGBuilder.class - [JAR]
├─ pascal.taie.analysis.graph.cfg.CFGDumper.class - [JAR]
├─ pascal.taie.analysis.graph.cfg.CFGEdge.class - [JAR]
├─ pascal.taie.analysis.graph.cfg.CFGNodeIndexer.class - [JAR]
├─ pascal.taie.analysis.graph.cfg.ExceptionalEdge.class - [JAR]
├─ pascal.taie.analysis.graph.cfg.StmtCFG.class - [JAR]
├─ pascal.taie.analysis.graph.cfg.SwitchCaseEdge.class - [JAR]
pascal.taie.analysis.bugfinder
├─ pascal.taie.analysis.bugfinder.BugInstance.class - [JAR]
├─ pascal.taie.analysis.bugfinder.BugType.class - [JAR]
├─ pascal.taie.analysis.bugfinder.CloneIdiom.class - [JAR]
├─ pascal.taie.analysis.bugfinder.DroppedException.class - [JAR]
├─ pascal.taie.analysis.bugfinder.Severity.class - [JAR]
pascal.taie.language.annotation
├─ pascal.taie.language.annotation.Annotated.class - [JAR]
├─ pascal.taie.language.annotation.Annotation.class - [JAR]
├─ pascal.taie.language.annotation.AnnotationElement.class - [JAR]
├─ pascal.taie.language.annotation.AnnotationHolder.class - [JAR]
├─ pascal.taie.language.annotation.ArrayElement.class - [JAR]
├─ pascal.taie.language.annotation.BooleanElement.class - [JAR]
├─ pascal.taie.language.annotation.ClassElement.class - [JAR]
├─ pascal.taie.language.annotation.DoubleElement.class - [JAR]
├─ pascal.taie.language.annotation.Element.class - [JAR]
├─ pascal.taie.language.annotation.EnumElement.class - [JAR]
├─ pascal.taie.language.annotation.FloatElement.class - [JAR]
├─ pascal.taie.language.annotation.IntElement.class - [JAR]
├─ pascal.taie.language.annotation.LongElement.class - [JAR]
├─ pascal.taie.language.annotation.StringElement.class - [JAR]
pascal.taie.analysis.pta.toolkit.util
├─ pascal.taie.analysis.pta.toolkit.util.OAGs.class - [JAR]
pascal.taie.language.classes
├─ pascal.taie.language.classes.AmbiguousMemberException.class - [JAR]
├─ pascal.taie.language.classes.ClassHierarchy.class - [JAR]
├─ pascal.taie.language.classes.ClassHierarchyImpl.class - [JAR]
├─ pascal.taie.language.classes.ClassMember.class - [JAR]
├─ pascal.taie.language.classes.ClassNames.class - [JAR]
├─ pascal.taie.language.classes.JClass.class - [JAR]
├─ pascal.taie.language.classes.JClassBuilder.class - [JAR]
├─ pascal.taie.language.classes.JClassLoader.class - [JAR]
├─ pascal.taie.language.classes.JField.class - [JAR]
├─ pascal.taie.language.classes.JMethod.class - [JAR]
├─ pascal.taie.language.classes.MethodNames.class - [JAR]
├─ pascal.taie.language.classes.Modifier.class - [JAR]
├─ pascal.taie.language.classes.Signatures.class - [JAR]
├─ pascal.taie.language.classes.StringProvider.class - [JAR]
├─ pascal.taie.language.classes.StringReps.class - [JAR]
├─ pascal.taie.language.classes.Subsignature.class - [JAR]
pascal.taie.util
├─ pascal.taie.util.AbstractResultHolder.class - [JAR]
├─ pascal.taie.util.AnalysisException.class - [JAR]
├─ pascal.taie.util.Canonicalizer.class - [JAR]
├─ pascal.taie.util.ClassNameExtractor.class - [JAR]
├─ pascal.taie.util.Copyable.class - [JAR]
├─ pascal.taie.util.Experimental.class - [JAR]
├─ pascal.taie.util.Hashes.class - [JAR]
├─ pascal.taie.util.Indexable.class - [JAR]
├─ pascal.taie.util.Indexer.class - [JAR]
├─ pascal.taie.util.InternalCanonicalized.class - [JAR]
├─ pascal.taie.util.MutableInt.class - [JAR]
├─ pascal.taie.util.Predicates.class - [JAR]
├─ pascal.taie.util.ResultHolder.class - [JAR]
├─ pascal.taie.util.SimpleIndexer.class - [JAR]
├─ pascal.taie.util.Strings.class - [JAR]
├─ pascal.taie.util.Timer.class - [JAR]
├─ pascal.taie.util.TriConsumer.class - [JAR]
├─ pascal.taie.util.TriFunction.class - [JAR]
pascal.taie.util.collection
├─ pascal.taie.util.collection.AbstractBitSet.class - [JAR]
├─ pascal.taie.util.collection.AbstractHybridMap.class - [JAR]
├─ pascal.taie.util.collection.AbstractHybridSet.class - [JAR]
├─ pascal.taie.util.collection.AbstractMultiMap.class - [JAR]
├─ pascal.taie.util.collection.AbstractSetEx.class - [JAR]
├─ pascal.taie.util.collection.AbstractTwoKeyMap.class - [JAR]
├─ pascal.taie.util.collection.AbstractTwoKeyMultiMap.class - [JAR]
├─ pascal.taie.util.collection.ArrayMap.class - [JAR]
├─ pascal.taie.util.collection.ArraySet.class - [JAR]
├─ pascal.taie.util.collection.CollectionUtils.class - [JAR]
├─ pascal.taie.util.collection.GenericBitSet.class - [JAR]
├─ pascal.taie.util.collection.HybridBitSet.class - [JAR]
├─ pascal.taie.util.collection.HybridHashMap.class - [JAR]
├─ pascal.taie.util.collection.HybridHashSet.class - [JAR]
├─ pascal.taie.util.collection.HybridIndexableSet.class - [JAR]
├─ pascal.taie.util.collection.HybridLinkedHashSet.class - [JAR]
├─ pascal.taie.util.collection.IBitSet.class - [JAR]
├─ pascal.taie.util.collection.ImmutableMapEntry.class - [JAR]
├─ pascal.taie.util.collection.IndexMap.class - [JAR]
├─ pascal.taie.util.collection.IndexableSet.class - [JAR]
├─ pascal.taie.util.collection.IndexerBitSet.class - [JAR]
├─ pascal.taie.util.collection.Lists.class - [JAR]
├─ pascal.taie.util.collection.MapEntry.class - [JAR]
├─ pascal.taie.util.collection.MapMapTwoKeyMap.class - [JAR]
├─ pascal.taie.util.collection.MapMultiMapTwoKeyMultiMap.class - [JAR]
├─ pascal.taie.util.collection.MapSetMultiMap.class - [JAR]
├─ pascal.taie.util.collection.Maps.class - [JAR]
├─ pascal.taie.util.collection.MultiMap.class - [JAR]
├─ pascal.taie.util.collection.MultiMapCollector.class - [JAR]
├─ pascal.taie.util.collection.Pair.class - [JAR]
├─ pascal.taie.util.collection.RegularBitSet.class - [JAR]
├─ pascal.taie.util.collection.SetEx.class - [JAR]
├─ pascal.taie.util.collection.SetQueue.class - [JAR]
├─ pascal.taie.util.collection.Sets.class - [JAR]
├─ pascal.taie.util.collection.SparseBitSet.class - [JAR]
├─ pascal.taie.util.collection.Streams.class - [JAR]
├─ pascal.taie.util.collection.TooManyElementsException.class - [JAR]
├─ pascal.taie.util.collection.TwoKeyMap.class - [JAR]
├─ pascal.taie.util.collection.TwoKeyMultiMap.class - [JAR]
├─ pascal.taie.util.collection.UnionFindSet.class - [JAR]
├─ pascal.taie.util.collection.UnmodifiableMultiMap.class - [JAR]
├─ pascal.taie.util.collection.UnmodifiableTwoKeyMultiMap.class - [JAR]
├─ pascal.taie.util.collection.Views.class - [JAR]
pascal.taie.analysis.dataflow.analysis.availexp
├─ pascal.taie.analysis.dataflow.analysis.availexp.AvailableExpression.class - [JAR]
├─ pascal.taie.analysis.dataflow.analysis.availexp.ExpWrapper.class - [JAR]
pascal.taie.util.graph
├─ pascal.taie.util.graph.AbstractEdge.class - [JAR]
├─ pascal.taie.util.graph.DominatorFinder.class - [JAR]
├─ pascal.taie.util.graph.DotAttributes.class - [JAR]
├─ pascal.taie.util.graph.DotDumper.class - [JAR]
├─ pascal.taie.util.graph.Edge.class - [JAR]
├─ pascal.taie.util.graph.Graph.class - [JAR]
├─ pascal.taie.util.graph.MergedNode.class - [JAR]
├─ pascal.taie.util.graph.MergedSCCGraph.class - [JAR]
├─ pascal.taie.util.graph.Reachability.class - [JAR]
├─ pascal.taie.util.graph.ReverseGraph.class - [JAR]
├─ pascal.taie.util.graph.SCC.class - [JAR]
├─ pascal.taie.util.graph.SimpleEdge.class - [JAR]
├─ pascal.taie.util.graph.SimpleGraph.class - [JAR]
├─ pascal.taie.util.graph.TopoSorter.class - [JAR]
pascal.taie.analysis
├─ pascal.taie.analysis.Analysis.class - [JAR]
├─ pascal.taie.analysis.AnalysisManager.class - [JAR]
├─ pascal.taie.analysis.ClassAnalysis.class - [JAR]
├─ pascal.taie.analysis.MethodAnalysis.class - [JAR]
├─ pascal.taie.analysis.ProgramAnalysis.class - [JAR]
├─ pascal.taie.analysis.StmtResult.class - [JAR]
pascal.taie.analysis.graph.callgraph
├─ pascal.taie.analysis.graph.callgraph.AbstractCallGraph.class - [JAR]
├─ pascal.taie.analysis.graph.callgraph.CGBuilder.class - [JAR]
├─ pascal.taie.analysis.graph.callgraph.CHABuilder.class - [JAR]
├─ pascal.taie.analysis.graph.callgraph.CallGraph.class - [JAR]
├─ pascal.taie.analysis.graph.callgraph.CallGraphBuilder.class - [JAR]
├─ pascal.taie.analysis.graph.callgraph.CallGraphs.class - [JAR]
├─ pascal.taie.analysis.graph.callgraph.CallKind.class - [JAR]
├─ pascal.taie.analysis.graph.callgraph.DefaultCallGraph.class - [JAR]
├─ pascal.taie.analysis.graph.callgraph.Edge.class - [JAR]
├─ pascal.taie.analysis.graph.callgraph.MethodEdge.class - [JAR]
├─ pascal.taie.analysis.graph.callgraph.PTABasedBuilder.class - [JAR]
pascal.taie.analysis.graph.flowgraph
├─ pascal.taie.analysis.graph.flowgraph.ArrayIndexNode.class - [JAR]
├─ pascal.taie.analysis.graph.flowgraph.BasicFlowEdge.class - [JAR]
├─ pascal.taie.analysis.graph.flowgraph.FlowEdge.class - [JAR]
├─ pascal.taie.analysis.graph.flowgraph.FlowGraphDumper.class - [JAR]
├─ pascal.taie.analysis.graph.flowgraph.FlowKind.class - [JAR]
├─ pascal.taie.analysis.graph.flowgraph.InstanceFieldNode.class - [JAR]
├─ pascal.taie.analysis.graph.flowgraph.InstanceNode.class - [JAR]
├─ pascal.taie.analysis.graph.flowgraph.Node.class - [JAR]
├─ pascal.taie.analysis.graph.flowgraph.NodeManager.class - [JAR]
├─ pascal.taie.analysis.graph.flowgraph.ObjectFlowGraph.class - [JAR]
├─ pascal.taie.analysis.graph.flowgraph.StaticFieldNode.class - [JAR]
├─ pascal.taie.analysis.graph.flowgraph.VarNode.class - [JAR]
pascal.taie.analysis.dataflow.inter
├─ pascal.taie.analysis.dataflow.inter.AbstractInterDataflowAnalysis.class - [JAR]
├─ pascal.taie.analysis.dataflow.inter.InterConstantPropagation.class - [JAR]
├─ pascal.taie.analysis.dataflow.inter.InterDataflowAnalysis.class - [JAR]
├─ pascal.taie.analysis.dataflow.inter.InterSolver.class - [JAR]
pascal.taie.frontend.cache
├─ pascal.taie.frontend.cache.CachedIRBuilder.class - [JAR]
├─ pascal.taie.frontend.cache.CachedWorldBuilder.class - [JAR]
pascal.taie.analysis.dataflow.fact
├─ pascal.taie.analysis.dataflow.fact.DataflowResult.class - [JAR]
├─ pascal.taie.analysis.dataflow.fact.MapFact.class - [JAR]
├─ pascal.taie.analysis.dataflow.fact.NodeResult.class - [JAR]
├─ pascal.taie.analysis.dataflow.fact.SetFact.class - [JAR]
├─ pascal.taie.analysis.dataflow.fact.ToppedSetFact.class - [JAR]
pascal.taie.util.function
├─ pascal.taie.util.function.SSupplier.class - [JAR]
pascal.taie.analysis.pta.core.cs.element
├─ pascal.taie.analysis.pta.core.cs.element.AbstractCSElement.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.element.AbstractPointer.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.element.ArrayIndex.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.element.CSCallSite.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.element.CSElement.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.element.CSManager.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.element.CSMethod.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.element.CSObj.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.element.CSVar.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.element.InstanceField.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.element.Pointer.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.element.StaticField.class - [JAR]
pascal.taie.analysis.dataflow.analysis
├─ pascal.taie.analysis.dataflow.analysis.AbstractDataflowAnalysis.class - [JAR]
├─ pascal.taie.analysis.dataflow.analysis.AnalysisDriver.class - [JAR]
├─ pascal.taie.analysis.dataflow.analysis.DataflowAnalysis.class - [JAR]
├─ pascal.taie.analysis.dataflow.analysis.LiveVariable.class - [JAR]
├─ pascal.taie.analysis.dataflow.analysis.ReachingDefinition.class - [JAR]
pascal.taie.ir.stmt
├─ pascal.taie.ir.stmt.AbstractStmt.class - [JAR]
├─ pascal.taie.ir.stmt.ArrayStmt.class - [JAR]
├─ pascal.taie.ir.stmt.AssignLiteral.class - [JAR]
├─ pascal.taie.ir.stmt.AssignStmt.class - [JAR]
├─ pascal.taie.ir.stmt.Binary.class - [JAR]
├─ pascal.taie.ir.stmt.Cast.class - [JAR]
├─ pascal.taie.ir.stmt.Catch.class - [JAR]
├─ pascal.taie.ir.stmt.Copy.class - [JAR]
├─ pascal.taie.ir.stmt.DefinitionStmt.class - [JAR]
├─ pascal.taie.ir.stmt.FieldStmt.class - [JAR]
├─ pascal.taie.ir.stmt.Goto.class - [JAR]
├─ pascal.taie.ir.stmt.If.class - [JAR]
├─ pascal.taie.ir.stmt.InstanceOf.class - [JAR]
├─ pascal.taie.ir.stmt.Invoke.class - [JAR]
├─ pascal.taie.ir.stmt.JumpStmt.class - [JAR]
├─ pascal.taie.ir.stmt.LoadArray.class - [JAR]
├─ pascal.taie.ir.stmt.LoadField.class - [JAR]
├─ pascal.taie.ir.stmt.LookupSwitch.class - [JAR]
├─ pascal.taie.ir.stmt.Monitor.class - [JAR]
├─ pascal.taie.ir.stmt.New.class - [JAR]
├─ pascal.taie.ir.stmt.Nop.class - [JAR]
├─ pascal.taie.ir.stmt.Return.class - [JAR]
├─ pascal.taie.ir.stmt.Stmt.class - [JAR]
├─ pascal.taie.ir.stmt.StmtVisitor.class - [JAR]
├─ pascal.taie.ir.stmt.StoreArray.class - [JAR]
├─ pascal.taie.ir.stmt.StoreField.class - [JAR]
├─ pascal.taie.ir.stmt.SwitchStmt.class - [JAR]
├─ pascal.taie.ir.stmt.TableSwitch.class - [JAR]
├─ pascal.taie.ir.stmt.Throw.class - [JAR]
├─ pascal.taie.ir.stmt.Unary.class - [JAR]
pascal.taie.analysis.pta.client
├─ pascal.taie.analysis.pta.client.Collector.class - [JAR]
├─ pascal.taie.analysis.pta.client.MayFailCast.class - [JAR]
├─ pascal.taie.analysis.pta.client.PolymorphicCallSite.class - [JAR]
pascal.taie.analysis.pta.toolkit.zipper
├─ pascal.taie.analysis.pta.toolkit.zipper.ObjectAllocationGraph.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.zipper.PFGBuilder.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.zipper.PotentialContextElement.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.zipper.PrecisionFlowGraph.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.zipper.UnwrappedFlowEdge.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.zipper.WrappedFlowEdge.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.zipper.Zipper.class - [JAR]
pascal.taie.analysis.dataflow.analysis.constprop
├─ pascal.taie.analysis.dataflow.analysis.constprop.CPFact.class - [JAR]
├─ pascal.taie.analysis.dataflow.analysis.constprop.ConstantPropagation.class - [JAR]
├─ pascal.taie.analysis.dataflow.analysis.constprop.Evaluator.class - [JAR]
├─ pascal.taie.analysis.dataflow.analysis.constprop.Value.class - [JAR]
pascal.taie.analysis.pta.plugin
├─ pascal.taie.analysis.pta.plugin.AnalysisTimer.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.ClassInitializer.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.CompositePlugin.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.ConstraintChecker.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.EntryPointHandler.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.NullHandler.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.NumberLiteralHandler.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.Plugin.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.Profiler.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.ReferenceHandler.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.ResultProcessor.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.ThreadHandler.class - [JAR]
pascal.taie.config
├─ pascal.taie.config.AnalysisConfig.class - [JAR]
├─ pascal.taie.config.AnalysisOptions.class - [JAR]
├─ pascal.taie.config.AnalysisPlanner.class - [JAR]
├─ pascal.taie.config.ConfigException.class - [JAR]
├─ pascal.taie.config.ConfigManager.class - [JAR]
├─ pascal.taie.config.Configs.class - [JAR]
├─ pascal.taie.config.LoggerConfigs.class - [JAR]
├─ pascal.taie.config.Options.class - [JAR]
├─ pascal.taie.config.Plan.class - [JAR]
├─ pascal.taie.config.PlanConfig.class - [JAR]
├─ pascal.taie.config.Scope.class - [JAR]
pascal.taie.analysis.exception
├─ pascal.taie.analysis.exception.CatchAnalysis.class - [JAR]
├─ pascal.taie.analysis.exception.CatchResult.class - [JAR]
├─ pascal.taie.analysis.exception.ExplicitThrowAnalysis.class - [JAR]
├─ pascal.taie.analysis.exception.ImplicitThrowAnalysis.class - [JAR]
├─ pascal.taie.analysis.exception.IntraExplicitThrowAnalysis.class - [JAR]
├─ pascal.taie.analysis.exception.PTABasedExplicitThrowAnalysis.class - [JAR]
├─ pascal.taie.analysis.exception.ThrowAnalysis.class - [JAR]
├─ pascal.taie.analysis.exception.ThrowResult.class - [JAR]
pascal.taie.analysis.pta
├─ pascal.taie.analysis.pta.PointerAnalysis.class - [JAR]
├─ pascal.taie.analysis.pta.PointerAnalysisResult.class - [JAR]
├─ pascal.taie.analysis.pta.PointerAnalysisResultImpl.class - [JAR]
pascal.taie.analysis.graph.icfg
├─ pascal.taie.analysis.graph.icfg.AbstractICFG.class - [JAR]
├─ pascal.taie.analysis.graph.icfg.CallEdge.class - [JAR]
├─ pascal.taie.analysis.graph.icfg.CallToReturnEdge.class - [JAR]
├─ pascal.taie.analysis.graph.icfg.DefaultICFG.class - [JAR]
├─ pascal.taie.analysis.graph.icfg.ICFG.class - [JAR]
├─ pascal.taie.analysis.graph.icfg.ICFGBuilder.class - [JAR]
├─ pascal.taie.analysis.graph.icfg.ICFGEdge.class - [JAR]
├─ pascal.taie.analysis.graph.icfg.NormalEdge.class - [JAR]
├─ pascal.taie.analysis.graph.icfg.ReturnEdge.class - [JAR]
pascal.taie.analysis.pta.core.heap
├─ pascal.taie.analysis.pta.core.heap.AbstractHeapModel.class - [JAR]
├─ pascal.taie.analysis.pta.core.heap.AllocationSiteBasedModel.class - [JAR]
├─ pascal.taie.analysis.pta.core.heap.ConstantObj.class - [JAR]
├─ pascal.taie.analysis.pta.core.heap.Descriptor.class - [JAR]
├─ pascal.taie.analysis.pta.core.heap.HeapModel.class - [JAR]
├─ pascal.taie.analysis.pta.core.heap.IsApplicationString.class - [JAR]
├─ pascal.taie.analysis.pta.core.heap.IsReflectionString.class - [JAR]
├─ pascal.taie.analysis.pta.core.heap.MergedObj.class - [JAR]
├─ pascal.taie.analysis.pta.core.heap.MockObj.class - [JAR]
├─ pascal.taie.analysis.pta.core.heap.NewObj.class - [JAR]
├─ pascal.taie.analysis.pta.core.heap.Obj.class - [JAR]
pascal.taie.analysis.pta.core.cs.context
├─ pascal.taie.analysis.pta.core.cs.context.Context.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.context.ContextFactory.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.context.TrieContext.class - [JAR]
pascal.taie.analysis.pta.plugin.invokedynamic
├─ pascal.taie.analysis.pta.plugin.invokedynamic.BSMCallEdge.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.invokedynamic.InstanceInvoInfo.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.invokedynamic.InvokeDynamicAnalysis.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.invokedynamic.InvokeDynamicCallEdge.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.invokedynamic.Java9StringConcatHandler.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.invokedynamic.LambdaAnalysis.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.invokedynamic.LambdaCallEdge.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.invokedynamic.LookupModel.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.invokedynamic.MethodTypeModel.class - [JAR]
pascal.taie.analysis.pta.toolkit
├─ pascal.taie.analysis.pta.toolkit.CollectionMethods.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.PointerAnalysisResultEx.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.PointerAnalysisResultExImpl.class - [JAR]
pascal.taie.analysis.pta.plugin.exception
├─ pascal.taie.analysis.pta.plugin.exception.CSMethodThrowResult.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.exception.ExceptionAnalysis.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.exception.MethodThrowResult.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.exception.PTAThrowResult.class - [JAR]
pascal.taie.analysis.pta.plugin.taint
├─ pascal.taie.analysis.pta.plugin.taint.CallSource.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.CallSourcePoint.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.FieldSource.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.FieldSourcePoint.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.Handler.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.HandlerContext.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.OnFlyHandler.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.ParamSanitizer.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.ParamSource.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.ParamSourcePoint.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.Sanitizer.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.SanitizerHandler.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.Sink.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.SinkHandler.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.SinkPoint.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.Source.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.SourceHandler.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.SourcePoint.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.TFGBuilder.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.TFGDumper.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.TaintAnalysis.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.TaintConfig.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.TaintFlow.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.TaintFlowGraph.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.TaintManager.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.TaintTransfer.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.TransferHandler.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.taint.TransferPoint.class - [JAR]
pascal.taie.analysis.pta.pts
├─ pascal.taie.analysis.pta.pts.DelegatePointsToSet.class - [JAR]
├─ pascal.taie.analysis.pta.pts.HybridBitPointsToSet.class - [JAR]
├─ pascal.taie.analysis.pta.pts.HybridHashPointsToSet.class - [JAR]
├─ pascal.taie.analysis.pta.pts.PointsToSet.class - [JAR]
├─ pascal.taie.analysis.pta.pts.PointsToSetFactory.class - [JAR]
pascal.taie.analysis.pta.plugin.util
├─ pascal.taie.analysis.pta.plugin.util.AbstractIRModel.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.util.AbstractModel.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.util.CSObjs.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.util.DummyModel.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.util.IRModel.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.util.InvokeHandler.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.util.InvokeHandlers.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.util.InvokeUtils.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.util.Model.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.util.Reflections.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.util.SolverHolder.class - [JAR]
pascal.taie.analysis.misc
├─ pascal.taie.analysis.misc.IRDumper.class - [JAR]
├─ pascal.taie.analysis.misc.ResultProcessor.class - [JAR]
pascal.taie.analysis.pta.plugin.natives
├─ pascal.taie.analysis.pta.plugin.natives.ArrayModel.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.natives.DoPriviledgedModel.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.natives.NativeModeller.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.natives.UnsafeModel.class - [JAR]
pascal.taie.analysis.pta.core.cs
├─ pascal.taie.analysis.pta.core.cs.CSCallGraph.class - [JAR]
pascal.taie.analysis.pta.plugin.reflection
├─ pascal.taie.analysis.pta.plugin.reflection.AnnotationModel.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.reflection.DummyModel.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.reflection.InferenceModel.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.reflection.LogBasedModel.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.reflection.LogItem.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.reflection.MetaObjHelper.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.reflection.MethodInfo.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.reflection.OthersModel.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.reflection.ReflectionAnalysis.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.reflection.ReflectiveActionModel.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.reflection.ReflectiveCallEdge.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.reflection.SolarModel.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.reflection.StringBasedModel.class - [JAR]
├─ pascal.taie.analysis.pta.plugin.reflection.TypeMatcher.class - [JAR]
pascal.taie.analysis.pta.core.cs.selector
├─ pascal.taie.analysis.pta.core.cs.selector.AbstractContextSelector.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.selector.ContextInsensitiveSelector.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.selector.ContextSelector.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.selector.ContextSelectorFactory.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.selector.GuidedSelector.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.selector.KCallSelector.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.selector.KLimitingSelector.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.selector.KObjSelector.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.selector.KTypeSelector.class - [JAR]
├─ pascal.taie.analysis.pta.core.cs.selector.SelectiveSelector.class - [JAR]
soot.JastAddJ
├─ soot.JastAddJ.Program.class - [JAR]
├─ soot.JastAddJ.Stmt.class - [JAR]
├─ soot.JastAddJ.VarAccess.class - [JAR]
pascal.taie.analysis.deadcode
├─ pascal.taie.analysis.deadcode.DeadCodeDetection.class - [JAR]
pascal.taie.language.type
├─ pascal.taie.language.type.ArrayType.class - [JAR]
├─ pascal.taie.language.type.BottomType.class - [JAR]
├─ pascal.taie.language.type.ClassType.class - [JAR]
├─ pascal.taie.language.type.NullType.class - [JAR]
├─ pascal.taie.language.type.PrimitiveType.class - [JAR]
├─ pascal.taie.language.type.ReferenceType.class - [JAR]
├─ pascal.taie.language.type.Type.class - [JAR]
├─ pascal.taie.language.type.TypeSystem.class - [JAR]
├─ pascal.taie.language.type.TypeSystemImpl.class - [JAR]
├─ pascal.taie.language.type.VoidType.class - [JAR]
pascal.taie.ir.proginfo
├─ pascal.taie.ir.proginfo.ExceptionEntry.class - [JAR]
├─ pascal.taie.ir.proginfo.FieldRef.class - [JAR]
├─ pascal.taie.ir.proginfo.FieldResolutionFailedException.class - [JAR]
├─ pascal.taie.ir.proginfo.MemberRef.class - [JAR]
├─ pascal.taie.ir.proginfo.MethodRef.class - [JAR]
├─ pascal.taie.ir.proginfo.MethodResolutionFailedException.class - [JAR]
├─ pascal.taie.ir.proginfo.ResolutionFailedException.class - [JAR]
pascal.taie
├─ pascal.taie.AbstractWorldBuilder.class - [JAR]
├─ pascal.taie.Main.class - [JAR]
├─ pascal.taie.World.class - [JAR]
├─ pascal.taie.WorldBuilder.class - [JAR]
pascal.taie.analysis.pta.toolkit.scaler
├─ pascal.taie.analysis.pta.toolkit.scaler.ContextComputer.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.scaler.Scaler.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.scaler._1ObjContextComputer.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.scaler._1TypeContextComputer.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.scaler._2ObjContextComputer.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.scaler._2TypeContextComputer.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.scaler._InsensitiveContextComputer.class - [JAR]
soot
├─ soot.Main.class - [JAR]
├─ soot.PackManager.class - [JAR]
pascal.taie.analysis.pta.toolkit.mahjong
├─ pascal.taie.analysis.pta.toolkit.mahjong.DFA.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.mahjong.DFAEquivChecker.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.mahjong.DFAFactory.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.mahjong.DFAState.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.mahjong.Field.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.mahjong.FieldPointsToGraph.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.mahjong.Mahjong.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.mahjong.MahjongHeapModel.class - [JAR]
├─ pascal.taie.analysis.pta.toolkit.mahjong.NFA.class - [JAR]
