├── .devcontainer └── devcontainer.json ├── .github ├── codecov.yml ├── pull_request_template.md └── workflows │ ├── continuous-integration.yml │ └── publish-test-results.yml ├── .gitignore ├── .idea ├── .gitignore ├── .name ├── codeStyles │ ├── Project.xml │ └── codeStyleConfig.xml ├── develocity.xml ├── dictionaries │ ├── liblit.xml │ └── project.xml ├── encodings.xml ├── externalDependencies.xml ├── google-java-format.xml ├── inspectionProfiles │ ├── .gitignore │ └── No_Back_Sliding.xml ├── ktfmt.xml ├── misc.xml ├── runConfigurations │ ├── Build_excluding_slow_tests.xml │ └── Compile_using_ECJ.xml ├── scopes │ ├── Eclipse_Build_Artifacts.xml │ ├── Eclipse_Preferences.xml │ ├── Gradle_Wrapper_Shell_Script.xml │ ├── JavaScript_Prologue.xml │ ├── JavaScript_Test_Subjects.xml │ ├── Java_Sources_as_Test_Subjects.xml │ ├── Sketchy_HTML.xml │ └── Stubborn_Raw_Users_of_Generics.xml └── vcs.xml ├── .markdownlint-cli2.yaml ├── .settings └── org.eclipse.jdt.core.prefs ├── CONTRIBUTING.md ├── LICENSE ├── README-Gradle.md ├── README.md ├── cast ├── .launchConfigurations │ └── com.ibm.wala.cast-JUnit.launch ├── .settings │ ├── org.eclipse.jdt.core.prefs │ ├── org.eclipse.jdt.launching.prefs │ ├── org.eclipse.jdt.ui.prefs │ ├── org.eclipse.pde.prefs │ └── org.eclipse.wst.validation.prefs ├── build.gradle.kts ├── cast │ ├── build.gradle.kts │ └── src │ │ └── main │ │ ├── cpp │ │ ├── CAstWrapper.cpp │ │ ├── Exceptions.cpp │ │ ├── Java_com_ibm_wala_cast_ir_translator_NativeBridge.cpp │ │ └── launch.cpp │ │ └── public │ │ ├── CAstWrapper.h │ │ ├── Exceptions.h │ │ ├── cast_constants.h │ │ ├── cast_control_flow_map.h │ │ ├── cast_operators.h │ │ ├── cast_qualifiers.h │ │ ├── dll_export.h │ │ └── launch.h ├── data │ ├── the-cast-system.eps │ ├── the-cast-system.jpeg │ └── the-cast-system.xcf ├── gradle.properties ├── java │ ├── .launchConfigurations │ │ ├── WALA-CAst-Java-Library-Downloads.launch │ │ └── WALA-CAst-Java-Test-Downloads.launch │ ├── .settings │ │ ├── org.eclipse.jdt.core.prefs │ │ ├── org.eclipse.jdt.launching.prefs │ │ ├── org.eclipse.jdt.ui.prefs │ │ ├── org.eclipse.pde.prefs │ │ └── org.eclipse.wst.validation.prefs │ ├── build.gradle.kts │ ├── ecj │ │ ├── .settings │ │ │ ├── org.eclipse.jdt.core.prefs │ │ │ ├── org.eclipse.jdt.ui.prefs │ │ │ ├── org.eclipse.pde.prefs │ │ │ └── org.eclipse.wst.validation.prefs │ │ ├── build.gradle.kts │ │ ├── gradle.properties │ │ └── src │ │ │ ├── main │ │ │ └── java │ │ │ │ └── com │ │ │ │ └── ibm │ │ │ │ └── wala │ │ │ │ └── cast │ │ │ │ └── java │ │ │ │ ├── client │ │ │ │ └── ECJJavaSourceAnalysisEngine.java │ │ │ │ ├── ecj │ │ │ │ └── util │ │ │ │ │ └── SourceDirCallGraph.java │ │ │ │ └── translator │ │ │ │ └── jdt │ │ │ │ ├── FakeExceptionTypeBinding.java │ │ │ │ ├── JDT2CAstUtils.java │ │ │ │ ├── JDTIdentityMapper.java │ │ │ │ ├── JDTJava2CAstTranslator.java │ │ │ │ ├── JDTTypeDictionary.java │ │ │ │ └── ecj │ │ │ │ ├── ECJClassLoaderFactory.java │ │ │ │ ├── ECJSourceLoaderImpl.java │ │ │ │ └── ECJSourceModuleTranslator.java │ │ │ └── test │ │ │ └── java │ │ │ └── com │ │ │ └── ibm │ │ │ └── wala │ │ │ └── cast │ │ │ └── java │ │ │ └── test │ │ │ ├── ECJIRTests.java │ │ │ ├── ECJIssue666Test.java │ │ │ ├── ECJIssue667Test.java │ │ │ ├── ECJJava15IRTest.java │ │ │ ├── ECJJava17IRTest.java │ │ │ ├── ECJJava8IRTest.java │ │ │ ├── ECJJavaIRTest.java │ │ │ ├── ECJSyncDuplicatorTest.java │ │ │ └── ECJTestComments.java │ ├── gradle.properties │ ├── src │ │ ├── main │ │ │ └── java │ │ │ │ └── com │ │ │ │ └── ibm │ │ │ │ └── wala │ │ │ │ └── cast │ │ │ │ └── java │ │ │ │ ├── analysis │ │ │ │ └── typeInference │ │ │ │ │ └── AstJavaTypeInference.java │ │ │ │ ├── client │ │ │ │ ├── JavaSourceAnalysisEngine.java │ │ │ │ └── impl │ │ │ │ │ ├── ZeroCFABuilderFactory.java │ │ │ │ │ ├── ZeroOneCFABuilderFactory.java │ │ │ │ │ └── ZeroOneContainerCFABuilderFactory.java │ │ │ │ ├── examples │ │ │ │ └── ast │ │ │ │ │ └── SynchronizedBlockDuplicator.java │ │ │ │ ├── ipa │ │ │ │ ├── callgraph │ │ │ │ │ ├── AstJavaCFABuilder.java │ │ │ │ │ ├── AstJavaSSAPropagationCallGraphBuilder.java │ │ │ │ │ ├── AstJavaZeroOneContainerCFABuilder.java │ │ │ │ │ ├── AstJavaZeroXCFABuilder.java │ │ │ │ │ ├── JavaScopeMappingInstanceKeys.java │ │ │ │ │ └── JavaSourceAnalysisScope.java │ │ │ │ ├── modref │ │ │ │ │ └── AstJavaModRef.java │ │ │ │ └── slicer │ │ │ │ │ └── AstJavaSlicer.java │ │ │ │ ├── loader │ │ │ │ ├── JavaSourceLoaderImpl.java │ │ │ │ └── Util.java │ │ │ │ ├── ssa │ │ │ │ ├── AstJavaAbstractInstructionVisitor.java │ │ │ │ ├── AstJavaInstructionFactory.java │ │ │ │ ├── AstJavaInstructionVisitor.java │ │ │ │ ├── AstJavaInvokeInstruction.java │ │ │ │ ├── AstJavaNewEnclosingInstruction.java │ │ │ │ └── EnclosingObjectReference.java │ │ │ │ ├── translator │ │ │ │ ├── Java2IRTranslator.java │ │ │ │ ├── JavaCAst2IRTranslator.java │ │ │ │ ├── JavaProcedureEntity.java │ │ │ │ └── SourceModuleTranslator.java │ │ │ │ └── types │ │ │ │ ├── JavaPrimitiveTypeMap.java │ │ │ │ └── JavaType.java │ │ └── testFixtures │ │ │ └── java │ │ │ └── com │ │ │ └── ibm │ │ │ └── wala │ │ │ └── cast │ │ │ └── java │ │ │ └── test │ │ │ ├── IRTests.java │ │ │ ├── Issue666Test.java │ │ │ ├── Issue667Test.java │ │ │ ├── JLexTest.java │ │ │ ├── JavaIRTests.java │ │ │ └── SyncDuplicatorTests.java │ └── test │ │ └── data │ │ ├── .externalToolBuilders │ │ └── java.test.data JLex download.launch │ │ ├── .settings │ │ ├── org.eclipse.jdt.core.prefs │ │ ├── org.eclipse.jdt.ui.prefs │ │ ├── org.eclipse.pde.prefs │ │ └── org.eclipse.wst.validation.prefs │ │ ├── Java60RegressionExclusions.txt │ │ ├── build.gradle.kts │ │ ├── build.properties │ │ └── src │ │ └── testSubjects │ │ └── java │ │ ├── AnonymousClass.java │ │ ├── Array1.java │ │ ├── ArrayLiteral1.java │ │ ├── ArrayLiteral2.java │ │ ├── Breaks.java │ │ ├── CastFromNull.java │ │ ├── Casts.java │ │ ├── DefaultConstructors.java │ │ ├── DominanceFrontierCase.java │ │ ├── Exception1.java │ │ ├── Exception2.java │ │ ├── Exclusions.java │ │ ├── Finally1.java │ │ ├── Finally2.java │ │ ├── FunkySupers.java │ │ ├── Inheritance1.java │ │ ├── InheritedField.java │ │ ├── InnerClass.java │ │ ├── InnerClassA.java │ │ ├── InnerClassLexicalReads.java │ │ ├── InnerClassSuper.java │ │ ├── InterfaceTest1.java │ │ ├── LexicalAccessOfMethodVariablesFromAnonymousClass.java │ │ ├── LocalClass.java │ │ ├── MiniaturList.java │ │ ├── MiniaturSliceBug.java │ │ ├── Monitor.java │ │ ├── Monitor2.java │ │ ├── NullArrayInit.java │ │ ├── PeekErrorCase.java │ │ ├── QualifiedStatic.java │ │ ├── Scoping1.java │ │ ├── Scoping2.java │ │ ├── Simple1.java │ │ ├── SimpleCalls.java │ │ ├── StaticInitializers.java │ │ ├── StaticNesting.java │ │ ├── Switch1.java │ │ ├── Thread1.java │ │ ├── TwoClasses.java │ │ ├── WelcomeInitializers.java │ │ ├── WhileTest1.java │ │ ├── alreadywalaunittests │ │ ├── InnerClassAA.java │ │ └── InnerClassSuperA.java │ │ ├── bugfixes │ │ ├── DoWhileInCase.java │ │ └── VarDeclInSwitch.java │ │ ├── foo │ │ ├── QualifiedNames.java │ │ ├── SimpleNames.java │ │ └── bar │ │ │ └── hello │ │ │ └── world │ │ │ ├── ArraysAndSuch.java │ │ │ ├── ConstructorsAndInitializers.java │ │ │ ├── CopyOfLoopsAndLabels.java │ │ │ ├── DefaultCtorInitializerTest.java │ │ │ ├── InnerClasses.java │ │ │ ├── LoopsAndLabels.java │ │ │ ├── MethodMadness.java │ │ │ ├── MiniaturList2.java │ │ │ ├── Misc.java │ │ │ └── SwitchCase.java │ │ ├── javaeight │ │ ├── CondExprLambda.java │ │ ├── EmptyLambda.java │ │ ├── LexicalLambda.java │ │ ├── LexicalLocalLambda.java │ │ ├── ObjectLambda.java │ │ ├── ParamsAndCapture.java │ │ ├── TwoLambdas.java │ │ └── VoidLambda.java │ │ ├── javaonepointfive │ │ ├── Annotations.java │ │ ├── AnonGeneNullarySimple.java │ │ ├── AnonymousGenerics.java │ │ ├── BasicsGenerics.java │ │ ├── Cocovariant.java │ │ ├── CustomGenericsAndFields.java │ │ ├── EnumSwitch.java │ │ ├── ExplicitBoxingTest.java │ │ ├── GenericArrays.java │ │ ├── GenericMemberClasses.java │ │ ├── GenericSuperSink.java │ │ ├── MethodGenerics.java │ │ ├── MoreOverriddenGenerics.java │ │ ├── NotSoSimpleEnums.java │ │ ├── OverridesOnePointFour.java │ │ ├── SimpleEnums.java │ │ ├── SimpleEnums2.java │ │ ├── TypeInferencePrimAndStringOp.java │ │ ├── Varargs.java │ │ ├── VarargsCovariant.java │ │ ├── VarargsOverriding.java │ │ └── Wildcards.java │ │ ├── javaonepointseven │ │ ├── BinaryLiterals.java │ │ ├── CatchMultipleExceptionTypes.java │ │ ├── StringsInSwitch.java │ │ ├── TryWithResourcesStatement.java │ │ ├── TypeInferenceForGenericInstanceCreation.java │ │ └── UnderscoresInNumericLiterals.java │ │ └── p │ │ └── NonPrimaryTopLevel.java ├── js │ ├── .launchConfigurations │ │ ├── WALA-CAst-JS-Library-Downloads.launch │ │ ├── WALA-CAst-JS-Test-Downloads.launch │ │ └── com.ibm.wala.cast.js.test-JUnit.launch │ ├── .settings │ │ ├── org.eclipse.jdt.core.prefs │ │ ├── org.eclipse.jdt.ui.prefs │ │ ├── org.eclipse.pde.prefs │ │ └── org.eclipse.wst.validation.prefs │ ├── build.gradle.kts │ ├── gradle.properties │ ├── html │ │ └── nu_validator │ │ │ ├── .settings │ │ │ ├── org.eclipse.jdt.core.prefs │ │ │ ├── org.eclipse.jdt.ui.prefs │ │ │ ├── org.eclipse.pde.prefs │ │ │ └── org.eclipse.wst.validation.prefs │ │ │ ├── build.gradle.kts │ │ │ └── src │ │ │ ├── main │ │ │ └── java │ │ │ │ └── com │ │ │ │ └── ibm │ │ │ │ └── wala │ │ │ │ └── cast │ │ │ │ └── js │ │ │ │ └── html │ │ │ │ └── nu_validator │ │ │ │ └── NuValidatorHtmlParser.java │ │ │ └── test │ │ │ └── java │ │ │ └── com │ │ │ └── ibm │ │ │ └── wala │ │ │ └── cast │ │ │ └── js │ │ │ └── test │ │ │ └── TestSimplePageCallGraphShapeRhinoNu.java │ ├── nodejs │ │ ├── .settings │ │ │ ├── org.eclipse.jdt.core.prefs │ │ │ ├── org.eclipse.jdt.ui.prefs │ │ │ └── org.eclipse.pde.prefs │ │ ├── build.gradle.kts │ │ └── src │ │ │ ├── main │ │ │ ├── java │ │ │ │ └── com │ │ │ │ │ └── ibm │ │ │ │ │ └── wala │ │ │ │ │ └── cast │ │ │ │ │ └── js │ │ │ │ │ └── nodejs │ │ │ │ │ ├── NodejsCallGraphBuilderUtil.java │ │ │ │ │ ├── NodejsRequireTargetSelector.java │ │ │ │ │ ├── NodejsRequiredCoreModule.java │ │ │ │ │ └── NodejsRequiredSourceModule.java │ │ │ └── resources │ │ │ │ ├── extended-prologue.js │ │ │ │ ├── json-wrapper.js │ │ │ │ └── module-wrapper.js │ │ │ └── test │ │ │ ├── java │ │ │ └── com │ │ │ │ └── ibm │ │ │ │ └── wala │ │ │ │ └── cast │ │ │ │ └── js │ │ │ │ └── nodejs │ │ │ │ └── test │ │ │ │ ├── NodejsRequireJsonTest.java │ │ │ │ └── NodejsRequireTargetSelectorResolveTest.java │ │ │ └── resources │ │ │ ├── NodejsRequireJsonTest │ │ │ ├── empty.json │ │ │ ├── index.js │ │ │ ├── nested.json │ │ │ └── package.json │ │ │ └── NodejsRequireTargetSelectorResolve │ │ │ ├── requireCoreModules.js │ │ │ ├── requireDynamic │ │ │ ├── index.js │ │ │ ├── lib1.js │ │ │ └── lib2.js │ │ │ ├── requireNodeModules │ │ │ ├── index.js │ │ │ └── node_modules │ │ │ │ ├── lib │ │ │ │ ├── helper.js │ │ │ │ ├── index.js │ │ │ │ └── node_modules │ │ │ │ │ └── sublib │ │ │ │ │ ├── package.json │ │ │ │ │ └── sublib.js │ │ │ │ └── lib2 │ │ │ │ └── index.js │ │ │ ├── requireSimple │ │ │ ├── index.js │ │ │ └── mod.js │ │ │ └── requireStaticCircular │ │ │ ├── index.js │ │ │ ├── lib1.js │ │ │ └── lib2.js │ ├── rhino │ │ ├── .settings │ │ │ ├── org.eclipse.jdt.core.prefs │ │ │ ├── org.eclipse.jdt.ui.prefs │ │ │ ├── org.eclipse.pde.prefs │ │ │ └── org.eclipse.wst.validation.prefs │ │ ├── build.gradle.kts │ │ ├── gradle.properties │ │ ├── launchers │ │ │ ├── JsViewerDriver.launch │ │ │ ├── TestForInLoopHackRhino.launch │ │ │ ├── TestMozillaBugPagesRhino.launch │ │ │ └── com.ibm.wala.cast.js.rhino.test-JUnit.launch │ │ └── src │ │ │ ├── main │ │ │ └── java │ │ │ │ └── com │ │ │ │ └── ibm │ │ │ │ └── wala │ │ │ │ └── cast │ │ │ │ └── js │ │ │ │ ├── examples │ │ │ │ ├── drivers │ │ │ │ │ └── RunBuilder.java │ │ │ │ └── hybrid │ │ │ │ │ ├── Driver.java │ │ │ │ │ ├── HybridAnalysisScope.java │ │ │ │ │ ├── HybridClassLoaderFactory.java │ │ │ │ │ └── JavaJavaScriptHybridCallGraphBuilder.java │ │ │ │ └── translator │ │ │ │ ├── CAstRhinoLoopUnwindingTranslatorFactory.java │ │ │ │ ├── CAstRhinoTranslator.java │ │ │ │ ├── CAstRhinoTranslatorFactory.java │ │ │ │ ├── RhinoToAstTranslator.java │ │ │ │ └── TypedNodeVisitor.java │ │ │ ├── test │ │ │ └── java │ │ │ │ └── com │ │ │ │ └── ibm │ │ │ │ └── wala │ │ │ │ └── cast │ │ │ │ └── js │ │ │ │ ├── rhino │ │ │ │ ├── callgraph │ │ │ │ │ └── fieldbased │ │ │ │ │ │ └── test │ │ │ │ │ │ ├── AbstractFieldBasedTest.java │ │ │ │ │ │ ├── FieldBasedCGGamesTest.java │ │ │ │ │ │ ├── FieldBasedComparisonTest.java │ │ │ │ │ │ ├── FieldBasedJQueryTest.java │ │ │ │ │ │ ├── TestBoundedFieldBasedCG.java │ │ │ │ │ │ ├── TestFieldBasedCG.java │ │ │ │ │ │ └── TestPointerAnalysisRhino.java │ │ │ │ └── test │ │ │ │ │ ├── HTMLCGBuilder.java │ │ │ │ │ └── PrintIRs.java │ │ │ │ ├── test │ │ │ │ ├── TestAjaxsltCallGraphShapeRhino.java │ │ │ │ ├── TestArgumentSensitivityRhino.java │ │ │ │ ├── TestCPA.java │ │ │ │ ├── TestCallGraph2JSON.java │ │ │ │ ├── TestCorrelatedPairExtractionRhino.java │ │ │ │ ├── TestFlowGraphJSON.java │ │ │ │ ├── TestForInBodyExtractionRhino.java │ │ │ │ ├── TestForInLoopHackRhino.java │ │ │ │ ├── TestJQueryExamplesRhino.java │ │ │ │ ├── TestJavaScriptSlicerRhino.java │ │ │ │ ├── TestLexicalModRefRhino.java │ │ │ │ ├── TestMediawikiCallGraphShapeRhino.java │ │ │ │ ├── TestPrototypeCallGraphShapeRhino.java │ │ │ │ ├── TestRhinoSourceMap.java │ │ │ │ ├── TestSimpleCallGraphShapeRhino.java │ │ │ │ └── TestSimplePageCallGraphShapeRhinoJericho.java │ │ │ │ └── vis │ │ │ │ └── JsViewerDriver.java │ │ │ └── testFixtures │ │ │ └── java │ │ │ └── com │ │ │ └── ibm │ │ │ └── wala │ │ │ └── cast │ │ │ └── js │ │ │ └── test │ │ │ └── TestSimplePageCallGraphShapeRhino.java │ └── src │ │ ├── main │ │ ├── java │ │ │ └── com │ │ │ │ └── ibm │ │ │ │ └── wala │ │ │ │ └── cast │ │ │ │ └── js │ │ │ │ ├── analysis │ │ │ │ └── typeInference │ │ │ │ │ ├── JSPrimitiveType.java │ │ │ │ │ └── JSTypeInference.java │ │ │ │ ├── callgraph │ │ │ │ └── fieldbased │ │ │ │ │ ├── FieldBasedCallGraphBuilder.java │ │ │ │ │ ├── JSMethodInstructionVisitor.java │ │ │ │ │ ├── OptimisticCallgraphBuilder.java │ │ │ │ │ ├── PessimisticCallGraphBuilder.java │ │ │ │ │ ├── WorklistBasedOptimisticCallgraphBuilder.java │ │ │ │ │ └── flowgraph │ │ │ │ │ ├── FilteredFlowGraphBuilder.java │ │ │ │ │ ├── FlowGraph.java │ │ │ │ │ ├── FlowGraphBuilder.java │ │ │ │ │ └── vertices │ │ │ │ │ ├── AbstractVertexVisitor.java │ │ │ │ │ ├── ArgVertex.java │ │ │ │ │ ├── CallVertex.java │ │ │ │ │ ├── CreationSiteVertex.java │ │ │ │ │ ├── FuncVertex.java │ │ │ │ │ ├── GlobalVertex.java │ │ │ │ │ ├── LexicalVarVertex.java │ │ │ │ │ ├── ObjectVertex.java │ │ │ │ │ ├── ParamVertex.java │ │ │ │ │ ├── PropVertex.java │ │ │ │ │ ├── PrototypeFieldVertex.java │ │ │ │ │ ├── ReflectiveCallVertex.java │ │ │ │ │ ├── RetVertex.java │ │ │ │ │ ├── UnknownVertex.java │ │ │ │ │ ├── VarVertex.java │ │ │ │ │ ├── Vertex.java │ │ │ │ │ ├── VertexFactory.java │ │ │ │ │ └── VertexVisitor.java │ │ │ │ ├── cfg │ │ │ │ └── JSInducedCFG.java │ │ │ │ ├── client │ │ │ │ ├── JavaScriptAnalysisEngine.java │ │ │ │ └── impl │ │ │ │ │ ├── OneCFABuilderFactory.java │ │ │ │ │ └── ZeroCFABuilderFactory.java │ │ │ │ ├── html │ │ │ │ ├── CompositeFileMapping.java │ │ │ │ ├── DefaultSourceExtractor.java │ │ │ │ ├── DomLessSourceExtractor.java │ │ │ │ ├── EmptyFileMapping.java │ │ │ │ ├── FileMapping.java │ │ │ │ ├── IHtmlCallback.java │ │ │ │ ├── IHtmlParser.java │ │ │ │ ├── IHtmlParserFactory.java │ │ │ │ ├── ITag.java │ │ │ │ ├── IUrlResolver.java │ │ │ │ ├── IdentityUrlResolver.java │ │ │ │ ├── IncludedPosition.java │ │ │ │ ├── JSSourceExtractor.java │ │ │ │ ├── MappedSourceFileModule.java │ │ │ │ ├── MappedSourceModule.java │ │ │ │ ├── NestedRangeMapping.java │ │ │ │ ├── RangeFileMapping.java │ │ │ │ ├── SourceRegion.java │ │ │ │ ├── UrlManipulator.java │ │ │ │ ├── WebPageLoaderFactory.java │ │ │ │ ├── WebUtil.java │ │ │ │ └── jericho │ │ │ │ │ ├── JerichoHtmlParser.java │ │ │ │ │ └── JerichoTag.java │ │ │ │ ├── ipa │ │ │ │ ├── callgraph │ │ │ │ │ ├── ArgumentSpecialization.java │ │ │ │ │ ├── JSAnalysisOptions.java │ │ │ │ │ ├── JSCFABuilder.java │ │ │ │ │ ├── JSCallGraph.java │ │ │ │ │ ├── JSCallGraphUtil.java │ │ │ │ │ ├── JSSSAPropagationCallGraphBuilder.java │ │ │ │ │ ├── JSSyntheticParameterKey.java │ │ │ │ │ ├── JSZeroOrOneXCFABuilder.java │ │ │ │ │ ├── JavaScriptConstructTargetSelector.java │ │ │ │ │ ├── JavaScriptConstructorContextSelector.java │ │ │ │ │ ├── JavaScriptConstructorInstanceKeys.java │ │ │ │ │ ├── JavaScriptEntryPoints.java │ │ │ │ │ ├── JavaScriptFunctionApplyContextInterpreter.java │ │ │ │ │ ├── JavaScriptFunctionApplyContextSelector.java │ │ │ │ │ ├── JavaScriptFunctionApplyTargetSelector.java │ │ │ │ │ ├── JavaScriptFunctionDotCallTargetSelector.java │ │ │ │ │ ├── JavaScriptScopeMappingInstanceKeys.java │ │ │ │ │ ├── LoadFileTargetSelector.java │ │ │ │ │ ├── ObjectSensitivityContextSelector.java │ │ │ │ │ ├── PropertyNameContextSelector.java │ │ │ │ │ ├── RecursionBoundContextSelector.java │ │ │ │ │ ├── RecursionCheckContextSelector.java │ │ │ │ │ ├── TransitivePrototypeKey.java │ │ │ │ │ └── correlations │ │ │ │ │ │ ├── Correlation.java │ │ │ │ │ │ ├── CorrelationFinder.java │ │ │ │ │ │ ├── CorrelationSummary.java │ │ │ │ │ │ ├── CorrelationVisitor.java │ │ │ │ │ │ ├── EscapeCorrelation.java │ │ │ │ │ │ ├── ReadWriteCorrelation.java │ │ │ │ │ │ ├── SSASourcePositionMap.java │ │ │ │ │ │ └── extraction │ │ │ │ │ │ ├── CAstRewriterExt.java │ │ │ │ │ │ ├── ChildPos.java │ │ │ │ │ │ ├── ClosureExtractor.java │ │ │ │ │ │ ├── CorrelatedPairExtractionPolicy.java │ │ │ │ │ │ ├── CorrelatedPairExtractorFactory.java │ │ │ │ │ │ ├── ExtractedFunction.java │ │ │ │ │ │ ├── ExtractionPolicy.java │ │ │ │ │ │ ├── ExtractionPolicyFactory.java │ │ │ │ │ │ ├── ExtractionPos.java │ │ │ │ │ │ ├── ExtractionRegion.java │ │ │ │ │ │ ├── ForInBodyExtractionPolicy.java │ │ │ │ │ │ ├── LabelPos.java │ │ │ │ │ │ ├── NodeLabeller.java │ │ │ │ │ │ ├── NodePos.java │ │ │ │ │ │ ├── PosSwitch.java │ │ │ │ │ │ ├── RootPos.java │ │ │ │ │ │ └── TwoLevelExtractionRegion.java │ │ │ │ ├── modref │ │ │ │ │ └── JavaScriptModRef.java │ │ │ │ └── summaries │ │ │ │ │ ├── JavaScriptConstructorFunctions.java │ │ │ │ │ ├── JavaScriptSummarizedFunction.java │ │ │ │ │ └── JavaScriptSummary.java │ │ │ │ ├── loader │ │ │ │ ├── JavaScriptLoader.java │ │ │ │ └── JavaScriptLoaderFactory.java │ │ │ │ ├── ssa │ │ │ │ ├── JSAbstractInstructionVisitor.java │ │ │ │ ├── JSInstructionFactory.java │ │ │ │ ├── JSInstructionVisitor.java │ │ │ │ ├── JavaScriptCheckReference.java │ │ │ │ ├── JavaScriptInstanceOf.java │ │ │ │ ├── JavaScriptInvoke.java │ │ │ │ ├── JavaScriptPropertyRead.java │ │ │ │ ├── JavaScriptPropertyWrite.java │ │ │ │ ├── JavaScriptTypeOfInstruction.java │ │ │ │ ├── JavaScriptWithRegion.java │ │ │ │ ├── PrototypeLookup.java │ │ │ │ ├── SetPrototype.java │ │ │ │ └── Util.java │ │ │ │ ├── translator │ │ │ │ ├── JSAstTranslator.java │ │ │ │ ├── JSConstantFoldingRewriter.java │ │ │ │ ├── JavaScriptCAstNode.java │ │ │ │ ├── JavaScriptLoopUnwindingTranslatorFactory.java │ │ │ │ ├── JavaScriptTranslatorFactory.java │ │ │ │ ├── JavaScriptTranslatorToCAst.java │ │ │ │ └── PropertyReadExpander.java │ │ │ │ ├── types │ │ │ │ ├── JavaScriptMethods.java │ │ │ │ └── JavaScriptTypes.java │ │ │ │ ├── util │ │ │ │ ├── CallGraph2JSON.java │ │ │ │ ├── FieldBasedCGUtil.java │ │ │ │ ├── JSCallGraphBuilderUtil.java │ │ │ │ └── Util.java │ │ │ │ └── vis │ │ │ │ ├── JsPaPanel.java │ │ │ │ └── JsViewer.java │ │ └── resources │ │ │ ├── miniprologue.js │ │ │ ├── preamble.js │ │ │ └── prologue.js │ │ ├── test │ │ ├── java │ │ │ └── com │ │ │ │ └── ibm │ │ │ │ └── wala │ │ │ │ └── cast │ │ │ │ └── js │ │ │ │ ├── html │ │ │ │ └── UrlManipulatorTest.java │ │ │ │ └── test │ │ │ │ └── TestWebUtil.java │ │ └── resources │ │ │ ├── pages │ │ │ ├── 2.js │ │ │ ├── apollo-example.html │ │ │ ├── collection.js │ │ │ ├── crawl.html │ │ │ ├── crawl │ │ │ │ ├── 15.js │ │ │ │ ├── 16.js │ │ │ │ ├── 17.js │ │ │ │ ├── page11.html │ │ │ │ ├── page11b.html │ │ │ │ ├── page12.html │ │ │ │ ├── page13.html │ │ │ │ ├── page15.html │ │ │ │ ├── page16.html │ │ │ │ └── page17.html │ │ │ ├── garbage.html │ │ │ ├── garbage2.html │ │ │ ├── iframeTest2.html │ │ │ ├── jquery.html │ │ │ ├── jquery │ │ │ │ └── ex1.html │ │ │ ├── jquery_hacked.html │ │ │ ├── list.html │ │ │ ├── nojs.html │ │ │ ├── page1.html │ │ │ ├── page2.html │ │ │ ├── page3.html │ │ │ ├── page4.html │ │ │ ├── prototype.html │ │ │ ├── skeleton.html │ │ │ ├── skeleton2.html │ │ │ ├── skeleton3.html │ │ │ ├── window_on_load.html │ │ │ └── window_x.html │ │ │ └── tests │ │ │ ├── 214631.js │ │ │ ├── Function_is_a_function.js │ │ │ ├── args.js │ │ │ ├── arguments.js │ │ │ ├── array_index_conv.js │ │ │ ├── array_index_conv2.js │ │ │ ├── badforin.js │ │ │ ├── badforin2.js │ │ │ ├── badforin3.js │ │ │ ├── badthrow.js │ │ │ ├── calls.js │ │ │ ├── complex_call.js │ │ │ ├── complex_finally.js │ │ │ ├── control-flow.js │ │ │ ├── cpa.js │ │ │ ├── crash1.js │ │ │ ├── crash2.js │ │ │ ├── date-property.js │ │ │ ├── dead.js │ │ │ ├── dead_catch.js │ │ │ ├── dead_phi.js │ │ │ ├── demo.js │ │ │ ├── demo2.js │ │ │ ├── dispatch.js │ │ │ ├── dispatch_same_target.js │ │ │ ├── extend.js │ │ │ ├── extjs_switch.js │ │ │ ├── field-based │ │ │ ├── bad_new_function_call.js │ │ │ ├── bounded.js │ │ │ ├── callbacks.js │ │ │ ├── callbacks2.js │ │ │ ├── flowgraph_constraints.js │ │ │ ├── lexical.js │ │ │ ├── native_call.js │ │ │ ├── native_callback.js │ │ │ ├── new.js │ │ │ ├── new_fn_empty.js │ │ │ ├── oneshot.js │ │ │ ├── reflective_calls.js │ │ │ └── simple.js │ │ │ ├── finallycrash.js │ │ │ ├── for_in_expr.js │ │ │ ├── for_in_name.js │ │ │ ├── for_in_prototype.js │ │ │ ├── forin.js │ │ │ ├── function_apply.js │ │ │ ├── function_apply2.js │ │ │ ├── function_apply3.js │ │ │ ├── function_call.js │ │ │ ├── functions.js │ │ │ ├── global_object.js │ │ │ ├── global_object2.js │ │ │ ├── inherit.js │ │ │ ├── instanceof.js │ │ │ ├── jquery_spec_test.js │ │ │ ├── lexical-ctor.js │ │ │ ├── lexical_broken.js │ │ │ ├── lexical_catch.js │ │ │ ├── lexical_multiple_calls.js │ │ │ ├── loops.js │ │ │ ├── many-strings.js │ │ │ ├── more-control-flow.js │ │ │ ├── multivar.js │ │ │ ├── named_fn_twice.js │ │ │ ├── nested.js │ │ │ ├── nested_assign_to_param.js │ │ │ ├── newfn.js │ │ │ ├── non_loop_break.js │ │ │ ├── nrwrapper.js │ │ │ ├── objects.js │ │ │ ├── parse_error.js │ │ │ ├── place_phi_npe.js │ │ │ ├── portal-example-simple.html │ │ │ ├── primitive_strings.js │ │ │ ├── prototype_contamination_bug.js │ │ │ ├── recursive_lex_write.js │ │ │ ├── recursive_lexical.js │ │ │ ├── rename-example.js │ │ │ ├── repr.js │ │ │ ├── return_this.js │ │ │ ├── return_this2.js │ │ │ ├── rewrite_does_not_change_labels_bug.js │ │ │ ├── rhino_crash1.js │ │ │ ├── rhino_crash2.js │ │ │ ├── rhino_crash3.js │ │ │ ├── scoping_test.js │ │ │ ├── shadow_test.js │ │ │ ├── simple-lexical.js │ │ │ ├── simple.js │ │ │ ├── simpler.js │ │ │ ├── slice1.js │ │ │ ├── ssa-crash.js │ │ │ ├── stack_overflow_on_ssa_conversion.js │ │ │ ├── string-op.js │ │ │ ├── string-prims.js │ │ │ ├── switch_default.js │ │ │ ├── try-finally-crash.js │ │ │ ├── try.js │ │ │ ├── tutorial-example.js │ │ │ ├── upward.js │ │ │ ├── with.js │ │ │ ├── wrap1.js │ │ │ ├── wrap2.js │ │ │ └── wrap3.js │ │ └── testFixtures │ │ └── java │ │ └── com │ │ └── ibm │ │ └── wala │ │ └── cast │ │ └── js │ │ └── test │ │ ├── CAstDumper.java │ │ ├── ExtractingToPredictableFileNames.java │ │ ├── TestAjaxsltCallGraphShape.java │ │ ├── TestArgumentSensitivity.java │ │ ├── TestCorrelatedPairExtraction.java │ │ ├── TestForInBodyExtraction.java │ │ ├── TestForInLoopHack.java │ │ ├── TestJQueryExamples.java │ │ ├── TestJSCallGraphShape.java │ │ ├── TestJavaScriptSlicer.java │ │ ├── TestLexicalModRef.java │ │ ├── TestMediawikiCallGraphShape.java │ │ ├── TestPointerAnalyses.java │ │ ├── TestPrototypeCallGraphShape.java │ │ ├── TestSimpleCallGraphShape.java │ │ └── TestSimplePageCallGraphShape.java ├── smoke_main │ ├── .gitignore │ ├── build.gradle.kts │ └── src │ │ └── main │ │ └── cpp │ │ └── smoke_main.cpp ├── src │ ├── main │ │ └── java │ │ │ └── com │ │ │ └── ibm │ │ │ └── wala │ │ │ └── cast │ │ │ ├── analysis │ │ │ └── typeInference │ │ │ │ └── AstTypeInference.java │ │ │ ├── ipa │ │ │ ├── callgraph │ │ │ │ ├── ArgumentInstanceContext.java │ │ │ │ ├── AstCFAPointerKeys.java │ │ │ │ ├── AstCallGraph.java │ │ │ │ ├── AstContextInsensitiveSSAContextInterpreter.java │ │ │ │ ├── AstGlobalPointerKey.java │ │ │ │ ├── AstHeapModel.java │ │ │ │ ├── AstPointerKeyFactory.java │ │ │ │ ├── AstSSAPropagationCallGraphBuilder.java │ │ │ │ ├── CAstAnalysisScope.java │ │ │ │ ├── CAstCallGraphUtil.java │ │ │ │ ├── CrossLanguageCallGraph.java │ │ │ │ ├── CrossLanguageClassTargetSelector.java │ │ │ │ ├── CrossLanguageContextSelector.java │ │ │ │ ├── CrossLanguageInstanceKeys.java │ │ │ │ ├── CrossLanguageMethodTargetSelector.java │ │ │ │ ├── CrossLanguageSSAPropagationCallGraphBuilder.java │ │ │ │ ├── DelegatingAstPointerKeys.java │ │ │ │ ├── GlobalObjectKey.java │ │ │ │ ├── MiscellaneousHacksContextSelector.java │ │ │ │ ├── ObjectPropertyCatalogKey.java │ │ │ │ ├── OneLevelForLexicalAccessFunctions.java │ │ │ │ ├── ReflectedFieldPointerKey.java │ │ │ │ ├── ScopeMappingInstanceKeys.java │ │ │ │ ├── ScriptEntryPoints.java │ │ │ │ └── StandardFunctionTargetSelector.java │ │ │ ├── cha │ │ │ │ └── CrossLanguageClassHierarchy.java │ │ │ ├── lexical │ │ │ │ └── LexicalModRef.java │ │ │ └── modref │ │ │ │ └── AstModRef.java │ │ │ ├── ir │ │ │ ├── cfg │ │ │ │ ├── AstInducedCFG.java │ │ │ │ ├── DelegatingCFG.java │ │ │ │ └── Util.java │ │ │ ├── ssa │ │ │ │ ├── AbstractReflectiveGet.java │ │ │ │ ├── AbstractReflectivePut.java │ │ │ │ ├── AbstractSSAConversion.java │ │ │ │ ├── AssignInstruction.java │ │ │ │ ├── AstAbstractInstructionVisitor.java │ │ │ │ ├── AstAssertInstruction.java │ │ │ │ ├── AstConsumeInstruction.java │ │ │ │ ├── AstEchoInstruction.java │ │ │ │ ├── AstGlobalRead.java │ │ │ │ ├── AstGlobalWrite.java │ │ │ │ ├── AstIRFactory.java │ │ │ │ ├── AstInstructionFactory.java │ │ │ │ ├── AstInstructionVisitor.java │ │ │ │ ├── AstIsDefinedInstruction.java │ │ │ │ ├── AstLexicalAccess.java │ │ │ │ ├── AstLexicalRead.java │ │ │ │ ├── AstLexicalWrite.java │ │ │ │ ├── AstPreInstructionVisitor.java │ │ │ │ ├── AstPropertyRead.java │ │ │ │ ├── AstPropertyWrite.java │ │ │ │ ├── AstYieldInstruction.java │ │ │ │ ├── CAstBinaryOp.java │ │ │ │ ├── CAstUnaryOp.java │ │ │ │ ├── EachElementGetInstruction.java │ │ │ │ ├── EachElementHasNextInstruction.java │ │ │ │ ├── FixedParametersInvokeInstruction.java │ │ │ │ ├── MultiReturnValueInvokeInstruction.java │ │ │ │ ├── SSAConversion.java │ │ │ │ └── analysis │ │ │ │ │ └── LiveAnalysis.java │ │ │ └── translator │ │ │ │ ├── AbstractClassEntity.java │ │ │ │ ├── AbstractCodeEntity.java │ │ │ │ ├── AbstractDataEntity.java │ │ │ │ ├── AbstractEntity.java │ │ │ │ ├── AbstractFieldEntity.java │ │ │ │ ├── AbstractGlobalEntity.java │ │ │ │ ├── AbstractScriptEntity.java │ │ │ │ ├── ArrayOpHandler.java │ │ │ │ ├── AstTranslator.java │ │ │ │ ├── ConstantFoldingRewriter.java │ │ │ │ ├── ExposedNamesCollector.java │ │ │ │ ├── NativeBridge.java │ │ │ │ ├── NativeTranslatorToCAst.java │ │ │ │ ├── RewritingTranslatorToCAst.java │ │ │ │ ├── TranslatorToCAst.java │ │ │ │ └── TranslatorToIR.java │ │ │ ├── loader │ │ │ ├── AstClass.java │ │ │ ├── AstDynamicField.java │ │ │ ├── AstDynamicPropertyClass.java │ │ │ ├── AstField.java │ │ │ ├── AstFunctionClass.java │ │ │ ├── AstMethod.java │ │ │ ├── CAstAbstractLoader.java │ │ │ ├── CAstAbstractModuleLoader.java │ │ │ ├── DynamicCallSiteReference.java │ │ │ └── SingleClassLoaderFactory.java │ │ │ ├── tree │ │ │ ├── CAst.java │ │ │ ├── CAstAnnotation.java │ │ │ ├── CAstControlFlowMap.java │ │ │ ├── CAstEntity.java │ │ │ ├── CAstLeafNode.java │ │ │ ├── CAstMemberReference.java │ │ │ ├── CAstNode.java │ │ │ ├── CAstNodeTypeMap.java │ │ │ ├── CAstQualifier.java │ │ │ ├── CAstReference.java │ │ │ ├── CAstSourcePositionMap.java │ │ │ ├── CAstSymbol.java │ │ │ ├── CAstType.java │ │ │ ├── CAstTypeDictionary.java │ │ │ ├── impl │ │ │ │ ├── AbstractSourcePosition.java │ │ │ │ ├── CAstControlFlowRecorder.java │ │ │ │ ├── CAstImpl.java │ │ │ │ ├── CAstNodeTypeMapRecorder.java │ │ │ │ ├── CAstOperator.java │ │ │ │ ├── CAstSourcePositionRecorder.java │ │ │ │ ├── CAstSymbolImpl.java │ │ │ │ ├── CAstSymbolImplBase.java │ │ │ │ ├── CAstTypeDictionaryImpl.java │ │ │ │ ├── CAstValueImpl.java │ │ │ │ ├── DelegatingEntity.java │ │ │ │ ├── LineNumberPosition.java │ │ │ │ └── RangePosition.java │ │ │ ├── pattern │ │ │ │ ├── Alt.java │ │ │ │ ├── AnyNode.java │ │ │ │ ├── NodeOfKind.java │ │ │ │ ├── NodePattern.java │ │ │ │ ├── SomeConstant.java │ │ │ │ └── SubtreeOfKind.java │ │ │ ├── rewrite │ │ │ │ ├── AstConstantFolder.java │ │ │ │ ├── AstLoopUnwinder.java │ │ │ │ ├── CAstBasicRewriter.java │ │ │ │ ├── CAstCloner.java │ │ │ │ ├── CAstRewriter.java │ │ │ │ ├── CAstRewriterFactory.java │ │ │ │ └── PatternBasedRewriter.java │ │ │ └── visit │ │ │ │ ├── CAstVisitor.java │ │ │ │ └── DelegatingCAstVisitor.java │ │ │ ├── types │ │ │ ├── AstMethodReference.java │ │ │ └── AstTypeReference.java │ │ │ └── util │ │ │ ├── AstConstantCollector.java │ │ │ ├── BOMInputStreamFactory.java │ │ │ ├── CAstFunctions.java │ │ │ ├── CAstPattern.java │ │ │ ├── CAstPrinter.java │ │ │ ├── CAstToDOM.java │ │ │ ├── SourceBuffer.java │ │ │ ├── TargetLanguageSelector.java │ │ │ └── Util.java │ ├── test │ │ └── java │ │ │ └── com │ │ │ └── ibm │ │ │ └── wala │ │ │ └── cast │ │ │ └── test │ │ │ ├── TestCAstPattern.java │ │ │ ├── TestConstantCollector.java │ │ │ └── TestNativeTranslatorProxy.java │ └── testFixtures │ │ └── java │ │ └── com │ │ └── ibm │ │ └── wala │ │ └── cast │ │ ├── test │ │ └── TestNativeTranslator.java │ │ └── util │ │ └── test │ │ └── TestCallGraphShape.java └── xlator_test │ ├── build.gradle.kts │ └── src │ └── main │ └── cpp │ └── smoke.cpp ├── code-coverage-report ├── .settings │ └── org.eclipse.jdt.core.prefs └── build.gradle.kts ├── com.ibm.wala-repository ├── .settings │ └── org.eclipse.wst.validation.prefs └── category.xml ├── config └── hooks │ ├── pre-commit │ └── pre-commit-stub ├── core ├── .settings │ ├── org.eclipse.jdt.core.prefs │ ├── org.eclipse.jdt.launching.prefs │ ├── org.eclipse.jdt.ui.prefs │ ├── org.eclipse.pde.prefs │ └── org.eclipse.wst.validation.prefs ├── antbuild.properties ├── build.gradle.kts ├── classes │ ├── .gitignore │ ├── CodeDeleted.class │ ├── DupFieldName.class │ ├── MissingMethodRef.class │ ├── missingmetadata │ │ └── MissingClassRef.class │ └── missingsuper │ │ └── MissingSuper.class ├── gradle.properties ├── javaCompiler...args ├── kawasrc │ └── test.scm ├── launchers │ ├── ConstructAllIRs.launch │ ├── CountParameters.launch │ ├── GetLoadedFields.launch │ ├── JavaViewerDriver.launch │ ├── PDFCallGraph.launch │ ├── PDFControlDependenceGraph.launch │ ├── PDFSDG.launch │ ├── PDFSlice.launch │ ├── PDFTypeHierarchy.launch │ ├── PDFWalaIR.launch │ ├── wala.core short profile (non-windows).launch │ ├── wala.core short profile.launch │ └── wala.core.launch ├── ocaml │ └── hello_hash.ml ├── scripts │ └── cruise │ │ └── config_nashira.xml └── src │ ├── main │ ├── java │ │ └── com │ │ │ └── ibm │ │ │ └── wala │ │ │ ├── analysis │ │ │ ├── arraybounds │ │ │ │ ├── ArrayBoundsGraph.java │ │ │ │ ├── ArrayBoundsGraphBuilder.java │ │ │ │ ├── ArrayOutOfBoundsAnalysis.java │ │ │ │ ├── BinaryOpWithConstant.java │ │ │ │ ├── ConditionNormalizer.java │ │ │ │ └── hypergraph │ │ │ │ │ ├── DirectedHyperEdge.java │ │ │ │ │ ├── DirectedHyperGraph.java │ │ │ │ │ ├── HyperNode.java │ │ │ │ │ ├── SoftFinalHyperNode.java │ │ │ │ │ ├── algorithms │ │ │ │ │ └── ShortestPath.java │ │ │ │ │ ├── package-info.java │ │ │ │ │ └── weight │ │ │ │ │ ├── NormalOrder.java │ │ │ │ │ ├── ReverseOrder.java │ │ │ │ │ ├── Weight.java │ │ │ │ │ └── edgeweights │ │ │ │ │ ├── AdditiveEdgeWeight.java │ │ │ │ │ └── EdgeWeight.java │ │ │ ├── exceptionanalysis │ │ │ │ ├── CGIntraproceduralExceptionAnalysis.java │ │ │ │ ├── Exception2BitvectorTransformer.java │ │ │ │ ├── ExceptionAnalysis.java │ │ │ │ ├── ExceptionAnalysis2EdgeFilter.java │ │ │ │ ├── ExceptionTransferFunctionProvider.java │ │ │ │ ├── InitializedBitVectorSolver.java │ │ │ │ ├── IntraproceduralExceptionAnalysis.java │ │ │ │ └── package-info.java │ │ │ ├── nullpointer │ │ │ │ ├── IntraproceduralNullPointerAnalysis.java │ │ │ │ └── RelevantVariableFinder.java │ │ │ ├── pointers │ │ │ │ ├── BasicHeapGraph.java │ │ │ │ ├── HeapGraph.java │ │ │ │ ├── HeapGraphImpl.java │ │ │ │ └── package-info.java │ │ │ ├── reflection │ │ │ │ ├── AbstractReflectionInterpreter.java │ │ │ │ ├── ClassFactoryContextInterpreter.java │ │ │ │ ├── ClassFactoryContextSelector.java │ │ │ │ ├── ClassNewInstanceContextInterpreter.java │ │ │ │ ├── ClassNewInstanceContextSelector.java │ │ │ │ ├── CloneInterpreter.java │ │ │ │ ├── FactoryBypassInterpreter.java │ │ │ │ ├── FactoryContextSelector.java │ │ │ │ ├── GetClassContextInterpeter.java │ │ │ │ ├── GetClassContextSelector.java │ │ │ │ ├── GetMethodContext.java │ │ │ │ ├── GetMethodContextInterpreter.java │ │ │ │ ├── GetMethodContextSelector.java │ │ │ │ ├── IllegalArgumentExceptionContext.java │ │ │ │ ├── InstanceKeyWithNode.java │ │ │ │ ├── JavaLangClassContextInterpreter.java │ │ │ │ ├── JavaLangClassContextSelector.java │ │ │ │ ├── JavaTypeContext.java │ │ │ │ ├── ReflectionContextInterpreter.java │ │ │ │ ├── ReflectionContextSelector.java │ │ │ │ ├── ReflectiveInvocationInterpreter.java │ │ │ │ ├── ReflectiveInvocationSelector.java │ │ │ │ ├── java7 │ │ │ │ │ └── MethodHandles.java │ │ │ │ └── package-info.java │ │ │ ├── stackMachine │ │ │ │ ├── AbstractIntStackMachine.java │ │ │ │ └── package-info.java │ │ │ └── typeInference │ │ │ │ ├── ConeType.java │ │ │ │ ├── JavaPrimitiveType.java │ │ │ │ ├── PointType.java │ │ │ │ ├── PrimitiveType.java │ │ │ │ ├── TypeAbstraction.java │ │ │ │ ├── TypeInference.java │ │ │ │ ├── TypeVariable.java │ │ │ │ └── package-info.java │ │ │ ├── cfg │ │ │ ├── AbstractCFG.java │ │ │ ├── BytecodeCFG.java │ │ │ ├── CFGSanitizer.java │ │ │ ├── ControlFlowGraph.java │ │ │ ├── IBasicBlock.java │ │ │ ├── InducedCFG.java │ │ │ ├── MinimalCFG.java │ │ │ ├── ShrikeCFG.java │ │ │ ├── Util.java │ │ │ ├── cdg │ │ │ │ ├── ControlDependenceGraph.java │ │ │ │ └── package-info.java │ │ │ ├── exc │ │ │ │ ├── ExceptionPruningAnalysis.java │ │ │ │ ├── InterprocAnalysisResult.java │ │ │ │ ├── NullPointerAnalysis.java │ │ │ │ ├── inter │ │ │ │ │ ├── AnalysisUtil.java │ │ │ │ │ ├── DelegatingMethodState.java │ │ │ │ │ ├── InterprocAnalysisResultWrapper.java │ │ │ │ │ ├── InterprocMethodState.java │ │ │ │ │ ├── InterprocNullPointerAnalysis.java │ │ │ │ │ └── IntraprocAnalysisState.java │ │ │ │ └── intra │ │ │ │ │ ├── ExplodedCFGNullPointerAnalysis.java │ │ │ │ │ ├── IntraprocNullPointerAnalysis.java │ │ │ │ │ ├── MethodState.java │ │ │ │ │ ├── MutableCFG.java │ │ │ │ │ ├── NegativeGraphFilter.java │ │ │ │ │ ├── NullPointerFrameWork.java │ │ │ │ │ ├── NullPointerSolver.java │ │ │ │ │ ├── NullPointerState.java │ │ │ │ │ ├── NullPointerTransferFunctionProvider.java │ │ │ │ │ ├── OperatorUtil.java │ │ │ │ │ ├── ParameterState.java │ │ │ │ │ └── SSACFGNullPointerAnalysis.java │ │ │ └── package-info.java │ │ │ ├── classLoader │ │ │ ├── AbstractNestedJarFileModule.java │ │ │ ├── AbstractURLModule.java │ │ │ ├── ArrayClass.java │ │ │ ├── ArrayClassLoader.java │ │ │ ├── BinaryDirectoryTreeModule.java │ │ │ ├── BytecodeClass.java │ │ │ ├── BytecodeLanguage.java │ │ │ ├── CallSiteReference.java │ │ │ ├── ClassFileModule.java │ │ │ ├── ClassFileURLModule.java │ │ │ ├── ClassLoaderFactory.java │ │ │ ├── ClassLoaderFactoryImpl.java │ │ │ ├── ClassLoaderImpl.java │ │ │ ├── CodeScanner.java │ │ │ ├── CompoundModule.java │ │ │ ├── DirectoryTreeModule.java │ │ │ ├── FieldImpl.java │ │ │ ├── FileModule.java │ │ │ ├── IBytecodeMethod.java │ │ │ ├── IClass.java │ │ │ ├── IClassLoader.java │ │ │ ├── IField.java │ │ │ ├── IMember.java │ │ │ ├── IMethod.java │ │ │ ├── JVMClass.java │ │ │ ├── JarFileEntry.java │ │ │ ├── JarFileModule.java │ │ │ ├── JarStreamModule.java │ │ │ ├── JavaLanguage.java │ │ │ ├── Language.java │ │ │ ├── LanguageImpl.java │ │ │ ├── Module.java │ │ │ ├── ModuleEntry.java │ │ │ ├── NestedJarFileModule.java │ │ │ ├── NewSiteReference.java │ │ │ ├── NoSuperclassFoundException.java │ │ │ ├── PhantomClass.java │ │ │ ├── ProgramCounter.java │ │ │ ├── ResourceJarFileModule.java │ │ │ ├── ShrikeBTMethod.java │ │ │ ├── ShrikeCTMethod.java │ │ │ ├── ShrikeClass.java │ │ │ ├── ShrikeIRFactory.java │ │ │ ├── SourceDirectoryTreeModule.java │ │ │ ├── SourceFileModule.java │ │ │ ├── SourceModule.java │ │ │ ├── SourceURLModule.java │ │ │ ├── SyntheticClass.java │ │ │ ├── SyntheticMethod.java │ │ │ └── package-info.java │ │ │ ├── client │ │ │ ├── AbstractAnalysisEngine.java │ │ │ ├── AbstractEngineStopwatch.java │ │ │ ├── AnalysisEngine.java │ │ │ ├── EngineStopwatch.java │ │ │ └── package-info.java │ │ │ ├── core │ │ │ ├── java11 │ │ │ │ ├── Java9AnalysisScopeReader.java │ │ │ │ ├── JrtModule.java │ │ │ │ └── LibraryStuff.java │ │ │ ├── plugin │ │ │ │ └── package-info.java │ │ │ ├── tests │ │ │ │ ├── callGraph │ │ │ │ │ └── CallGraphTestUtil.java │ │ │ │ └── util │ │ │ │ │ └── TestConstants.java │ │ │ ├── util │ │ │ │ ├── CancelRuntimeException.java │ │ │ │ ├── PrimitiveAssignability.java │ │ │ │ ├── ProgressMaster.java │ │ │ │ ├── ProgressMasterImpl.java │ │ │ │ ├── bytecode │ │ │ │ │ ├── BytecodeStream.java │ │ │ │ │ └── package-info.java │ │ │ │ ├── config │ │ │ │ │ ├── AnalysisScopeReader.java │ │ │ │ │ └── package-info.java │ │ │ │ ├── io │ │ │ │ │ ├── FileProvider.java │ │ │ │ │ └── FileSuffixes.java │ │ │ │ ├── package-info.java │ │ │ │ ├── ref │ │ │ │ │ ├── CacheReference.java │ │ │ │ │ └── ReferenceCleanser.java │ │ │ │ ├── scope │ │ │ │ │ └── JUnitEntryPoints.java │ │ │ │ ├── shrike │ │ │ │ │ ├── Exceptions.java │ │ │ │ │ ├── ShrikeClassReaderHandle.java │ │ │ │ │ └── ShrikeUtil.java │ │ │ │ ├── ssa │ │ │ │ │ ├── ClassLookupException.java │ │ │ │ │ ├── IInstantiator.java │ │ │ │ │ ├── InstructionByIIndexMap.java │ │ │ │ │ ├── InstructionByIIndexWrapper.java │ │ │ │ │ ├── ParameterAccessor.java │ │ │ │ │ ├── SSAValue.java │ │ │ │ │ ├── SSAValueManager.java │ │ │ │ │ ├── TypeSafeInstructionFactory.java │ │ │ │ │ └── package-info.java │ │ │ │ ├── strings │ │ │ │ │ ├── Atom.java │ │ │ │ │ ├── ImmutableByteArray.java │ │ │ │ │ ├── StringStuff.java │ │ │ │ │ └── UTF8Convert.java │ │ │ │ └── warnings │ │ │ │ │ ├── Warning.java │ │ │ │ │ ├── Warnings.java │ │ │ │ │ └── package-info.java │ │ │ └── viz │ │ │ │ ├── PDFViewUtil.java │ │ │ │ └── viewer │ │ │ │ ├── CgPanel.java │ │ │ │ ├── ChaPanel.java │ │ │ │ ├── DualTreeCellRenderer.java │ │ │ │ ├── IrAndSourceViewer.java │ │ │ │ ├── IrViewer.java │ │ │ │ ├── PaPanel.java │ │ │ │ ├── SourceViewer.java │ │ │ │ ├── WalaViewer.java │ │ │ │ └── images │ │ │ │ ├── ik_closed.png │ │ │ │ ├── ik_leaf.png │ │ │ │ ├── ik_open.png │ │ │ │ ├── pk_closed.png │ │ │ │ ├── pk_leaf.png │ │ │ │ └── pk_open.png │ │ │ ├── dataflow │ │ │ ├── IFDS │ │ │ │ ├── BackwardsSupergraph.java │ │ │ │ ├── BoundedPartiallyBalancedSolver.java │ │ │ │ ├── BoundedTabulationSolver.java │ │ │ │ ├── CallFlowEdges.java │ │ │ │ ├── IBinaryReturnFlowFunction.java │ │ │ │ ├── ICFGSupergraph.java │ │ │ │ ├── IFlowFunction.java │ │ │ │ ├── IFlowFunctionMap.java │ │ │ │ ├── IMergeFunction.java │ │ │ │ ├── IPartiallyBalancedFlowFunctions.java │ │ │ │ ├── IReversibleFlowFunction.java │ │ │ │ ├── ISupergraph.java │ │ │ │ ├── ITabulationWorklist.java │ │ │ │ ├── IUnaryFlowFunction.java │ │ │ │ ├── IdentityFlowFunction.java │ │ │ │ ├── IdentityFlowFunctions.java │ │ │ │ ├── KillEverything.java │ │ │ │ ├── LocalPathEdges.java │ │ │ │ ├── LocalSummaryEdges.java │ │ │ │ ├── PartiallyBalancedTabulationProblem.java │ │ │ │ ├── PartiallyBalancedTabulationSolver.java │ │ │ │ ├── PathEdge.java │ │ │ │ ├── SingletonFlowFunction.java │ │ │ │ ├── TabulationCancelException.java │ │ │ │ ├── TabulationDomain.java │ │ │ │ ├── TabulationProblem.java │ │ │ │ ├── TabulationResult.java │ │ │ │ ├── TabulationSolver.java │ │ │ │ ├── UnorderedDomain.java │ │ │ │ ├── VectorGenFlowFunction.java │ │ │ │ ├── VectorKillFlowFunction.java │ │ │ │ └── package-info.java │ │ │ └── ssa │ │ │ │ └── SSAInference.java │ │ │ ├── demandpa │ │ │ ├── alg │ │ │ │ ├── AbstractDemandPointsTo.java │ │ │ │ ├── BudgetExceededException.java │ │ │ │ ├── CallStack.java │ │ │ │ ├── ContextSensitiveStateMachine.java │ │ │ │ ├── DemandRefinementPointsTo.java │ │ │ │ ├── IDemandPointerAnalysis.java │ │ │ │ ├── InstanceFieldKeyAndState.java │ │ │ │ ├── InstanceKeyAndState.java │ │ │ │ ├── IntraProcFilter.java │ │ │ │ ├── PointerKeyAndState.java │ │ │ │ ├── SimpleDemandPointsTo.java │ │ │ │ ├── ThisFilteringHeapModel.java │ │ │ │ ├── WithState.java │ │ │ │ ├── refinepolicy │ │ │ │ │ ├── AbstractRefinementPolicy.java │ │ │ │ │ ├── AlwaysRefineCGPolicy.java │ │ │ │ │ ├── AlwaysRefineFieldsPolicy.java │ │ │ │ │ ├── CallGraphRefinePolicy.java │ │ │ │ │ ├── ContainersFieldPolicy.java │ │ │ │ │ ├── DelegatingFieldRefinePolicy.java │ │ │ │ │ ├── FieldRefinePolicy.java │ │ │ │ │ ├── ManualCGRefinePolicy.java │ │ │ │ │ ├── ManualFieldPolicy.java │ │ │ │ │ ├── ManualRefinementPolicy.java │ │ │ │ │ ├── NeverRefineCGPolicy.java │ │ │ │ │ ├── NeverRefineFieldsPolicy.java │ │ │ │ │ ├── OnlyArraysPolicy.java │ │ │ │ │ ├── RefinementPolicy.java │ │ │ │ │ ├── RefinementPolicyFactory.java │ │ │ │ │ ├── SinglePassRefinementPolicy.java │ │ │ │ │ ├── TunedFieldRefinementPolicy.java │ │ │ │ │ └── TunedRefinementPolicy.java │ │ │ │ └── statemachine │ │ │ │ │ ├── DummyStateMachine.java │ │ │ │ │ ├── StateMachine.java │ │ │ │ │ ├── StateMachineFactory.java │ │ │ │ │ └── StatesMergedException.java │ │ │ ├── flowgraph │ │ │ │ ├── AbstractDemandFlowGraph.java │ │ │ │ ├── AbstractFlowGraph.java │ │ │ │ ├── AbstractFlowLabelVisitor.java │ │ │ │ ├── AssignBarLabel.java │ │ │ │ ├── AssignGlobalBarLabel.java │ │ │ │ ├── AssignGlobalLabel.java │ │ │ │ ├── AssignLabel.java │ │ │ │ ├── CallLabel.java │ │ │ │ ├── DemandPointerFlowGraph.java │ │ │ │ ├── DemandValueFlowGraph.java │ │ │ │ ├── GetFieldBarLabel.java │ │ │ │ ├── GetFieldLabel.java │ │ │ │ ├── IFlowGraph.java │ │ │ │ ├── IFlowLabel.java │ │ │ │ ├── IFlowLabelWithFilter.java │ │ │ │ ├── MatchBarLabel.java │ │ │ │ ├── MatchLabel.java │ │ │ │ ├── NewBarLabel.java │ │ │ │ ├── NewLabel.java │ │ │ │ ├── ParamBarLabel.java │ │ │ │ ├── ParamLabel.java │ │ │ │ ├── PointerKeyAndCallSite.java │ │ │ │ ├── PutFieldBarLabel.java │ │ │ │ ├── PutFieldLabel.java │ │ │ │ ├── ReturnBarLabel.java │ │ │ │ ├── ReturnLabel.java │ │ │ │ └── SimpleDemandPointerFlowGraph.java │ │ │ └── util │ │ │ │ ├── ArrayContents.java │ │ │ │ ├── CallGraphMapUtil.java │ │ │ │ ├── MemoryAccess.java │ │ │ │ ├── MemoryAccessMap.java │ │ │ │ ├── PABasedMemoryAccessMap.java │ │ │ │ ├── PointerParamValueNumIterator.java │ │ │ │ └── SimpleMemoryAccessMap.java │ │ │ ├── escape │ │ │ ├── FILiveObjectAnalysis.java │ │ │ ├── ILiveObjectAnalysis.java │ │ │ ├── IMethodEscapeAnalysis.java │ │ │ ├── INodeEscapeAnalysis.java │ │ │ ├── LocalLiveRangeAnalysis.java │ │ │ └── TrivialMethodEscape.java │ │ │ ├── examples │ │ │ ├── analysis │ │ │ │ └── dataflow │ │ │ │ │ ├── ContextInsensitiveReachingDefs.java │ │ │ │ │ ├── ContextSensitiveReachingDefs.java │ │ │ │ │ ├── IntraprocReachingDefs.java │ │ │ │ │ └── StaticInitializer.java │ │ │ ├── drivers │ │ │ │ ├── DemandCastChecker.java │ │ │ │ ├── JavaViewerDriver.java │ │ │ │ ├── PDFCallGraph.java │ │ │ │ ├── PDFControlDependenceGraph.java │ │ │ │ ├── PDFSDG.java │ │ │ │ ├── PDFSlice.java │ │ │ │ ├── PDFTypeHierarchy.java │ │ │ │ ├── PDFWalaIR.java │ │ │ │ └── ScopeFileCallGraph.java │ │ │ └── properties │ │ │ │ └── WalaExamplesProperties.java │ │ │ ├── ipa │ │ │ ├── callgraph │ │ │ │ ├── AnalysisCache.java │ │ │ │ ├── AnalysisCacheImpl.java │ │ │ │ ├── AnalysisOptions.java │ │ │ │ ├── AnalysisScope.java │ │ │ │ ├── CGNode.java │ │ │ │ ├── CallGraph.java │ │ │ │ ├── CallGraphBuilder.java │ │ │ │ ├── CallGraphBuilderCancelException.java │ │ │ │ ├── CallGraphStats.java │ │ │ │ ├── CallGraphTransitiveClosure.java │ │ │ │ ├── ClassTargetSelector.java │ │ │ │ ├── Context.java │ │ │ │ ├── ContextItem.java │ │ │ │ ├── ContextKey.java │ │ │ │ ├── ContextSelector.java │ │ │ │ ├── ContextUtil.java │ │ │ │ ├── DelegatingContext.java │ │ │ │ ├── Entrypoint.java │ │ │ │ ├── IAnalysisCacheView.java │ │ │ │ ├── MethodTargetSelector.java │ │ │ │ ├── ShallowAnalysisScope.java │ │ │ │ ├── cha │ │ │ │ │ ├── CHACallGraph.java │ │ │ │ │ ├── CHAContextInterpreter.java │ │ │ │ │ └── ContextInsensitiveCHAContextInterpreter.java │ │ │ │ ├── impl │ │ │ │ │ ├── AbstractRootMethod.java │ │ │ │ │ ├── AllApplicationEntrypoints.java │ │ │ │ │ ├── ArgumentTypeEntrypoint.java │ │ │ │ │ ├── BasicCallGraph.java │ │ │ │ │ ├── ClassHierarchyClassTargetSelector.java │ │ │ │ │ ├── ClassHierarchyMethodTargetSelector.java │ │ │ │ │ ├── ComposedEntrypoints.java │ │ │ │ │ ├── ContextInsensitiveSelector.java │ │ │ │ │ ├── DefaultContextSelector.java │ │ │ │ │ ├── DefaultEntrypoint.java │ │ │ │ │ ├── DelegatingContextSelector.java │ │ │ │ │ ├── Everywhere.java │ │ │ │ │ ├── ExplicitCallGraph.java │ │ │ │ │ ├── ExplicitPredecessorsEdgeManager.java │ │ │ │ │ ├── FakeRootClass.java │ │ │ │ │ ├── FakeRootMethod.java │ │ │ │ │ ├── FakeWorldClinitMethod.java │ │ │ │ │ ├── PartialCallGraph.java │ │ │ │ │ ├── SubtypesEntrypoint.java │ │ │ │ │ ├── UnionContextSelector.java │ │ │ │ │ ├── Util.java │ │ │ │ │ └── package-info.java │ │ │ │ ├── package-info.java │ │ │ │ ├── propagation │ │ │ │ │ ├── AbstractFieldPointerKey.java │ │ │ │ │ ├── AbstractLocalPointerKey.java │ │ │ │ │ ├── AbstractPointerAnalysis.java │ │ │ │ │ ├── AbstractPointerKey.java │ │ │ │ │ ├── AbstractPointsToSolver.java │ │ │ │ │ ├── AbstractTypeInNode.java │ │ │ │ │ ├── AllocationSite.java │ │ │ │ │ ├── AllocationSiteInNode.java │ │ │ │ │ ├── AllocationSiteInNodeFactory.java │ │ │ │ │ ├── ArrayContentsKey.java │ │ │ │ │ ├── AssignEquation.java │ │ │ │ │ ├── AssignOperator.java │ │ │ │ │ ├── CPAContextSelector.java │ │ │ │ │ ├── ClassBasedInstanceKeys.java │ │ │ │ │ ├── CloneContextSelector.java │ │ │ │ │ ├── ConcreteTypeKey.java │ │ │ │ │ ├── ConstantKey.java │ │ │ │ │ ├── ContainerUtil.java │ │ │ │ │ ├── FilteredPointerKey.java │ │ │ │ │ ├── HeapModel.java │ │ │ │ │ ├── IPointerOperator.java │ │ │ │ │ ├── IPointsToSolver.java │ │ │ │ │ ├── InstanceFieldKey.java │ │ │ │ │ ├── InstanceFieldKeyWithFilter.java │ │ │ │ │ ├── InstanceFieldPointerKey.java │ │ │ │ │ ├── InstanceKey.java │ │ │ │ │ ├── InstanceKeyFactory.java │ │ │ │ │ ├── LocalPointerKey.java │ │ │ │ │ ├── LocalPointerKeyWithFilter.java │ │ │ │ │ ├── MultiNewArrayInNode.java │ │ │ │ │ ├── NodeKey.java │ │ │ │ │ ├── NormalAllocationInNode.java │ │ │ │ │ ├── PointerAnalysis.java │ │ │ │ │ ├── PointerAnalysisImpl.java │ │ │ │ │ ├── PointerKey.java │ │ │ │ │ ├── PointerKeyComparator.java │ │ │ │ │ ├── PointerKeyFactory.java │ │ │ │ │ ├── PointsToMap.java │ │ │ │ │ ├── PointsToSetVariable.java │ │ │ │ │ ├── PropagationCallGraphBuilder.java │ │ │ │ │ ├── PropagationGraph.java │ │ │ │ │ ├── PropagationSystem.java │ │ │ │ │ ├── ReceiverInstanceContext.java │ │ │ │ │ ├── ReceiverTypeContextSelector.java │ │ │ │ │ ├── ReflectionHandler.java │ │ │ │ │ ├── ReturnValueKey.java │ │ │ │ │ ├── ReturnValueKeyWithFilter.java │ │ │ │ │ ├── SSAContextInterpreter.java │ │ │ │ │ ├── SSAPropagationCallGraphBuilder.java │ │ │ │ │ ├── SelectiveCPAContext.java │ │ │ │ │ ├── SmushedAllocationSiteInNode.java │ │ │ │ │ ├── SmushedAllocationSiteInstanceKeys.java │ │ │ │ │ ├── StandardSolver.java │ │ │ │ │ ├── StaticFieldKey.java │ │ │ │ │ ├── StringConstantCharArray.java │ │ │ │ │ ├── TargetMethodContextSelector.java │ │ │ │ │ ├── UnarySideEffect.java │ │ │ │ │ ├── ZeroLengthArrayInNode.java │ │ │ │ │ ├── cfa │ │ │ │ │ │ ├── AllocationString.java │ │ │ │ │ │ ├── AllocationStringContext.java │ │ │ │ │ │ ├── CallString.java │ │ │ │ │ │ ├── CallStringContext.java │ │ │ │ │ │ ├── CallStringContextSelector.java │ │ │ │ │ │ ├── CallerContext.java │ │ │ │ │ │ ├── CallerContextPair.java │ │ │ │ │ │ ├── CallerSiteContext.java │ │ │ │ │ │ ├── CallerSiteContextPair.java │ │ │ │ │ │ ├── ContainerContextSelector.java │ │ │ │ │ │ ├── ContextInsensitiveSSAInterpreter.java │ │ │ │ │ │ ├── DefaultPointerKeyFactory.java │ │ │ │ │ │ ├── DefaultSSAInterpreter.java │ │ │ │ │ │ ├── DelegatingSSAContextInterpreter.java │ │ │ │ │ │ ├── ExceptionReturnValueKey.java │ │ │ │ │ │ ├── FallbackContextInterpreter.java │ │ │ │ │ │ ├── OneLevelSiteContextSelector.java │ │ │ │ │ │ ├── ZeroXCFABuilder.java │ │ │ │ │ │ ├── ZeroXContainerCFABuilder.java │ │ │ │ │ │ ├── ZeroXInstanceKeys.java │ │ │ │ │ │ ├── nCFABuilder.java │ │ │ │ │ │ ├── nCFAContextSelector.java │ │ │ │ │ │ ├── nObjBuilder.java │ │ │ │ │ │ ├── nObjContextSelector.java │ │ │ │ │ │ └── package-info.java │ │ │ │ │ ├── package-info.java │ │ │ │ │ └── rta │ │ │ │ │ │ ├── AbstractRTABuilder.java │ │ │ │ │ │ ├── BasicRTABuilder.java │ │ │ │ │ │ ├── CallSite.java │ │ │ │ │ │ ├── ContextInsensitiveRTAInterpreter.java │ │ │ │ │ │ ├── DefaultRTAInterpreter.java │ │ │ │ │ │ ├── DelegatingExplicitCallGraph.java │ │ │ │ │ │ ├── DelegatingRTAContextInterpreter.java │ │ │ │ │ │ ├── RTAContextInterpreter.java │ │ │ │ │ │ ├── RTASelectorKey.java │ │ │ │ │ │ ├── TypeBasedHeapModel.java │ │ │ │ │ │ ├── TypeBasedPointerAnalysis.java │ │ │ │ │ │ └── package-info.java │ │ │ │ ├── pruned │ │ │ │ │ ├── ApplicationLoaderPolicy.java │ │ │ │ │ ├── CallGraphPruning.java │ │ │ │ │ ├── DoNotPrune.java │ │ │ │ │ ├── PrunedCallGraph.java │ │ │ │ │ └── PruningPolicy.java │ │ │ │ └── util │ │ │ │ │ └── CallGraphSearchUtil.java │ │ │ ├── cfg │ │ │ │ ├── AbstractInterproceduralCFG.java │ │ │ │ ├── BasicBlockInContext.java │ │ │ │ ├── EdgeFilter.java │ │ │ │ ├── ExceptionPrunedCFG.java │ │ │ │ ├── ExplodedInterproceduralCFG.java │ │ │ │ ├── InterproceduralCFG.java │ │ │ │ ├── PrunedCFG.java │ │ │ │ ├── exceptionpruning │ │ │ │ │ ├── ExceptionFilter.java │ │ │ │ │ ├── ExceptionFilter2EdgeFilter.java │ │ │ │ │ ├── ExceptionMatcher.java │ │ │ │ │ ├── FilteredException.java │ │ │ │ │ ├── filter │ │ │ │ │ │ ├── ArrayOutOfBoundFilter.java │ │ │ │ │ │ ├── CombinedExceptionFilter.java │ │ │ │ │ │ ├── DummyFilter.java │ │ │ │ │ │ ├── IgnoreExceptionsFilter.java │ │ │ │ │ │ ├── NullPointerExceptionFilter.java │ │ │ │ │ │ └── package-info.java │ │ │ │ │ ├── interprocedural │ │ │ │ │ │ ├── ArrayOutOfBoundInterFilter.java │ │ │ │ │ │ ├── CombinedInterproceduralExceptionFilter.java │ │ │ │ │ │ ├── IgnoreExceptionsInterFilter.java │ │ │ │ │ │ ├── InterproceduralExceptionFilter.java │ │ │ │ │ │ ├── NullPointerExceptionInterFilter.java │ │ │ │ │ │ ├── StoringExceptionFilter.java │ │ │ │ │ │ └── package-info.java │ │ │ │ │ └── package-info.java │ │ │ │ └── package-info.java │ │ │ ├── cha │ │ │ │ ├── CancelCHAConstructionException.java │ │ │ │ ├── ClassHierarchy.java │ │ │ │ ├── ClassHierarchyException.java │ │ │ │ ├── ClassHierarchyFactory.java │ │ │ │ ├── ClassHierarchyStats.java │ │ │ │ ├── ClassHierarchyUtil.java │ │ │ │ ├── ClassHierarchyWarning.java │ │ │ │ ├── IClassHierarchy.java │ │ │ │ ├── IClassHierarchyDweller.java │ │ │ │ ├── SeqClassHierarchyFactory.java │ │ │ │ └── package-info.java │ │ │ ├── modref │ │ │ │ ├── ArrayLengthKey.java │ │ │ │ ├── DelegatingExtendedHeapModel.java │ │ │ │ ├── ExtendedHeapModel.java │ │ │ │ ├── GenReach.java │ │ │ │ ├── ModRef.java │ │ │ │ └── ModRefFieldAccess.java │ │ │ ├── slicer │ │ │ │ ├── Dependency.java │ │ │ │ ├── ExceptionalReturnCallee.java │ │ │ │ ├── ExceptionalReturnCaller.java │ │ │ │ ├── GetCaughtExceptionStatement.java │ │ │ │ ├── HeapExclusions.java │ │ │ │ ├── HeapReachingDefs.java │ │ │ │ ├── HeapStatement.java │ │ │ │ ├── ISDG.java │ │ │ │ ├── MethodEntryStatement.java │ │ │ │ ├── MethodExitStatement.java │ │ │ │ ├── NormalReturnCallee.java │ │ │ │ ├── NormalReturnCaller.java │ │ │ │ ├── NormalStatement.java │ │ │ │ ├── PDG.java │ │ │ │ ├── ParamCallee.java │ │ │ │ ├── ParamCaller.java │ │ │ │ ├── PhiStatement.java │ │ │ │ ├── PiStatement.java │ │ │ │ ├── ReachabilityFunctions.java │ │ │ │ ├── SDG.java │ │ │ │ ├── SDGSupergraph.java │ │ │ │ ├── SliceFunctions.java │ │ │ │ ├── Slicer.java │ │ │ │ ├── SlicerUtil.java │ │ │ │ ├── Statement.java │ │ │ │ ├── StatementWithInstructionIndex.java │ │ │ │ ├── ValueNumberCarrier.java │ │ │ │ └── thin │ │ │ │ │ ├── CISDG.java │ │ │ │ │ ├── CISlicer.java │ │ │ │ │ └── ThinSlicer.java │ │ │ └── summaries │ │ │ │ ├── BypassClassTargetSelector.java │ │ │ │ ├── BypassMethodTargetSelector.java │ │ │ │ ├── BypassSyntheticClass.java │ │ │ │ ├── BypassSyntheticClassLoader.java │ │ │ │ ├── LambdaMethodTargetSelector.java │ │ │ │ ├── LambdaSummaryClass.java │ │ │ │ ├── MethodBypass.java │ │ │ │ ├── MethodSummary.java │ │ │ │ ├── SummarizedMethod.java │ │ │ │ ├── SummarizedMethodWithNames.java │ │ │ │ ├── SyntheticIR.java │ │ │ │ ├── SyntheticIRFactory.java │ │ │ │ ├── VolatileMethodSummary.java │ │ │ │ ├── XMLMethodSummaryReader.java │ │ │ │ └── package-info.java │ │ │ ├── model │ │ │ ├── SyntheticFactory.java │ │ │ └── java │ │ │ │ └── lang │ │ │ │ ├── System.java │ │ │ │ ├── Thread.java │ │ │ │ └── reflect │ │ │ │ └── Array.java │ │ │ ├── properties │ │ │ ├── DefaultPropertiesValues.java │ │ │ └── WalaProperties.java │ │ │ ├── ssa │ │ │ ├── AllIntegerDueToBranchePiPolicy.java │ │ │ ├── AuxiliaryCache.java │ │ │ ├── CompoundPiPolicy.java │ │ │ ├── ConstantValue.java │ │ │ ├── DefUse.java │ │ │ ├── DefaultIRFactory.java │ │ │ ├── IAuxiliaryCache.java │ │ │ ├── IR.java │ │ │ ├── IRFactory.java │ │ │ ├── IRView.java │ │ │ ├── ISSABasicBlock.java │ │ │ ├── IVisitorWithAddresses.java │ │ │ ├── InstanceOfPiPolicy.java │ │ │ ├── NullTestPiPolicy.java │ │ │ ├── PhiValue.java │ │ │ ├── ReflectiveMemberAccess.java │ │ │ ├── SSAAbstractBinaryInstruction.java │ │ │ ├── SSAAbstractInvokeInstruction.java │ │ │ ├── SSAAbstractThrowInstruction.java │ │ │ ├── SSAAbstractUnaryInstruction.java │ │ │ ├── SSAAddressOfInstruction.java │ │ │ ├── SSAArrayLengthInstruction.java │ │ │ ├── SSAArrayLoadInstruction.java │ │ │ ├── SSAArrayReferenceInstruction.java │ │ │ ├── SSAArrayStoreInstruction.java │ │ │ ├── SSABinaryOpInstruction.java │ │ │ ├── SSABuilder.java │ │ │ ├── SSACFG.java │ │ │ ├── SSACache.java │ │ │ ├── SSACheckCastInstruction.java │ │ │ ├── SSAComparisonInstruction.java │ │ │ ├── SSAConditionalBranchInstruction.java │ │ │ ├── SSAConversionInstruction.java │ │ │ ├── SSAFieldAccessInstruction.java │ │ │ ├── SSAGetCaughtExceptionInstruction.java │ │ │ ├── SSAGetInstruction.java │ │ │ ├── SSAGotoInstruction.java │ │ │ ├── SSAIndirectionData.java │ │ │ ├── SSAInstanceofInstruction.java │ │ │ ├── SSAInstruction.java │ │ │ ├── SSAInstructionFactory.java │ │ │ ├── SSAInvokeDynamicInstruction.java │ │ │ ├── SSAInvokeInstruction.java │ │ │ ├── SSALoadIndirectInstruction.java │ │ │ ├── SSALoadMetadataInstruction.java │ │ │ ├── SSAMonitorInstruction.java │ │ │ ├── SSANewInstruction.java │ │ │ ├── SSAOptions.java │ │ │ ├── SSAPhiInstruction.java │ │ │ ├── SSAPiInstruction.java │ │ │ ├── SSAPiNodePolicy.java │ │ │ ├── SSAPutInstruction.java │ │ │ ├── SSAReturnInstruction.java │ │ │ ├── SSAStoreIndirectInstruction.java │ │ │ ├── SSASwitchInstruction.java │ │ │ ├── SSAThrowInstruction.java │ │ │ ├── SSAUnaryOpInstruction.java │ │ │ ├── ShrikeIndirectionData.java │ │ │ ├── SymbolTable.java │ │ │ ├── Value.java │ │ │ ├── analysis │ │ │ │ ├── DeadAssignmentElimination.java │ │ │ │ ├── ExplodedControlFlowGraph.java │ │ │ │ ├── IExplodedBasicBlock.java │ │ │ │ └── package-info.java │ │ │ └── package-info.java │ │ │ └── types │ │ │ ├── ClassLoaderReference.java │ │ │ ├── Descriptor.java │ │ │ ├── FieldReference.java │ │ │ ├── MemberReference.java │ │ │ ├── MethodReference.java │ │ │ ├── Selector.java │ │ │ ├── TypeName.java │ │ │ ├── TypeReference.java │ │ │ ├── annotations │ │ │ ├── Annotation.java │ │ │ ├── Annotations.java │ │ │ └── TypeAnnotation.java │ │ │ ├── generics │ │ │ ├── ArrayTypeSignature.java │ │ │ ├── BaseType.java │ │ │ ├── ClassSignature.java │ │ │ ├── ClassTypeSignature.java │ │ │ ├── FormalTypeParameter.java │ │ │ ├── MethodTypeSignature.java │ │ │ ├── Signature.java │ │ │ ├── TypeArgument.java │ │ │ ├── TypeSignature.java │ │ │ └── TypeVariableSignature.java │ │ │ └── package-info.java │ └── resources │ │ ├── .gitignore │ │ ├── J2SEClassHierarchyExclusions.txt │ │ ├── Java60RegressionExclusions.txt │ │ ├── Java60RegressionExclusionsForGUI.txt │ │ ├── SyntheticJ2SEModel.txt │ │ ├── WalaUtilMessages.properties │ │ ├── codetemplates.xml │ │ ├── dictionary.txt │ │ ├── formatter.xml │ │ ├── log.properties │ │ ├── natives.xml │ │ ├── natives_no_model.xml │ │ ├── primordial-base.txt │ │ ├── primordial.jar.model │ │ ├── primordial.txt │ │ └── wala.properties.sample │ ├── test │ ├── java │ │ └── com │ │ │ └── ibm │ │ │ └── wala │ │ │ ├── core │ │ │ └── tests │ │ │ │ ├── arraybounds │ │ │ │ ├── ArrayboundsAnalysisTest.java │ │ │ │ ├── EqualTo.java │ │ │ │ └── PruneArrayOutOfBoundExceptionEdge.java │ │ │ │ ├── basic │ │ │ │ ├── ExtensionGraphTest.java │ │ │ │ ├── FloydWarshallTest.java │ │ │ │ ├── GraphDataflowTest.java │ │ │ │ ├── OrdinalSetTest.java │ │ │ │ ├── PathFinderTest.java │ │ │ │ ├── PrimitivesTest.java │ │ │ │ └── WelshPowellTest.java │ │ │ │ ├── callGraph │ │ │ │ ├── AcyclicCallGraphTest.java │ │ │ │ ├── CHACallGraphTest.java │ │ │ │ ├── CPATest.java │ │ │ │ ├── CallGraphTest.java │ │ │ │ ├── ClassConstantTest.java │ │ │ │ ├── CloneTest.java │ │ │ │ ├── DebuggingBitsetCallGraphTest.java │ │ │ │ ├── DefaultMethodsTest.java │ │ │ │ ├── FinalizerTest.java │ │ │ │ ├── Java7CallGraphTest.java │ │ │ │ ├── KawaCallGraphTest.java │ │ │ │ ├── LambdaTest.java │ │ │ │ ├── LibModelsTest.java │ │ │ │ ├── PiNodeCallGraphTest.java │ │ │ │ ├── ReflectionTest.java │ │ │ │ ├── StaticInterfaceMethodTest.java │ │ │ │ └── SyntheticTest.java │ │ │ │ ├── cfg │ │ │ │ └── exc │ │ │ │ │ ├── inter │ │ │ │ │ └── NullPointerExceptionInterTest.java │ │ │ │ │ └── intra │ │ │ │ │ └── NullPointerExceptionIntraTest.java │ │ │ │ ├── cha │ │ │ │ ├── AnalysisScopeTest.java │ │ │ │ ├── CodeDeletedTest.java │ │ │ │ ├── DupFieldsTest.java │ │ │ │ ├── ExclusionsTest.java │ │ │ │ ├── GetTargetsTest.java │ │ │ │ ├── InnerClassesTest.java │ │ │ │ ├── InterfaceTest.java │ │ │ │ ├── JunitEntrypointSupportTest.java │ │ │ │ ├── LibraryVersionTest.java │ │ │ │ ├── MissingMethodRefTest.java │ │ │ │ ├── MissingSuperTest.java │ │ │ │ └── SourceMapTest.java │ │ │ │ ├── collections │ │ │ │ ├── SemiSparseMutableIntSetTest.java │ │ │ │ └── TwoLevelVectorTest.java │ │ │ │ ├── demandpa │ │ │ │ ├── AbstractPtrTest.java │ │ │ │ ├── ContextSensitiveTest.java │ │ │ │ ├── IntraprocTest.java │ │ │ │ ├── NoRefinePtrTest.java │ │ │ │ ├── OnTheFlyPtrTest.java │ │ │ │ ├── RefineFieldsPtrTest.java │ │ │ │ ├── TestInfo.java │ │ │ │ └── TunedRefinementTest.java │ │ │ │ ├── exceptionpruning │ │ │ │ ├── ExceptionAnalysis2EdgeFilterTest.java │ │ │ │ └── ExceptionAnalysisTest.java │ │ │ │ ├── ir │ │ │ │ ├── CFGSanitizerTest.java │ │ │ │ ├── CFGTest.java │ │ │ │ ├── CornerCasesTest.java │ │ │ │ ├── DeterministicIRTest.java │ │ │ │ ├── JVMLAnnotationTest.java │ │ │ │ ├── LocalNamesTest.java │ │ │ │ ├── MultiNewArrayTest.java │ │ │ │ └── TypeAnnotationTest.java │ │ │ │ ├── jdk11 │ │ │ │ ├── nestmates │ │ │ │ │ └── NestmatesTest.java │ │ │ │ ├── privateInterfaceMethods │ │ │ │ │ └── PrivateInterfaceMethodsTest.java │ │ │ │ └── stringConcat │ │ │ │ │ └── JDK11StringConcatTest.java │ │ │ │ ├── ptrs │ │ │ │ ├── MultiDimArrayTest.java │ │ │ │ ├── ObjectSensitiveTest.java │ │ │ │ ├── TypeBasedArrayAliasTest.java │ │ │ │ └── ZeroLengthArrayTest.java │ │ │ │ ├── shrike │ │ │ │ ├── DynamicCallGraphTest.java │ │ │ │ └── FloatingPointsTest.java │ │ │ │ ├── slicer │ │ │ │ └── SlicerTest.java │ │ │ │ ├── typeInference │ │ │ │ └── TypeInferenceTest.java │ │ │ │ └── typeargument │ │ │ │ └── TypeArgumentTest.java │ │ │ ├── demandpa │ │ │ └── driver │ │ │ │ ├── CompareToZeroOneCFADriver.java │ │ │ │ ├── TestAgainstSimpleDriver.java │ │ │ │ └── WalaUtil.java │ │ │ ├── examples │ │ │ └── analysis │ │ │ │ ├── ConstructAllIRs.java │ │ │ │ ├── CountParameters.java │ │ │ │ ├── GetLoadedFields.java │ │ │ │ ├── SimpleThreadEscapeAnalysis.java │ │ │ │ └── dataflow │ │ │ │ ├── DataflowTest.java │ │ │ │ └── InitializerTest.java │ │ │ ├── types │ │ │ └── generics │ │ │ │ ├── MethodTypeSignatureTest.java │ │ │ │ └── TypeSignatureTest.java │ │ │ └── util │ │ │ └── io │ │ │ └── FileProviderTest.java │ └── resources │ │ ├── GUICorbaExclusions.txt │ │ ├── GUIExclusions.txt │ │ ├── ShrikeTestExclusions.txt │ │ ├── base.txt │ │ ├── baseAndDesktop.txt │ │ ├── hello.txt │ │ ├── ocaml_compr.txt │ │ ├── ocaml_hello_hash.txt │ │ ├── wala.examples.properties │ │ ├── wala.examples.properties.sample │ │ └── wala.testdata.txt │ ├── testFixtures │ ├── java │ │ └── com │ │ │ └── ibm │ │ │ └── wala │ │ │ ├── classLoader │ │ │ ├── ShrikeClassCondition.java │ │ │ └── ThrowingPredicate.java │ │ │ ├── core │ │ │ └── tests │ │ │ │ ├── ir │ │ │ │ └── AnnotationTest.java │ │ │ │ ├── shrike │ │ │ │ └── DynamicCallGraphTestBase.java │ │ │ │ └── util │ │ │ │ └── WalaTestCase.java │ │ │ └── ipa │ │ │ └── cha │ │ │ └── IClassHierarchyConditions.java │ └── resources │ │ ├── JLex.txt │ │ ├── bcel.txt │ │ └── java_cup.txt │ └── testSubjects │ └── java │ ├── annotations │ ├── AnnotatedClass1.java │ ├── AnnotatedClass2.java │ ├── AnnotatedClass3.java │ ├── AnnotatedClass4.java │ ├── AnnotationEnum.java │ ├── AnnotationWithParams.java │ ├── AnnotationWithSingleParam.java │ ├── DefaultVisibleAnnotation.java │ ├── ParameterAnnotations1.java │ ├── RuntimeInvisibleAnnotation.java │ ├── RuntimeInvisibleAnnotation2.java │ ├── RuntimeInvisibleAnnotationForMethod.java │ ├── RuntimeVisibleAnnotation.java │ ├── RuntimeVisibleAnnotation2.java │ ├── RuntimeVisibleAnnotationForMethod.java │ ├── TypeAnnotatedClass1.java │ ├── TypeAnnotatedClass2.java │ └── TypeAnnotationTypeUse.java │ ├── arrayAlias │ ├── TestArrayAlias.java │ └── TestZeroLengthArray.java │ ├── arraybounds │ ├── Detectable.java │ ├── NotDetectable.java │ └── NotInBound.java │ ├── bug144 │ └── A.java │ ├── cell │ └── Cell.java │ ├── cfg │ ├── MonitorTest.java │ └── exc │ │ ├── inter │ │ └── CallFieldAccess.java │ │ └── intra │ │ ├── B.java │ │ ├── FieldAccess.java │ │ └── FieldAccessDynamic.java │ ├── classConstant │ └── ClassConstant.java │ ├── cornerCases │ ├── Abstract1.java │ ├── Abstract2.java │ ├── AliasNames.java │ ├── Concrete2.java │ ├── Locals.java │ ├── Main.java │ ├── TryFinally.java │ └── YuckyInterface.java │ ├── cpa │ ├── CPATest1.java │ └── CPATest2.java │ ├── dataflow │ └── StaticDataflow.java │ ├── defaultMethods │ ├── DefaultMethods.java │ ├── Interface1.java │ └── Interface2.java │ ├── demandpa │ ├── A.java │ ├── ArraySet.java │ ├── B.java │ ├── DemandPATestUtil.java │ ├── DummyHashMap.java │ ├── DummyHashSet.java │ ├── DummyLinkedList.java │ ├── FlowsToTestArraySetIter.java │ ├── FlowsToTestFields.java │ ├── FlowsToTestFieldsHarder.java │ ├── FlowsToTestHashSet.java │ ├── FlowsToTestId.java │ ├── FlowsToTestLocals.java │ ├── FlowsToType.java │ ├── Iter.java │ ├── TestArrayList.java │ ├── TestArraySet.java │ ├── TestArraySetIter.java │ ├── TestArrays.java │ ├── TestArraysCopyOf.java │ ├── TestClone.java │ ├── TestCond.java │ ├── TestException.java │ ├── TestFactory.java │ ├── TestFields.java │ ├── TestFieldsHarder.java │ ├── TestGetterSetter.java │ ├── TestGlobal.java │ ├── TestHashMapGet.java │ ├── TestHashSet.java │ ├── TestHashtableEnum.java │ ├── TestId.java │ ├── TestLinkedList.java │ ├── TestLinkedListIter.java │ ├── TestLocals.java │ ├── TestMethodRecursion.java │ ├── TestMultiDim.java │ ├── TestNastyPtrs.java │ ├── TestOnTheFlyCS.java │ ├── TestOnTheFlySimple.java │ └── TestWithinMethodCall.java │ ├── dynamicCG │ ├── CallbacksMainClass.java │ ├── ExtraClass.java │ └── MainClass.java │ ├── exceptionpruning │ ├── OwnException.java │ └── TestPruning.java │ ├── finalizers │ └── Finalizers.java │ ├── hello │ └── Hello.java │ ├── inner │ ├── TestInner.java │ └── TestStaticInner.java │ ├── junit │ └── JunitTests.java │ ├── lambda │ ├── CallMetaFactory.java │ ├── LambdaAndAnonymous.java │ ├── MethodRefs.java │ ├── ParamsAndCapture.java │ └── SortingExample.java │ ├── libmodels │ └── LibModels.java │ ├── messageFormatTest │ └── MessageFormatBench.java │ ├── methodLookup │ └── MethodLookupStuff.java │ ├── multiDim │ └── TestMultiDim.java │ ├── multiTypes │ └── Foo.java │ ├── nestmates │ ├── Outer.java │ └── TestNestmates.java │ ├── objSensitive │ ├── A.java │ ├── B.java │ ├── C.java │ ├── TestObjSensitive1.java │ └── TestObjSensitive2.java │ ├── pi │ └── PiNodeCallGraphTestCase.java │ ├── privateInterfaceMethods │ ├── PrivateInterface.java │ └── testArrayReturn │ │ ├── ReturnArray.java │ │ └── TestArrayReturn.java │ ├── recurse │ └── NList.java │ ├── reflection │ ├── ForNameThrownExceptions.java │ ├── GetMethodContext.java │ ├── Helper.java │ ├── Reflect1.java │ ├── Reflect10.java │ ├── Reflect11.java │ ├── Reflect12.java │ ├── Reflect13.java │ ├── Reflect14.java │ ├── Reflect15.java │ ├── Reflect16.java │ ├── Reflect17.java │ ├── Reflect18.java │ ├── Reflect19.java │ ├── Reflect2.java │ ├── Reflect20.java │ ├── Reflect21.java │ ├── Reflect22.java │ ├── Reflect23.java │ ├── Reflect24.java │ ├── Reflect3.java │ ├── Reflect4.java │ ├── Reflect5.java │ ├── Reflect6.java │ ├── Reflect7.java │ ├── Reflect8.java │ └── Reflect9.java │ ├── shrike │ ├── FloatingPoints.java │ └── StackMaps.java │ ├── simple │ └── Example.java │ ├── slice │ ├── A.java │ ├── B.java │ ├── JustThrow.java │ ├── Slice1.java │ ├── Slice2.java │ ├── Slice3.java │ ├── Slice4.java │ ├── Slice5.java │ ├── Slice6.java │ ├── Slice7.java │ ├── Slice8.java │ ├── Slice9.java │ ├── TestArrays.java │ ├── TestCD1.java │ ├── TestCD2.java │ ├── TestCD3.java │ ├── TestCD4.java │ ├── TestCD5.java │ ├── TestCD6.java │ ├── TestFields.java │ ├── TestGlobal.java │ ├── TestId.java │ ├── TestInetAddr.java │ ├── TestIntegerValueOf.java │ ├── TestList.java │ ├── TestListIterator.java │ ├── TestMessageFormat.java │ ├── TestMultiTarget.java │ ├── TestPrimGetterSetter.java │ ├── TestPrimGetterSetter2.java │ ├── TestRecursion.java │ ├── TestThin1.java │ └── TestThrowCatch.java │ ├── special │ └── A.java │ ├── staticInit │ ├── TestStaticInit.java │ ├── TestStaticInitOrder.java │ └── TestSystemProperties.java │ ├── staticInterfaceMethod │ └── InterfaceWithStaticMethod.java │ ├── string │ └── SimpleStringOps.java │ ├── stringConcat │ └── StringConcat.java │ └── typeInference │ └── TI.java ├── dalvik ├── .settings │ ├── org.eclipse.jdt.core.prefs │ ├── org.eclipse.jdt.launching.prefs │ ├── org.eclipse.jdt.ui.prefs │ ├── org.eclipse.pde.prefs │ └── org.eclipse.wst.validation.prefs ├── README ├── StringTest.apk ├── apkCGBuilder.xml ├── build.gradle.kts ├── gradle.properties ├── models │ ├── ActivityModel.apk │ └── src │ │ └── ActivityModelActivity.java └── src │ ├── logback.xml │ ├── main │ └── java │ │ └── com │ │ └── ibm │ │ └── wala │ │ └── dalvik │ │ ├── analysis │ │ └── typeInference │ │ │ ├── DalvikTypeInference.java │ │ │ └── DalvikTypeVariable.java │ │ ├── classLoader │ │ ├── DexCFG.java │ │ ├── DexConstants.java │ │ ├── DexFileModule.java │ │ ├── DexIClass.java │ │ ├── DexIContextInterpreter.java │ │ ├── DexIField.java │ │ ├── DexIMethod.java │ │ ├── DexIRFactory.java │ │ ├── DexModuleEntry.java │ │ ├── DexUtil.java │ │ ├── InstructionArray.java │ │ ├── Literal.java │ │ └── WDexClassLoaderImpl.java │ │ ├── dex │ │ ├── instructions │ │ │ ├── ArrayFill.java │ │ │ ├── ArrayGet.java │ │ │ ├── ArrayLength.java │ │ │ ├── ArrayPut.java │ │ │ ├── BinaryLiteralOperation.java │ │ │ ├── BinaryOperation.java │ │ │ ├── Branch.java │ │ │ ├── CheckCast.java │ │ │ ├── Constant.java │ │ │ ├── GetField.java │ │ │ ├── Goto.java │ │ │ ├── InstanceOf.java │ │ │ ├── Instruction.java │ │ │ ├── Invoke.java │ │ │ ├── Monitor.java │ │ │ ├── New.java │ │ │ ├── NewArray.java │ │ │ ├── NewArrayFilled.java │ │ │ ├── PackedSwitchPad.java │ │ │ ├── PutField.java │ │ │ ├── Return.java │ │ │ ├── SparseSwitchPad.java │ │ │ ├── Switch.java │ │ │ ├── SwitchPad.java │ │ │ ├── Throw.java │ │ │ └── UnaryOperation.java │ │ └── util │ │ │ └── config │ │ │ └── DexAnalysisScopeReader.java │ │ ├── ipa │ │ └── callgraph │ │ │ ├── androidModel │ │ │ ├── AndroidModel.java │ │ │ ├── AndroidModelClass.java │ │ │ ├── IntentModel.java │ │ │ ├── MicroModel.java │ │ │ ├── MiniModel.java │ │ │ ├── package-info.java │ │ │ ├── parameters │ │ │ │ ├── AndroidModelParameterManager.java │ │ │ │ ├── DefaultInstantiationBehavior.java │ │ │ │ ├── FlatInstantiator.java │ │ │ │ ├── IInstantiationBehavior.java │ │ │ │ ├── Instantiator.java │ │ │ │ ├── LoadedInstantiationBehavior.java │ │ │ │ ├── ReuseParameters.java │ │ │ │ ├── SpecializedInstantiator.java │ │ │ │ └── package-info.java │ │ │ ├── structure │ │ │ │ ├── AbstractAndroidModel.java │ │ │ │ ├── LoopAndroidModel.java │ │ │ │ ├── LoopKillAndroidModel.java │ │ │ │ ├── SequentialAndroidModel.java │ │ │ │ ├── SingleStartAndroidModel.java │ │ │ │ └── package-info.java │ │ │ └── stubs │ │ │ │ ├── AndroidBoot.java │ │ │ │ ├── AndroidStartComponentTool.java │ │ │ │ ├── ExternalModel.java │ │ │ │ ├── Overrides.java │ │ │ │ ├── SystemServiceModel.java │ │ │ │ ├── UnknownTargetModel.java │ │ │ │ └── package-info.java │ │ │ ├── impl │ │ │ ├── AndroidEntryPoint.java │ │ │ └── DexEntryPoint.java │ │ │ └── propagation │ │ │ └── cfa │ │ │ ├── AndroidContext.java │ │ │ ├── Intent.java │ │ │ ├── IntentContext.java │ │ │ ├── IntentContextInterpreter.java │ │ │ ├── IntentContextSelector.java │ │ │ ├── IntentMap.java │ │ │ ├── IntentStarters.java │ │ │ └── package-info.java │ │ ├── ssa │ │ ├── AbstractIntRegisterMachine.java │ │ └── DexSSABuilder.java │ │ └── util │ │ ├── AndroidAnalysisScope.java │ │ ├── AndroidComponent.java │ │ ├── AndroidEntryPointLocator.java │ │ ├── AndroidEntryPointManager.java │ │ ├── AndroidManifestXMLReader.java │ │ ├── AndroidPreFlightChecks.java │ │ ├── AndroidSettingFactory.java │ │ ├── AndroidTypes.java │ │ ├── androidEntryPoints │ │ ├── ActivityEP.java │ │ ├── ApplicationEP.java │ │ ├── FragmentEP.java │ │ ├── LoaderCB.java │ │ ├── LocationEP.java │ │ ├── ProviderEP.java │ │ ├── ServiceEP.java │ │ ├── TODO │ │ └── package-info.java │ │ └── package-info.java │ └── test │ ├── java │ └── com │ │ └── ibm │ │ └── wala │ │ └── dalvik │ │ ├── drivers │ │ └── APKCallGraphDriver.java │ │ └── test │ │ ├── callGraph │ │ ├── DalvikCallGraphTestBase.java │ │ ├── DroidBenchCGTest.java │ │ ├── DynamicDalvikComparisonJavaLibsTest.java │ │ ├── DynamicDalvikComparisonTest.java │ │ ├── DynamicDalvikComparisonTestForAndroidLibs.java │ │ ├── JVMLDalvikComparisonTest.java │ │ └── droidbench │ │ │ ├── AliasingTest.java │ │ │ ├── AndroidSpecificTest.java │ │ │ ├── ArraysAndListsTest.java │ │ │ ├── CallbacksTest.java │ │ │ ├── EmulatorDetectionTest.java │ │ │ ├── FieldAndObjectSensitivityTest.java │ │ │ ├── GeneralJavaTest.java │ │ │ ├── ImplicitFlowsTest.java │ │ │ ├── InterAppCommunicationTest.java │ │ │ ├── InterComponentCommunicationTest.java │ │ │ ├── LifecycleTest.java │ │ │ ├── ReflectionTest.java │ │ │ └── ThreadingTest.java │ │ ├── cha │ │ └── MultiDexScopeTest.java │ │ ├── ir │ │ └── DalvikAnnotationsTest.java │ │ └── util │ │ └── Util.java │ └── resources │ ├── AndroidRegressionExclusions.txt │ ├── LibraryExclusions.txt │ └── multidex-test.apk ├── foojay-resolver-convention-version.txt ├── generate-latest-docs.sh ├── gradle.properties ├── gradle ├── libs.versions.toml └── wrapper │ ├── gradle-wrapper.jar │ └── gradle-wrapper.properties ├── gradlew ├── gradlew.bat ├── ide ├── .settings │ ├── org.eclipse.jdt.core.prefs │ ├── org.eclipse.jdt.launching.prefs │ ├── org.eclipse.jdt.ui.prefs │ ├── org.eclipse.pde.prefs │ └── org.eclipse.wst.validation.prefs ├── build.gradle.kts ├── build.properties ├── jdt │ ├── .settings │ │ ├── org.eclipse.jdt.core.prefs │ │ ├── org.eclipse.jdt.ui.prefs │ │ ├── org.eclipse.pde.prefs │ │ └── org.eclipse.wst.validation.prefs │ ├── build.gradle.kts │ ├── build.properties │ └── src │ │ └── main │ │ └── java │ │ └── com │ │ └── ibm │ │ └── wala │ │ ├── cast │ │ └── java │ │ │ ├── client │ │ │ └── JDTJavaSourceAnalysisEngine.java │ │ │ └── translator │ │ │ └── jdt │ │ │ ├── JDTClassLoaderFactory.java │ │ │ ├── JDTSourceLoaderImpl.java │ │ │ └── JDTSourceModuleTranslator.java │ │ ├── eclipse │ │ └── headless │ │ │ └── Main.java │ │ └── ide │ │ ├── AbstractJavaAnalysisAction.java │ │ ├── jdt │ │ └── Activator.java │ │ └── util │ │ ├── ASTNodeFinder.java │ │ ├── JavaEclipseProjectPath.java │ │ ├── JdtPosition.java │ │ └── JdtUtil.java ├── jsdt │ ├── .settings │ │ ├── org.eclipse.jdt.core.prefs │ │ ├── org.eclipse.jdt.ui.prefs │ │ ├── org.eclipse.pde.prefs │ │ └── org.eclipse.wst.validation.prefs │ ├── build.gradle.kts │ ├── build.properties │ ├── src │ │ └── main │ │ │ └── java │ │ │ └── com │ │ │ └── ibm │ │ │ └── wala │ │ │ ├── cast │ │ │ └── js │ │ │ │ └── client │ │ │ │ ├── EclipseJavaScriptAnalysisEngine.java │ │ │ │ └── EclipseWebAnalysisEngine.java │ │ │ └── ide │ │ │ ├── jsdt │ │ │ └── Activator.java │ │ │ └── util │ │ │ ├── EclipseWebProjectPath.java │ │ │ ├── JavaScriptEclipseProjectPath.java │ │ │ ├── JavaScriptHeadlessUtil.java │ │ │ └── JsdtUtil.java │ └── tests │ │ ├── .settings │ │ ├── org.eclipse.jdt.core.prefs │ │ ├── org.eclipse.jdt.ui.prefs │ │ ├── org.eclipse.pde.prefs │ │ └── org.eclipse.wst.validation.prefs │ │ ├── build.gradle.kts │ │ ├── build.properties │ │ ├── launchers │ │ ├── JSProjectScopeTest.launch │ │ └── com.ibm.wala.ide.jsdt.tests.launch │ │ └── src │ │ └── test │ │ ├── java │ │ └── com │ │ │ └── ibm │ │ │ └── wala │ │ │ └── ide │ │ │ └── jsdt │ │ │ └── tests │ │ │ ├── AbstractJSProjectScopeTest.java │ │ │ ├── Activator.java │ │ │ └── JSProjectScopeTest.java │ │ └── resources │ │ └── test_js_project.zip ├── plugin.properties ├── src │ └── main │ │ └── java │ │ └── com │ │ └── ibm │ │ └── wala │ │ └── ide │ │ ├── classloader │ │ ├── EclipseSourceDirectoryTreeModule.java │ │ └── EclipseSourceFileModule.java │ │ ├── client │ │ ├── EclipseProjectAnalysisEngine.java │ │ └── EclipseProjectSourceAnalysisEngine.java │ │ ├── plugin │ │ └── CorePlugin.java │ │ ├── ui │ │ ├── AbstractJFaceRunner.java │ │ ├── IFDSExplorer.java │ │ ├── SWTTreeViewer.java │ │ ├── ViewIFDSLocalAction.java │ │ └── ViewIRAction.java │ │ └── util │ │ ├── EclipseAnalysisScopeReader.java │ │ ├── EclipseFileProvider.java │ │ ├── EclipseProjectPath.java │ │ ├── HeadlessUtil.java │ │ └── ProgressMonitorDelegate.java └── tests │ ├── .settings │ ├── org.eclipse.jdt.core.prefs │ ├── org.eclipse.jdt.ui.prefs │ ├── org.eclipse.pde.prefs │ └── org.eclipse.wst.validation.prefs │ ├── build.gradle.kts │ ├── build.properties │ ├── launchers │ ├── IFDSExplorerExample.launch │ ├── SWTCallGraph.launch │ ├── SWTPointsTo.launch │ └── SWTTypeHierarchy.launch │ ├── plugin.properties │ ├── plugin.xml │ └── src │ ├── test │ └── java │ │ └── com │ │ └── ibm │ │ └── wala │ │ ├── examples │ │ └── drivers │ │ │ ├── IFDSExplorerExample.java │ │ │ ├── SWTCallGraph.java │ │ │ ├── SWTPointsTo.java │ │ │ └── SWTTypeHierarchy.java │ │ └── ide │ │ ├── test │ │ └── Activator.java │ │ └── tests │ │ └── SWTTreeViewerTest.java │ └── testFixtures │ └── java │ └── com │ └── ibm │ └── wala │ └── ide │ └── tests │ └── util │ └── EclipseTestUtil.java ├── requirements.txt ├── run-time-trials ├── scandroid ├── .settings │ ├── org.eclipse.jdt.core.prefs │ ├── org.eclipse.jdt.ui.prefs │ ├── org.eclipse.pde.prefs │ └── org.eclipse.wst.validation.prefs ├── build.gradle.kts ├── gradle.properties └── src │ └── main │ └── java │ └── org │ └── scandroid │ ├── domain │ ├── CodeElement.java │ ├── DomainElement.java │ ├── FieldElement.java │ ├── IFDSTaintDomain.java │ ├── InstanceKeyElement.java │ ├── LocalElement.java │ ├── ReturnElement.java │ └── StaticFieldElement.java │ ├── flow │ ├── FlowAnalysis.java │ ├── ISinkPoint.java │ ├── InflowAnalysis.java │ ├── LocalSinkPoint.java │ ├── OutflowAnalysis.java │ ├── StaticFieldSinkPoint.java │ ├── functions │ │ ├── CallFlowFunction.java │ │ ├── CallNoneToReturnFunction.java │ │ ├── CallToReturnFunction.java │ │ ├── ConstantFlowFunction.java │ │ ├── GlobalIdentityFunction.java │ │ ├── GlobalReturnToNodeFunction.java │ │ ├── IDTransferFunctions.java │ │ ├── IFDSTaintFlowFunctionProvider.java │ │ ├── PairBasedFlowFunction.java │ │ ├── ReturnFlowFunction.java │ │ ├── TaintTransferFunctions.java │ │ ├── TracingFlowFunction.java │ │ └── UseDefPair.java │ └── types │ │ ├── FieldFlow.java │ │ ├── FlowType.java │ │ ├── IKFlow.java │ │ ├── ParameterFlow.java │ │ ├── ReturnFlow.java │ │ └── StaticFieldFlow.java │ ├── model │ └── AppModelMethod.java │ ├── prefixtransfer │ ├── BlockSearch.java │ ├── InstanceKeySite.java │ ├── PrefixTransferFunction.java │ ├── PrefixTransferFunctionProvider.java │ ├── PrefixTransferGraph.java │ ├── PrefixVariable.java │ ├── StringBuilderUseAnalysis.java │ ├── UriPrefixContextSelector.java │ ├── UriPrefixTransferGraph.java │ └── modeledAllocations │ │ ├── ConstantString.java │ │ ├── StringToLower.java │ │ ├── UriAppendString.java │ │ └── UriParseString.java │ ├── spec │ ├── AndroidSpecs.java │ ├── CallArgSinkSpec.java │ ├── CallArgSourceSpec.java │ ├── CallRetSourceSpec.java │ ├── EntryArgSinkSpec.java │ ├── EntryArgSourceSpec.java │ ├── EntryRetSinkSpec.java │ ├── FieldNamePattern.java │ ├── ISinkSpec.java │ ├── ISourceSpec.java │ ├── ISpecs.java │ ├── MethodNamePattern.java │ ├── ResolveSpec.java │ ├── SinkSpec.java │ ├── SourceSpec.java │ ├── SpecUtils.java │ ├── StaticFieldSinkSpec.java │ ├── StaticFieldSourceSpec.java │ └── StaticSpecs.java │ ├── synthmethod │ ├── DefaultSCanDroidOptions.java │ ├── SSASerializationException.java │ ├── SSAtoXMLVisitor.java │ └── XMLSummaryWriter.java │ └── util │ ├── AndroidAnalysisContext.java │ ├── CGAnalysisContext.java │ ├── CLISCanDroidOptions.java │ ├── DexDotUtil.java │ ├── EmptyProgressMonitor.java │ ├── EntryPoints.java │ ├── IEntryPointSpecifier.java │ ├── ISCanDroidOptions.java │ ├── LoaderUtils.java │ └── ThrowingSSAInstructionVisitor.java ├── settings.gradle.kts ├── shrike ├── .settings │ ├── org.eclipse.jdt.core.prefs │ ├── org.eclipse.jdt.launching.prefs │ ├── org.eclipse.jdt.ui.prefs │ ├── org.eclipse.pde.prefs │ └── org.eclipse.wst.validation.prefs ├── build.gradle.kts ├── gradle.properties ├── javaCompiler...args ├── manifest.cg ├── manifest.codescrape ├── releng │ └── versionMap-1.0.0.txt └── src │ └── main │ └── java │ └── com │ └── ibm │ └── wala │ └── shrike │ ├── bench │ ├── AddBytecodeDebug.java │ ├── Bench.java │ ├── InterfaceAnalyzer.java │ ├── Mangler.java │ ├── Slots.java │ └── Statistics.java │ ├── cg │ ├── OfflineDynamicCallGraph.java │ ├── OnlineDynamicCallGraph.java │ └── Runtime.java │ ├── copywriter │ └── CopyWriter.java │ ├── instrumentation │ └── CodeScraper.java │ ├── shrikeBT │ ├── ArrayLengthInstruction.java │ ├── ArrayLoadInstruction.java │ ├── ArrayStoreInstruction.java │ ├── BinaryOpInstruction.java │ ├── BytecodeConstants.java │ ├── CheckCastInstruction.java │ ├── ComparisonInstruction.java │ ├── Compiler.java │ ├── ConditionalBranchInstruction.java │ ├── ConstantInstruction.java │ ├── ConstantPoolReader.java │ ├── Constants.java │ ├── ConversionInstruction.java │ ├── Decoder.java │ ├── Disassembler.java │ ├── DupInstruction.java │ ├── ExceptionHandler.java │ ├── GetInstruction.java │ ├── GotoInstruction.java │ ├── IArrayLoadInstruction.java │ ├── IArrayStoreInstruction.java │ ├── IBinaryOpInstruction.java │ ├── IComparisonInstruction.java │ ├── IConditionalBranchInstruction.java │ ├── IConversionInstruction.java │ ├── IGetInstruction.java │ ├── IInstanceofInstruction.java │ ├── IInstruction.java │ ├── IInvokeInstruction.java │ ├── ILoadIndirectInstruction.java │ ├── ILoadInstruction.java │ ├── IMemoryOperation.java │ ├── IPutInstruction.java │ ├── IShiftInstruction.java │ ├── IStoreIndirectInstruction.java │ ├── IStoreInstruction.java │ ├── ITypeTestInstruction.java │ ├── IUnaryOpInstruction.java │ ├── IndirectionData.java │ ├── InstanceofInstruction.java │ ├── Instruction.java │ ├── InvokeDynamicInstruction.java │ ├── InvokeInstruction.java │ ├── LoadInstruction.java │ ├── MethodData.java │ ├── MethodEditor.java │ ├── MonitorInstruction.java │ ├── NewInstruction.java │ ├── PopInstruction.java │ ├── PutInstruction.java │ ├── ReturnInstruction.java │ ├── ShiftInstruction.java │ ├── StoreInstruction.java │ ├── SwapInstruction.java │ ├── SwitchInstruction.java │ ├── ThrowInstruction.java │ ├── UnaryOpInstruction.java │ ├── Util.java │ ├── analysis │ │ ├── Analyzer.java │ │ ├── ClassHierarchy.java │ │ ├── ClassHierarchyProvider.java │ │ ├── ClassHierarchyStore.java │ │ └── Verifier.java │ ├── info │ │ ├── InstructionTypeCounter.java │ │ ├── LocalAllocator.java │ │ └── ThisAssignmentChecker.java │ ├── shrikeCT │ │ ├── CTCompiler.java │ │ ├── CTDecoder.java │ │ ├── CTUtils.java │ │ ├── ClassInstrumenter.java │ │ ├── OfflineInstrumenter.java │ │ └── tools │ │ │ ├── AddSerialVersion.java │ │ │ ├── BatchVerifier.java │ │ │ ├── BootstrapDumper.java │ │ │ ├── BootstrapInstrumentor.java │ │ │ ├── ClassPrinter.java │ │ │ ├── ClassSearcher.java │ │ │ └── MethodTracer.java │ └── tools │ │ ├── MethodOptimizer.java │ │ └── OfflineInstrumenterBase.java │ ├── shrikeCT │ ├── AnnotationsReader.java │ ├── AttributeReader.java │ ├── BootstrapMethodsReader.java │ ├── ClassConstants.java │ ├── ClassReader.java │ ├── ClassWriter.java │ ├── CodeReader.java │ ├── CodeWriter.java │ ├── ConstantPoolParser.java │ ├── ConstantValueReader.java │ ├── ConstantValueWriter.java │ ├── ExceptionsReader.java │ ├── ExceptionsWriter.java │ ├── InnerClassesReader.java │ ├── InnerClassesWriter.java │ ├── InvalidClassFileException.java │ ├── LineNumberTableReader.java │ ├── LineNumberTableWriter.java │ ├── LocalVariableTableReader.java │ ├── LocalVariableTableWriter.java │ ├── SignatureReader.java │ ├── SourceDebugExtensionReader.java │ ├── SourceDebugExtensionWriter.java │ ├── SourceFileReader.java │ ├── SourceFileWriter.java │ ├── SourcePositionTableReader.java │ ├── StackMapConstants.java │ ├── StackMapTableReader.java │ ├── StackMapTableWriter.java │ └── TypeAnnotationsReader.java │ └── sourcepos │ ├── CRTData.java │ ├── CRTFlags.java │ ├── CRTable.java │ ├── Debug.java │ ├── InvalidCRTDataException.java │ ├── InvalidPositionException.java │ ├── InvalidRangeException.java │ ├── InvalidSourceInfoException.java │ ├── MethodPositions.java │ ├── Position.java │ ├── PositionsAttribute.java │ └── Range.java ├── summarize-time-trials ├── util ├── .settings │ ├── org.eclipse.jdt.core.prefs │ ├── org.eclipse.jdt.launching.prefs │ ├── org.eclipse.jdt.ui.prefs │ ├── org.eclipse.pde.prefs │ └── org.eclipse.wst.validation.prefs ├── build.gradle.kts ├── gradle.properties └── src │ ├── main │ └── java │ │ └── com │ │ └── ibm │ │ └── wala │ │ ├── dataflow │ │ └── graph │ │ │ ├── AbstractMeetOperator.java │ │ │ ├── BasicFramework.java │ │ │ ├── BitVectorFilter.java │ │ │ ├── BitVectorFramework.java │ │ │ ├── BitVectorIdentity.java │ │ │ ├── BitVectorIntersection.java │ │ │ ├── BitVectorKillAll.java │ │ │ ├── BitVectorKillGen.java │ │ │ ├── BitVectorMinusVector.java │ │ │ ├── BitVectorOr.java │ │ │ ├── BitVectorSolver.java │ │ │ ├── BitVectorUnion.java │ │ │ ├── BitVectorUnionConstant.java │ │ │ ├── BitVectorUnionVector.java │ │ │ ├── BooleanIdentity.java │ │ │ ├── BooleanSolver.java │ │ │ ├── BooleanUnion.java │ │ │ ├── DataflowSolver.java │ │ │ ├── IKilldallFramework.java │ │ │ ├── ITransferFunctionProvider.java │ │ │ ├── UnaryBitVectorUnion.java │ │ │ └── package-info.java │ │ ├── fixedpoint │ │ └── impl │ │ │ ├── AbstractFixedPointSolver.java │ │ │ ├── BasicNullaryStatement.java │ │ │ ├── DefaultFixedPointSolver.java │ │ │ ├── DefaultFixedPointSystem.java │ │ │ ├── GeneralStatement.java │ │ │ ├── NullaryOperator.java │ │ │ ├── NullaryStatement.java │ │ │ └── Worklist.java │ │ ├── fixpoint │ │ ├── AbstractOperator.java │ │ ├── AbstractStatement.java │ │ ├── AbstractVariable.java │ │ ├── BasicUnaryStatement.java │ │ ├── BitVectorVariable.java │ │ ├── BooleanVariable.java │ │ ├── FixedPointConstants.java │ │ ├── IFixedPointSolver.java │ │ ├── IFixedPointStatement.java │ │ ├── IFixedPointSystem.java │ │ ├── IVariable.java │ │ ├── IntSetVariable.java │ │ ├── TrueOperator.java │ │ ├── UnaryOperator.java │ │ ├── UnaryOr.java │ │ ├── UnaryStatement.java │ │ └── package-info.java │ │ └── util │ │ ├── CancelException.java │ │ ├── MonitorUtil.java │ │ ├── NullProgressMonitor.java │ │ ├── PlatformUtil.java │ │ ├── WalaException.java │ │ ├── WalaRuntimeException.java │ │ ├── collections │ │ ├── AbstractMultiMap.java │ │ ├── ArrayIterator.java │ │ ├── ArrayNonNullIterator.java │ │ ├── ArraySet.java │ │ ├── ArraySetMultiMap.java │ │ ├── BimodalMap.java │ │ ├── CollectionFilter.java │ │ ├── ComposedIterator.java │ │ ├── CompoundIntIterator.java │ │ ├── CompoundIterator.java │ │ ├── EmptyIntIterator.java │ │ ├── EmptyIterator.java │ │ ├── Factory.java │ │ ├── FifoQueue.java │ │ ├── FifoQueueNoDuplicates.java │ │ ├── FilterIterator.java │ │ ├── Filtersection.java │ │ ├── HashMapFactory.java │ │ ├── HashSetFactory.java │ │ ├── HashSetMultiMap.java │ │ ├── Heap.java │ │ ├── IVector.java │ │ ├── ImmutableStack.java │ │ ├── IndiscriminateFilter.java │ │ ├── IntMapIterator.java │ │ ├── IntStack.java │ │ ├── Iterator2Collection.java │ │ ├── Iterator2Iterable.java │ │ ├── Iterator2List.java │ │ ├── Iterator2Set.java │ │ ├── IteratorPlusOne.java │ │ ├── IteratorPlusTwo.java │ │ ├── IteratorUtil.java │ │ ├── MapIterator.java │ │ ├── MapUtil.java │ │ ├── MultiMap.java │ │ ├── NonNullSingletonIterator.java │ │ ├── ObjectArrayMapping.java │ │ ├── ObjectVisitor.java │ │ ├── Pair.java │ │ ├── ParanoidHashMap.java │ │ ├── ParanoidHashSet.java │ │ ├── ReverseIterator.java │ │ ├── SimpleVector.java │ │ ├── SmallMap.java │ │ ├── SparseVector.java │ │ ├── ToStringComparator.java │ │ ├── TwoLevelVector.java │ │ ├── Util.java │ │ └── package-info.java │ │ ├── config │ │ ├── FileOfClasses.java │ │ ├── PatternsFilter.java │ │ ├── SetOfClasses.java │ │ └── StringFilter.java │ │ ├── debug │ │ ├── Assertions.java │ │ ├── LoggingStopwatch.java │ │ ├── UnimplementedError.java │ │ ├── VerboseAction.java │ │ └── package-info.java │ │ ├── graph │ │ ├── AbstractGraph.java │ │ ├── AbstractNumberedGraph.java │ │ ├── Acyclic.java │ │ ├── BasicTree.java │ │ ├── EdgeFilteredNumberedGraph.java │ │ ├── EdgeManager.java │ │ ├── GXL.java │ │ ├── Graph.java │ │ ├── GraphIntegrity.java │ │ ├── GraphPrint.java │ │ ├── GraphReachability.java │ │ ├── GraphSlicer.java │ │ ├── GraphUtil.java │ │ ├── INodeWithNumber.java │ │ ├── INodeWithNumberedEdges.java │ │ ├── InferGraphRoots.java │ │ ├── NodeManager.java │ │ ├── NumberedEdgeManager.java │ │ ├── NumberedGraph.java │ │ ├── NumberedNodeManager.java │ │ ├── OrderedMultiGraph.java │ │ ├── Path.java │ │ ├── SerializableGraph.java │ │ ├── dominators │ │ │ ├── DominanceFrontiers.java │ │ │ ├── Dominators.java │ │ │ ├── GenericDominators.java │ │ │ └── NumberedDominators.java │ │ ├── impl │ │ │ ├── BasicEdgeManager.java │ │ │ ├── BasicGraph.java │ │ │ ├── BasicNodeManager.java │ │ │ ├── BasicOrderedMultiGraph.java │ │ │ ├── DelegatingGraph.java │ │ │ ├── DelegatingNumberedEdgeManager.java │ │ │ ├── DelegatingNumberedGraph.java │ │ │ ├── DelegatingNumberedNodeManager.java │ │ │ ├── ExtensionGraph.java │ │ │ ├── GraphInverter.java │ │ │ ├── InvertedGraph.java │ │ │ ├── InvertedNumberedGraph.java │ │ │ ├── InvertingEdgeManager.java │ │ │ ├── InvertingNumberedEdgeManager.java │ │ │ ├── NodeWithNumber.java │ │ │ ├── NodeWithNumberedEdges.java │ │ │ ├── NumberedNodeIterator.java │ │ │ ├── RandomGraph.java │ │ │ ├── SelfLoopAddedEdgeManager.java │ │ │ ├── SelfLoopAddedGraph.java │ │ │ ├── SlowNumberedNodeManager.java │ │ │ ├── SlowSparseNumberedGraph.java │ │ │ ├── SparseNumberedEdgeManager.java │ │ │ ├── SparseNumberedGraph.java │ │ │ └── package-info.java │ │ ├── labeled │ │ │ ├── AbstractLabeledGraph.java │ │ │ ├── AbstractNumberedLabeledGraph.java │ │ │ ├── LabeledEdgeManager.java │ │ │ ├── LabeledGraph.java │ │ │ ├── NumberedLabeledEdgeManager.java │ │ │ ├── NumberedLabeledGraph.java │ │ │ ├── SlowSparseNumberedLabeledGraph.java │ │ │ └── SparseNumberedLabeledEdgeManager.java │ │ ├── package-info.java │ │ └── traverse │ │ │ ├── BFSIterator.java │ │ │ ├── BFSPathFinder.java │ │ │ ├── BoundedBFSIterator.java │ │ │ ├── DFS.java │ │ │ ├── DFSAllPathsFinder.java │ │ │ ├── DFSDiscoverTimeIterator.java │ │ │ ├── DFSFinishTimeIterator.java │ │ │ ├── DFSPathFinder.java │ │ │ ├── FloydWarshall.java │ │ │ ├── GraphDFSDiscoverTimeIterator.java │ │ │ ├── NumberedDFSDiscoverTimeIterator.java │ │ │ ├── NumberedDFSFinishTimeIterator.java │ │ │ ├── SCCIterator.java │ │ │ ├── SlowDFSDiscoverTimeIterator.java │ │ │ ├── SlowDFSFinishTimeIterator.java │ │ │ ├── Topological.java │ │ │ ├── WelshPowell.java │ │ │ └── package-info.java │ │ ├── heapTrace │ │ ├── HeapTracer.java │ │ └── package-info.java │ │ ├── intset │ │ ├── BasicNaturalRelation.java │ │ ├── BimodalMutableIntSet.java │ │ ├── BimodalMutableIntSetFactory.java │ │ ├── BitSet.java │ │ ├── BitVector.java │ │ ├── BitVectorBase.java │ │ ├── BitVectorIntSet.java │ │ ├── BitVectorIntSetFactory.java │ │ ├── BitVectorRepository.java │ │ ├── Bits.java │ │ ├── DebuggingMutableIntSet.java │ │ ├── DebuggingMutableIntSetFactory.java │ │ ├── EmptyIntSet.java │ │ ├── FixedSizeBitVector.java │ │ ├── IBinaryNaturalRelation.java │ │ ├── IntIterator.java │ │ ├── IntPair.java │ │ ├── IntSet.java │ │ ├── IntSetAction.java │ │ ├── IntSetUtil.java │ │ ├── IntVector.java │ │ ├── IntegerUnionFind.java │ │ ├── LongIterator.java │ │ ├── LongSet.java │ │ ├── LongSetAction.java │ │ ├── LongSetUtil.java │ │ ├── MultiModalIntVector.java │ │ ├── MutableIntSet.java │ │ ├── MutableIntSetFactory.java │ │ ├── MutableLongSet.java │ │ ├── MutableLongSetFactory.java │ │ ├── MutableMapping.java │ │ ├── MutableSharedBitVectorIntSet.java │ │ ├── MutableSharedBitVectorIntSetFactory.java │ │ ├── MutableSparseIntSet.java │ │ ├── MutableSparseIntSetFactory.java │ │ ├── MutableSparseLongSet.java │ │ ├── MutableSparseLongSetFactory.java │ │ ├── NumberUtility.java │ │ ├── OffsetBitVector.java │ │ ├── OffsetOrdinalSetMapping.java │ │ ├── OrdinalSet.java │ │ ├── OrdinalSetMapping.java │ │ ├── SemiSparseMutableIntSet.java │ │ ├── SemiSparseMutableIntSetFactory.java │ │ ├── SimpleIntVector.java │ │ ├── SparseIntSet.java │ │ ├── SparseIntVector.java │ │ ├── SparseLongIntVector.java │ │ ├── SparseLongSet.java │ │ ├── TunedMutableSparseIntSet.java │ │ ├── TunedSimpleIntVector.java │ │ ├── TwoLevelIntVector.java │ │ └── package-info.java │ │ ├── io │ │ ├── CommandLine.java │ │ ├── FileUtil.java │ │ ├── JavaHome.java │ │ ├── RtJar.java │ │ ├── Streams.java │ │ └── TemporaryFile.java │ │ ├── math │ │ ├── Factorial.java │ │ ├── Logs.java │ │ ├── LongUtil.java │ │ └── package-info.java │ │ ├── nullability │ │ └── NullabilityUtil.java │ │ ├── perf │ │ ├── Stopwatch.java │ │ └── StopwatchGC.java │ │ ├── processes │ │ ├── BasicLauncher.java │ │ ├── JavaLauncher.java │ │ └── Launcher.java │ │ ├── tables │ │ ├── Query.java │ │ ├── StringTable.java │ │ └── Table.java │ │ └── viz │ │ ├── DotUtil.java │ │ ├── NodeDecorator.java │ │ └── PDFViewLauncher.java │ ├── test │ └── java │ │ └── com │ │ └── ibm │ │ └── wala │ │ └── util │ │ ├── collections │ │ └── MapUtilTest.java │ │ └── test │ │ └── BasicGraphTest.java │ └── testFixtures │ └── java │ └── com │ └── ibm │ └── wala │ └── util │ ├── graph │ ├── EdgeManagerConditions.java │ └── NodeManagerConditions.java │ └── intset │ ├── BitVectorBaseConditions.java │ ├── IntSetAssert.java │ ├── IntSetConditions.java │ ├── LongSetAssert.java │ └── LongSetConditions.java └── xvfb-gradle.sh /.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /.github/codecov.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.github/codecov.yml -------------------------------------------------------------------------------- /.github/pull_request_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.github/pull_request_template.md -------------------------------------------------------------------------------- /.github/workflows/continuous-integration.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.github/workflows/continuous-integration.yml -------------------------------------------------------------------------------- /.github/workflows/publish-test-results.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.github/workflows/publish-test-results.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.gitignore -------------------------------------------------------------------------------- /.idea/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/.gitignore -------------------------------------------------------------------------------- /.idea/.name: -------------------------------------------------------------------------------- 1 | wala -------------------------------------------------------------------------------- /.idea/codeStyles/Project.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/codeStyles/Project.xml -------------------------------------------------------------------------------- /.idea/codeStyles/codeStyleConfig.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/codeStyles/codeStyleConfig.xml -------------------------------------------------------------------------------- /.idea/develocity.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/develocity.xml -------------------------------------------------------------------------------- /.idea/dictionaries/liblit.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/dictionaries/liblit.xml -------------------------------------------------------------------------------- /.idea/dictionaries/project.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/dictionaries/project.xml -------------------------------------------------------------------------------- /.idea/encodings.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/encodings.xml -------------------------------------------------------------------------------- /.idea/externalDependencies.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/externalDependencies.xml -------------------------------------------------------------------------------- /.idea/google-java-format.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/google-java-format.xml -------------------------------------------------------------------------------- /.idea/inspectionProfiles/.gitignore: -------------------------------------------------------------------------------- 1 | /profiles_settings.xml 2 | -------------------------------------------------------------------------------- /.idea/inspectionProfiles/No_Back_Sliding.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/inspectionProfiles/No_Back_Sliding.xml -------------------------------------------------------------------------------- /.idea/ktfmt.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/ktfmt.xml -------------------------------------------------------------------------------- /.idea/misc.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/misc.xml -------------------------------------------------------------------------------- /.idea/runConfigurations/Build_excluding_slow_tests.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/runConfigurations/Build_excluding_slow_tests.xml -------------------------------------------------------------------------------- /.idea/runConfigurations/Compile_using_ECJ.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/runConfigurations/Compile_using_ECJ.xml -------------------------------------------------------------------------------- /.idea/scopes/Eclipse_Build_Artifacts.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/scopes/Eclipse_Build_Artifacts.xml -------------------------------------------------------------------------------- /.idea/scopes/Eclipse_Preferences.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/scopes/Eclipse_Preferences.xml -------------------------------------------------------------------------------- /.idea/scopes/Gradle_Wrapper_Shell_Script.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/scopes/Gradle_Wrapper_Shell_Script.xml -------------------------------------------------------------------------------- /.idea/scopes/JavaScript_Prologue.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/scopes/JavaScript_Prologue.xml -------------------------------------------------------------------------------- /.idea/scopes/JavaScript_Test_Subjects.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/scopes/JavaScript_Test_Subjects.xml -------------------------------------------------------------------------------- /.idea/scopes/Java_Sources_as_Test_Subjects.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/scopes/Java_Sources_as_Test_Subjects.xml -------------------------------------------------------------------------------- /.idea/scopes/Sketchy_HTML.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/scopes/Sketchy_HTML.xml -------------------------------------------------------------------------------- /.idea/scopes/Stubborn_Raw_Users_of_Generics.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/scopes/Stubborn_Raw_Users_of_Generics.xml -------------------------------------------------------------------------------- /.idea/vcs.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.idea/vcs.xml -------------------------------------------------------------------------------- /.markdownlint-cli2.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.markdownlint-cli2.yaml -------------------------------------------------------------------------------- /.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/LICENSE -------------------------------------------------------------------------------- /README-Gradle.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/README-Gradle.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/README.md -------------------------------------------------------------------------------- /cast/.launchConfigurations/com.ibm.wala.cast-JUnit.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/.launchConfigurations/com.ibm.wala.cast-JUnit.launch -------------------------------------------------------------------------------- /cast/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /cast/.settings/org.eclipse.jdt.launching.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/.settings/org.eclipse.jdt.launching.prefs -------------------------------------------------------------------------------- /cast/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /cast/.settings/org.eclipse.pde.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/.settings/org.eclipse.pde.prefs -------------------------------------------------------------------------------- /cast/.settings/org.eclipse.wst.validation.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/.settings/org.eclipse.wst.validation.prefs -------------------------------------------------------------------------------- /cast/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/build.gradle.kts -------------------------------------------------------------------------------- /cast/cast/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/cast/build.gradle.kts -------------------------------------------------------------------------------- /cast/cast/src/main/cpp/CAstWrapper.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/cast/src/main/cpp/CAstWrapper.cpp -------------------------------------------------------------------------------- /cast/cast/src/main/cpp/Exceptions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/cast/src/main/cpp/Exceptions.cpp -------------------------------------------------------------------------------- /cast/cast/src/main/cpp/launch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/cast/src/main/cpp/launch.cpp -------------------------------------------------------------------------------- /cast/cast/src/main/public/CAstWrapper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/cast/src/main/public/CAstWrapper.h -------------------------------------------------------------------------------- /cast/cast/src/main/public/Exceptions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/cast/src/main/public/Exceptions.h -------------------------------------------------------------------------------- /cast/cast/src/main/public/cast_constants.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/cast/src/main/public/cast_constants.h -------------------------------------------------------------------------------- /cast/cast/src/main/public/cast_control_flow_map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/cast/src/main/public/cast_control_flow_map.h -------------------------------------------------------------------------------- /cast/cast/src/main/public/cast_operators.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/cast/src/main/public/cast_operators.h -------------------------------------------------------------------------------- /cast/cast/src/main/public/cast_qualifiers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/cast/src/main/public/cast_qualifiers.h -------------------------------------------------------------------------------- /cast/cast/src/main/public/dll_export.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/cast/src/main/public/dll_export.h -------------------------------------------------------------------------------- /cast/cast/src/main/public/launch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/cast/src/main/public/launch.h -------------------------------------------------------------------------------- /cast/data/the-cast-system.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/data/the-cast-system.eps -------------------------------------------------------------------------------- /cast/data/the-cast-system.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/data/the-cast-system.jpeg -------------------------------------------------------------------------------- /cast/data/the-cast-system.xcf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/data/the-cast-system.xcf -------------------------------------------------------------------------------- /cast/gradle.properties: -------------------------------------------------------------------------------- 1 | POM_NAME=WALA Cast 2 | -------------------------------------------------------------------------------- /cast/java/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /cast/java/.settings/org.eclipse.jdt.launching.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/.settings/org.eclipse.jdt.launching.prefs -------------------------------------------------------------------------------- /cast/java/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /cast/java/.settings/org.eclipse.pde.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/.settings/org.eclipse.pde.prefs -------------------------------------------------------------------------------- /cast/java/.settings/org.eclipse.wst.validation.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/.settings/org.eclipse.wst.validation.prefs -------------------------------------------------------------------------------- /cast/java/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/build.gradle.kts -------------------------------------------------------------------------------- /cast/java/ecj/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/ecj/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /cast/java/ecj/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/ecj/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /cast/java/ecj/.settings/org.eclipse.pde.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/ecj/.settings/org.eclipse.pde.prefs -------------------------------------------------------------------------------- /cast/java/ecj/.settings/org.eclipse.wst.validation.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/ecj/.settings/org.eclipse.wst.validation.prefs -------------------------------------------------------------------------------- /cast/java/ecj/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/ecj/build.gradle.kts -------------------------------------------------------------------------------- /cast/java/ecj/gradle.properties: -------------------------------------------------------------------------------- 1 | POM_NAME=WALA CAst Java ECJ 2 | -------------------------------------------------------------------------------- /cast/java/gradle.properties: -------------------------------------------------------------------------------- 1 | POM_NAME=WALA CAst Java 2 | -------------------------------------------------------------------------------- /cast/java/test/data/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /cast/java/test/data/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /cast/java/test/data/.settings/org.eclipse.pde.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/.settings/org.eclipse.pde.prefs -------------------------------------------------------------------------------- /cast/java/test/data/Java60RegressionExclusions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/Java60RegressionExclusions.txt -------------------------------------------------------------------------------- /cast/java/test/data/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/build.gradle.kts -------------------------------------------------------------------------------- /cast/java/test/data/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/build.properties -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/AnonymousClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/AnonymousClass.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/Array1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/Array1.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/ArrayLiteral1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/ArrayLiteral1.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/ArrayLiteral2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/ArrayLiteral2.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/Breaks.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/Breaks.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/CastFromNull.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/CastFromNull.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/Casts.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/Casts.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/Exception1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/Exception1.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/Exception2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/Exception2.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/Exclusions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/Exclusions.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/Finally1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/Finally1.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/Finally2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/Finally2.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/FunkySupers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/FunkySupers.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/Inheritance1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/Inheritance1.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/InheritedField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/InheritedField.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/InnerClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/InnerClass.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/InnerClassA.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/InnerClassA.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/InterfaceTest1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/InterfaceTest1.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/LocalClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/LocalClass.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/MiniaturList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/MiniaturList.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/Monitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/Monitor.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/Monitor2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/Monitor2.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/NullArrayInit.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/NullArrayInit.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/PeekErrorCase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/PeekErrorCase.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/Scoping1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/Scoping1.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/Scoping2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/Scoping2.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/Simple1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/Simple1.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/SimpleCalls.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/SimpleCalls.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/StaticNesting.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/StaticNesting.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/Switch1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/Switch1.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/Thread1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/Thread1.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/TwoClasses.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/TwoClasses.java -------------------------------------------------------------------------------- /cast/java/test/data/src/testSubjects/java/WhileTest1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/java/test/data/src/testSubjects/java/WhileTest1.java -------------------------------------------------------------------------------- /cast/js/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /cast/js/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /cast/js/.settings/org.eclipse.pde.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/.settings/org.eclipse.pde.prefs -------------------------------------------------------------------------------- /cast/js/.settings/org.eclipse.wst.validation.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/.settings/org.eclipse.wst.validation.prefs -------------------------------------------------------------------------------- /cast/js/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/build.gradle.kts -------------------------------------------------------------------------------- /cast/js/gradle.properties: -------------------------------------------------------------------------------- 1 | POM_NAME=WALA CAst JavaScript 2 | -------------------------------------------------------------------------------- /cast/js/html/nu_validator/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/html/nu_validator/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /cast/js/html/nu_validator/.settings/org.eclipse.pde.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/html/nu_validator/.settings/org.eclipse.pde.prefs -------------------------------------------------------------------------------- /cast/js/html/nu_validator/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/html/nu_validator/build.gradle.kts -------------------------------------------------------------------------------- /cast/js/nodejs/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/nodejs/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /cast/js/nodejs/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/nodejs/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /cast/js/nodejs/.settings/org.eclipse.pde.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/nodejs/.settings/org.eclipse.pde.prefs -------------------------------------------------------------------------------- /cast/js/nodejs/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/nodejs/build.gradle.kts -------------------------------------------------------------------------------- /cast/js/nodejs/src/main/resources/extended-prologue.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/nodejs/src/main/resources/extended-prologue.js -------------------------------------------------------------------------------- /cast/js/nodejs/src/main/resources/json-wrapper.js: -------------------------------------------------------------------------------- 1 | (function jsonModule() { 2 | return /*/ WALA-INSERT-CODE-HERE /*/; 3 | })(); -------------------------------------------------------------------------------- /cast/js/nodejs/src/main/resources/module-wrapper.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/nodejs/src/main/resources/module-wrapper.js -------------------------------------------------------------------------------- /cast/js/nodejs/src/test/resources/NodejsRequireJsonTest/empty.json: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /cast/js/nodejs/src/test/resources/NodejsRequireTargetSelectorResolve/requireNodeModules/index.js: -------------------------------------------------------------------------------- 1 | require('lib'); -------------------------------------------------------------------------------- /cast/js/nodejs/src/test/resources/NodejsRequireTargetSelectorResolve/requireNodeModules/node_modules/lib/helper.js: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /cast/js/nodejs/src/test/resources/NodejsRequireTargetSelectorResolve/requireNodeModules/node_modules/lib/node_modules/sublib/sublib.js: -------------------------------------------------------------------------------- 1 | require('lib2'); -------------------------------------------------------------------------------- /cast/js/nodejs/src/test/resources/NodejsRequireTargetSelectorResolve/requireNodeModules/node_modules/lib2/index.js: -------------------------------------------------------------------------------- 1 | module.exports = function lib2() { 2 | }; 3 | -------------------------------------------------------------------------------- /cast/js/rhino/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/rhino/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /cast/js/rhino/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/rhino/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /cast/js/rhino/.settings/org.eclipse.pde.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/rhino/.settings/org.eclipse.pde.prefs -------------------------------------------------------------------------------- /cast/js/rhino/.settings/org.eclipse.wst.validation.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/rhino/.settings/org.eclipse.wst.validation.prefs -------------------------------------------------------------------------------- /cast/js/rhino/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/rhino/build.gradle.kts -------------------------------------------------------------------------------- /cast/js/rhino/gradle.properties: -------------------------------------------------------------------------------- 1 | POM_NAME=WALA CAst JavaScript Rhino 2 | -------------------------------------------------------------------------------- /cast/js/rhino/launchers/JsViewerDriver.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/rhino/launchers/JsViewerDriver.launch -------------------------------------------------------------------------------- /cast/js/rhino/launchers/TestForInLoopHackRhino.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/rhino/launchers/TestForInLoopHackRhino.launch -------------------------------------------------------------------------------- /cast/js/rhino/launchers/TestMozillaBugPagesRhino.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/rhino/launchers/TestMozillaBugPagesRhino.launch -------------------------------------------------------------------------------- /cast/js/src/main/java/com/ibm/wala/cast/js/html/ITag.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/main/java/com/ibm/wala/cast/js/html/ITag.java -------------------------------------------------------------------------------- /cast/js/src/main/java/com/ibm/wala/cast/js/html/WebUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/main/java/com/ibm/wala/cast/js/html/WebUtil.java -------------------------------------------------------------------------------- /cast/js/src/main/java/com/ibm/wala/cast/js/ssa/Util.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/main/java/com/ibm/wala/cast/js/ssa/Util.java -------------------------------------------------------------------------------- /cast/js/src/main/java/com/ibm/wala/cast/js/util/Util.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/main/java/com/ibm/wala/cast/js/util/Util.java -------------------------------------------------------------------------------- /cast/js/src/main/java/com/ibm/wala/cast/js/vis/JsPaPanel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/main/java/com/ibm/wala/cast/js/vis/JsPaPanel.java -------------------------------------------------------------------------------- /cast/js/src/main/java/com/ibm/wala/cast/js/vis/JsViewer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/main/java/com/ibm/wala/cast/js/vis/JsViewer.java -------------------------------------------------------------------------------- /cast/js/src/main/resources/miniprologue.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/main/resources/miniprologue.js -------------------------------------------------------------------------------- /cast/js/src/main/resources/preamble.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/main/resources/preamble.js -------------------------------------------------------------------------------- /cast/js/src/main/resources/prologue.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/main/resources/prologue.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/2.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/apollo-example.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/apollo-example.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/collection.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/collection.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/crawl.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/crawl.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/crawl/15.js: -------------------------------------------------------------------------------- 1 | function changeUrls() 2 | { 3 | document.links[0].href = "page15.php?a=ok"; 4 | } -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/crawl/16.js: -------------------------------------------------------------------------------- 1 | function changeUrls() 2 | { 3 | document.links[0].href = "page16.php?a=ok"; 4 | } -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/crawl/17.js: -------------------------------------------------------------------------------- 1 | function changeUrls() 2 | { 3 | document.links[0].href = "page17.php?a=ok"; 4 | } -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/crawl/page11.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/crawl/page11.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/crawl/page11b.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/crawl/page11b.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/crawl/page12.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/crawl/page12.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/crawl/page13.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/crawl/page13.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/crawl/page15.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/crawl/page15.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/crawl/page16.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/crawl/page16.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/crawl/page17.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/crawl/page17.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/garbage.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/garbage.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/garbage2.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/garbage2.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/iframeTest2.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/iframeTest2.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/jquery.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/jquery.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/jquery/ex1.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/jquery/ex1.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/jquery_hacked.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/jquery_hacked.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/list.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/list.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/nojs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/nojs.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/page1.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/page1.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/page2.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/page2.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/page3.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/page3.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/page4.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/page4.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/prototype.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/prototype.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/skeleton.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/skeleton.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/skeleton2.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/skeleton2.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/skeleton3.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/skeleton3.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/window_on_load.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/window_on_load.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/pages/window_x.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/pages/window_x.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/214631.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/214631.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/Function_is_a_function.js: -------------------------------------------------------------------------------- 1 | Function.call(); -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/args.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/args.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/arguments.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/arguments.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/array_index_conv.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/array_index_conv.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/array_index_conv2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/array_index_conv2.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/badforin.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/badforin.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/badforin2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/badforin2.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/badforin3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/badforin3.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/badthrow.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/badthrow.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/calls.js: -------------------------------------------------------------------------------- 1 | (p,x.f)(0); -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/complex_call.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/complex_call.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/complex_finally.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/complex_finally.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/control-flow.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/control-flow.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/cpa.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/cpa.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/crash1.js: -------------------------------------------------------------------------------- 1 | if (1 < 2) q = 42; 2 | -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/crash2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/crash2.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/date-property.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/date-property.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/dead.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/dead.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/dead_catch.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/dead_catch.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/dead_phi.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/dead_phi.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/demo.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/demo.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/demo2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/demo2.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/dispatch.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/dispatch.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/dispatch_same_target.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/dispatch_same_target.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/extend.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/extend.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/extjs_switch.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/extjs_switch.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/field-based/bounded.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/field-based/bounded.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/field-based/callbacks.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/field-based/callbacks.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/field-based/callbacks2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/field-based/callbacks2.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/field-based/lexical.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/field-based/lexical.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/field-based/native_call.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/field-based/native_call.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/field-based/new.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/field-based/new.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/field-based/new_fn_empty.js: -------------------------------------------------------------------------------- 1 | new Function(''); -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/field-based/oneshot.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/field-based/oneshot.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/field-based/simple.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/field-based/simple.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/finallycrash.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/finallycrash.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/for_in_expr.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/for_in_expr.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/for_in_name.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/for_in_name.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/for_in_prototype.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/for_in_prototype.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/forin.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/forin.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/function_apply.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/function_apply.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/function_apply2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/function_apply2.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/function_apply3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/function_apply3.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/function_call.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/function_call.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/functions.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/functions.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/global_object.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/global_object.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/global_object2.js: -------------------------------------------------------------------------------- 1 | this.f = function foo() {}; 2 | 3 | f(); -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/inherit.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/inherit.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/instanceof.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/instanceof.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/jquery_spec_test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/jquery_spec_test.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/lexical-ctor.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/lexical-ctor.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/lexical_broken.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/lexical_broken.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/lexical_catch.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/lexical_catch.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/lexical_multiple_calls.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/lexical_multiple_calls.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/loops.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/loops.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/many-strings.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/many-strings.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/more-control-flow.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/more-control-flow.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/multivar.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/multivar.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/named_fn_twice.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/named_fn_twice.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/nested.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/nested.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/nested_assign_to_param.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/nested_assign_to_param.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/newfn.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/newfn.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/non_loop_break.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/non_loop_break.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/nrwrapper.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/nrwrapper.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/objects.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/objects.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/parse_error.js: -------------------------------------------------------------------------------- 1 | function a() { -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/place_phi_npe.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/place_phi_npe.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/portal-example-simple.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/portal-example-simple.html -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/primitive_strings.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/primitive_strings.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/recursive_lex_write.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/recursive_lex_write.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/recursive_lexical.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/recursive_lexical.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/rename-example.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/rename-example.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/repr.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/repr.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/return_this.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/return_this.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/return_this2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/return_this2.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/rhino_crash1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/rhino_crash1.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/rhino_crash2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/rhino_crash2.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/rhino_crash3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/rhino_crash3.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/scoping_test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/scoping_test.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/shadow_test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/shadow_test.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/simple-lexical.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/simple-lexical.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/simple.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/simple.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/simpler.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/simpler.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/slice1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/slice1.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/ssa-crash.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/ssa-crash.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/string-op.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/string-op.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/string-prims.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/string-prims.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/switch_default.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/switch_default.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/try-finally-crash.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/try-finally-crash.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/try.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/try.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/tutorial-example.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/tutorial-example.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/upward.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/upward.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/with.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/with.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/wrap1.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/wrap1.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/wrap2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/wrap2.js -------------------------------------------------------------------------------- /cast/js/src/test/resources/tests/wrap3.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/js/src/test/resources/tests/wrap3.js -------------------------------------------------------------------------------- /cast/smoke_main/.gitignore: -------------------------------------------------------------------------------- 1 | /hs_err_pid*.log 2 | -------------------------------------------------------------------------------- /cast/smoke_main/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/smoke_main/build.gradle.kts -------------------------------------------------------------------------------- /cast/smoke_main/src/main/cpp/smoke_main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/smoke_main/src/main/cpp/smoke_main.cpp -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/ir/cfg/Util.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/ir/cfg/Util.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/ir/ssa/AstIRFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/ir/ssa/AstIRFactory.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/ir/ssa/CAstBinaryOp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/ir/ssa/CAstBinaryOp.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/ir/ssa/CAstUnaryOp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/ir/ssa/CAstUnaryOp.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/loader/AstClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/loader/AstClass.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/loader/AstField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/loader/AstField.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/loader/AstMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/loader/AstMethod.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/tree/CAst.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/tree/CAst.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/tree/CAstAnnotation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/tree/CAstAnnotation.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/tree/CAstEntity.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/tree/CAstEntity.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/tree/CAstLeafNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/tree/CAstLeafNode.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/tree/CAstNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/tree/CAstNode.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/tree/CAstQualifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/tree/CAstQualifier.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/tree/CAstReference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/tree/CAstReference.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/tree/CAstSymbol.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/tree/CAstSymbol.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/tree/CAstType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/tree/CAstType.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/tree/impl/CAstImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/tree/impl/CAstImpl.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/tree/pattern/Alt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/tree/pattern/Alt.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/util/CAstFunctions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/util/CAstFunctions.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/util/CAstPattern.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/util/CAstPattern.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/util/CAstPrinter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/util/CAstPrinter.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/util/CAstToDOM.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/util/CAstToDOM.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/util/SourceBuffer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/util/SourceBuffer.java -------------------------------------------------------------------------------- /cast/src/main/java/com/ibm/wala/cast/util/Util.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/src/main/java/com/ibm/wala/cast/util/Util.java -------------------------------------------------------------------------------- /cast/xlator_test/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/xlator_test/build.gradle.kts -------------------------------------------------------------------------------- /cast/xlator_test/src/main/cpp/smoke.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/cast/xlator_test/src/main/cpp/smoke.cpp -------------------------------------------------------------------------------- /code-coverage-report/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/code-coverage-report/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /code-coverage-report/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/code-coverage-report/build.gradle.kts -------------------------------------------------------------------------------- /com.ibm.wala-repository/category.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/com.ibm.wala-repository/category.xml -------------------------------------------------------------------------------- /config/hooks/pre-commit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/config/hooks/pre-commit -------------------------------------------------------------------------------- /config/hooks/pre-commit-stub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/config/hooks/pre-commit-stub -------------------------------------------------------------------------------- /core/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /core/.settings/org.eclipse.jdt.launching.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/.settings/org.eclipse.jdt.launching.prefs -------------------------------------------------------------------------------- /core/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /core/.settings/org.eclipse.pde.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/.settings/org.eclipse.pde.prefs -------------------------------------------------------------------------------- /core/.settings/org.eclipse.wst.validation.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/.settings/org.eclipse.wst.validation.prefs -------------------------------------------------------------------------------- /core/antbuild.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/antbuild.properties -------------------------------------------------------------------------------- /core/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/build.gradle.kts -------------------------------------------------------------------------------- /core/classes/.gitignore: -------------------------------------------------------------------------------- 1 | !/*.class 2 | -------------------------------------------------------------------------------- /core/classes/CodeDeleted.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/classes/CodeDeleted.class -------------------------------------------------------------------------------- /core/classes/DupFieldName.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/classes/DupFieldName.class -------------------------------------------------------------------------------- /core/classes/MissingMethodRef.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/classes/MissingMethodRef.class -------------------------------------------------------------------------------- /core/classes/missingmetadata/MissingClassRef.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/classes/missingmetadata/MissingClassRef.class -------------------------------------------------------------------------------- /core/classes/missingsuper/MissingSuper.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/classes/missingsuper/MissingSuper.class -------------------------------------------------------------------------------- /core/gradle.properties: -------------------------------------------------------------------------------- 1 | POM_NAME=WALA Core 2 | -------------------------------------------------------------------------------- /core/javaCompiler...args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/javaCompiler...args -------------------------------------------------------------------------------- /core/kawasrc/test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/kawasrc/test.scm -------------------------------------------------------------------------------- /core/launchers/ConstructAllIRs.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/launchers/ConstructAllIRs.launch -------------------------------------------------------------------------------- /core/launchers/CountParameters.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/launchers/CountParameters.launch -------------------------------------------------------------------------------- /core/launchers/GetLoadedFields.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/launchers/GetLoadedFields.launch -------------------------------------------------------------------------------- /core/launchers/JavaViewerDriver.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/launchers/JavaViewerDriver.launch -------------------------------------------------------------------------------- /core/launchers/PDFCallGraph.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/launchers/PDFCallGraph.launch -------------------------------------------------------------------------------- /core/launchers/PDFControlDependenceGraph.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/launchers/PDFControlDependenceGraph.launch -------------------------------------------------------------------------------- /core/launchers/PDFSDG.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/launchers/PDFSDG.launch -------------------------------------------------------------------------------- /core/launchers/PDFSlice.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/launchers/PDFSlice.launch -------------------------------------------------------------------------------- /core/launchers/PDFTypeHierarchy.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/launchers/PDFTypeHierarchy.launch -------------------------------------------------------------------------------- /core/launchers/PDFWalaIR.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/launchers/PDFWalaIR.launch -------------------------------------------------------------------------------- /core/launchers/wala.core short profile (non-windows).launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/launchers/wala.core short profile (non-windows).launch -------------------------------------------------------------------------------- /core/launchers/wala.core short profile.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/launchers/wala.core short profile.launch -------------------------------------------------------------------------------- /core/launchers/wala.core.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/launchers/wala.core.launch -------------------------------------------------------------------------------- /core/ocaml/hello_hash.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/ocaml/hello_hash.ml -------------------------------------------------------------------------------- /core/scripts/cruise/config_nashira.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/scripts/cruise/config_nashira.xml -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/cfg/AbstractCFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/cfg/AbstractCFG.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/cfg/BytecodeCFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/cfg/BytecodeCFG.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/cfg/CFGSanitizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/cfg/CFGSanitizer.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/cfg/ControlFlowGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/cfg/ControlFlowGraph.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/cfg/IBasicBlock.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/cfg/IBasicBlock.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/cfg/InducedCFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/cfg/InducedCFG.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/cfg/MinimalCFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/cfg/MinimalCFG.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/cfg/ShrikeCFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/cfg/ShrikeCFG.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/cfg/Util.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/cfg/Util.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/cfg/cdg/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/cfg/cdg/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/cfg/exc/intra/MutableCFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/cfg/exc/intra/MutableCFG.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/cfg/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/cfg/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/classLoader/ArrayClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/classLoader/ArrayClass.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/classLoader/CodeScanner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/classLoader/CodeScanner.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/classLoader/FieldImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/classLoader/FieldImpl.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/classLoader/FileModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/classLoader/FileModule.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/classLoader/IClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/classLoader/IClass.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/classLoader/IClassLoader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/classLoader/IClassLoader.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/classLoader/IField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/classLoader/IField.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/classLoader/IMember.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/classLoader/IMember.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/classLoader/IMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/classLoader/IMethod.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/classLoader/JVMClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/classLoader/JVMClass.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/classLoader/JarFileEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/classLoader/JarFileEntry.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/classLoader/JavaLanguage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/classLoader/JavaLanguage.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/classLoader/Language.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/classLoader/Language.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/classLoader/LanguageImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/classLoader/LanguageImpl.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/classLoader/Module.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/classLoader/Module.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/classLoader/ModuleEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/classLoader/ModuleEntry.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/classLoader/PhantomClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/classLoader/PhantomClass.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/classLoader/ShrikeClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/classLoader/ShrikeClass.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/classLoader/SourceModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/classLoader/SourceModule.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/classLoader/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/classLoader/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/client/AnalysisEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/client/AnalysisEngine.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/client/EngineStopwatch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/client/EngineStopwatch.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/client/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/client/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/core/java11/JrtModule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/core/java11/JrtModule.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/core/java11/LibraryStuff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/core/java11/LibraryStuff.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/core/util/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/core/util/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/core/util/ssa/SSAValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/core/util/ssa/SSAValue.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/core/util/strings/Atom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/core/util/strings/Atom.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/core/viz/PDFViewUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/core/viz/PDFViewUtil.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/dataflow/IFDS/PathEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/dataflow/IFDS/PathEdge.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/demandpa/alg/CallStack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/demandpa/alg/CallStack.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/demandpa/alg/WithState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/demandpa/alg/WithState.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ipa/callgraph/CGNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ipa/callgraph/CGNode.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ipa/callgraph/Context.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ipa/callgraph/Context.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ipa/cfg/EdgeFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ipa/cfg/EdgeFilter.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ipa/cfg/PrunedCFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ipa/cfg/PrunedCFG.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ipa/cfg/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ipa/cfg/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ipa/cha/ClassHierarchy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ipa/cha/ClassHierarchy.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ipa/cha/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ipa/cha/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ipa/modref/GenReach.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ipa/modref/GenReach.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ipa/modref/ModRef.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ipa/modref/ModRef.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ipa/slicer/Dependency.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ipa/slicer/Dependency.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ipa/slicer/ISDG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ipa/slicer/ISDG.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ipa/slicer/PDG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ipa/slicer/PDG.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ipa/slicer/ParamCallee.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ipa/slicer/ParamCallee.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ipa/slicer/ParamCaller.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ipa/slicer/ParamCaller.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ipa/slicer/PiStatement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ipa/slicer/PiStatement.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ipa/slicer/SDG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ipa/slicer/SDG.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ipa/slicer/Slicer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ipa/slicer/Slicer.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ipa/slicer/SlicerUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ipa/slicer/SlicerUtil.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ipa/slicer/Statement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ipa/slicer/Statement.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ipa/slicer/thin/CISDG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ipa/slicer/thin/CISDG.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/model/SyntheticFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/model/SyntheticFactory.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/model/java/lang/System.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/model/java/lang/System.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/model/java/lang/Thread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/model/java/lang/Thread.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/AuxiliaryCache.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/AuxiliaryCache.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/CompoundPiPolicy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/CompoundPiPolicy.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/ConstantValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/ConstantValue.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/DefUse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/DefUse.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/DefaultIRFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/DefaultIRFactory.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/IAuxiliaryCache.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/IAuxiliaryCache.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/IR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/IR.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/IRFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/IRFactory.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/IRView.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/IRView.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/ISSABasicBlock.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/ISSABasicBlock.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/InstanceOfPiPolicy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/InstanceOfPiPolicy.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/NullTestPiPolicy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/NullTestPiPolicy.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/PhiValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/PhiValue.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/SSABuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/SSABuilder.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/SSACFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/SSACFG.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/SSACache.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/SSACache.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/SSAGetInstruction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/SSAGetInstruction.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/SSAGotoInstruction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/SSAGotoInstruction.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/SSAIndirectionData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/SSAIndirectionData.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/SSAInstruction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/SSAInstruction.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/SSANewInstruction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/SSANewInstruction.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/SSAOptions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/SSAOptions.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/SSAPhiInstruction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/SSAPhiInstruction.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/SSAPiInstruction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/SSAPiInstruction.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/SSAPiNodePolicy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/SSAPiNodePolicy.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/SSAPutInstruction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/SSAPutInstruction.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/SymbolTable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/SymbolTable.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/Value.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/Value.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/ssa/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/ssa/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/types/Descriptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/types/Descriptor.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/types/FieldReference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/types/FieldReference.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/types/MemberReference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/types/MemberReference.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/types/MethodReference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/types/MethodReference.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/types/Selector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/types/Selector.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/types/TypeName.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/types/TypeName.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/types/TypeReference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/types/TypeReference.java -------------------------------------------------------------------------------- /core/src/main/java/com/ibm/wala/types/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/java/com/ibm/wala/types/package-info.java -------------------------------------------------------------------------------- /core/src/main/resources/.gitignore: -------------------------------------------------------------------------------- 1 | /wala.properties 2 | -------------------------------------------------------------------------------- /core/src/main/resources/J2SEClassHierarchyExclusions.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /core/src/main/resources/Java60RegressionExclusions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/resources/Java60RegressionExclusions.txt -------------------------------------------------------------------------------- /core/src/main/resources/SyntheticJ2SEModel.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/resources/SyntheticJ2SEModel.txt -------------------------------------------------------------------------------- /core/src/main/resources/WalaUtilMessages.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/resources/WalaUtilMessages.properties -------------------------------------------------------------------------------- /core/src/main/resources/codetemplates.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/resources/codetemplates.xml -------------------------------------------------------------------------------- /core/src/main/resources/dictionary.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/resources/dictionary.txt -------------------------------------------------------------------------------- /core/src/main/resources/formatter.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/resources/formatter.xml -------------------------------------------------------------------------------- /core/src/main/resources/log.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/resources/log.properties -------------------------------------------------------------------------------- /core/src/main/resources/natives.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/resources/natives.xml -------------------------------------------------------------------------------- /core/src/main/resources/natives_no_model.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/resources/natives_no_model.xml -------------------------------------------------------------------------------- /core/src/main/resources/primordial-base.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/resources/primordial-base.txt -------------------------------------------------------------------------------- /core/src/main/resources/primordial.jar.model: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/resources/primordial.jar.model -------------------------------------------------------------------------------- /core/src/main/resources/primordial.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/resources/primordial.txt -------------------------------------------------------------------------------- /core/src/main/resources/wala.properties.sample: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/main/resources/wala.properties.sample -------------------------------------------------------------------------------- /core/src/test/java/com/ibm/wala/core/tests/ir/CFGTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/test/java/com/ibm/wala/core/tests/ir/CFGTest.java -------------------------------------------------------------------------------- /core/src/test/resources/GUICorbaExclusions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/test/resources/GUICorbaExclusions.txt -------------------------------------------------------------------------------- /core/src/test/resources/GUIExclusions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/test/resources/GUIExclusions.txt -------------------------------------------------------------------------------- /core/src/test/resources/ShrikeTestExclusions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/test/resources/ShrikeTestExclusions.txt -------------------------------------------------------------------------------- /core/src/test/resources/base.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/test/resources/base.txt -------------------------------------------------------------------------------- /core/src/test/resources/baseAndDesktop.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/test/resources/baseAndDesktop.txt -------------------------------------------------------------------------------- /core/src/test/resources/hello.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/test/resources/hello.txt -------------------------------------------------------------------------------- /core/src/test/resources/ocaml_compr.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/test/resources/ocaml_compr.txt -------------------------------------------------------------------------------- /core/src/test/resources/ocaml_hello_hash.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/test/resources/ocaml_hello_hash.txt -------------------------------------------------------------------------------- /core/src/test/resources/wala.examples.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/test/resources/wala.examples.properties -------------------------------------------------------------------------------- /core/src/test/resources/wala.examples.properties.sample: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/test/resources/wala.examples.properties.sample -------------------------------------------------------------------------------- /core/src/test/resources/wala.testdata.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/test/resources/wala.testdata.txt -------------------------------------------------------------------------------- /core/src/testFixtures/resources/JLex.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testFixtures/resources/JLex.txt -------------------------------------------------------------------------------- /core/src/testFixtures/resources/bcel.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testFixtures/resources/bcel.txt -------------------------------------------------------------------------------- /core/src/testFixtures/resources/java_cup.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testFixtures/resources/java_cup.txt -------------------------------------------------------------------------------- /core/src/testSubjects/java/annotations/AnnotatedClass1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/annotations/AnnotatedClass1.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/annotations/AnnotatedClass2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/annotations/AnnotatedClass2.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/annotations/AnnotatedClass3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/annotations/AnnotatedClass3.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/annotations/AnnotatedClass4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/annotations/AnnotatedClass4.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/annotations/AnnotationEnum.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/annotations/AnnotationEnum.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/arrayAlias/TestArrayAlias.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/arrayAlias/TestArrayAlias.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/arraybounds/Detectable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/arraybounds/Detectable.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/arraybounds/NotDetectable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/arraybounds/NotDetectable.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/arraybounds/NotInBound.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/arraybounds/NotInBound.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/bug144/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/bug144/A.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/cell/Cell.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/cell/Cell.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/cfg/MonitorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/cfg/MonitorTest.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/cfg/exc/intra/B.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/cfg/exc/intra/B.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/cfg/exc/intra/FieldAccess.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/cfg/exc/intra/FieldAccess.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/classConstant/ClassConstant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/classConstant/ClassConstant.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/cornerCases/Abstract1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/cornerCases/Abstract1.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/cornerCases/Abstract2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/cornerCases/Abstract2.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/cornerCases/AliasNames.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/cornerCases/AliasNames.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/cornerCases/Concrete2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/cornerCases/Concrete2.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/cornerCases/Locals.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/cornerCases/Locals.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/cornerCases/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/cornerCases/Main.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/cornerCases/TryFinally.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/cornerCases/TryFinally.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/cornerCases/YuckyInterface.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/cornerCases/YuckyInterface.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/cpa/CPATest1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/cpa/CPATest1.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/cpa/CPATest2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/cpa/CPATest2.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/dataflow/StaticDataflow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/dataflow/StaticDataflow.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/defaultMethods/Interface1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/defaultMethods/Interface1.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/defaultMethods/Interface2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/defaultMethods/Interface2.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/A.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/ArraySet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/ArraySet.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/B.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/B.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/DemandPATestUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/DemandPATestUtil.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/DummyHashMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/DummyHashMap.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/DummyHashSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/DummyHashSet.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/DummyLinkedList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/DummyLinkedList.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/FlowsToTestFields.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/FlowsToTestFields.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/FlowsToTestHashSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/FlowsToTestHashSet.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/FlowsToTestId.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/FlowsToTestId.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/FlowsToTestLocals.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/FlowsToTestLocals.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/FlowsToType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/FlowsToType.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/Iter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/Iter.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestArrayList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestArrayList.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestArraySet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestArraySet.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestArraySetIter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestArraySetIter.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestArrays.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestArrays.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestArraysCopyOf.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestArraysCopyOf.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestClone.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestClone.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestCond.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestCond.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestException.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestFactory.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestFields.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestFields.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestFieldsHarder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestFieldsHarder.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestGetterSetter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestGetterSetter.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestGlobal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestGlobal.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestHashMapGet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestHashMapGet.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestHashSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestHashSet.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestHashtableEnum.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestHashtableEnum.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestId.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestId.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestLinkedList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestLinkedList.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestLinkedListIter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestLinkedListIter.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestLocals.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestLocals.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestMultiDim.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestMultiDim.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestNastyPtrs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestNastyPtrs.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestOnTheFlyCS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestOnTheFlyCS.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/demandpa/TestOnTheFlySimple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/demandpa/TestOnTheFlySimple.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/dynamicCG/ExtraClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/dynamicCG/ExtraClass.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/dynamicCG/MainClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/dynamicCG/MainClass.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/finalizers/Finalizers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/finalizers/Finalizers.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/hello/Hello.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/hello/Hello.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/inner/TestInner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/inner/TestInner.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/inner/TestStaticInner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/inner/TestStaticInner.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/junit/JunitTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/junit/JunitTests.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/lambda/CallMetaFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/lambda/CallMetaFactory.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/lambda/LambdaAndAnonymous.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/lambda/LambdaAndAnonymous.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/lambda/MethodRefs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/lambda/MethodRefs.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/lambda/ParamsAndCapture.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/lambda/ParamsAndCapture.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/lambda/SortingExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/lambda/SortingExample.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/libmodels/LibModels.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/libmodels/LibModels.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/multiDim/TestMultiDim.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/multiDim/TestMultiDim.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/multiTypes/Foo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/multiTypes/Foo.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/nestmates/Outer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/nestmates/Outer.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/nestmates/TestNestmates.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/nestmates/TestNestmates.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/objSensitive/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/objSensitive/A.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/objSensitive/B.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/objSensitive/B.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/objSensitive/C.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/objSensitive/C.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/pi/PiNodeCallGraphTestCase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/pi/PiNodeCallGraphTestCase.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/recurse/NList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/recurse/NList.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/GetMethodContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/GetMethodContext.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Helper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Helper.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect1.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect10.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect10.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect11.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect11.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect12.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect12.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect13.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect13.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect14.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect14.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect15.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect15.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect16.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect16.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect17.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect17.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect18.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect18.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect19.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect19.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect2.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect20.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect20.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect21.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect21.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect22.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect22.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect23.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect23.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect24.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect24.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect3.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect4.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect5.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect6.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect6.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect7.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect7.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect8.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect8.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/reflection/Reflect9.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/reflection/Reflect9.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/shrike/FloatingPoints.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/shrike/FloatingPoints.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/shrike/StackMaps.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/shrike/StackMaps.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/simple/Example.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/simple/Example.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/A.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/B.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/B.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/JustThrow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/JustThrow.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/Slice1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/Slice1.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/Slice2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/Slice2.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/Slice3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/Slice3.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/Slice4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/Slice4.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/Slice5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/Slice5.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/Slice6.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/Slice6.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/Slice7.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/Slice7.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/Slice8.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/Slice8.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/Slice9.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/Slice9.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestArrays.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestArrays.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestCD1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestCD1.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestCD2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestCD2.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestCD3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestCD3.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestCD4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestCD4.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestCD5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestCD5.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestCD6.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestCD6.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestFields.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestFields.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestGlobal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestGlobal.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestId.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestId.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestInetAddr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestInetAddr.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestIntegerValueOf.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestIntegerValueOf.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestList.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestListIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestListIterator.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestMessageFormat.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestMessageFormat.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestMultiTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestMultiTarget.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestPrimGetterSetter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestPrimGetterSetter.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestPrimGetterSetter2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestPrimGetterSetter2.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestRecursion.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestRecursion.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestThin1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestThin1.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/slice/TestThrowCatch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/slice/TestThrowCatch.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/special/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/special/A.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/staticInit/TestStaticInit.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/staticInit/TestStaticInit.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/string/SimpleStringOps.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/string/SimpleStringOps.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/stringConcat/StringConcat.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/stringConcat/StringConcat.java -------------------------------------------------------------------------------- /core/src/testSubjects/java/typeInference/TI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/core/src/testSubjects/java/typeInference/TI.java -------------------------------------------------------------------------------- /dalvik/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/dalvik/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /dalvik/.settings/org.eclipse.jdt.launching.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/dalvik/.settings/org.eclipse.jdt.launching.prefs -------------------------------------------------------------------------------- /dalvik/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/dalvik/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /dalvik/.settings/org.eclipse.pde.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/dalvik/.settings/org.eclipse.pde.prefs -------------------------------------------------------------------------------- /dalvik/.settings/org.eclipse.wst.validation.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/dalvik/.settings/org.eclipse.wst.validation.prefs -------------------------------------------------------------------------------- /dalvik/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/dalvik/README -------------------------------------------------------------------------------- /dalvik/StringTest.apk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/dalvik/StringTest.apk -------------------------------------------------------------------------------- /dalvik/apkCGBuilder.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/dalvik/apkCGBuilder.xml -------------------------------------------------------------------------------- /dalvik/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/dalvik/build.gradle.kts -------------------------------------------------------------------------------- /dalvik/gradle.properties: -------------------------------------------------------------------------------- 1 | POM_NAME=WALA Dalvik 2 | -------------------------------------------------------------------------------- /dalvik/models/ActivityModel.apk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/dalvik/models/ActivityModel.apk -------------------------------------------------------------------------------- /dalvik/models/src/ActivityModelActivity.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/dalvik/models/src/ActivityModelActivity.java -------------------------------------------------------------------------------- /dalvik/src/logback.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/dalvik/src/logback.xml -------------------------------------------------------------------------------- /dalvik/src/test/resources/AndroidRegressionExclusions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/dalvik/src/test/resources/AndroidRegressionExclusions.txt -------------------------------------------------------------------------------- /dalvik/src/test/resources/LibraryExclusions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/dalvik/src/test/resources/LibraryExclusions.txt -------------------------------------------------------------------------------- /dalvik/src/test/resources/multidex-test.apk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/dalvik/src/test/resources/multidex-test.apk -------------------------------------------------------------------------------- /foojay-resolver-convention-version.txt: -------------------------------------------------------------------------------- 1 | 1.0.0 2 | -------------------------------------------------------------------------------- /generate-latest-docs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/generate-latest-docs.sh -------------------------------------------------------------------------------- /gradle.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/gradle.properties -------------------------------------------------------------------------------- /gradle/libs.versions.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/gradle/libs.versions.toml -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/gradlew -------------------------------------------------------------------------------- /gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/gradlew.bat -------------------------------------------------------------------------------- /ide/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /ide/.settings/org.eclipse.jdt.launching.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/.settings/org.eclipse.jdt.launching.prefs -------------------------------------------------------------------------------- /ide/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /ide/.settings/org.eclipse.pde.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/.settings/org.eclipse.pde.prefs -------------------------------------------------------------------------------- /ide/.settings/org.eclipse.wst.validation.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/.settings/org.eclipse.wst.validation.prefs -------------------------------------------------------------------------------- /ide/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/build.gradle.kts -------------------------------------------------------------------------------- /ide/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/build.properties -------------------------------------------------------------------------------- /ide/jdt/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jdt/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /ide/jdt/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jdt/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /ide/jdt/.settings/org.eclipse.pde.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jdt/.settings/org.eclipse.pde.prefs -------------------------------------------------------------------------------- /ide/jdt/.settings/org.eclipse.wst.validation.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jdt/.settings/org.eclipse.wst.validation.prefs -------------------------------------------------------------------------------- /ide/jdt/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jdt/build.gradle.kts -------------------------------------------------------------------------------- /ide/jdt/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jdt/build.properties -------------------------------------------------------------------------------- /ide/jdt/src/main/java/com/ibm/wala/ide/jdt/Activator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jdt/src/main/java/com/ibm/wala/ide/jdt/Activator.java -------------------------------------------------------------------------------- /ide/jdt/src/main/java/com/ibm/wala/ide/util/JdtUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jdt/src/main/java/com/ibm/wala/ide/util/JdtUtil.java -------------------------------------------------------------------------------- /ide/jsdt/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jsdt/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /ide/jsdt/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jsdt/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /ide/jsdt/.settings/org.eclipse.pde.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jsdt/.settings/org.eclipse.pde.prefs -------------------------------------------------------------------------------- /ide/jsdt/.settings/org.eclipse.wst.validation.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jsdt/.settings/org.eclipse.wst.validation.prefs -------------------------------------------------------------------------------- /ide/jsdt/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jsdt/build.gradle.kts -------------------------------------------------------------------------------- /ide/jsdt/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jsdt/build.properties -------------------------------------------------------------------------------- /ide/jsdt/src/main/java/com/ibm/wala/ide/jsdt/Activator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jsdt/src/main/java/com/ibm/wala/ide/jsdt/Activator.java -------------------------------------------------------------------------------- /ide/jsdt/src/main/java/com/ibm/wala/ide/util/JsdtUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jsdt/src/main/java/com/ibm/wala/ide/util/JsdtUtil.java -------------------------------------------------------------------------------- /ide/jsdt/tests/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jsdt/tests/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /ide/jsdt/tests/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jsdt/tests/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /ide/jsdt/tests/.settings/org.eclipse.pde.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jsdt/tests/.settings/org.eclipse.pde.prefs -------------------------------------------------------------------------------- /ide/jsdt/tests/.settings/org.eclipse.wst.validation.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jsdt/tests/.settings/org.eclipse.wst.validation.prefs -------------------------------------------------------------------------------- /ide/jsdt/tests/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jsdt/tests/build.gradle.kts -------------------------------------------------------------------------------- /ide/jsdt/tests/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jsdt/tests/build.properties -------------------------------------------------------------------------------- /ide/jsdt/tests/launchers/JSProjectScopeTest.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jsdt/tests/launchers/JSProjectScopeTest.launch -------------------------------------------------------------------------------- /ide/jsdt/tests/launchers/com.ibm.wala.ide.jsdt.tests.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jsdt/tests/launchers/com.ibm.wala.ide.jsdt.tests.launch -------------------------------------------------------------------------------- /ide/jsdt/tests/src/test/resources/test_js_project.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/jsdt/tests/src/test/resources/test_js_project.zip -------------------------------------------------------------------------------- /ide/plugin.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/plugin.properties -------------------------------------------------------------------------------- /ide/src/main/java/com/ibm/wala/ide/plugin/CorePlugin.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/src/main/java/com/ibm/wala/ide/plugin/CorePlugin.java -------------------------------------------------------------------------------- /ide/src/main/java/com/ibm/wala/ide/ui/IFDSExplorer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/src/main/java/com/ibm/wala/ide/ui/IFDSExplorer.java -------------------------------------------------------------------------------- /ide/src/main/java/com/ibm/wala/ide/ui/SWTTreeViewer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/src/main/java/com/ibm/wala/ide/ui/SWTTreeViewer.java -------------------------------------------------------------------------------- /ide/src/main/java/com/ibm/wala/ide/ui/ViewIRAction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/src/main/java/com/ibm/wala/ide/ui/ViewIRAction.java -------------------------------------------------------------------------------- /ide/src/main/java/com/ibm/wala/ide/util/HeadlessUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/src/main/java/com/ibm/wala/ide/util/HeadlessUtil.java -------------------------------------------------------------------------------- /ide/tests/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/tests/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /ide/tests/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/tests/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /ide/tests/.settings/org.eclipse.pde.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/tests/.settings/org.eclipse.pde.prefs -------------------------------------------------------------------------------- /ide/tests/.settings/org.eclipse.wst.validation.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/tests/.settings/org.eclipse.wst.validation.prefs -------------------------------------------------------------------------------- /ide/tests/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/tests/build.gradle.kts -------------------------------------------------------------------------------- /ide/tests/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/tests/build.properties -------------------------------------------------------------------------------- /ide/tests/launchers/IFDSExplorerExample.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/tests/launchers/IFDSExplorerExample.launch -------------------------------------------------------------------------------- /ide/tests/launchers/SWTCallGraph.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/tests/launchers/SWTCallGraph.launch -------------------------------------------------------------------------------- /ide/tests/launchers/SWTPointsTo.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/tests/launchers/SWTPointsTo.launch -------------------------------------------------------------------------------- /ide/tests/launchers/SWTTypeHierarchy.launch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/tests/launchers/SWTTypeHierarchy.launch -------------------------------------------------------------------------------- /ide/tests/plugin.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/tests/plugin.properties -------------------------------------------------------------------------------- /ide/tests/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/ide/tests/plugin.xml -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/requirements.txt -------------------------------------------------------------------------------- /run-time-trials: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/run-time-trials -------------------------------------------------------------------------------- /scandroid/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/scandroid/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /scandroid/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/scandroid/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /scandroid/.settings/org.eclipse.pde.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/scandroid/.settings/org.eclipse.pde.prefs -------------------------------------------------------------------------------- /scandroid/.settings/org.eclipse.wst.validation.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/scandroid/.settings/org.eclipse.wst.validation.prefs -------------------------------------------------------------------------------- /scandroid/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/scandroid/build.gradle.kts -------------------------------------------------------------------------------- /scandroid/gradle.properties: -------------------------------------------------------------------------------- 1 | POM_NAME=WALA Scandroid 2 | -------------------------------------------------------------------------------- /scandroid/src/main/java/org/scandroid/flow/ISinkPoint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/scandroid/src/main/java/org/scandroid/flow/ISinkPoint.java -------------------------------------------------------------------------------- /scandroid/src/main/java/org/scandroid/spec/ISinkSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/scandroid/src/main/java/org/scandroid/spec/ISinkSpec.java -------------------------------------------------------------------------------- /scandroid/src/main/java/org/scandroid/spec/ISourceSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/scandroid/src/main/java/org/scandroid/spec/ISourceSpec.java -------------------------------------------------------------------------------- /scandroid/src/main/java/org/scandroid/spec/ISpecs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/scandroid/src/main/java/org/scandroid/spec/ISpecs.java -------------------------------------------------------------------------------- /scandroid/src/main/java/org/scandroid/spec/ResolveSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/scandroid/src/main/java/org/scandroid/spec/ResolveSpec.java -------------------------------------------------------------------------------- /scandroid/src/main/java/org/scandroid/spec/SinkSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/scandroid/src/main/java/org/scandroid/spec/SinkSpec.java -------------------------------------------------------------------------------- /scandroid/src/main/java/org/scandroid/spec/SourceSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/scandroid/src/main/java/org/scandroid/spec/SourceSpec.java -------------------------------------------------------------------------------- /scandroid/src/main/java/org/scandroid/spec/SpecUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/scandroid/src/main/java/org/scandroid/spec/SpecUtils.java -------------------------------------------------------------------------------- /scandroid/src/main/java/org/scandroid/spec/StaticSpecs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/scandroid/src/main/java/org/scandroid/spec/StaticSpecs.java -------------------------------------------------------------------------------- /scandroid/src/main/java/org/scandroid/util/DexDotUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/scandroid/src/main/java/org/scandroid/util/DexDotUtil.java -------------------------------------------------------------------------------- /scandroid/src/main/java/org/scandroid/util/EntryPoints.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/scandroid/src/main/java/org/scandroid/util/EntryPoints.java -------------------------------------------------------------------------------- /scandroid/src/main/java/org/scandroid/util/LoaderUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/scandroid/src/main/java/org/scandroid/util/LoaderUtils.java -------------------------------------------------------------------------------- /settings.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/settings.gradle.kts -------------------------------------------------------------------------------- /shrike/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/shrike/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /shrike/.settings/org.eclipse.jdt.launching.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/shrike/.settings/org.eclipse.jdt.launching.prefs -------------------------------------------------------------------------------- /shrike/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/shrike/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /shrike/.settings/org.eclipse.pde.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/shrike/.settings/org.eclipse.pde.prefs -------------------------------------------------------------------------------- /shrike/.settings/org.eclipse.wst.validation.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/shrike/.settings/org.eclipse.wst.validation.prefs -------------------------------------------------------------------------------- /shrike/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/shrike/build.gradle.kts -------------------------------------------------------------------------------- /shrike/gradle.properties: -------------------------------------------------------------------------------- 1 | POM_NAME=WALA Shrike 2 | -------------------------------------------------------------------------------- /shrike/javaCompiler...args: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/shrike/javaCompiler...args -------------------------------------------------------------------------------- /shrike/manifest.cg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/shrike/manifest.cg -------------------------------------------------------------------------------- /shrike/manifest.codescrape: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/shrike/manifest.codescrape -------------------------------------------------------------------------------- /shrike/releng/versionMap-1.0.0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/shrike/releng/versionMap-1.0.0.txt -------------------------------------------------------------------------------- /shrike/src/main/java/com/ibm/wala/shrike/bench/Bench.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/shrike/src/main/java/com/ibm/wala/shrike/bench/Bench.java -------------------------------------------------------------------------------- /shrike/src/main/java/com/ibm/wala/shrike/bench/Mangler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/shrike/src/main/java/com/ibm/wala/shrike/bench/Mangler.java -------------------------------------------------------------------------------- /shrike/src/main/java/com/ibm/wala/shrike/bench/Slots.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/shrike/src/main/java/com/ibm/wala/shrike/bench/Slots.java -------------------------------------------------------------------------------- /shrike/src/main/java/com/ibm/wala/shrike/cg/Runtime.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/shrike/src/main/java/com/ibm/wala/shrike/cg/Runtime.java -------------------------------------------------------------------------------- /shrike/src/main/java/com/ibm/wala/shrike/shrikeBT/Util.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/shrike/src/main/java/com/ibm/wala/shrike/shrikeBT/Util.java -------------------------------------------------------------------------------- /summarize-time-trials: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/summarize-time-trials -------------------------------------------------------------------------------- /util/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /util/.settings/org.eclipse.jdt.launching.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/.settings/org.eclipse.jdt.launching.prefs -------------------------------------------------------------------------------- /util/.settings/org.eclipse.jdt.ui.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/.settings/org.eclipse.jdt.ui.prefs -------------------------------------------------------------------------------- /util/.settings/org.eclipse.pde.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/.settings/org.eclipse.pde.prefs -------------------------------------------------------------------------------- /util/.settings/org.eclipse.wst.validation.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/.settings/org.eclipse.wst.validation.prefs -------------------------------------------------------------------------------- /util/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/build.gradle.kts -------------------------------------------------------------------------------- /util/gradle.properties: -------------------------------------------------------------------------------- 1 | POM_NAME=WALA Util 2 | -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/fixpoint/IVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/fixpoint/IVariable.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/fixpoint/TrueOperator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/fixpoint/TrueOperator.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/fixpoint/UnaryOperator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/fixpoint/UnaryOperator.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/fixpoint/UnaryOr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/fixpoint/UnaryOr.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/fixpoint/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/fixpoint/package-info.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/CancelException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/CancelException.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/MonitorUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/MonitorUtil.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/PlatformUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/PlatformUtil.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/WalaException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/WalaException.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/collections/Heap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/collections/Heap.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/collections/Pair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/collections/Pair.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/collections/Util.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/collections/Util.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/debug/Assertions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/debug/Assertions.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/graph/Acyclic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/graph/Acyclic.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/graph/BasicTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/graph/BasicTree.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/graph/EdgeManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/graph/EdgeManager.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/graph/GXL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/graph/GXL.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/graph/Graph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/graph/Graph.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/graph/GraphPrint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/graph/GraphPrint.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/graph/GraphSlicer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/graph/GraphSlicer.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/graph/GraphUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/graph/GraphUtil.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/graph/NodeManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/graph/NodeManager.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/graph/Path.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/graph/Path.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/graph/package-info.java: -------------------------------------------------------------------------------- 1 | /** Graph interfaces */ 2 | package com.ibm.wala.util.graph; 3 | -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/intset/BitSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/intset/BitSet.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/intset/BitVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/intset/BitVector.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/intset/Bits.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/intset/Bits.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/intset/IntPair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/intset/IntPair.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/intset/IntSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/intset/IntSet.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/intset/IntSetUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/intset/IntSetUtil.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/intset/IntVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/intset/IntVector.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/intset/LongSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/intset/LongSet.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/intset/OrdinalSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/intset/OrdinalSet.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/io/CommandLine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/io/CommandLine.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/io/FileUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/io/FileUtil.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/io/JavaHome.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/io/JavaHome.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/io/RtJar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/io/RtJar.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/io/Streams.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/io/Streams.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/io/TemporaryFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/io/TemporaryFile.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/math/Factorial.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/math/Factorial.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/math/Logs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/math/Logs.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/math/LongUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/math/LongUtil.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/math/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/math/package-info.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/perf/Stopwatch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/perf/Stopwatch.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/perf/StopwatchGC.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/perf/StopwatchGC.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/tables/Query.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/tables/Query.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/tables/Table.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/tables/Table.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/viz/DotUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/viz/DotUtil.java -------------------------------------------------------------------------------- /util/src/main/java/com/ibm/wala/util/viz/NodeDecorator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wala/WALA/HEAD/util/src/main/java/com/ibm/wala/util/viz/NodeDecorator.java -------------------------------------------------------------------------------- /xvfb-gradle.sh: -------------------------------------------------------------------------------- 1 | #!/bin/sh -efu 2 | 3 | exec xvfb-run --auto-servernum ./gradlew "$@" 4 | --------------------------------------------------------------------------------