• Example Search by API
  • Example Search by Word
  • Project Search
  • Top Packages
  • Top Classes
  • Top Methods
  • Top Projects
  • Java
  • C++
  • Python
  • Scala
  • Blog
Project: JAADAS (GitHub Link)
  • JAADAS-master
    • gradle
      • wrapper
        • gradle-wrapper.properties
        • gradle-wrapper.jar
    • heros
      • src
        • heros
          • solver
            • PathEdge.java
            • LinkedNode.java
            • JumpFunctions.java
            • IFDSSolver.java
            • JoinHandlingNode.java
            • IDESolver.java
            • PathTrackingIFDSSolver.java
            • BiDiIDESolver.java
            • CountLatch.java
            • CountingThreadPoolExecutor.java
            • BiDiIFDSSolver.java
            • Pair.java
            • JoinHandlingNodesIFDSSolver.java
            • NotesOnSummaryGeneration.txt
          • FlowFunction.java
          • IDETabulationProblem.java
          • TwoElementSet.java
          • EdgeFunction.java
          • fieldsens
            • FlowFunction.java
            • FieldSensitiveIFDSSolver.java
            • Resolver.java
            • MethodAnalyzerImpl.java
            • ZeroHandler.java
            • CallEdge.java
            • BiDiFieldSensitiveIFDSSolver.java
            • MethodAnalyzer.java
            • Context.java
            • ReturnSiteResolver.java
            • SourceStmtAnnotatedMethodAnalyzer.java
            • FlowFunctions.java
            • ControlFlowJoinResolver.java
            • structs
              • WrappedFact.java
              • FactAtStatement.java
              • DeltaConstraint.java
              • ReturnEdge.java
              • WrappedFactAtStatement.java
            • CallEdgeResolver.java
            • FactMergeHandler.java
            • IFDSTabulationProblem.java
            • ResolverTemplate.java
            • PerAccessPathMethodAnalyzer.java
            • AccessPathHandler.java
            • AccessPath.java
            • Scheduler.java
            • ZeroCallEdgeResolver.java
            • Debugger.java
            • InterestCallback.java
          • JoinLattice.java
          • SolverConfiguration.java
          • EdgeFunctionCache.java
          • FlowFunctions.java
          • ProfiledFlowFunctions.java
          • ThreadSafe.java
          • edgefunc
            • AllBottom.java
            • AllTop.java
            • EdgeIdentity.java
          • util
            • SootThreadGroup.java
          • IFDSTabulationProblem.java
          • template
            • DefaultIDETabulationProblem.java
            • DefaultIFDSTabulationProblem.java
          • FlowFunctionCache.java
          • flowfunc
            • Union.java
            • Identity.java
            • Transfer.java
            • Compose.java
            • KillAll.java
            • Gen.java
            • Kill.java
          • EdgeFunctions.java
          • ZeroedFlowFunctions.java
          • InterproceduralCFG.java
          • DontSynchronize.java
          • DefaultSeeds.java
          • SynchronizedBy.java
          • MustSynchronize.java
          • utilities
            • DefaultValueMap.java
            • JsonArray.java
            • JsonDocument.java
      • build.xml
      • logo
        • heros-logo.graffle
      • org.hamcrest.core_1.3.0.jar
      • build.properties
      • ant.settings.jenkins
      • ant.settings
      • slf4j-simple-1.7.5.jar
      • test
        • heros
          • fieldsens
            • BiDiFieldSensitiveIFDSSolverTest.java
            • ControlFlowJoinResolverTest.java
            • FieldSensitiveIFDSSolverTest.java
            • AccessPathTest.java
            • ReturnSiteResolverTest.java
          • IFDSSolverTest.java
          • utilities
            • TestMethod.java
            • TestHelper.java
            • Edge.java
            • Statement.java
            • JoinableFact.java
            • ExpectedFlowFunction.java
            • FieldSensitiveTestHelper.java
            • TestDebugger.java
            • TestFact.java
            • EdgeBuilder.java
          • BiDiIFDSSolverTest.java
      • .settings
        • org.eclipse.jdt.ui.prefs
        • com.wdev91.eclipse.copyright.xml
        • edu.umd.cs.findbugs.core.prefs
      • build.gradle
      • META-INF
        • MANIFEST.MF
      • README.md
      • heros.iml
      • LICENSE.txt
      • heros.eml
      • ant.settings.template
      • slf4j-api-1.7.5.jar
      • TODO.txt
    • soot
      • testclasses
        • README
      • src
        • soot
          • EquivalentValue.java
          • EscapeAnalysis.java
          • xml
            • XMLRoot.java
            • Attribute.java
            • XMLNode.java
            • TagCollector.java
            • StringAttribute.java
            • JavaAttribute.java
            • PosColorAttribute.java
            • ColorAttribute.java
            • LinkAttribute.java
            • Key.java
            • XMLPrinter.java
          • Scene.java
          • options
            • make-soot-options.xsl
            • OptionsBase.java
            • ant-task.xsl
            • options_dialog_handler.xsl
            • soot_options.xsl
            • options_dialog.xsl
            • soot_options.css
            • soot-options.txt
            • xalan-to-xsltproc.xsl
            • phase_options_dialog.xsl
          • AbstractJasminClass.java
          • BooleanType.java
          • JimpleClassSource.java
          • ValueBox.java
          • UnitBoxOwner.java
          • SootClass.java
          • LongType.java
          • PointsToSet.java
          • JastAddInitialResolver.java
          • TrapManager.java
          • Printer.java
          • Trap.java
          • FastHierarchy.java
          • BriefUnitPrinter.java
          • IntType.java
          • FloatType.java
          • grimp
            • GrimpExprSwitch.java
            • Precedence.java
            • Grimp.java
            • NewInvokeExpr.java
            • GrimpBody.java
            • PrecedenceTest.java
            • internal
              • GThrowStmt.java
              • AbstractGrimpIntBinopExpr.java
              • GSubExpr.java
              • GIdentityStmt.java
              • GGtExpr.java
              • GShrExpr.java
              • AbstractGrimpFloatBinopExpr.java
              • GInstanceFieldRef.java
              • GInterfaceInvokeExpr.java
              • GTableSwitchStmt.java
              • GVirtualInvokeExpr.java
              • GIfStmt.java
              • GTrap.java
              • GInvokeStmt.java
              • GShlExpr.java
              • GInstanceOfExpr.java
              • GCmpExpr.java
              • GArrayRef.java
              • GNewInvokeExpr.java
              • GRemExpr.java
              • GCmpgExpr.java
              • GLtExpr.java
              • GNegExpr.java
              • GLeExpr.java
              • GRValueBox.java
              • GNewArrayExpr.java
              • GOrExpr.java
              • GNewMultiArrayExpr.java
              • GDivExpr.java
              • GCastExpr.java
              • GCmplExpr.java
              • GNeExpr.java
              • GAndExpr.java
              • ObjExprBox.java
              • GEnterMonitorStmt.java
              • GUshrExpr.java
              • GLengthExpr.java
              • GAssignStmt.java
              • GMulExpr.java
              • GAddExpr.java
              • GEqExpr.java
              • GDynamicInvokeExpr.java
              • GSpecialInvokeExpr.java
              • package.html
              • GGeExpr.java
              • GStaticInvokeExpr.java
              • GReturnStmt.java
              • GXorExpr.java
              • GLookupSwitchStmt.java
              • ExprBox.java
              • AbstractGrimpIntLongBinopExpr.java
              • GExitMonitorStmt.java
            • toolkits
              • base
                • package.html
                • ConstructorFolder.java
            • AbstractGrimpValueSwitch.java
            • package.html
            • GrimpValueSwitch.java
          • PackManager.java
          • SceneTransformer.java
          • SideEffectTester.java
          • toDex
            • SootToDexUtils.java
            • ConstantVisitor.java
            • LabelAssigner.java
            • ExprVisitor.java
            • Register.java
            • StmtVisitor.java
            • Debug.java
            • RegisterAssigner.java
            • instructions
              • AddressInsn.java
              • Insn20t.java
              • Insn31i.java
              • Insn11x.java
              • Insn22t.java
              • InsnWithOffset.java
              • PackedSwitchPayload.java
              • FiveRegInsn.java
              • Insn35c.java
              • Insn21c.java
              • Insn10x.java
              • Insn51l.java
              • Insn23x.java
              • Insn22c.java
              • Insn21t.java
              • Insn22x.java
              • Insn.java
              • SparseSwitchPayload.java
              • AbstractInsn.java
              • Insn22s.java
              • Insn3rc.java
              • Insn12x.java
              • TwoRegInsn.java
              • SwitchPayload.java
              • Insn22b.java
              • Insn31t.java
              • Insn32x.java
              • Insn11n.java
              • Insn30t.java
              • ThreeRegInsn.java
              • OneRegInsn.java
              • Insn21s.java
              • Insn10t.java
            • DexPrinter.java
            • SynchronizedMethodTransformer.java
            • LocalRegisterAssignmentInformation.java
            • FastDexTrapTightener.java
            • PrimitiveType.java
            • RegisterAllocator.java
            • TrapSplitter.java
          • CompilationDeathException.java
          • G.java
          • MethodSource.java
          • AbstractValueBox.java
          • MethodToContexts.java
          • dava
            • DecompilationException.java
            • StaticDefinitionFinder.java
            • CorruptASTException.java
            • DavaBody.java
            • Dava.java
            • DavaFlowAnalysisException.java
            • DavaBuildFile.java
            • MethodCallFinder.java
            • internal
              • javaRep
                • DNotExpr.java
                • DDecrementStmt.java
                • DLengthExpr.java
                • DInstanceFieldRef.java
                • DCmplExpr.java
                • DCmpgExpr.java
                • DThisRef.java
                • DVariableDeclarationStmt.java
                • DNewInvokeExpr.java
                • DIntConstant.java
                • DStaticInvokeExpr.java
                • DArrayInitExpr.java
                • DNegExpr.java
                • DAbruptStmt.java
                • DShortcutIf.java
                • DShortcutAssignStmt.java
                • DAssignStmt.java
                • DInterfaceInvokeExpr.java
                • DVirtualInvokeExpr.java
                • DStaticFieldRef.java
                • DIncrementStmt.java
                • DNewArrayExpr.java
                • DCmpExpr.java
                • DSpecialInvokeExpr.java
                • DNewMultiArrayExpr.java
                • DIdentityStmt.java
                • DArrayInitValueBox.java
              • asg
                • AugmentedStmtGraph.java
                • AugmentedStmt.java
              • SET
                • SETDoWhileNode.java
                • SETSynchronizedBlockNode.java
                • SETIfElseNode.java
                • SETControlFlowNode.java
                • SETWhileNode.java
                • SETDagNode.java
                • SETSwitchNode.java
                • SETTryNode.java
                • SETNode.java
                • SETLabeledBlockNode.java
                • SETBasicBlock.java
                • SETCycleNode.java
                • SETTopNode.java
                • SETStatementSequenceNode.java
                • SETUnconditionalWhileNode.java
                • SETNodeLabel.java
              • AST
                • ASTStatementSequenceNode.java
                • ASTUnaryBinaryCondition.java
                • ASTUnaryCondition.java
                • ASTForLoopNode.java
                • ASTUnconditionalLoopNode.java
                • ASTAndCondition.java
                • ASTNode.java
                • ASTIfNode.java
                • ASTSwitchNode.java
                • ASTOrCondition.java
                • ASTIfElseNode.java
                • ASTTryNode.java
                • ASTBinaryCondition.java
                • ASTLabeledNode.java
                • ASTMethodNode.java
                • ASTCondition.java
                • ASTWhileNode.java
                • ASTDoWhileNode.java
                • ASTLabeledBlockNode.java
                • ASTAggregatedCondition.java
                • ASTControlFlowNode.java
                • ASTSynchronizedBlockNode.java
            • toolkits
              • base
                • finders
                  • LabeledBlockFinder.java
                  • ExceptionNode.java
                  • SwitchFinder.java
                  • IndexComparator.java
                  • CycleFinder.java
                  • SwitchNode.java
                  • SequenceFinder.java
                  • FactFinder.java
                  • AbruptEdgeFinder.java
                  • SynchronizedBlockFinder.java
                  • IfFinder.java
                  • ExceptionFinder.java
                  • IndexSetComparator.java
                  • SwitchNodeGraph.java
                • renamer
                  • heuristicTuple.java
                  • heuristicSet.java
                  • Renamer.java
                  • infoGatheringAnalysis.java
                  • RemoveFullyQualifiedName.java
                • DavaMonitor
                  • Lock.java
                  • DavaMonitor.java
                • misc
                  • PackageNamer.java
                  • ThrowFinder.java
                  • ConditionFlipper.java
                  • MonitorConverter.java
                  • ThrowNullConverter.java
                • AST
                  • transformations
                    • OrAggregatorTwo.java
                    • EliminateConditions.java
                    • StrengthenByIf.java
                    • RemoveEmptyBodyDefaultConstructor.java
                    • ShortcutArrayInit.java
                    • ASTCleaner.java
                    • AndAggregator.java
                    • DecrementIncrementStmtCreation.java
                    • BooleanConditionSimplification.java
                    • ExtraLabelNamesRemover.java
                    • VoidReturnRemover.java
                    • ASTCleanerTwo.java
                    • UnreachableCodeEliminator.java
                    • PushLabeledBlockIn.java
                    • UselessLabeledBlockRemover.java
                    • NewStringBufferSimplification.java
                    • IfElseSplitter.java
                    • ShortcutIfGenerator.java
                    • ForLoopCreationHelper.java
                    • UselessLabelFinder.java
                    • EmptyElseRemover.java
                    • IfElseBreaker.java
                    • SuperFirstStmtHandler.java
                    • LocalVariableCleaner.java
                    • UselessAbruptStmtRemover.java
                    • OrAggregatorOne.java
                    • SimplifyConditions.java
                    • DeInliningFinalFields.java
                    • LoopStrengthener.java
                    • TypeCastingError.java
                    • FinalFieldDefinition.java
                    • OrAggregatorThree.java
                    • CPApplication.java
                    • ForLoopCreator.java
                    • OrAggregatorFour.java
                    • StrengthenByIfElse.java
                    • SimplifyExpressions.java
                  • structuredAnalysis
                    • UnreachableCodeFinder.java
                    • CPVariable.java
                    • CPFlowSet.java
                    • ReachingCopies.java
                    • CPHelper.java
                    • StructuredAnalysis.java
                    • CP.java
                    • MustMayInitialize.java
                    • DavaFlowSet.java
                    • CPTuple.java
                    • ReachingDefs.java
                  • traversals
                    • InitializationDeclarationShortcut.java
                    • LabelToNodeMapper.java
                    • AllVariableUses.java
                    • ASTUsesAndDefs.java
                    • AllDefinitionsFinder.java
                    • CopyPropagation.java
                    • ClosestAbruptTargetFinder.java
                    • ASTParentNodeFinder.java
                  • ASTAnalysis.java
                  • ASTWalker.java
                  • TryContentsFinder.java
                  • interProcedural
                    • InterProceduralAnalyses.java
                    • ConstantFieldValueFinder.java
                  • UselessTryRemover.java
                  • analysis
                    • AnalysisAdapter.java
                    • Analysis.java
                    • DepthFirstAdapter.java
            • DavaUnitPrinter.java
            • DavaStaticBlockCleaner.java
            • RetriggerAnalysisException.java
            • DavaPrinter.java
          • DexClassSource.java
          • HasPhaseOptions.java
          • rtlib
            • tamiflex
              • IUnexpectedReflectiveCallHandler.java
              • OpaquePredicate.java
              • UnexpectedReflectiveCall.java
              • SilentHandler.java
              • ReflectiveCalls.java
              • SootSig.java
              • package-info.java
              • DefaultHandler.java
          • ClassSource.java
          • ByteType.java
          • PatchingChain.java
          • dexpler
            • tags
              • LongOpTag.java
              • DoubleOpTag.java
              • NumOpTag.java
              • FloatOpTag.java
              • IntOpTag.java
              • ObjectOpTag.java
            • DexNullArrayRefTransformer.java
            • DexReturnInliner.java
            • DexNullTransformer.java
            • DexResolver.java
            • DalvikThrowAnalysis.java
            • DexNumTransformer.java
            • DexReturnValuePropagator.java
            • DexIfTransformer.java
            • IDalvikTyper.java
            • DexTransformer.java
            • Debug.java
            • typing
              • UntypedLongOrDoubleConstant.java
              • DalvikTyper.java
              • Validate.java
              • UntypedIntOrFloatConstant.java
              • UntypedConstant.java
            • TrapMinimizer.java
            • DexClass.java
            • DexField.java
            • InvalidDalvikBytecodeException.java
            • instructions
              • JumpInstruction.java
              • IgetInstruction.java
              • CmpInstruction.java
              • AgetInstruction.java
              • ConstClassInstruction.java
              • InstructionFactory.java
              • DanglingInstruction.java
              • DeferableInstruction.java
              • AputInstruction.java
              • SgetInstruction.java
              • ReturnInstruction.java
              • ConstInstruction.java
              • MoveExceptionInstruction.java
              • ThrowInstruction.java
              • InvokeSpecialInstruction.java
              • SwitchInstruction.java
              • FilledNewArrayRangeInstruction.java
              • NewInstanceInstruction.java
              • InstanceOfInstruction.java
              • MonitorEnterInstruction.java
              • ArrayLengthInstruction.java
              • InvokeInterfaceInstruction.java
              • ExecuteInlineInstruction.java
              • BinopLitInstruction.java
              • OdexInstruction.java
              • MethodInvocationInstruction.java
              • IfTestInstruction.java
              • MoveInstruction.java
              • FilledNewArrayInstruction.java
              • DexlibAbstractInstruction.java
              • MoveResultInstruction.java
              • TaggedInstruction.java
              • BinopInstruction.java
              • FieldInstruction.java
              • SputInstruction.java
              • NopInstruction.java
              • RetypeableInstruction.java
              • InvokeVirtualInstruction.java
              • FillArrayDataInstruction.java
              • ConstStringInstruction.java
              • UnopInstruction.java
              • NewArrayInstruction.java
              • FilledArrayInstruction.java
              • ConditionalJumpInstruction.java
              • GotoInstruction.java
              • PseudoInstruction.java
              • IfTestzInstruction.java
              • SparseSwitchInstruction.java
              • PackedSwitchInstruction.java
              • Binop2addrInstruction.java
              • MonitorExitInstruction.java
              • IputInstruction.java
              • CastInstruction.java
              • CheckCastInstruction.java
              • ReturnVoidInstruction.java
              • InvokeStaticInstruction.java
            • DexBody.java
            • DexNullThrowTransformer.java
            • Util.java
            • DexlibWrapper.java
            • DexMethod.java
            • AbstractNullTransformer.java
            • DvkTyperBase.java
            • DexAnnotation.java
            • DexRefsChecker.java
            • DexType.java
          • UnknownMethodSource.java
          • Context.java
          • Local.java
          • AbstractUnitAllMapTo.java
          • RadioScenePack.java
          • sootify
            • TypeTemplatePrinter.java
            • TemplatePrinter.java
            • StmtTemplatePrinter.java
            • ValueTemplatePrinter.java
          • AbstractUnitBox.java
          • IdentityUnit.java
          • IntegerType.java
          • JavaToJimpleBodyPack.java
          • CoffiClassProvider.java
          • Hierarchy.java
          • AbstractTrap.java
          • SootField.java
          • AbstractUnitPrinter.java
          • ClassProvider.java
          • Immediate.java
          • UnitPrinter.java
          • TypeSwitch.java
          • ArrayType.java
          • DoubleType.java
          • util
            • IterableMap.java
            • SharedBitSetCache.java
            • ArraySet.java
            • IdentityHashSet.java
            • LargeNumberedMap.java
            • ArrayNumberer.java
            • ConcurrentHashMultiMap.java
            • SmallNumberedMap.java
            • SharedBitSet.java
            • NumberedString.java
            • Switch.java
            • EscapedWriter.java
            • BitVector.java
            • Numberer.java
            • SingletonList.java
            • HashChain.java
            • backend
              • ASMBackendUtils.java
              • SootASMClassWriter.java
            • IntegerNumberer.java
            • PhaseDumper.java
            • dot
              • DotGraphCommand.java
              • DotGraphConstants.java
              • DotGraphUtility.java
              • DotGraph.java
              • DotGraphAttribute.java
              • DotGraphNode.java
              • package.html
              • DotGraphEdge.java
              • Renderable.java
            • DeterministicHashMap.java
            • UnitMap.java
            • StringTools.java
            • JasminOutputStream.java
            • Switchable.java
            • MultiMap.java
            • cfgcmd
              • CFGGraphType.java
              • AltClassLoader.java
              • CFGOptionMatcher.java
              • CFGToDotGraph.java
              • CFGIntermediateRep.java
            • Chain.java
            • MediumPriorityQueue.java
            • SmallPriorityQueue.java
            • IterableSet.java
            • annotations
              • AnnotationElemSwitch.java
              • AnnotationInstanceCreator.java
            • LargePriorityQueue.java
            • NumberedSet.java
            • HashMultiMap.java
            • MapNumberer.java
            • StationaryArrayList.java
            • BitSetIterator.java
            • Cons.java
            • Numberable.java
            • IterableNumberer.java
            • package.html
            • queue
              • QueueReader.java
              • BDDChunk.jedd
              • ChunkedQueue.java
              • BDDReader.jedd
              • BDDQueue.jedd
              • package.html
            • StringNumberer.java
            • PriorityQueue.java
            • EscapedReader.java
          • JimpleClassProvider.java
          • plugins
            • SootPhasePlugin.java
            • internal
              • PluginLoader.java
            • model
              • Plugins.java
              • PhasePluginDescription.java
              • PluginDescription.java
          • Body.java
          • SootResolver.java
          • AbstractSootFieldRef.java
          • PhaseOptions.java
          • VoidType.java
          • Main.java
          • RefType.java
          • BodyTransformer.java
          • asm
            • UnitContainer.java
            • AsmUtil.java
            • TagBuilder.java
            • Operand.java
            • SootClassBuilder.java
            • StackFrame.java
            • AsmClassSource.java
            • AsmMethodSource.java
            • AsmClassProvider.java
            • AnnotationElemBuilder.java
            • MethodBuilder.java
            • FieldBuilder.java
            • CastAndReturnInliner.java
          • toolkits
            • graph
              • DominatorAnalysis.java
              • MHGDominatorsFinder.java
              • ExceptionalBlockGraph.java
              • SlowPseudoTopologicalOrderer.java
              • HashMutableDirectedGraph.java
              • MemoryEfficientGraph.java
              • TrapUnitGraph.java
              • ClassicCompleteBlockGraph.java
              • BriefBlockGraph.java
              • ReversibleGraph.java
              • LoopNestTree.java
              • PseudoTopologicalOrderer.java
              • Orderer.java
              • DominatorNode.java
              • SimpleDominatorsFinder.java
              • CompleteUnitGraph.java
              • ArrayRefBlockGraph.java
              • BlockGraphConverter.java
              • BlockGraph.java
              • DirectedGraph.java
              • MutableEdgeLabelledDirectedGraph.java
              • Block.java
              • StronglyConnectedComponents.java
              • DominatorsFinder.java
              • ZonedBlockGraph.java
              • PostDominatorAnalysis.java
              • ReversePseudoTopologicalOrderer.java
              • HashMutableEdgeLabelledDirectedGraph.java
              • ExceptionalUnitGraph.java
              • BriefUnitGraph.java
              • DominatorTreeAdapter.java
              • DominatorTree.java
              • InverseGraph.java
              • CytronDominanceFrontier.java
              • ClassicCompleteUnitGraph.java
              • interaction
                • InteractionHandler.java
                • IInteractionController.java
                • IInteractionConstants.java
                • IInteractionListener.java
                • FlowInfo.java
                • InteractionEvent.java
              • UnitGraph.java
              • DominanceFrontier.java
              • ExceptionalGraph.java
              • MHGPostDominatorsFinder.java
              • HashReversibleGraph.java
              • MutableDirectedGraph.java
              • package.html
              • StronglyConnectedComponentsFast.java
              • CompleteBlockGraph.java
              • pdg
                • RegionAnalysis.java
                • EnhancedBlockGraph.java
                • LoopedPDGNode.java
                • Region.java
                • IRegion.java
                • PDGRegion.java
                • PDGNode.java
                • HashMutablePDG.java
                • EnhancedUnitGraph.java
                • ProgramDependenceGraph.java
                • ConditionalPDGNode.java
                • MHGDominatorTree.java
            • astmetrics
              • AbruptEdgesMetric.java
              • MetricData.java
              • ClassData.java
              • StmtSumWeightedByDepth.java
              • metricPrettyPrinter.java
              • ComputeASTMetrics.java
              • NumLocalsMetric.java
              • ExpressionComplexityMetric.java
              • MetricInterface.java
              • ConditionComplexityMetric.java
              • IdentifiersMetric.java
              • ConstructNumbersMetric.java
              • DataHandlingApplication
                • HowTo
                • ProcessData.java
              • ASTMetric.java
            • scalar
              • AbstractFlowSet.java
              • LocalDefs.java
              • LocalSplitter.java
              • ArrayFlowUniverse.java
              • ValueUnitPair.java
              • IdentityPair.java
              • InitAnalysis.java
              • ObjectIntMapper.java
              • ConstantInitializerToTagTransformer.java
              • SimpleLocalDefs.java
              • LocalUses.java
              • ForwardFlowAnalysis.java
              • ForwardFlowAnalysisExtended.java
              • ArrayPackedSet.java
              • ArraySparseSet.java
              • BranchedFlowAnalysis.java
              • UnusedLocalEliminator.java
              • GuaranteedDefs.java
              • FlowAnalysis.java
              • LocalUnitPair.java
              • BinaryIdentitySet.java
              • FlowSet.java
              • FastColorer.java
              • BoundedFlowSet.java
              • LocalPacker.java
              • CombinedAnalysis.java
              • CollectionFlowUniverse.java
              • SmartLocalDefs.java
              • AbstractBoundedFlowSet.java
              • CombinedDUAnalysis.java
              • Pair.java
              • BackwardFlowAnalysis.java
              • SmartLocalDefsPool.java
              • SimpleLocalUses.java
              • ConstantValueToInitializerTransformer.java
              • package.html
              • UnitValueBoxPair.java
              • AbstractFlowAnalysis.java
              • FlowUniverse.java
              • SimpleLiveLocals.java
              • ForwardBranchedFlowAnalysis.java
              • LiveLocals.java
            • exceptions
              • ThrowableSet.java
              • UnitThrowAnalysis.java
              • PedanticThrowAnalysis.java
              • ThrowAnalysisFactory.java
              • ThrowAnalysis.java
              • AbstractThrowAnalysis.java
              • TrapTransformer.java
              • TrapTightener.java
          • UnitBox.java
          • Timer.java
          • ClassMember.java
          • EquivTo.java
          • JimpleBodyPack.java
          • JavaClassSource.java
          • NormalUnitPrinter.java
          • RefLikeType.java
          • SootMethodRef.java
          • PointsToAnalysis.java
          • SootMethodRefImpl.java
          • ErroneousType.java
          • SourceLocator.java
          • coffi
            • Instruction_Fstore_1.java
            • RuntimeInvisibleAnnotations_attribute.java
            • Instruction_Lushr.java
            • Instruction_Fload_0.java
            • Exception_attribute.java
            • Synthetic_attribute.java
            • Interface_Astore.java
            • Instruction_Lookupswitch.java
            • Instruction_Lload_0.java
            • Instruction_Putstatic.java
            • Instruction_Ldc2.java
            • Instruction_Iand.java
            • Instruction_Ireturn.java
            • Instruction_Ifnull.java
            • CONSTANT_Fieldref_info.java
            • Instruction_Jsr.java
            • Instruction_D2f.java
            • Instruction_Getstatic.java
            • method_info.java
            • Instruction_Dstore.java
            • Instruction_Baload.java
            • BBQ.java
            • Instruction_Dastore.java
            • Instruction_If_icmpge.java
            • class_element_value.java
            • Instruction_Nop.java
            • Instruction_Sipush.java
            • enum_constant_element_value.java
            • ClassFile.java
            • Instruction_Aconst_null.java
            • Instruction_Anewarray.java
            • Instruction_Fconst_1.java
            • Instruction_Drem.java
            • Instruction_Invokedynamic.java
            • Instruction_Castore.java
            • Instruction_Ret.java
            • Instruction_Lshr.java
            • Instruction_Fconst_2.java
            • Instruction_Dload_0.java
            • attribute_info.java
            • Instruction_bytevar.java
            • Instruction_If_icmpgt.java
            • Instruction_Istore.java
            • Instruction_Bastore.java
            • UnusuableType.java
            • Instruction_Ifnonnull.java
            • Instruction_Fneg.java
            • Instruction_Astore_1.java
            • Instruction_Iconst_m1.java
            • Instruction_Swap.java
            • Instruction_Lstore_0.java
            • Instruction_Dup2_x1.java
            • Instruction_byteindex.java
            • Instruction_Lneg.java
            • TypeStack.java
            • Instruction_Faload.java
            • Instruction_Ladd.java
            • Instruction_Iaload.java
            • annotation.java
            • Instruction_Lreturn.java
            • Instruction_Fmul.java
            • Instruction_Lshl.java
            • Instruction_Dconst_0.java
            • Instruction_Dstore_2.java
            • Instruction_Ret_w.java
            • Instruction_Ldc2w.java
            • Instruction_Lmul.java
            • Instruction_Ifge.java
            • Instruction_Tableswitch.java
            • Instruction_L2i.java
            • Instruction_Lstore_2.java
            • Instruction_Iload_0.java
            • Code_attribute.java
            • ConstantValue_attribute.java
            • Instruction_Newarray.java
            • Instruction_Dmul.java
            • Instruction_Lconst_0.java
            • Instruction_Dup_x2.java
            • Instruction_Iconst_5.java
            • Instruction_Fdiv.java
            • CONSTANT_Utf8_info.java
            • Instruction_Iastore.java
            • Instruction_F2d.java
            • EnclosingMethod_attribute.java
            • Instruction_Lsub.java
            • Instruction_Lload_2.java
            • Instruction_Bipush.java
            • SourceFile_attribute.java
            • Instruction_Fastore.java
            • Instruction_Land.java
            • Instruction_Ifeq.java
            • Instruction_Lstore_3.java
            • Instruction_Arraylength.java
            • Instruction_Aload_2.java
            • Instruction_Fstore_0.java
            • array_element_value.java
            • Instruction_If_acmpne.java
            • Instruction_Istore_3.java
            • inner_class_entry.java
            • Instruction_I2d.java
            • Instruction_Fadd.java
            • Instruction_Iload_2.java
            • Instruction_Invokestatic.java
            • Instruction_Fload_2.java
            • Instruction_Daload.java
            • Instruction_Dstore_0.java
            • Instruction_Dload_3.java
            • Instruction_noargs.java
            • Instruction_Fstore_2.java
            • Instruction_Ishl.java
            • Instruction_Iconst_1.java
            • Instruction_Aload_0.java
            • Instruction_intbranch.java
            • line_number_table_entry.java
            • Instruction_Iconst_4.java
            • LineNumberTable_attribute.java
            • Instruction_Return.java
            • Instruction_If_icmplt.java
            • Instruction_Aaload.java
            • CONSTANT_Double_info.java
            • BasicBlock.java
            • CONSTANT_InvokeDynamic_info.java
            • Instruction_Istore_0.java
            • Instruction_F2i.java
            • Instruction_Imul.java
            • Instruction_Astore_2.java
            • Instruction_Sastore.java
            • FutureStmt.java
            • Instruction_Lcmp.java
            • Instruction_Instanceof.java
            • local_variable_type_table_entry.java
            • Instruction_Putfield.java
            • Instruction_Fstore.java
            • Instruction_Invokenonvirtual.java
            • Instruction_Pop.java
            • Instruction_Dup2_x2.java
            • Instruction_Monitorenter.java
            • Instruction_Isub.java
            • Instruction_Dup_x1.java
            • Instruction_longbranch.java
            • Instruction_Aastore.java
            • Instruction_Dup2.java
            • Instruction_Iconst_3.java
            • Instruction.java
            • Instruction_Iload_1.java
            • Instruction_Dadd.java
            • CONSTANT_NameAndType_info.java
            • CONSTANT_InterfaceMethodref_info.java
            • Instruction_Laload.java
            • Instruction_Astore_0.java
            • Signature_attribute.java
            • Instruction_Lxor.java
            • Instruction_Invokevirtual.java
            • Instruction_New.java
            • Instruction_Unknown.java
            • Instruction_Dup.java
            • Instruction_Lstore_1.java
            • Instruction_Breakpoint.java
            • Instruction_Ifne.java
            • Instruction_Int2short.java
            • RuntimeInvisibleParameterAnnotations_attribute.java
            • Instruction_Ifle.java
            • Instruction_Ifgt.java
            • Instruction_Dstore_3.java
            • Instruction_Irem.java
            • Instruction_Aload.java
            • Instruction_Int2char.java
            • ByteCode.java
            • Instruction_Iushr.java
            • exception_table_entry.java
            • Instruction_Dstore_1.java
            • Instruction_Ddiv.java
            • Instruction_Iadd.java
            • Instruction_Aload_1.java
            • Instruction_Dload.java
            • Instruction_Ldiv.java
            • Instruction_int.java
            • Instruction_Astore.java
            • Instruction_Dcmpg.java
            • Util.java
            • Instruction_I2l.java
            • LocalVariableTable_attribute.java
            • Instruction_Multianewarray.java
            • Instruction_Lload.java
            • Instruction_Lrem.java
            • Instruction_Fload_1.java
            • Instruction_Iconst_0.java
            • Instruction_Goto.java
            • field_info.java
            • Instruction_Fload_3.java
            • Instruction_Monitorexit.java
            • constant_element_value.java
            • Instruction_L2d.java
            • Instruction_Lconst_1.java
            • Instruction_Fconst_0.java
            • parameter_annotation.java
            • Instruction_Getfield.java
            • Instruction_F2l.java
            • Instruction_D2l.java
            • Instruction_Ishr.java
            • Instruction_Int2byte.java
            • Instruction_Checkcast.java
            • local_variable_table_entry.java
            • Instruction_Pop2.java
            • Generic_attribute.java
            • Instruction_Dsub.java
            • Instruction_Aload_3.java
            • CONSTANT_Methodref_info.java
            • RuntimeVisibleAnnotations_attribute.java
            • Instruction_D2i.java
            • CONSTANT_Integer_info.java
            • Instruction_Iinc.java
            • Long2ndHalfType.java
            • Instruction_Ixor.java
            • Deprecated_attribute.java
            • CONSTANT_MethodHandle_info.java
            • CONSTANT_Utf8_collector.java
            • Instruction_If_icmpne.java
            • Instruction_Iflt.java
            • CONSTANT_Class_info.java
            • Instruction_Dload_1.java
            • CONSTANT_String_info.java
            • Instruction_Dconst_1.java
            • TypeArray.java
            • Instruction_Frem.java
            • Instruction_If_icmpeq.java
            • annotation_element_value.java
            • Instruction_Ineg.java
            • Instruction_Ldc1.java
            • Double2ndHalfType.java
            • InnerClasses_attribute.java
            • Instruction_intindex.java
            • Instruction_Dneg.java
            • Instruction_I2f.java
            • BootstrapMethods_attribute.java
            • Instruction_Caload.java
            • Instruction_Jsr_w.java
            • Instruction_Istore_1.java
            • Utf8_Enumeration.java
            • Instruction_Astore_3.java
            • Interface_OneIntArg.java
            • Instruction_Goto_w.java
            • ICONSTANT_Methodref_info.java
            • Instruction_Invokeinterface.java
            • Instruction_byte.java
            • Instruction_intvar.java
            • Instruction_Fstore_3.java
            • Instruction_Fcmpl.java
            • Instruction_Lload_3.java
            • Instruction_branch.java
            • Instruction_Dcmpl.java
            • Instruction_L2f.java
            • Instruction_Dreturn.java
            • CFG.java
            • Instruction_Fcmpg.java
            • Instruction_Fsub.java
            • Instruction_Lload_1.java
            • Instruction_Saload.java
            • Instruction_Lor.java
            • package.html
            • Instruction_Istore_2.java
            • Instruction_Athrow.java
            • Instruction_Iconst_2.java
            • Instruction_Iload.java
            • Instruction_Ior.java
            • CoffiMethodSource.java
            • Instruction_Lastore.java
            • CONSTANT_Long_info.java
            • cp_info.java
            • Instruction_Fload.java
            • AnnotationDefault_attribute.java
            • CONSTANT_Float_info.java
            • Instruction_Idiv.java
            • Info.java
            • Instruction_If_acmpeq.java
            • Instruction_Wide.java
            • element_value.java
            • Instruction_Areturn.java
            • Instruction_Dload_2.java
            • Instruction_If_icmple.java
            • LocalVariableTypeTable_attribute.java
            • Instruction_Iload_3.java
            • Instruction_Lstore.java
            • Instruction_Freturn.java
            • RuntimeVisibleParameterAnnotations_attribute.java
          • Kind.java
          • Type.java
          • MethodOrMethodContext.java
          • validation
            • UnitValidationException.java
            • UsesValidator.java
            • ValueBoxesValidator.java
            • OuterClassValidator.java
            • CheckVoidLocalesValidator.java
            • LocalsValidator.java
            • UnitBoxesValidator.java
            • TrapsValidator.java
            • BodyValidator.java
            • ClassValidator.java
            • CheckInitValidator.java
            • ValidationException.java
            • CheckTypesValidator.java
          • jimple
            • ParameterRef.java
            • InstanceInvokeExpr.java
            • CastExpr.java
            • CmplExpr.java
            • SubExpr.java
            • LongConstant.java
            • Expr.java
            • MulExpr.java
            • ThrowStmt.java
            • ReachingTypeDumper.java
            • ExprSwitch.java
            • CmpgExpr.java
            • NumericConstant.java
            • DefinitionStmt.java
            • PlaceholderStmt.java
            • Constant.java
            • AbstractJimpleValueSwitch.java
            • AnyNewExpr.java
            • IntConstant.java
            • Jimple.java
            • VirtualInvokeExpr.java
            • NoSuchLocalException.java
            • ClassConstant.java
            • ExitMonitorStmt.java
            • NegExpr.java
            • InvokeStmt.java
            • MethodHandle.java
            • JasminClass.java
            • LeExpr.java
            • AbstractStmtSwitch.java
            • JimpleToBafContext.java
            • IdentityStmt.java
            • GotoStmt.java
            • BreakpointStmt.java
            • ConstantSwitch.java
            • GtExpr.java
            • LookupSwitchStmt.java
            • EqualLocals.java
            • MonitorStmt.java
            • JimpleMethodSource.java
            • OrExpr.java
            • SwitchStmt.java
            • AbstractConstantSwitch.java
            • ArrayRef.java
            • NewMultiArrayExpr.java
            • BinopExpr.java
            • AbstractExprSwitch.java
            • InvokeExpr.java
            • AssignStmt.java
            • FloatConstant.java
            • ShlExpr.java
            • StaticFieldRef.java
            • ReturnVoidStmt.java
            • DoubleConstant.java
            • GroupIntPair.java
            • CmpExpr.java
            • Ref.java
            • GeExpr.java
            • spark
              • solver
                • PropCycle.java
                • SCCCollapser.java
                • Checker.java
                • OnFlyCallGraph.java
                • PropAlias.java
                • PropIter.java
                • PropMerge.java
                • EBBCollapser.java
                • PropWorklist.java
                • Propagator.java
                • TopoSorter.java
                • MergeChecker.java
              • geom
                • dataRep
                  • RectangleNode.java
                  • SimpleInterval.java
                  • ContextVar.java
                  • IntervalContextVar.java
                  • ShapeNode.java
                  • SegmentNode.java
                  • CallsiteContextVar.java
                  • PlainConstraint.java
                  • CgEdge.java
                • heapinsE
                  • HeapInsNode.java
                  • HeapInsIntervalManager.java
                  • HeapInsNodeGenerator.java
                • utils
                  • ZArrayNumberer.java
                  • SootInfo.java
                  • Histogram.java
                • geomPA
                  • Parameters.java
                  • OfflineProcessor.java
                  • FIFO_Worklist.java
                  • GeomPointsTo.java
                  • IFigureManager.java
                  • Constants.java
                  • IWorklist.java
                  • DummyNode.java
                  • IVarAbstraction.java
                  • IEncodingBroker.java
                  • PQ_Worklist.java
                  • GeomQueries.java
                • helper
                  • GeomEvaluator.java
                • package-info.java
                • geomE
                  • FullSensitiveNode.java
                  • GeometricManager.java
                  • FullSensitiveNodeGenerator.java
                • dataMgr
                  • Obj_full_extractor.java
                  • ContextsCollector.java
                  • PtSensVisitor.java
                • ptinsE
                  • PtInsNode.java
                  • PtInsNodeGenerator.java
                  • PtInsIntervalManager.java
              • builder
                • ContextInsensitiveBuilder.java
                • MethodNodeFactory.java
                • GlobalNodeFactory.java
              • SparkTransformer.java
              • internal
                • TypeManager.java
                • SparkNativeHelper.java
              • fieldrw
                • FieldTagAggregator.java
                • FieldWriteTagAggregator.java
                • FieldTagger.java
                • FieldRWTag.java
                • FieldReadTagAggregator.java
                • FieldReadTag.java
                • FieldWriteTag.java
              • ondemand
                • EverythingHeuristic.java
                • genericutil
                  • ArraySet.java
                  • Mapper.java
                  • Averager.java
                  • ObjWrapper.java
                  • UnorderedPair.java
                  • AbstractMultiMap.java
                  • ImmutableStack.java
                  • FIFOQueue.java
                  • ArraySetMultiMap.java
                  • MultiMap.java
                  • IteratorMapper.java
                  • ObjectVisitor.java
                  • Util.java
                  • Stack.java
                  • ArraySetDupesMultiMap.java
                  • MutablePair.java
                  • DisjointSets.java
                  • HashSetMultiMap.java
                  • Predicate.java
                  • Propagator.java
                • DotPointerGraph.java
                • AllocAndContext.java
                • DemandCSPointsTo.java
                • WrappedPointsToSet.java
                • ManualAndInnerHeuristic.java
                • FieldCheckHeuristic.java
                • InnerTypesIncrementalHeuristic.java
                • AllocAndContextSet.java
                • CallSiteException.java
                • TerminateEarlyException.java
                • NothingHeuristic.java
                • LazyContextSensitivePointsToSet.java
                • ManualFieldCheckHeuristic.java
                • pautil
                  • SootUtil.java
                  • ValidMatches.java
                  • OTFMethodSCCManager.java
                  • ContextSensitiveInfo.java
                  • AllocationSiteHandler.java
                  • DumpNumAppReachableMethods.java
                  • AssignEdge.java
                • IncrementalTypesHeuristic.java
                • HeuristicType.java
              • sets
                • PointsToSetEqualsWrapper.java
                • BitPointsToSet.java
                • AllSharedHybridNodes.java
                • AllSharedListNodes.java
                • SharedListSet.java
                • DoublePointsToSet.java
                • PointsToSetInternal.java
                • PointsToBitVector.java
                • SortedArraySet.java
                • HybridPointsToSet.java
                • EqualsSupportingPointsToSet.java
                • EmptyPointsToSet.java
                • SharedHybridSet.java
                • HashPointsToSet.java
                • P2SetFactory.java
                • P2SetVisitor.java
              • pag
                • VarNode.java
                • FieldRefNode.java
                • MethodPAG.java
                • ValNode.java
                • LocalVarNode.java
                • StringConstantNode.java
                • PAG.java
                • ClassConstantNode.java
                • AllocNode.java
                • ContextVarNode.java
                • GlobalVarNode.java
                • SparkField.java
                • Node.java
                • PAG2HTML.java
                • PagToDotDumper.java
                • PAGDumper.java
                • Parm.java
                • ArrayElement.java
                • AllocDotField.java
            • SpecialInvokeExpr.java
            • IfStmt.java
            • NopStmt.java
            • LtExpr.java
            • DynamicInvokeExpr.java
            • NewExpr.java
            • EnterMonitorStmt.java
            • ArithmeticConstant.java
            • internal
              • JLookupSwitchStmt.java
              • JInvokeStmt.java
              • AbstractJimpleIntBinopExpr.java
              • AbstractJimpleFloatBinopExpr.java
              • JDynamicInvokeExpr.java
              • JInstanceFieldRef.java
              • JMulExpr.java
              • AbstractSwitchStmt.java
              • VariableBox.java
              • JShrExpr.java
              • AbstractInvokeExpr.java
              • JCmpgExpr.java
              • JSpecialInvokeExpr.java
              • AbstractLengthExpr.java
              • AbstractInstanceOfExpr.java
              • JInterfaceInvokeExpr.java
              • JReturnVoidStmt.java
              • JSubExpr.java
              • JRetStmt.java
              • AbstractInstanceFieldRef.java
              • JNewArrayExpr.java
              • JOrExpr.java
              • JExitMonitorStmt.java
              • JIfStmt.java
              • JCmplExpr.java
              • JAssignStmt.java
              • JGtExpr.java
              • AbstractCastExpr.java
              • AbstractSpecialInvokeExpr.java
              • AbstractStaticInvokeExpr.java
              • JCmpExpr.java
              • AbstractUnopExpr.java
              • JVirtualInvokeExpr.java
              • AbstractStmt.java
              • IdentityRefBox.java
              • AbstractOpStmt.java
              • JNewExpr.java
              • JNeExpr.java
              • JArrayRef.java
              • AbstractVirtualInvokeExpr.java
              • JRemExpr.java
              • JNopStmt.java
              • JNewMultiArrayExpr.java
              • InvokeExprBox.java
              • JNegExpr.java
              • JInstanceOfExpr.java
              • AbstractInterfaceInvokeExpr.java
              • JAddExpr.java
              • AbstractInstanceInvokeExpr.java
              • JReturnStmt.java
              • AbstractJimpleIntLongBinopExpr.java
              • JAndExpr.java
              • ConditionExprBox.java
              • ImmediateBox.java
              • JEnterMonitorStmt.java
              • AbstractJimpleBinopExpr.java
              • JEqExpr.java
              • JGeExpr.java
              • AbstractIntBinopExpr.java
              • AbstractNegExpr.java
              • JShlExpr.java
              • AbstractFloatBinopExpr.java
              • StmtBox.java
              • JLengthExpr.java
              • AbstractIntLongBinopExpr.java
              • JDivExpr.java
              • AbstractNewMultiArrayExpr.java
              • JStaticInvokeExpr.java
              • JXorExpr.java
              • JCaughtExceptionRef.java
              • JUshrExpr.java
              • AbstractNewArrayExpr.java
              • JimpleLocalBox.java
              • JTableSwitchStmt.java
              • AbstractBinopExpr.java
              • JCastExpr.java
              • JGotoStmt.java
              • JTrap.java
              • JBreakpointStmt.java
              • JimpleLocal.java
              • RValueBox.java
              • JIdentityStmt.java
              • package.html
              • JLtExpr.java
              • AbstractNewExpr.java
              • JLeExpr.java
              • AbstractDefinitionStmt.java
              • JThrowStmt.java
            • toolkits
              • graph
                • LoopConditionUnroller.java
                • package.html
                • CriticalEdgeRemover.java
              • reflection
                • ReflInliner.java
                • ReflectionTraceInfo.java
                • ReflectiveCallsInliner.java
              • callgraph
                • ContextSensitiveCallGraph.java
                • TransitiveTargets.java
                • UnreachableMethodTransformer.java
                • ReflectionModel.java
                • ContextInsensitiveContextManager.java
                • Filter.java
                • EdgePredicate.java
                • ExplicitEdgesPred.java
                • CHATransformer.java
                • Edge.java
                • ContextManager.java
                • ClinitElimAnalysis.java
                • Units.java
                • SlowCallGraph.java
                • CallGraphBuilder.java
                • VirtualCallSite.java
                • CallGraph.java
                • ContextSensitiveEdge.java
                • Sources.java
                • Targets.java
                • VirtualCalls.java
                • OnFlyCallGraphBuilder.java
                • ObjSensContextManager.java
                • ReachableMethods.java
                • TopologicalOrderer.java
                • InstanceInvokeEdgesPred.java
                • OneCFAContextManager.java
                • ClinitElimTransformer.java
                • CallGraphPack.java
              • pointer
                • SiteRWSet.java
                • Union.java
                • MemoryEfficientRasUnion.java
                • LocalTypeSet.java
                • DumbPointerAnalysis.java
                • representations
                  • AbstractObject.java
                  • ReferenceVariable.java
                  • Environment.java
                  • TypeConstants.java
                  • GeneralConstObject.java
                  • ConstantObject.java
                • LocalMayAliasAnalysis.java
                • FullObjectSet.java
                • MethodRWSet.java
                • FullRWSet.java
                • RWSet.java
                • StrongLocalMustAliasAnalysis.java
                • LocalMayEquivValueAnalysis.java
                • CastCheckEliminatorDumper.java
                • ParameterAliasTagger.java
                • UnionFactory.java
                • util
                  • NativeHelper.java
                  • NativeMethodDriver.java
                • nativemethods
                  • JavaLangClassNative.java
                  • JavaUtilZipCRC32Native.java
                  • JavaUtilTimeZoneNative.java
                  • JavaUtilZipInflaterNative.java
                  • JavaUtilResourceBundleNative.java
                  • JavaLangShutdownNative.java
                  • JavaLangFloatNative.java
                  • JavaIoFileDescriptorNative.java
                  • JavaLangSystemNative.java
                  • JavaLangThreadNative.java
                  • JavaIoObjectInputStreamNative.java
                  • JavaLangDoubleNative.java
                  • JavaIoFileSystemNative.java
                  • JavaNetInetAddressNative.java
                  • JavaLangReflectFieldNative.java
                  • JavaIoObjectStreamClassNative.java
                  • JavaLangRuntimeNative.java
                  • JavaIoObjectOutputStreamNative.java
                  • NOTES.ps
                  • JavaUtilZipZipEntryNative.java
                  • JavaLangThrowableNative.java
                  • JavaLangReflectConstructorNative.java
                  • NativeMethodClass.java
                  • JavaIoFileOutputStreamNative.java
                  • JavaLangReflectProxyNative.java
                  • JavaLangPackageNative.java
                  • JavaLangStrictMathNative.java
                  • SunMiscSignalHandlerNative.java
                  • SunMiscUnsafeNative.java
                  • JavaIoFileInputStreamNative.java
                  • JavaLangReflectArrayNative.java
                  • JavaLangReflectMethodNative.java
                  • JavaUtilZipZipFileNative.java
                  • JavaLangObjectNative.java
                  • NativeMethodNotSupportedException.java
                  • JavaNetInetAddressImplNative.java
                  • JavaLangClassLoaderNative.java
                  • JavaSecurityAccessControllerNative.java
                  • SunMiscSignalNative.java
                  • JavaUtilJarJarFileNative.java
                  • JavaLangClassLoaderNativeLibraryNative.java
                  • NOTES
                  • JavaLangSecurityManagerNative.java
                  • JavaLangStringNative.java
                • StmtRWSet.java
                • SideEffectTagger.java
                • SideEffectAnalysis.java
                • DependenceGraph.java
                • DependenceTag.java
                • InstanceKey.java
                • FieldRWTagger.java
                • PASideEffectTester.java
                • CastCheckEliminator.java
                • CastCheckTag.java
                • LocalMustNotAliasAnalysis.java
                • LocalMustAliasAnalysis.java
                • DependenceTagAggregator.java
                • CodeBlockRWSet.java
              • base
                • RenameDuplicatedClasses.java
                • Zonation.java
                • ExceptionChecker.java
                • Zone.java
                • ExceptionCheckerErrorReporter.java
                • JimpleConstructorFolder.java
                • ExceptionCheckerError.java
                • PartialConstructorFolder.java
                • Aggregator.java
                • package.html
                • ThisInliner.java
              • typing
                • TypeException.java
                • TypeNode.java
                • ConstraintChecker.java
                • integer
                  • TypeException.java
                  • TypeNode.java
                  • ConstraintChecker.java
                  • TypeVariable.java
                  • StronglyConnectedComponents.java
                  • TypeResolver.java
                  • ClassHierarchy.java
                  • InternalTypingException.java
                  • ConstraintCollector.java
                • StronglyConnectedComponentsBV.java
                • fast
                  • QueuedSet.java
                  • AugHierarchy.java
                  • UseChecker.java
                  • IHierarchy.java
                  • IUseVisitor.java
                  • BottomType.java
                  • SingletonList.java
                  • BytecodeHierarchy.java
                  • Integer127Type.java
                  • Typing.java
                  • Integer32767Type.java
                  • TypeResolver.java
                  • EmptyList.java
                  • Integer1Type.java
                  • IEvalFunction.java
                  • AugEvalFunction.java
                • TypeVariable.java
                • TypeVariableBV.java
                • TypeAssigner.java
                • StronglyConnectedComponents.java
                • TypeResolverBV.java
                • TypeResolver.java
                • ClassHierarchy.java
                • Util.java
                • ConstraintCollectorBV.java
                • InternalTypingException.java
                • ConstraintCheckerBV.java
                • package.html
                • ConstraintCollector.java
              • ide
                • DefaultJimpleIDETabulationProblem.java
                • DefaultJimpleIFDSTabulationProblem.java
                • icfg
                  • BiDiInterproceduralCFG.java
                  • JimpleBasedInterproceduralCFG.java
                  • OnTheFlyJimpleBasedICFG.java
                  • BackwardsInterproceduralCFG.java
                  • AbstractJimpleBasedICFG.java
                • Main.java
                • JimpleIFDSSolver.java
                • SortableCSVString.java
                • libsumm
                  • FixedMethods.java
                  • Main.java
                • JimpleIDESolver.java
                • exampleproblems
                  • IFDSUninitializedVariables.java
                  • IFDSPossibleTypes.java
                  • IFDSReachingDefinitions.java
                  • IFDSLocalInfoFlow.java
                  • IFDSLiveVariables.java
              • scalar
                • NopEliminator.java
                • DeadAssignmentEliminator.java
                • ConstantPropagatorAndFolder.java
                • UnconditionalBranchFolder.java
                • PessimisticAvailableExpressionsAnalysis.java
                • Evaluator.java
                • CommonSubexpressionEliminator.java
                • UnreachableCodeEliminator.java
                • ConditionalBranchFolder.java
                • SlowAvailableExpressionsAnalysis.java
                • CopyPropagator.java
                • EqualLocalsAnalysis.java
                • FastAvailableExpressionsAnalysis.java
                • LocalNameStandardizer.java
                • CommonPrecedingEqualValueAnalysis.java
                • ToppedSet.java
                • AvailableExpressions.java
                • FastAvailableExpressions.java
                • EqualUsesAnalysis.java
                • pre
                  • UpSafetyAnalysis.java
                  • EarliestnessComputation.java
                  • DelayabilityAnalysis.java
                  • BusyCodeMotion.java
                  • LazyCodeMotion.java
                  • LatestComputation.java
                  • package.html
                  • DownSafetyAnalysis.java
                  • SootFilter.java
                  • NotIsolatedAnalysis.java
                • LocalCreation.java
                • SlowAvailableExpressions.java
                • package.html
                • EmptySwitchEliminator.java
              • thread
                • EncapsulatedObjectAnalysis.java
                • AbstractRuntimeThread.java
                • EncapsulatedMethodAnalysis.java
                • synchronization
                  • CriticalSectionDataDependency.java
                  • StrayRWFinder.java
                  • CriticalSectionInterferenceGraph.java
                  • DeadlockDetector.java
                  • LockableReferenceAnalysis.java
                  • DeadlockAvoidanceEdge.java
                  • NewStaticLock.java
                  • CriticalSectionGroup.java
                  • SynchronizedRegionFlowPair.java
                  • CriticalSection.java
                  • CriticalSectionAwareSideEffectAnalysis.java
                  • LockAllocationBodyTransformer.java
                  • SynchronizedRegionFinder.java
                  • SynchronizedRegion.java
                  • LockAllocator.java
                  • CriticalSectionVisibleEdgesPred.java
                • IThreadLocalObjectsAnalysis.java
                • mhp
                  • TargetMethodsFinder.java
                  • LoopBodyFinder.java
                  • StartJoinFinder.java
                  • MhpTransformer.java
                  • StartJoinAnalysis.java
                  • SCC.java
                  • MonitorSet.java
                  • findobject
                    • AllocNodesFinder.java
                    • MultiRunStatementsFinder.java
                    • MultiCalledMethods.java
                  • MethodInliner.java
                  • PegCallGraphToDot.java
                  • CheckMSet.java
                  • LoopFinder.java
                  • PegChain.java
                  • pegcallgraph
                    • PegCallGraph.java
                    • CheckRecursiveCalls.java
                  • DominatorsFinder.java
                  • PegGraph.java
                  • CompactSequentNodes.java
                  • RunMethodsPred.java
                  • MhpTester.java
                  • DfsForBackEdge.java
                  • PegToDotFile.java
                  • MonitorDepth.java
                  • TopologicalSorter.java
                  • CompactStronglyConnectedComponents.java
                  • MhpAnalysis.java
                  • stmt
                    • MonitorEntryStmt.java
                    • MonitorExitStmt.java
                    • WaitingStmt.java
                    • WaitStmt.java
                    • OtherStmt.java
                    • BeginStmt.java
                    • NotifyStmt.java
                    • JPegStmt.java
                    • NotifyAllStmt.java
                    • StartStmt.java
                    • JoinStmt.java
                    • NotifiedEntryStmt.java
                  • UnsynchronizedMhpAnalysis.java
                  • SynchObliviousMhpAnalysis.java
                  • Counter.java
                  • MethodExtentBuilder.java
                  • MonitorAnalysis.java
                • ThreadLocalObjectsAnalysis.java
              • infoflow
                • CallLocalityContext.java
                • InfoFlowAnalysis.java
                • ClassInfoFlowAnalysis.java
                • SimpleMethodInfoFlowAnalysis.java
                • AbstractDataSource.java
                • SmartMethodLocalObjectsAnalysis.java
                • SmartMethodInfoFlowAnalysis.java
                • CallChain.java
                • UseFinder.java
                • LocalObjectsAnalysis.java
                • ClassLocalObjectsAnalysis.java
                • CachedEquivalentValue.java
                • SimpleMethodLocalObjectsAnalysis.java
                • FakeJimpleLocal.java
              • invoke
                • StaticMethodBinder.java
                • SynchronizerManager.java
                • StaticInliner.java
                • AccessManager.java
                • SiteInliner.java
                • ThrowManager.java
                • InlinerSafetyManager.java
                • package.html
              • annotation
                • tags
                  • NullCheckTag.java
                  • ArrayNullCheckTag.java
                  • ArrayNullTagAggregator.java
                  • OneByteCodeTag.java
                  • package.html
                  • ArrayCheckTag.java
                • parity
                  • ParityTagger.java
                  • ParityAnalysis.java
                • arraycheck
                  • MethodLocal.java
                  • Array2ndDimensionSymbol.java
                  • MethodReturn.java
                  • IntContainer.java
                  • ArrayIndexLivenessAnalysis.java
                  • ArrayReferenceNode.java
                  • WeightedDirectedSparseGraph.java
                  • RectangularArrayFinder.java
                  • MethodParameter.java
                  • ArrayBoundsCheckerAnalysis.java
                  • IntValueContainer.java
                  • ArrayBoundsChecker.java
                  • ClassFieldAnalysis.java
                  • FlowGraphEdge.java
                  • BoundedPriorityList.java
                  • ExtendedHashMutableDirectedGraph.java
                  • WeightedDirectedEdge.java
                  • package.html
                  • BoolValue.java
                • logic
                  • Loop.java
                  • LoopFinder.java
                  • LoopInvariantFinder.java
                • profiling
                  • ProfilingGenerator.java
                • callgraph
                  • CallGraphTagger.java
                  • CallGraphGrapher.java
                  • CallGraphInfo.java
                  • MethInfo.java
                  • CallData.java
                • purity
                  • PurityParamNode.java
                  • PurityInterproceduralAnalysis.java
                  • DirectedCallGraph.java
                  • PurityGraphBox.java
                  • PurityThisNode.java
                  • PurityGlobalNode.java
                  • PurityEdge.java
                  • SootMethodFilter.java
                  • PurityMethodNode.java
                  • PurityIntraproceduralAnalysis.java
                  • PurityAnalysis.java
                  • AbstractInterproceduralAnalysis.java
                  • PurityStmtNode.java
                  • PurityNode.java
                  • PurityGraph.java
                • nullcheck
                  • NullnessAssumptionAnalysis.java
                  • NullCheckEliminator.java
                  • NullPointerChecker.java
                  • NullPointerColorer.java
                  • NullnessAnalysis.java
                  • LocalRefVarsAnalysisWrapper.java
                  • RefIntPair.java
                  • package.html
                  • BranchedRefVarsAnalysis.java
                • fields
                  • UnreachableFieldsTagger.java
                • LineNumberAdder.java
                • qualifiers
                  • TightestQualifiersTagger.java
                • AvailExprTagger.java
                • methods
                  • UnreachableMethodsTagger.java
                • j5anno
                  • AnnotationGenerator.java
                • DominatorsTagger.java
                • defs
                  • ReachingDefsTagger.java
                • liveness
                  • LiveVarsTagger.java
                • package.html
            • ReturnStmt.java
            • ShrExpr.java
            • AbstractRefSwitch.java
            • IdentityRef.java
            • NullConstant.java
            • Stmt.java
            • AndExpr.java
            • InterfaceInvokeExpr.java
            • CaughtExceptionRef.java
            • validation
              • TypesValidator.java
              • InvokeArgumentValidator.java
              • ReturnStatementsValidator.java
              • FieldRefValidator.java
              • InvokeValidator.java
              • IdentityStatementsValidator.java
            • NaiveSideEffectTester.java
            • StmtBody.java
            • NeExpr.java
            • TableSwitchStmt.java
            • StringConstant.java
            • JimpleValueSwitch.java
            • StmtSwitch.java
            • ConditionExpr.java
            • InstanceOfExpr.java
            • LocalStmtPair.java
            • ConcreteRef.java
            • RetStmt.java
            • ConvertToBaf.java
            • PointerStmtSwitch.java
            • XorExpr.java
            • ThisRef.java
            • UshrExpr.java
            • InstanceFieldRef.java
            • RefSwitch.java
            • AddExpr.java
            • DivExpr.java
            • FieldRef.java
            • LengthExpr.java
            • package.html
            • RemExpr.java
            • NewArrayExpr.java
            • parser
              • BodyExtractorWalker.java
              • Walker.java
              • SkeletonExtractorWalker.java
              • JimpleAST.java
              • Parse.java
              • CstPoolExtractor.java
              • package.html
            • JimpleBody.java
            • UnopExpr.java
            • RealConstant.java
            • StaticInvokeExpr.java
            • paddle
              • PaddleField.java
              • PaddleHook.java
              • IPaddleTransformer.java
            • EqExpr.java
          • EntryPoints.java
          • DexClassProvider.java
          • shimple
            • PhiExpr.java
            • ShimpleMethodSource.java
            • README
            • AbstractShimpleValueSwitch.java
            • Shimple.java
            • DefaultShimpleFactory.java
            • AbstractShimpleExprSwitch.java
            • internal
              • SHashMultiMap.java
              • ShimpleBodyBuilder.java
              • PiNodeManager.java
              • SUnitBox.java
              • SPhiExpr.java
              • PhiNodeManager.java
              • SValueUnitPair.java
              • package.html
              • SPatchingChain.java
              • SPiExpr.java
            • toolkits
              • graph
                • SimpleGlobalValueNumberer.java
                • ValueGraph.java
                • GlobalValueNumberer.java
              • scalar
                • ShimpleLocalUses.java
                • SEvaluator.java
                • SConstantPropagatorAndFolder.java
                • ShimpleLocalDefs.java
                • package.html
            • ShimpleExpr.java
            • ShimpleTransformer.java
            • ShimpleExprSwitch.java
            • PiExpr.java
            • ShimpleValueSwitch.java
            • ShimpleBody.java
            • package.html
            • ShimpleFactory.java
          • Value.java
          • PrimType.java
          • UnknownType.java
          • CharType.java
          • BodyPack.java
          • tools
            • CFGViewer.java
            • BadFields.java
            • package.html
          • Timers.java
          • ShortType.java
          • CoffiClassSource.java
          • AnySubType.java
          • LabeledUnitPrinter.java
          • Pack.java
          • SootFieldRef.java
          • ResolutionFailedException.java
          • JavaClassProvider.java
          • ScenePack.java
          • SootMethod.java
          • AbstractUnit.java
          • StmtAddressType.java
          • tagkit
            • SignatureTag.java
            • JimpleLineNumberTag.java
            • DeprecatedTag.java
            • QualifyingTag.java
            • SyntheticParamTag.java
            • AnnotationLongElem.java
            • AnnotationConstants.java
            • StringTag.java
            • Base64.java
            • SyntheticTag.java
            • SourceLineNumberTag.java
            • AttributeValueException.java
            • SourceFileTag.java
            • ImportantTagAggregator.java
            • CodeAttribute.java
            • InnerClassAttribute.java
            • AnnotationDoubleElem.java
            • OuterClassTag.java
            • AbstractAnnotationElemTypeSwitch.java
            • VisibilityAnnotationTag.java
            • DoubleConstantValueTag.java
            • LinkTag.java
            • AnnotationIntElem.java
            • TryCatchTag.java
            • AnnotationElem.java
            • AbstractHost.java
            • AnnotationBooleanElem.java
            • AnnotationArrayElem.java
            • Attribute.java
            • AnnotationClassElem.java
            • LoopInvariantTag.java
            • AnnotationEnumElem.java
            • VisibilityParameterAnnotationTag.java
            • IntegerConstantValueTag.java
            • AnnotationTag.java
            • KeyTag.java
            • PositionTag.java
            • InnerClassTagAggregator.java
            • SourceLnPosTag.java
            • JasminAttribute.java
            • LineNumberTagAggregator.java
            • BytecodeOffsetTag.java
            • TagPrinter.java
            • StdTagPrinter.java
            • IAnnotationElemTypeSwitch.java
            • Tag.java
            • AnnotationStringElem.java
            • SourcePositionTag.java
            • EnclosingTag.java
            • AnnotationFloatElem.java
            • EnclosingMethodTag.java
            • ColorTag.java
            • StringConstantValueTag.java
            • Host.java
            • LineNumberTag.java
            • ParamNamesTag.java
            • TagAggregator.java
            • SourceLnNamePosTag.java
            • LongConstantValueTag.java
            • DebugTypeTag.java
            • TagManager.java
            • FirstTagAggregator.java
            • InnerClassTag.java
            • AnnotationDefaultTag.java
            • GenericAttribute.java
            • package.html
            • FloatConstantValueTag.java
            • ConstantValueTag.java
            • ThrowCreatedByCompilerTag.java
            • AnnotationAnnotationElem.java
          • Transformer.java
          • javaToJimple
            • PrivateAccessChecker.java
            • InnerClassInfo.java
            • StrictFPPropagator.java
            • IInitialResolver.java
            • ReturnStmtChecker.java
            • JimpleBodyBuilderFactory.java
            • PrivateFieldAccMethodSource.java
            • CommaJBB.java
            • PolyglotMethodSource.java
            • AccessFieldJBB.java
            • PrivateInstancesAvailable.java
            • LocalClassDeclFinder.java
            • SaveASTVisitor.java
            • JavaToJimple.java
            • AssertStmtChecker.java
            • PrivateAccessUses.java
            • MethodFinalsChecker.java
            • LocalUsesChecker.java
            • InnerClassInfoFinder.java
            • ClassResolver.java
            • PrivateMethodAccMethodSource.java
            • AnonClassInitMethodSource.java
            • AssertClassMethodSource.java
            • InitialResolver.java
            • AnonInitBodyBuilder.java
            • ClassLiteralMethodSource.java
            • NestedClassListBuilder.java
            • AbstractJBBFactory.java
            • PrivateFieldSetMethodSource.java
            • AbstractJimpleBodyBuilder.java
            • TypeListBuilder.java
            • jj
              • ast
                • JjReturn_c.java
                • JjCast_c.java
                • JjFieldAssign_c.java
                • JjUnary_c.java
                • JjLocalAssign_c.java
                • JjNodeFactory_c.java
                • JjLocalDecl_c.java
                • JjNodeFactory.java
                • JjAccessField_c.java
                • JjComma_c.java
                • JjFieldDecl_c.java
                • JjBinary_c.java
                • package.html
                • JjArrayInit_c.java
                • JjArrayAccessAssign_c.java
              • Topics.java
              • parse
                • package.html
              • extension
                • package.html
              • ExtensionInfo.java
              • types
                • JjTypeSystem.java
                • JjTypeSystem_c.java
                • package.html
              • Version.java
              • visit
                • package.html
              • tests
                • test
                • Hello.jl
                • Hello.jj
              • package.html
            • toolkits
              • CondTransformer.java
            • Util.java
            • AnonConstructorFinder.java
            • LocalGenerator.java
            • ClassLiteralChecker.java
            • BiMap.java
            • AnonLocalClassInfo.java
            • CastInsertionVisitor.java
            • ClassDeclFinder.java
          • Unit.java
          • NullType.java
          • XMLAttributesPrinter.java
          • AttributesUnitPrinter.java
          • ITypeSwitch.java
          • package.html
          • baf
            • StoreInst.java
            • JSRInst.java
            • DivInst.java
            • LookupSwitchInst.java
            • AddInst.java
            • EnterMonitorInst.java
            • ShrInst.java
            • PrimitiveCastInst.java
            • TargetArgInst.java
            • IfLtInst.java
            • OrInst.java
            • ArrayWriteInst.java
            • SpecialInvokeInst.java
            • Dup2Inst.java
            • IfNullInst.java
            • SubInst.java
            • CmpInst.java
            • IfNeInst.java
            • JasminClass.java
            • CmplInst.java
            • BafBody.java
            • ThrowInst.java
            • DupInst.java
            • NewMultiArrayInst.java
            • Dup2_x2Inst.java
            • InstSwitch.java
            • IfLeInst.java
            • BafASMBackend.java
            • RetInst.java
            • ReturnInst.java
            • IfCmpEqInst.java
            • IfCmpNeInst.java
            • NewArrayInst.java
            • MulInst.java
            • Dup1_x2Inst.java
            • LoadInst.java
            • ArrayLengthInst.java
            • AndInst.java
            • FieldGetInst.java
            • NegInst.java
            • SwapInst.java
            • IfCmpGtInst.java
            • ExitMonitorInst.java
            • DoubleWordType.java
            • Dup2_x1Inst.java
            • Baf.java
            • StaticInvokeInst.java
            • TableSwitchInst.java
            • internal
              • BStaticGetInst.java
              • BDup2Inst.java
              • BIfCmpGtInst.java
              • BIfCmpLtInst.java
              • BSubInst.java
              • BArrayWriteInst.java
              • BOrInst.java
              • BAndInst.java
              • BafLocal.java
              • BXorInst.java
              • BNegInst.java
              • BStaticInvokeInst.java
              • BIfNeInst.java
              • BIncInst.java
              • BExitMonitorInst.java
              • BafLocalBox.java
              • BNewMultiArrayInst.java
              • AbstractOpTypeInst.java
              • BDup1Inst.java
              • BIfGeInst.java
              • BLookupSwitchInst.java
              • BEnterMonitorInst.java
              • AbstractRefTypeInst.java
              • BCmplInst.java
              • BCmpgInst.java
              • BDupInst.java
              • BTableSwitchInst.java
              • BIfCmpEqInst.java
              • BArrayReadInst.java
              • BFieldGetInst.java
              • BInstanceCastInst.java
              • BSpecialInvokeInst.java
              • BSwapInst.java
              • BDup2_x1Inst.java
              • BReturnVoidInst.java
              • BIfNonNullInst.java
              • AbstractBranchInst.java
              • BIfLeInst.java
              • BNewInst.java
              • BShlInst.java
              • BFieldPutInst.java
              • BCmpInst.java
              • BGotoInst.java
              • BMulInst.java
              • BNopInst.java
              • BIfEqInst.java
              • BLoadInst.java
              • BIfLtInst.java
              • BDynamicInvokeInst.java
              • BIdentityInst.java
              • BNewArrayInst.java
              • BIfGtInst.java
              • BPushInst.java
              • BArrayLengthInst.java
              • BThrowInst.java
              • BIfCmpGeInst.java
              • BInterfaceInvokeInst.java
              • BIfNullInst.java
              • AbstractOpTypeBranchInst.java
              • BRemInst.java
              • BDivInst.java
              • BDup1_x2Inst.java
              • BUshrInst.java
              • BStaticPutInst.java
              • BShrInst.java
              • BJSRInst.java
              • BVirtualInvokeInst.java
              • BPopInst.java
              • BIfCmpLeInst.java
              • AbstractInvokeInst.java
              • BPrimitiveCastInst.java
              • BDup2_x2Inst.java
              • package.html
              • BInstanceOfInst.java
              • BIfCmpNeInst.java
              • BStoreInst.java
              • AbstractInst.java
              • BAddInst.java
              • BTrap.java
              • BDup1_x1Inst.java
              • BReturnInst.java
            • toolkits
              • base
                • Peephole.java
                • LoadStoreOptimizer.java
                • peephole.dat
                • package.html
                • ExamplePeephole.java
                • PeepholeOptimizer.java
            • IfGeInst.java
            • NewInst.java
            • FieldArgInst.java
            • WordType.java
            • StaticGetInst.java
            • XorInst.java
            • IfCmpLeInst.java
            • Dup1_x1Inst.java
            • IfNonNullInst.java
            • ArrayReadInst.java
            • NopInst.java
            • IncInst.java
            • OpTypeArgInst.java
            • IfCmpGeInst.java
            • GotoInst.java
            • Dup1Inst.java
            • InstBox.java
            • PlaceholderInst.java
            • ShlInst.java
            • IfGtInst.java
            • VirtualInvokeInst.java
            • Inst.java
            • InterfaceInvokeInst.java
            • DynamicInvokeInst.java
            • MethodArgInst.java
            • StaticPutInst.java
            • IfEqInst.java
            • RemInst.java
            • FieldPutInst.java
            • package.html
            • PopInst.java
            • CmpgInst.java
            • InstanceOfInst.java
            • UshrInst.java
            • ReturnVoidInst.java
            • NoArgInst.java
            • InstanceCastInst.java
            • PushInst.java
            • IfCmpLtInst.java
            • IdentityInst.java
          • Transform.java
          • Modifier.java
          • jbco
            • jimpleTransformations
              • CollectConstants.java
              • New2InitFlowAnalysis.java
              • AddSwitches.java
              • CollectJimpleLocals.java
              • BuildIntermediateAppClasses.java
              • FieldRenamer.java
              • LibraryMethodWrappersBuilder.java
              • package-info.java
              • ArithmeticTransformer.java
              • GotoInstrumenter.java
              • MethodRenamer.java
              • ClassRenamer.java
            • util
              • StringTrie.java
              • ThrowSet.java
              • Rand.java
              • SimpleExceptionalGraph.java
              • package-info.java
              • BodyBuilder.java
              • Debugger.java
            • gui
              • PopupDialog.java
              • package-info.java
              • jbco.jpg
              • RunnerThread.java
              • JBCOViewer.java
            • Main.java
            • package-info.java
            • bafTransformations
              • BAFCounter.java
              • StackTypeHeightCalculator.java
              • FindDuplicateSequences.java
              • Jimple2BafLocalBuilder.java
              • BafLineNumberer.java
              • LocalsToBitField.java
              • IfNullToTryCatch.java
              • UpdateConstantsToFields.java
              • WrapSwitchesInTrys.java
              • AddJSRs.java
              • FixUndefinedLocals.java
              • package-info.java
              • BAFPrintout.java
              • RemoveRedundantPushStores.java
              • IndirectIfJumpsToCaughtGotos.java
              • ConstructorConfuser.java
              • TryCatchCombiner.java
              • MoveLoadsAboveIfs.java
              • Counter.java
            • IJbcoTransform.java
            • LineNumberGenerator.java
          • MethodContext.java
          • AbstractASMBackend.java
        • singletons.xml
        • jimple.scc
        • make-singletons.xsl
        • baf.scc
      • build.xml
      • TODO
      • libs
        • util-2.0.7-dev.jar
        • java_cup.jar
        • AXMLPrinter2.jar
      • soot_download.html
      • classes
        • soot
          • options
            • make-soot-options.xsl
            • ant-task.xsl
            • options_dialog_handler.xsl
            • soot_options.xsl
            • options_dialog.xsl
            • soot_options.css
            • soot-options.txt
            • xalan-to-xsltproc.xsl
            • phase_options_dialog.xsl
          • grimp
            • internal
              • package.html
            • toolkits
              • base
                • package.html
            • package.html
          • util
            • dot
              • package.html
            • package.html
            • queue
              • BDDChunk.jedd
              • BDDReader.jedd
              • BDDQueue.jedd
              • package.html
          • toolkits
            • graph
              • package.html
            • astmetrics
              • DataHandlingApplication
                • HowTo
            • scalar
              • package.html
          • coffi
            • package.html
          • jimple
            • internal
              • package.html
            • toolkits
              • graph
                • package.html
              • pointer
                • nativemethods
                  • NOTES.ps
                  • NOTES
              • base
                • package.html
              • typing
                • package.html
              • scalar
                • pre
                  • package.html
                • package.html
              • invoke
                • package.html
              • annotation
                • tags
                  • package.html
                • arraycheck
                  • package.html
                • nullcheck
                  • package.html
                • package.html
            • package.html
            • parser
              • lexer
                • lexer.dat
              • package.html
              • parser
                • parser.dat
          • shimple
            • README
            • internal
              • package.html
            • toolkits
              • scalar
                • package.html
            • package.html
          • tools
            • package.html
          • tagkit
            • package.html
          • javaToJimple
            • jj
              • ast
                • package.html
              • parse
                • package.html
              • extension
                • package.html
              • types
                • package.html
              • visit
                • package.html
              • tests
                • test
                • Hello.jl
                • Hello.jj
              • package.html
          • package.html
          • baf
            • internal
              • package.html
            • toolkits
              • base
                • peephole.dat
                • package.html
            • package.html
          • jbco
            • gui
              • jbco.jpg
        • singletons.xml
        • README
        • jimple.scc
        • make-singletons.xsl
        • baf.scc
      • nightly
      • ant.settings.jenkins
      • Release_Notice
      • ant.settings
      • CHANGES
      • soot.psf
      • tutorial
        • intro
          • intro.tex
          • Hello.java
        • faq
          • lmodern.sty
          • README
          • html.sty
          • faq.tex
          • makefile
          • faq.html
          • faq.sty
          • faq.dvi
        • profiler
          • Main.java
          • profiler.tex
        • usage
          • usage.xsl
        • profiler2
          • TestInvoke.java
          • MainDriver.java
          • MyCounter.java
          • profiler2.tex
          • InvokeStaticInstrumenter.java
        • pldi03
          • TODO
          • allphases.tex
          • attr-flow.fig
          • dvi2pdf.pl
          • Makefile
          • flow.tex
          • soot-attribute.eps
          • spark.tex
          • intra.tex
          • phase.tex
          • other.tex
          • examples
            • NullTagAggregator.html
            • NullnessAnalysis.html
            • LiveVariablesAnalysis.java
            • NullnessAnalysis.java
            • Main.java
            • NullExample.java
            • NullnessAnalysisColorer.html
            • NullnessAnalysisColorer.java
            • foo.html
            • foo.java
            • LiveVariablesAnalysis.html
            • sootOutput
              • foo.jimple
              • foo.jasmin
              • foo.grimple
            • NullExample.html
            • NullTagAggregator.java
            • NullnessDriver.html
            • Main.html
            • NullnessDriver.java
          • copy-bkwd.fig
          • flowanalysis.notes
          • br-example-specific.fig
          • rd-example.fig
          • attr-flow.eps
          • body-ecosystem.fig
          • tag-hierarchy.fig
          • callgraph.tex
          • vocab.tex
          • attr-map.fig
          • lv-example.fig
          • flow-bkwd.fig
          • bitbucket.tex
          • flow-fwd.fig
          • lv.fig
          • attributes.tex
          • concl.tex
          • qtree.sty
          • interprocphases.tex
          • intro.tex
          • ecosystem.fig
          • attr-map.eps
          • reaching.tex
          • soot-attribute.fig
          • br-example.fig
          • overview1.fig
          • tutorial.tex
          • lv-example-specific.fig
          • tutorial-outline.txt
          • merge-bkwd.fig
          • PPRmcgill.sty
          • merge-fwd.fig
          • copy-fwd.fig
          • flowthrough-bkwd.fig
          • inter.tex
          • tag-hierarchy.eps
          • rd.fig
          • intraprocphases.tex
          • rd-example-specific.fig
          • body-bare.fig
          • eclipse-attributes.tex
          • overview1.eps
        • menagerie
          • menagerie.tex
        • sideeffect
          • sideeffect.tex
        • addattributes
          • addattributes.tex
          • Main.java
        • to_latex.xsl
        • useannotation
          • useannotation.tex
        • devirt
          • devirt.tex
        • html.sty
        • guide
          • bnf.sty
          • Makefile
          • soot.bib
          • cleanexamples.sh
          • figures
          • examples
            • call_graph
              • src
                • dk
                  • brics
                    • soot
                      • callgraphs
                        • CallGraphExample.java
                • testers
                  • CallGraphs.java
            • analysis_framework
              • src
                • dk
                  • brics
                    • soot
                      • RunLiveAnalysis.java
                      • transformations
                        • VeryBusyExpsTagger.java
                      • flowsets
                        • ValueArraySparseSet.java
                      • GenHelloWorld.java
                      • RunVeryBusyAnalysis.java
                      • analyses
                        • FlowAnalysisTemplate.java
                        • SimpleVeryBusyExpressions.java
                        • VeryBusyExpressions.java
                      • annotations
                        • TagBusyExpressions.java
                • testers
                  • VeryBusyClass.java
                  • LiveVarsClass.java
            • representations
              • grimp
                • GrimpExample.java
              • jimple
                • JimpleExample.java
              • shimple
                • ShimpleExample.java
                • sootOutput
                  • ShimpleExample.jimple
                  • ShimpleExample.shimple
            • intermediate_representation
              • src
                • dk
                  • brics
                    • soot
                      • intermediate
                        • main
                          • Main.java
                        • translation
                          • StmtTranslator.java
                          • CVS
                            • Entries
                            • Repository
                            • Root
                          • ExprTranslator.java
                          • JavaTranslator.java
                        • foonalasys
                          • Foonalasys.java
                          • FooCallgraphCreator.java
                        • foo
                          • Foo.java
                          • FooTest.java
                        • representation
                          • CVS
                            • Entries
                            • Repository
                            • Root
                          • Return.java
                          • MethodCall.java
                          • Variable.java
                          • Method.java
                          • Statement.java
                          • FooAssignment.java
                          • FooMethodCall.java
                          • MethodHead.java
                          • FooInit.java
                          • SomeMethodCall.java
                          • ToStringVisitor.java
                          • Nop.java
                          • StatementProcessor.java
            • pointsto
              • src
                • dk
                  • brics
                    • CVS
                      • Entries
                      • Repository
                      • Root
                    • paddle
                      • CVS
                        • Entries
                        • Repository
                        • Root
                      • PointsToAnalysis.java
                  • CVS
                    • Entries
                    • Repository
                    • Root
              • Makefile
              • test
                • Item.java
                • Test2.java
                • Test1.java
                • Container.java
          • soot.tex
          • runexamples.sh
          • tarexamples.sh
          • cmdline.txt
          • paddle_options.txt
        • makefile
        • optimizer
          • optimizer.tex
        • optimizingCourse
          • one_iteration3.eps
          • where_to_opt.fig
          • implicit_loop.fig
          • irreducible.fig
          • basic_blocks.eps
          • java_struc.fig
          • loop.eps
          • loops.fig
          • one_iteration4.fig
          • highlevel.fig
          • not_loops.eps
          • where_to_opt.eps
          • natural_loops.fig
          • examples
            • LoopInvariant.java
            • Liveness.java
            • CommonSubExp.java
            • JimpleExample.java
            • GrimpExample.java
            • DominatorExample.java
            • LiveInteractive.java
            • AvailableExpressions.java
            • ReachingDefs.java
          • frontend_struc.fig
          • step_forward.eps
          • .xvpics
            • step_forward.eps
          • standard.fig
          • standard.eps
          • loops.eps
          • one_iteration1.eps
          • verybusy.eps
          • basic_blocks.fig
          • components.eps
          • dominators_complex.fig
          • lfp.eps
          • one_iteration2.fig
          • worklist.eps
          • dominators_simple.eps
          • dominators_imm.fig
          • backend_struc.fig
          • qtree.sty
          • iterative.eps
          • makefile
          • one_iteration3.fig
          • frontend_struc.eps
          • sa.eps
          • dominators_complex.eps
          • idom.fig
          • loop.fig
          • course.out
          • dominators_simple.fig
          • course.tex
          • irreducible.eps
          • constant_lattice.eps
          • dominators_imm.eps
          • components.fig
          • highlevel.eps
          • one_iteration4.eps
          • PPRmcgill.sty
          • not_loops.fig
          • java_struc.eps
          • idom.eps
          • worklist.fig
          • implicit_loop.eps
          • backend_struc.eps
          • one_iteration2.eps
          • iterative.fig
          • in.eps
          • dom_tree.eps
          • natural_loops.eps
          • one_iteration1.fig
          • dom_tree.fig
        • text.gif
        • generate_tutorial
        • createclass
          • Main.java
          • createclass.tex
        • analysis
          • analysis.tex
        • shimple
          • shimple.tex
        • jimpleParser
          • jimpleParser.tex
        • invokedynamic
          • doc.html
          • invokedynamic.tex
        • index.html
        • phase
          • phase.xsl
        • pdf.gif
        • ps.gif
        • tagclass
          • Main.java
          • tagclass.tex
      • background6.gif
      • README.coding_rules
      • build.gradle
      • soot.iml
      • local-nightly-build
      • systests
        • go
        • java_tests
          • Test31.java
          • AssertErrorMsg.java
          • TryCatch2.java
          • Test25.java
          • Test80.java
          • Test69.java
          • LoopAnalysisTest.java
          • LHSTest.java
          • CharTest.java
          • TryCatch3.java
          • FinallyAndReturnsLJH.java
          • Reverse.java
          • CondOrTest.java
          • FinalFields.java
          • ReturnCond.java
          • TryCatch.java
          • ConsEx.java
          • EqBool.java
          • ImportTests.java
          • ShiftOps.java
          • T14rj2.java
          • Game.java
          • CastTests.java
          • Test79.java
          • UnreachableFields.java
          • Foo.java
          • BranchTests.java
          • InitTest5.java
          • SwitchOrderTest.java
          • ForLoopSimple.java
          • QualifierClass2.java
          • EmptyCase.java
          • Test24.java
          • Hello2.java
          • Test74.java
          • InnerHell.java
          • NewArray2.java
          • StringEqualsTest.java
          • UnaryFieldInc.java
          • ArrayAccess2.java
          • Test7.java
          • Test4.java
          • ExceptionTest.java
          • ArrayTypes.java
          • Test61.java
          • EmptyFor.java
          • Test95.java
          • IfDefTest.java
          • ArrayAssigns.java
          • ConTest.java
          • ConditionTest.java
          • LocalDecl.java
          • NaNTest.java
          • SimpleBinaryTest.java
          • AssignTest.java
          • CondTest2.java
          • LocalTest.java
          • ShortAppend.java
          • LabeledStmtTest.java
          • FieldFloats.java
          • NewStmt.java
          • SwitchStmtsSimple.java
          • ArrayAccess.java
          • ArrayInitTests2.java
          • Test82.java
          • Simple.java
          • Test6.java
          • Test21.java
          • Test2.java
          • DefUse.java
          • T14rj1.java
          • HelperWithParams.java
          • LitTest.java
          • AssertInInner1.java
          • ExprInit.java
          • CastTest2.java
          • Compare.java
          • Faint.java
          • Test83.java
          • LongInit.java
          • SynchTestRet3.java
          • LoopTest3.java
          • Test20.java
          • FieldAssigns2.java
          • SimpleThis.java
          • UnaryTests.java
          • Test48.java
          • Test45.java
          • PrivateGets.java
          • StrictClass.java
          • CircularAdvice2.java
          • SynchTestNested.java
          • AssignStmts2.java
          • IncDecTest.java
          • MyBlock.java
          • BitNotCond.java
          • ArrayFieldsTest.java
          • Test22.java
          • AttrTest.java
          • Test101.java
          • ShiftTypes.java
          • Test33.java
          • Assigns.java
          • ThrowsTest.java
          • StringLitCallTest.java
          • DoubleArray.java
          • Test12.java
          • SemiColonTests.java
          • Test.java
          • MultiLine.java
          • CondAndTest2.java
          • FieldAssigns.java
          • ArraySimple1.java
          • Binary.java
          • InitTest1.java
          • OrderOfTypes.java
          • StringConcatField.java
          • Test3.java
          • Test78.java
          • IfInstanceTest.java
          • Test44.java
          • InitTest4.java
          • NameTest.java
          • Test70.java
          • CondAndTest3.java
          • CompTests.java
          • PrimClassLit2.java
          • NameTests.java
          • InnerTest1.java
          • Test40.java
          • Test60.java
          • MethodIntroductions2.java
          • StringTestsCompl.java
          • DivTests.java
          • Test13.java
          • CharOps.java
          • EnclosingClass.java
          • DoubleToShort.java
          • NewArrayInit.java
          • Test86.java
          • Test5.java
          • SynchMeth.java
          • Test10.java
          • InitTest2.java
          • LongToChar.java
          • InnerStatic.java
          • Test38.java
          • Test26.java
          • SimpleChild.java
          • Test71.java
          • TryCatchFinallyReturns.java
          • OtherClass.java
          • BooleanTests.java
          • LocalAssigns.java
          • ParentInterfaceUsingChildInnerInterfaceLJH.java
          • InnerInConstCallWithQualifier.java
          • Test85.java
          • SynchTestRet2.java
          • EmptyAfterField.java
          • StringConcatInts.java
          • TestScript
          • Test27.java
          • Test9.java
          • LineNumberTest.java
          • Complex.java
          • ThisTest.java
          • EmptyAfterMethod.java
          • WeirdSwitch.java
          • SubClassTest.java
          • FieldInits.java
          • Constants.java
          • ForLoopTest.java
          • FinalStaticTest.java
          • DoWhile.java
          • UnaryByte.java
          • ByteProblem.java
          • SimpleSwitch.java
          • FieldArrayInit.java
          • NullTest.java
          • PrivateAccessFieldSets.java
          • SimpleCharOp.java
          • Test72.java
          • Test59.java
          • ReflectProblem.java
          • StaticFieldInits2.java
          • Helper.java
          • StaticMethodOtherClass.java
          • FieldAssign3.java
          • WeirdPrivateSets.java
          • CaseWithAllNegLabels.java
          • OrTest.java
          • StringBufferTest.java
          • FieldTypes.java
          • NameTests2.java
          • RelationalOps.java
          • AssertTest2.java
          • UnaryTest3.java
          • NotEmpty.java
          • Strictfp.java
          • Casts.java
          • IfTest5.java
          • LoopTest2.java
          • Test28.java
          • ArrayTests.java
          • Example.java
          • AssertTest.java
          • Test92.java
          • Test14.java
          • UnaryInc.java
          • ReverseIfContinue.java
          • JAssert.java
          • UnaryTest.java
          • Test77.java
          • IntAssign.java
          • WhileTestBreak.java
          • CaseCharLit.java
          • DriverLJH.java
          • LineTest.java
          • Test17.java
          • Conditional.java
          • AssignAttrs.java
          • Main.java
          • CaseWithWeirdStuff.java
          • Test56.java
          • ArrayInitNested.java
          • FloatOp.java
          • Test1.java
          • UnaryDec.java
          • LabelDo.java
          • ForLoop.java
          • ArrayNewInit.java
          • PrivateStringField.java
          • EmptyStmtTests.java
          • If.java
          • Test63.java
          • CaseUnorder.java
          • FieldAssign.java
          • FinallysAndReturns.java
          • Test11.java
          • Inter2.java
          • EverythingTest.java
          • Test42.java
          • IteratorTest.java
          • UnaryTest4.java
          • Test54.java
          • FieldGets.java
          • SwitchStmts.java
          • AnonClass.java
          • Test39.java
          • Test18.java
          • T1412r1.java
          • Position.java
          • ParentUsingChildLJH.java
          • Test84.java
          • Test36.java
          • AssignStmts.java
          • SwitchOrderTest2.java
          • Test47.java
          • Test91.java
          • FieldTest2.java
          • Test76.java
          • Test93.java
          • Test58.java
          • JAssert2.java
          • Compare3.java
          • PrimTypesTest.java
          • RetTest.java
          • PrivateAddAssign.java
          • StaticConstantsTest.java
          • SynchTest.java
          • Compare4.java
          • Test50.java
          • ArrayInitTests.java
          • ShortTest.java
          • DoubleAssignTest.java
          • LabelWhile.java
          • Test46.java
          • Test32.java
          • SwitchNoDefault.java
          • MyClass.java
          • SimpleAssert.java
          • Unary.java
          • AssertInInterface.java
          • Recurse1.java
          • FileReaderTest.java
          • FieldStringAssigns2.java
          • ConstTest.java
          • InnerInConstCall.java
          • ArrayInitComp.java
          • SwitchNoBreaks.java
          • MySuper.java
          • TestsClass.java
          • IVoke.java
          • Test51.java
          • FieldTest.java
          • SimpleParity.java
          • CallTests.java
          • Hello.java
          • IfTrueTest.java
          • ArrayLengthTest.java
          • FinalLocalTest.java
          • Graph.java
          • Test222.java
          • Test73.java
          • ArrayCloneTests.java
          • SimpleFields.java
          • PrivateFieldTest.java
          • FloatComp.java
          • Test88.java
          • ExtendProtectedSuper.java
          • ArrayInitComp5.java
          • StringConcatCond.java
          • SuperClassTesting.java
          • InnerAccessLJH.java
          • Compare2.java
          • InnerWhile.java
          • First.java
          • ClassFieldOnPrimitiveTypeLJH.java
          • Test15.java
          • Test30.java
          • LabelFor.java
          • Simple2.java
          • InterfaceTest.java
          • FinalFieldTest.java
          • TestBackdoor.java
          • Test62.java
          • BoolTest.java
          • Hello3.java
          • PrivateFieldArray.java
          • StaticFieldInits.java
          • AddAssignTest.java
          • ReachingDefsTest1.java
          • Test37.java
          • ClassTests.java
          • IntToChar.java
          • CallGraphExample.java
          • Test35.java
          • Recurse2.java
          • IVoke2.java
          • Test90.java
          • IfTest3.java
          • EmptyInnerClass.java
          • JasminTest.java
          • StringTests.java
          • FieldUnary.java
          • SimpleIfTest.java
          • Test49.java
          • UnaryInc2.java
          • DeeplyNestedAnon.java
          • ExThrowTest2.java
          • SwitchLabel.java
          • Test81.java
          • Test34.java
          • Test57.java
          • InnerInConst.java
          • Test16.java
          • SynchTestRet.java
          • ArrayTest.java
          • Test19.java
          • NestedClass.java
          • MultiDimArrayTest.java
          • STest2.java
          • PrimClassLit.java
          • SwitchInWhile.java
          • StringTest1.java
          • CondTest.java
          • FinallyRet.java
          • Test23.java
          • InstanceOf.java
          • IfTest2.java
          • X.java
          • STest5.java
          • WhileTest.java
          • STest1.java
          • CastTest.java
          • InnerClassConstr.java
          • input
          • InstanceOfTest.java
          • NewArray.java
          • InnerClassTest.java
          • Test29.java
          • InitTest3.java
          • TryCatchFinallyReturns2.java
          • CompareEquality.java
          • IfTest.java
          • Test41.java
          • AnonInField.java
          • ArrayInitEmpty.java
          • Test55.java
          • AssignCondition.java
          • FieldStringAssigns.java
          • AssignUsed.java
          • Test75.java
          • Test8.java
          • LoopTest.java
          • StaticBlockTest.java
          • ForLoopTest2.java
          • FieldBaseTest.java
          • ArrayInitComma.java
          • T1414rj1.java
          • LocalClassTest.java
          • PrimTest.java
          • LocalArrayInit.java
          • CondAndTest.java
          • Test43.java
        • tests
          • cat1cat2
            • src
              • Cat1Cat2.jasmin
            • correctOutput.jasmin
              • Cat1Cat2.jasmin
            • correctOutput.b
              • Cat1Cat2.b
            • correctOutput.baf
              • Cat1Cat2.baf
            • correctOutput.grimp
              • Cat1Cat2.grimp
            • correctOutput.jimp
              • Cat1Cat2.jimp
            • correctOutput.jimple
              • Cat1Cat2.jimple
            • runs
              • grimp
              • jasmin
              • jimp
              • jimple
              • b
              • baf
              • grimple
            • correctOutput.grimple
              • Cat1Cat2.grimple
          • typing
            • src
              • test.java
            • runs
              • jasmin
          • devirt
            • src
              • Devirt.java
            • correctOutput.cha
              • Devirt.jimple
            • correctOutput.sparksimpaotcg
              • Devirt.jimple
            • correctOutput.sparkaotcg
              • Devirt.jimple
            • correctOutput.sparksimp
              • Devirt.jimple
            • correctOutput.smb
              • Devirt.jimple
            • correctOutput.sparkofcg
              • Devirt.jimple
            • runs
              • smb
              • sparkofcg
              • sparksimpaotcg
              • sparkaotcg
              • cha
              • sparksimp
          • arrayclone
            • src
              • test.java
            • correctOutput.jimple
              • test.jimple
            • runs
              • jimple
          • hello
            • src
              • Hello.java
            • correctOutput.jasmin
              • Hello.jasmin
            • correctOutput.b
              • Hello.b
            • correctOutput.baf
              • Hello.baf
            • correctOutput.grimp
              • Hello.grimp
            • correctOutput.jimp
              • Hello.jimp
            • correctOutput.jimple
              • Hello.jimple
            • runs
              • grimp
              • jasmin
              • jimp
              • jimple
              • b
              • baf
              • grimple
            • correctOutput.grimple
              • Hello.grimple
      • README.md
      • COPYING-LESSER.txt
      • tests
        • soot
          • util
            • MediumPriorityQueueTest.java
            • backend
              • SootASMClassWriterTest.java
            • BitVector_intersects_Test.java
            • SmallPriorityQueueTest.java
          • asm
            • backend
              • EnumTest.java
              • InstanceOfCastsTest.java
              • ExceptionTest.java
              • TryCatchTest.java
              • AnnotatedClassTest.java
              • CompareInstructionsTest.java
              • InnerClass2Test.java
              • MethodExampleTest.java
              • ReturnsTest.java
              • LogicalOperationsTest.java
              • AnnotatedAnnotatedClassTest.java
              • AnnotatedFieldTest.java
              • ControlStructuresTest.java
              • OuterClassTest.java
              • LineNumbersTest.java
              • AnnotatedParameterTest.java
              • targets
                • TryCatch.java
                • ExceptionMethods.java
                • ArithmeticLib.java
                • AnnotatedParameter.java
                • Modifiers.java
                • LineNumbers.java
                • MyTestAnnotation.java
                • Bean.java
                • Returns.java
                • ControlStructures.java
                • ExtendedArithmeticLib.java
                • AnnotatedMethod.java
                • AnnotatedField.java
                • Dups.java
                • CompareInstructions.java
                • Arrays.java
                • MyAnnotatedAnnotation.java
                • InnerClass.java
                • AnnotatedClass.java
                • CompareArithmeticInstuctions.java
                • Monitor.java
                • nullTypes.java
                • Comparable.java
                • Stores.java
                • InstanceOfCasts.java
                • LogicalOperations.java
                • AnnotatedAnnotatedClass.java
                • CompareArithmeticInstructions2.java
                • ConstantPool.java
                • Measurable.java
                • MyEnum.java
              • MinimalJavaVersionTest.java
              • DupsTest.java
              • StoresTest.java
              • AnnotatedMethodTest.java
              • CompareArithmeticInstructionsTest.java
              • AnnotationTest.java
              • NullTypesTest.java
              • ExtendedArithmeticLibTest.java
              • AnnotatedAnnotationTest.java
              • InterfaceTest.java
              • ASMBackendTestSuite.java
              • ConstantPoolTest.java
              • ArithmeticTest.java
              • AbstractASMBackendTestWithSources.java
              • AbstractASMBackendTest.java
              • CompareArithmeticInstructions2Test.java
              • InnerClassTest.java
              • ModifiersTest.java
              • MonitorTest.java
              • ArraysTest.java
          • toolkits
            • graph
              • GraphComparer.java
              • TestDominance.java
            • purity
              • BinarySearchTree.java
              • PurityTest.java
            • scalar
              • CombinedDUAnalysisTest.java
              • ArraySparseSetTest.java
            • exceptions
              • ThrowableSetTest.java
              • ExceptionTestUtility.java
              • UnitThrowAnalysisTest.java
          • baf
            • ASMBackendMockingTest.java
        • README
      • index.html
      • credits
      • soot_in_eclipse_howto.html
      • doc
        • soot_options.css
        • soot_options.htm
      • ant.settings.template
      • TODO.txt
      • eclipse
        • soot-eclipse-plugin-howto.html
        • different-main.html
        • eclipse-plugin-install.html
        • background6.gif
        • ca.mcgill.sable.soot.help
          • toc_Reference.xml
          • build.properties
          • toc_Concepts.xml
          • plugin.xml
          • doc
            • concepts
              • concept.html
              • actions.html
              • tags.html
              • visualizations.html
              • config_dialog.html
              • file_actions.html
              • concept_index.html
              • hoverHelp.html
              • editors.html
              • dialogs.html
              • concepts.html
              • attributes.html
              • jco_view.html
              • views.html
              • project_actions.html
              • jimple_editor.html
              • soot_output_view.html
              • folder_actions.html
              • options_dialog.html
          • toc.xml
        • ca.mcgill.sable.soot.updatesite
          • background6.gif
          • site.xml
          • index.html
        • ca.mcgill.sable.soot.feature
          • feature.xml
          • build.properties
        • ca.mcgill.sable.lib
          • build.properties
          • .settings
            • org.eclipse.jdt.core.prefs
          • plugin.xml
        • index.html
        • ca.mcgill.sable.soot
          • icons
            • field_default_obj.gif
            • soot2.jpg