├── .gitignore ├── COLLABORATORS ├── LICENSE ├── LICENSE-doop-orig ├── README.md ├── bin ├── analyze-droidbench.py ├── android-check.sh ├── bench-native-scanner.sh ├── db-analyser.py ├── diff-analyses.sh ├── diff-souffle-lb.sh ├── doop_runner.py ├── facts-to-json.py ├── gen-decls-doc.py ├── lib-local-deploy.gradle ├── log-analyzer.py ├── mkjar ├── oracular-1type+h.py ├── oracular.py ├── parse_beans.rb ├── run-dex-with-ssa.sh ├── run-with-redirection.sh ├── souffleScript ├── taint_network.py └── zipper.py ├── docs ├── datalog-101-legacy-examples │ ├── ancestors-facts.logic │ ├── ancestors.logic │ ├── graph.logic │ ├── path-facts.logic │ ├── path.logic │ ├── person-facts.logic │ └── person.logic ├── datalog-101-legacy.md ├── docker │ ├── Dockerfile │ ├── README.md │ ├── docker-build-and-push.sh │ └── legacy │ │ ├── Dockerfile │ │ └── README.md ├── documentation.md ├── doop-101-examples │ ├── .gitignore │ ├── Example.java │ ├── Makefile │ ├── query2.logic │ └── query3.logic ├── doop-101.md ├── doop-as-lib │ ├── .gitignore │ ├── README.md │ ├── build.gradle │ ├── gradle │ │ └── wrapper │ │ │ ├── gradle-wrapper.jar │ │ │ └── gradle-wrapper.properties │ ├── gradlew │ ├── gradlew.bat │ ├── settings.gradle │ └── src │ │ └── main │ │ └── java │ │ └── DoopRunner.java ├── ptaint.md ├── pythia.md ├── rules.html └── vscode-sarif-example.png ├── doop ├── doop.bat ├── doopOffline ├── generators ├── code-processor │ ├── README.md │ ├── build.gradle │ └── src │ │ └── main │ │ ├── antlr │ │ └── org │ │ │ └── clyze │ │ │ └── doop │ │ │ └── jimple │ │ │ └── Jimple.g4 │ │ └── groovy │ │ └── org │ │ └── clyze │ │ └── doop │ │ ├── jimple │ │ ├── JimpleListenerImpl.groovy │ │ ├── JimpleProcessor.groovy │ │ └── Main.groovy │ │ └── sarif │ │ ├── RMetadata.groovy │ │ └── SARIFGenerator.groovy ├── dex-fact-generator │ ├── build.gradle │ └── src │ │ └── main │ │ └── java │ │ └── org │ │ └── clyze │ │ └── doop │ │ └── dex │ │ ├── DexAndroidSupport.java │ │ ├── DexClassFactWriter.java │ │ ├── DexDriver.java │ │ ├── DexFactWriter.java │ │ ├── DexFieldInfo.java │ │ ├── DexInvoker.java │ │ ├── DexMethodFactWriter.java │ │ ├── DexParameters.java │ │ ├── DexRepresentation.java │ │ ├── DexUtils.java │ │ ├── FillArrayInfoEntry.java │ │ ├── FirstInstructionEntry.java │ │ ├── Handler.java │ │ ├── InferType.java │ │ ├── InitialValue.java │ │ ├── MethodFacts.java │ │ ├── MethodSig.java │ │ ├── MoveExceptionInfo.java │ │ ├── NewArrayInfo.java │ │ ├── ObjectReturnInfo.java │ │ ├── PatternManager.java │ │ ├── RawGoto.java │ │ └── ZeroedRegister.java ├── fact-generator-common │ ├── build.gradle │ └── src │ │ └── main │ │ └── java │ │ └── org │ │ └── clyze │ │ └── doop │ │ ├── common │ │ ├── ArtifactEntry.java │ │ ├── ArtifactScanner.java │ │ ├── BasicJavaSupport.java │ │ ├── BytecodeUtil.java │ │ ├── CHA.java │ │ ├── Database.java │ │ ├── DatabaseConnector.java │ │ ├── DoopErrorCodeException.java │ │ ├── Driver.java │ │ ├── FactEncoders.java │ │ ├── FieldInfo.java │ │ ├── FieldOp.java │ │ ├── FrontEndLogger.java │ │ ├── GenericFieldInfo.java │ │ ├── GenericSignaturesRetriever.java │ │ ├── InstrInfo.java │ │ ├── JavaFactWriter.java │ │ ├── JavaRepresentation.java │ │ ├── Parameters.java │ │ ├── Phantoms.java │ │ ├── PredicateFile.java │ │ ├── PropertyProvider.java │ │ ├── SessionCounter.java │ │ ├── XMLFactGenerator.java │ │ ├── android │ │ │ ├── AndroidSupport.java │ │ │ ├── AppResources.java │ │ │ ├── AppResourcesXML.java │ │ │ ├── LayoutControl.java │ │ │ └── RLinker.java │ │ └── scanner │ │ │ └── antlr │ │ │ ├── GenericTypeBaseVisitor.java │ │ │ ├── GenericTypeLexer.java │ │ │ ├── GenericTypeParser.java │ │ │ ├── GenericTypeVisitor.java │ │ │ └── PrintVisitor.java │ │ ├── soot │ │ └── DoopConventions.java │ │ └── util │ │ ├── PackageUtil.java │ │ ├── PackageUtils.java │ │ ├── Regex.java │ │ ├── Resource.java │ │ └── filter │ │ ├── ClassFilter.java │ │ └── GlobClassFilter.java ├── soot-fact-generator │ ├── build.gradle │ └── src │ │ ├── main │ │ └── java │ │ │ └── org │ │ │ └── clyze │ │ │ └── doop │ │ │ └── soot │ │ │ ├── BasicJavaSupport_Soot.java │ │ │ ├── ClassAdder.java │ │ │ ├── ClassConstantInfo.java │ │ │ ├── ClassHeapFinder.java │ │ │ ├── DoopAddons.java │ │ │ ├── DoopRenamer.java │ │ │ ├── FactGenerator.java │ │ │ ├── FactWriter.java │ │ │ ├── IrrelevantStmtSwitch.java │ │ │ ├── JimpleGenerator.java │ │ │ ├── Main.java │ │ │ ├── Representation.java │ │ │ ├── SootDriver.java │ │ │ ├── SootParameters.java │ │ │ └── android │ │ │ └── AndroidSupport_Soot.java │ │ └── test │ │ └── groovy │ │ └── org │ │ └── clyze │ │ └── doop │ │ └── soot │ │ ├── DoopConventionsTest.groovy │ │ └── SootParametersTest.groovy └── wala-fact-generator │ ├── build.gradle │ ├── local-libs │ ├── com.ibm.wala.cast-1.5.1-SNAPSHOT.jar │ ├── com.ibm.wala.cast.java-1.5.1-SNAPSHOT.jar │ ├── com.ibm.wala.cast.python-0.0.1-SNAPSHOT.jar │ ├── com.ibm.wala.core-1.5.1-SNAPSHOT.jar │ ├── com.ibm.wala.dalvik-1.5.1-SNAPSHOT.jar │ ├── com.ibm.wala.shrike-1.5.1-SNAPSHOT.jar │ └── com.ibm.wala.util-1.5.1-SNAPSHOT.jar │ └── src │ └── main │ ├── java │ └── org │ │ └── clyze │ │ └── doop │ │ ├── python │ │ ├── PythonFactGenerator.java │ │ ├── PythonFactWriter.java │ │ ├── PythonIREngine.java │ │ ├── PythonInvoker.java │ │ ├── PythonParameters.java │ │ ├── PythonRepresentation.java │ │ └── utils │ │ │ ├── PythonDatabase.java │ │ │ ├── PythonIRPrinter.java │ │ │ ├── PythonPredicateFile.java │ │ │ └── PythonUtils.java │ │ └── wala │ │ ├── Local.java │ │ ├── Main.java │ │ ├── Session.java │ │ ├── WalaAndroidXMLParser.java │ │ ├── WalaDriver.java │ │ ├── WalaExceptionHelper.java │ │ ├── WalaFactGenerator.java │ │ ├── WalaFactWriter.java │ │ ├── WalaIRPrinter.java │ │ ├── WalaInvoker.java │ │ ├── WalaRepresentation.java │ │ ├── WalaScopeReader.java │ │ └── WalaUtils.java │ └── resources │ ├── WALAprimordial.jar.model │ └── WALAprimordial.txt ├── gradle.properties ├── gradle └── wrapper │ ├── gradle-wrapper.jar │ └── gradle-wrapper.properties ├── gradlew ├── gradlew.bat ├── lb-logic ├── addons │ ├── cfg-analysis │ │ ├── analysis.logic │ │ ├── declarations.logic │ │ └── tests.logic │ ├── dacapo │ │ └── rules.logic │ ├── information-flow │ │ ├── alfresco-sources-and-sinks.logic │ │ ├── android-sources-and-sinks.logic │ │ ├── android-taint-wrappers.logic │ │ ├── android.logic │ │ ├── beans-sources-and-sinks.logic │ │ ├── common-transfer-methods.logic │ │ ├── declarations.logic │ │ ├── delta.logic │ │ ├── macros.logic │ │ ├── minimal-sources-and-sinks.logic │ │ ├── query.logic │ │ ├── rules.logic │ │ ├── spring-sources-and-sinks.logic │ │ └── webapps-sources-and-sinks.logic │ ├── open-programs │ │ ├── entry-points.logic │ │ ├── rules-concrete-types.logic │ │ └── rules-servlets-only.logic │ ├── queries │ │ └── classifyVPT.logic │ ├── sanity.logic │ ├── server-logic │ │ └── queries.logic │ ├── statistics │ │ ├── macros.logic │ │ ├── statistics-simple.logic │ │ └── statistics.logic │ ├── tamiflex │ │ ├── declarations.logic │ │ ├── delta.logic │ │ ├── fact-declarations.logic │ │ ├── import.logic │ │ ├── post-import.logic │ │ └── rules.logic │ └── transform │ │ ├── declarations.logic │ │ ├── delta.logic │ │ └── rules.logic ├── analyses │ ├── 1-call-site-sensitive+heap │ │ ├── analysis.logic │ │ ├── delta.logic │ │ └── macros.logic │ ├── 1-call-site-sensitive │ │ ├── analysis.logic │ │ ├── delta.logic │ │ └── macros.logic │ ├── 1-object-sensitive+heap │ │ ├── analysis.logic │ │ └── macros.logic │ ├── 1-object-sensitive │ │ ├── analysis.logic │ │ └── macros.logic │ ├── 1-type-sensitive+heap │ │ ├── analysis.logic │ │ ├── delta.logic │ │ └── macros.logic │ ├── 1-type-sensitive │ │ ├── analysis.logic │ │ ├── delta.logic │ │ └── macros.logic │ ├── 2-call-site-sensitive+2-heap │ │ ├── analysis.logic │ │ ├── delta.logic │ │ └── macros.logic │ ├── 2-call-site-sensitive+heap │ │ ├── analysis.logic │ │ ├── delta.logic │ │ └── macros.logic │ ├── 2-object-sensitive+2-heap │ │ ├── analysis.logic │ │ └── macros.logic │ ├── 2-object-sensitive+heap-plus │ │ ├── analysis.logic │ │ └── macros.logic │ ├── 2-object-sensitive+heap │ │ ├── analysis.logic │ │ └── macros.logic │ ├── 2-type-object-sensitive+2-heap │ │ ├── analysis.logic │ │ └── macros.logic │ ├── 2-type-object-sensitive+heap │ │ ├── analysis.logic │ │ └── macros.logic │ ├── 2-type-sensitive+heap │ │ ├── analysis.logic │ │ ├── delta.logic │ │ └── macros.logic │ ├── 3-object-sensitive+3-heap │ │ ├── analysis.logic │ │ └── macros.logic │ ├── 3-type-sensitive+2-heap │ │ ├── analysis.logic │ │ ├── delta.logic │ │ └── macros.logic │ ├── 3-type-sensitive+3-heap │ │ ├── analysis.logic │ │ ├── delta.logic │ │ └── macros.logic │ ├── adaptive-insens-2objH │ │ ├── analysis.logic │ │ └── macros.logic │ ├── adaptive2-insens-2objH │ │ ├── analysis.logic │ │ ├── analysis.old │ │ ├── inoutscc.logic │ │ └── macros.logic │ ├── context-insensitive-plus │ │ ├── analysis.logic │ │ └── macros.logic │ ├── context-insensitive-plusplus │ │ ├── analysis.logic │ │ └── macros.logic │ ├── context-insensitive │ │ ├── analysis.logic │ │ └── macros.logic │ ├── dependency-analysis │ │ ├── analysis.logic │ │ ├── declarations.logic │ │ ├── delta.logic │ │ └── macros.logic │ ├── escape │ │ ├── declarations.logic │ │ ├── queries.logic │ │ ├── rules.logic │ │ ├── run.lb │ │ └── wrap.sh │ ├── micro │ │ ├── analysis.logic │ │ ├── analysis.properties │ │ ├── declarations.logic │ │ ├── macros.logic │ │ ├── statistics.logic │ │ └── statistics.part.lb │ ├── must-point-to │ │ ├── analysis-simple.logic │ │ ├── analysis.logic │ │ ├── may-pre-analysis.logic │ │ ├── points-alias-simple.logic │ │ └── tests.logic │ ├── naive │ │ ├── analysis.logic │ │ ├── analysis.properties │ │ ├── declarations.logic │ │ ├── macros.logic │ │ ├── statistics.logic │ │ └── statistics.part.lb │ ├── paddle-2-object-sensitive+heap │ │ ├── analysis.logic │ │ └── macros.logic │ ├── paddle-2-object-sensitive │ │ ├── analysis.logic │ │ └── macros.logic │ ├── partial-insens-s2objH │ │ ├── analysis.logic │ │ └── macros.logic │ ├── partitioned-2-object-sensitive+heap │ │ ├── analysis.logic │ │ └── macros.logic │ ├── refA-2-call-site-sensitive+heap │ │ ├── analysis.logic │ │ ├── delta.logic │ │ ├── macros.logic │ │ └── refinement-delta.logic │ ├── refA-2-object-sensitive+heap │ │ ├── analysis.logic │ │ ├── macros.logic │ │ └── refinement-delta.logic │ ├── refA-2-type-sensitive+heap │ │ ├── analysis.logic │ │ ├── delta.logic │ │ ├── macros.logic │ │ └── refinement-delta.logic │ ├── refB-2-call-site-sensitive+heap │ │ ├── analysis.logic │ │ ├── delta.logic │ │ ├── macros.logic │ │ └── refinement-delta.logic │ ├── refB-2-object-sensitive+heap │ │ ├── analysis.logic │ │ ├── macros.logic │ │ └── refinement-delta.logic │ ├── refB-2-type-sensitive+heap │ │ ├── analysis.logic │ │ ├── delta.logic │ │ ├── macros.logic │ │ └── refinement-delta.logic │ ├── scc-2-object-sensitive+heap │ │ ├── analysis.logic │ │ └── macros.logic │ ├── selective-2-object-sensitive+heap │ │ ├── analysis.logic │ │ └── macros.logic │ ├── selective-2-type-sensitive+heap │ │ ├── analysis.logic │ │ ├── delta.logic │ │ └── macros.logic │ ├── selective_A-1-object-sensitive │ │ ├── analysis.logic │ │ └── macros.logic │ ├── selective_B-1-object-sensitive │ │ ├── analysis.logic │ │ └── macros.logic │ ├── sound-may-point-to │ │ ├── analysis.logic │ │ ├── intraprocedural-must.logic │ │ ├── must-alias.logic │ │ ├── must-point-to.logic │ │ ├── sound-may.logic │ │ ├── statistics.logic │ │ └── statistics.part.lb │ ├── special-2-object-sensitive+heap │ │ └── analysis.logic │ ├── special-2-type-sensitive+heap │ │ └── analysis.dl │ ├── stutter-2-object-sensitive+heap │ │ ├── analysis.logic │ │ └── macros.logic │ ├── uniform-1-object-sensitive │ │ ├── analysis.logic │ │ ├── delta.logic │ │ └── macros.logic │ ├── uniform-2-object-sensitive+heap │ │ ├── analysis.logic │ │ ├── delta.logic │ │ └── macros.logic │ └── uniform-2-type-sensitive+heap │ │ ├── analysis.logic │ │ ├── delta.logic │ │ └── macros.logic ├── basic │ ├── basic-declarations.logic │ ├── basic.logic │ ├── finalization-declarations.logic │ ├── finalization.logic │ ├── method-resolution-declarations.logic │ ├── method-resolution.logic │ ├── subclass-declarations.logic │ ├── subclass.logic │ ├── superinterface-declarations.logic │ ├── superinterface.logic │ ├── type-hierarchy-declarations.logic │ └── type-hierarchy.logic ├── commonMacros.logic ├── dead │ ├── addons │ │ ├── auxiliary-heap-allocations │ │ │ ├── declarations.logic │ │ │ └── delta.logic │ │ ├── fu-exception-flow │ │ │ ├── declarations.logic │ │ │ ├── delta.logic │ │ │ └── rules.logic │ │ ├── graph │ │ │ ├── basic-declarations.logic │ │ │ ├── basic.logic │ │ │ └── scc │ │ │ │ ├── SCC-approx.logic │ │ │ │ └── spanning.logic │ │ ├── rules-reference-types.logic │ │ └── type-analysis.logic │ ├── analyses │ │ ├── core │ │ │ └── exceptions │ │ │ │ ├── experimental-declarations.logic │ │ │ │ ├── experimental.logic │ │ │ │ ├── imprecise-declarations.logic │ │ │ │ └── imprecise.logic │ │ ├── experimental │ │ │ ├── 1-call+1-object-sensitive+2-heap │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── 2-1-object-sensitive+heap │ │ │ │ ├── README.txt │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── 3-1-type-2-object-sensitive+3-heap │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── 3-2-type-1-object-sensitive+2-heap │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── 3-2-type-1-object-sensitive+3-heap │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── baseline_1-obj+1-call+2H │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── baseline_1-obj+1-call+H-B │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── baseline_1-obj+1-call+H │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── hybrid-1-object-sensitive+heap-B │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── hybrid-1-object-sensitive+heap │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── hybrid-1-type-sensitive+heap │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── hybrid-2-full-object-sensitive+2-heap │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── hybrid-2-full-object-sensitive+heap-A │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── hybrid-2-full-object-sensitive+heap-B │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── hybrid-2-full-object-sensitive+heap-C │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── hybrid-2-full-object-sensitive+heap-D │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── hybrid-2-full-object-sensitive+heap-E │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── hybrid-2-full-object-sensitive+heap-F │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── hybrid-2-full-object-sensitive+heap-I │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── hybrid-2-full-object-sensitive+heap │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── hybrid-2-type-sensitive+heap-B │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ │ ├── instancefield-experiment-dropped.logic │ │ │ ├── ref-2-call-site-sensitive+2-heap │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ ├── macros.logic │ │ │ │ └── refinement-delta.logic │ │ │ ├── ref-2-call-site-sensitive+heap │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ ├── macros.logic │ │ │ │ └── refinement-delta.logic │ │ │ ├── ref-2-object-sensitive+heap │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ ├── macros.logic │ │ │ │ └── refinement-delta.logic │ │ │ ├── ref-2-type-sensitive+heap │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ ├── macros.logic │ │ │ │ └── refinement-delta.logic │ │ │ ├── ref-3-object-sensitive+2-heap │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ ├── macros.logic │ │ │ │ └── refinement-delta.logic │ │ │ └── thread-sensitive │ │ │ │ ├── analysis.logic │ │ │ │ ├── declarations.logic │ │ │ │ ├── delta.logic │ │ │ │ └── macros.logic │ │ └── sound-may-point-to │ │ │ └── old-analysis.logic │ └── basic │ │ └── exceptions │ │ ├── experimental-handler-no-order-declarations.logic │ │ ├── experimental-handler-no-order.logic │ │ ├── experimental-handler-order-declarations.logic │ │ └── experimental-handler-order.logic ├── facts │ ├── externalheaps.logic │ ├── flow-insensitive-schema.logic │ ├── flow-sensitive-schema.logic │ ├── import-dynamic-facts.logic │ ├── import-dynamic-facts2.logic │ ├── import-entities.logic │ ├── import-facts.logic │ ├── mock-heap.logic │ ├── post-process.logic │ └── to-flow-insensitive-delta.logic └── main │ ├── android.logic │ ├── class-initialization-declarations.logic │ ├── class-initialization.logic │ ├── classes-scc.logic │ ├── context-sensitivity-declarations.logic │ ├── context-sensitivity.logic │ ├── dynamicanalysis.logic │ ├── exceptions.logic │ ├── export-refinement.logic │ ├── finalization.logic │ ├── implicit-reachable-declarations.logic │ ├── implicit-reachable.logic │ ├── import-refinement.logic │ ├── in-out-flow.logic │ ├── main-declarations.logic │ ├── main-delta.logic │ ├── main.logic │ ├── method-handles.logic │ ├── native-delta.logic │ ├── native.logic │ ├── package-heuristic.logic │ ├── partitioning.logic │ ├── prologue.logic │ ├── reference.logic │ ├── reflection │ ├── declarations.logic │ ├── delta.logic │ ├── dynamic-proxies.logic │ ├── java.lang.Class.logic │ ├── java.lang.reflect.Array.logic │ ├── java.lang.reflect.Constructor.logic │ ├── java.lang.reflect.Field.logic │ ├── java.lang.reflect.Method.logic │ ├── proxyMacros.logic │ └── rules.logic │ ├── special-library.logic │ ├── string-constants-declarations.logic │ ├── string-constants.logic │ ├── threads-declarations.logic │ └── threads.logic ├── local-dependencies └── apktool-cli-2.4.2.jar ├── settings.gradle ├── souffle-logic ├── addons │ ├── butterknife.dl │ ├── cfg-analysis │ │ └── analysis.dl │ ├── constant-folding │ │ └── analysis.dl │ ├── dacapo │ │ └── rules.dl │ ├── glide.dl │ ├── information-flow │ │ ├── alfresco-sources-and-sinks.dl │ │ ├── android-sources-and-sinks.dl │ │ ├── android-taint-wrappers.dl │ │ ├── android.dl │ │ ├── beans-sources-and-sinks.dl │ │ ├── common-transfer-methods.dl │ │ ├── core.dl │ │ ├── declarations.dl │ │ ├── delta.dl │ │ ├── macros.dl │ │ ├── minimal-sources-and-sinks.dl │ │ ├── rules-data-flow.dl │ │ ├── rules.dl │ │ ├── spring-sources-and-sinks.dl │ │ └── webapps-sources-and-sinks.dl │ ├── open-programs │ │ ├── application-concrete-types.dl │ │ ├── entry-points.dl │ │ ├── rules-alfresco.dl │ │ ├── rules-beans.dl │ │ ├── rules-concrete-types.dl │ │ ├── rules-jackee.dl │ │ ├── rules-servlets-only.dl │ │ └── rules-spring.dl │ ├── opt-directives │ │ ├── directives.dl │ │ └── keep.dl │ ├── queries │ │ └── classifyVPT.dl │ ├── sanity.dl │ ├── sarif │ │ └── sarif.dl │ ├── scaler │ │ ├── max_context_calculator.dl │ │ └── non_precision_critical_methods.dl │ ├── server-logic │ │ ├── method-lookup-ext.dl │ │ ├── queries.dl │ │ └── type-hierarchy-ext.dl │ ├── souffle-incremental-output │ │ ├── functor-declarations.dl │ │ └── incr-output.dl │ ├── ssa-transform │ │ └── analysis.dl │ ├── statistics │ │ ├── macros.dl │ │ ├── metrics.dl │ │ ├── statistics-declarations.dl │ │ ├── statistics-output.dl │ │ ├── statistics-simple-declarations.dl │ │ ├── statistics-simple.dl │ │ └── statistics.dl │ ├── symbolic-reasoning │ │ ├── analysis.dl │ │ ├── arithmetic-reasoning.dl │ │ ├── boolean-reasoning.dl │ │ ├── declarations.dl │ │ ├── expr-tree.dl │ │ ├── path-expression.dl │ │ └── util.dl │ ├── tamiflex │ │ ├── declarations.dl │ │ ├── delta.dl │ │ ├── fact-declarations.dl │ │ ├── import.dl │ │ ├── post-import.dl │ │ └── rules.dl │ └── testing │ │ ├── AndroidTests_TypesOnly_androidterm.dl │ │ ├── TestInvokedynamic.dl │ │ ├── TestReflection.dl │ │ ├── native-tests.dl │ │ ├── test-discovery.dl │ │ └── test-exports.dl ├── analyses │ ├── 1-call-site-sensitive+heap │ │ └── analysis.dl │ ├── 1-call-site-sensitive │ │ └── analysis.dl │ ├── 1-object-1-type-sensitive+heap │ │ └── analysis.dl │ ├── 1-object-sensitive+heap │ │ └── analysis.dl │ ├── 1-object-sensitive │ │ └── analysis.dl │ ├── 1-type-sensitive+heap │ │ └── analysis.dl │ ├── 1-type-sensitive │ │ └── analysis.dl │ ├── 2-call-site-sensitive+2-heap │ │ └── analysis.dl │ ├── 2-call-site-sensitive+heap │ │ └── analysis.dl │ ├── 2-object-sensitive+2-heap │ │ └── analysis.dl │ ├── 2-object-sensitive+heap │ │ └── analysis.dl │ ├── 2-type-object-sensitive+2-heap │ │ └── analysis.dl │ ├── 2-type-object-sensitive+heap │ │ └── analysis.dl │ ├── 2-type-sensitive+heap │ │ └── analysis.dl │ ├── 3-object-sensitive+2-heap │ │ └── analysis.dl │ ├── 3-object-sensitive+3-heap │ │ └── analysis.dl │ ├── 3-type-sensitive+2-heap │ │ └── analysis.dl │ ├── 3-type-sensitive+3-heap │ │ └── analysis.dl │ ├── 4-object-sensitive+4-heap │ │ └── analysis.dl │ ├── adaptive-2-object-sensitive+heap │ │ └── analysis.dl │ ├── basic-only │ │ └── analysis.dl │ ├── blacklist-1-object-sensitive+heap │ │ └── analysis.dl │ ├── context-insensitive-plus │ │ └── analysis.dl │ ├── context-insensitive-plusplus │ │ └── analysis.dl │ ├── context-insensitive │ │ └── analysis.dl │ ├── data-flow │ │ ├── analysis.dl │ │ └── setup.dl │ ├── dependency-analysis │ │ ├── analysis.dl │ │ └── declarations.dl │ ├── dependency-context │ │ ├── 2objH-micro.dl │ │ ├── deco.dl │ │ └── self-contained.dl │ ├── fully-guided-context-sensitive │ │ └── analysis.dl │ ├── micro │ │ ├── analysis.dl │ │ └── self-contained.dl │ ├── oracular-precision │ │ └── analysis.dl │ ├── oracular-scalability │ │ └── analysis.dl │ ├── partitioned-2-object-sensitive+heap │ │ ├── analysis.dl │ │ └── partitioning.dl │ ├── selective-2-object-sensitive+heap │ │ └── analysis.dl │ ├── sound-may-point-to │ │ ├── analysis.dl │ │ ├── must-alias.dl │ │ └── must-point-to.dl │ ├── sticky-2-object-sensitive │ │ └── analysis.dl │ ├── types-only │ │ └── analysis.dl │ └── xtractor │ │ ├── analysis.dl │ │ ├── arrays.dl │ │ ├── common.dl │ │ ├── conditions.dl │ │ ├── constant-folding.dl │ │ ├── expr-client.dl │ │ ├── loops.dl │ │ ├── out-schema.dl │ │ ├── symbolic.dl │ │ └── theorem-prover.dl ├── basic │ ├── basic.dl │ ├── classes-scc.dl │ ├── exceptions.dl │ ├── finalization.dl │ ├── method-lookup.dl │ ├── method-resolution.dl │ ├── native-strings.dl │ ├── partitioning.dl │ └── type-hierarchy.dl ├── commonMacros.dl ├── facts │ ├── android.dl │ ├── facts.dl │ ├── flow-insensitive-facts.dl │ ├── flow-sensitive-schema.dl │ ├── generics.dl │ ├── import-dynamic-facts.dl │ ├── imports.dl │ ├── keep.dl │ └── opaque-methods.dl ├── main │ ├── android-declarations.dl │ ├── android-xml.dl │ ├── android.dl │ ├── api-mocking.dl │ ├── app-only.dl │ ├── basic-context-sensitivity.dl │ ├── class-initialization-declarations.dl │ ├── class-initialization.dl │ ├── configuration.dl │ ├── context-sensitivity-declarations.dl │ ├── context-sensitivity-variable-level.dl │ ├── context-sensitivity.dl │ ├── dynamicanalysis.dl │ ├── exceptions.dl │ ├── export.dl │ ├── finalization.dl │ ├── full-call-graph.dl │ ├── generics-pre-analysis.dl │ ├── implicit-reachable-declarations.dl │ ├── implicit-reachable.dl │ ├── in-out-flow.dl │ ├── init.dl │ ├── main-declarations.dl │ ├── main-delta.dl │ ├── main.dl │ ├── method-handles.dl │ ├── native.dl │ ├── non-segregated-rules.dl │ ├── package-heuristic.dl │ ├── phantom-dead.dl │ ├── prologue.dl │ ├── reference.dl │ ├── reflection │ │ ├── classloading.dl │ │ ├── declarations.dl │ │ ├── delta.dl │ │ ├── dynamic-proxies-delta.dl │ │ ├── dynamic-proxies.dl │ │ ├── java.lang.Class.dl │ │ ├── java.lang.reflect.Array.dl │ │ ├── java.lang.reflect.Constructor.dl │ │ ├── java.lang.reflect.Field.dl │ │ ├── java.lang.reflect.Method.dl │ │ ├── light-Class.dl │ │ ├── light-reflection-glue.dl │ │ ├── native-reflection.dl │ │ └── rules.dl │ ├── scaler-pre-analysis.dl │ ├── single-phase-analysis.dl │ ├── special-library.dl │ ├── string-concat.dl │ ├── string-constants.dl │ ├── threads-declarations.dl │ ├── threads.dl │ ├── two-phase-analysis.dl │ └── zipper-pre-analysis.dl └── python │ ├── addons │ └── statistics │ │ ├── statistics-macros.dl │ │ ├── statistics-output.dl │ │ ├── statistics-simple-declarations.dl │ │ └── statistics-simple.dl │ ├── analyses │ ├── 1-call-site-sensitive+heap │ │ └── analysis.dl │ ├── 1-call-site-sensitive │ │ └── analysis.dl │ ├── 2-call-site-sensitive+2-heap │ │ └── analysis.dl │ ├── 2-call-site-sensitive+heap │ │ └── analysis.dl │ └── context-insensitive │ │ └── analysis.dl │ ├── facts │ ├── import-entities.dl │ ├── import-facts.dl │ ├── post-process.dl │ └── schema.dl │ ├── lib-specific │ ├── default-python-lib.dl │ ├── lib-macros.dl │ ├── modeled.dl │ ├── numpy.dl │ └── tensorflow │ │ ├── arithmetic-ops.dl │ │ ├── general-tensor-modeling.dl │ │ ├── keras.dl │ │ ├── pooling-conv-ops.dl │ │ ├── shape-mod-ops.dl │ │ ├── shape-pass-through-ops.dl │ │ ├── tensor-creation-ops.dl │ │ ├── tensorflow-library.dl │ │ ├── tensorflow.dl │ │ └── uncategorized-ops.dl │ └── main │ ├── comprehension.dl │ ├── configuration.dl │ ├── const-int.dl │ ├── dictionaries.dl │ ├── export.dl │ ├── function-resolution-declarations.dl │ ├── function-resolution.dl │ ├── imports.dl │ ├── lists.dl │ ├── main-declarations.dl │ └── main.dl ├── src ├── inputTests │ ├── test0 │ │ └── A.java │ ├── test1 │ │ └── A.java │ ├── test2 │ │ └── A.java │ ├── test3 │ │ └── A.java │ ├── test4 │ │ └── A.java │ ├── test5 │ │ └── A.java │ ├── test6 │ │ └── A.java │ └── test7 │ │ └── A.java ├── main │ ├── groovy │ │ ├── TestScalerPredictions.groovy │ │ └── org │ │ │ └── clyze │ │ │ └── doop │ │ │ ├── Main.groovy │ │ │ ├── command │ │ │ ├── CommandLineAnalysisFactory.groovy │ │ │ ├── CommandLineAnalysisPostProcessor.groovy │ │ │ ├── GOption.groovy │ │ │ ├── Help.groovy │ │ │ └── HelpGroupFormatter.groovy │ │ │ ├── core │ │ │ ├── Doop.groovy │ │ │ ├── DoopAnalysis.groovy │ │ │ ├── DoopAnalysisFactory.groovy │ │ │ ├── DoopAnalysisFamily.groovy │ │ │ ├── FactGenerator0.groovy │ │ │ ├── FrontEnd.groovy │ │ │ ├── LB3Analysis.groovy │ │ │ ├── SouffleAnalysis.groovy │ │ │ ├── SouffleGenericsMultiPhaseAnalysis.groovy │ │ │ ├── SouffleOracularPrecisionMultiPhaseAnalysis.groovy │ │ │ ├── SouffleOracularScalabilityMultiPhaseAnalysis.groovy │ │ │ ├── SoufflePartitionedAnalysis.groovy │ │ │ ├── SoufflePythonAnalysis.groovy │ │ │ └── SouffleScalerMultiPhaseAnalysis.groovy │ │ │ ├── input │ │ │ ├── BenchmarksResolver.groovy │ │ │ └── RecursiveBenchmarksResolver.groovy │ │ │ └── utils │ │ │ ├── CPreprocessor.groovy │ │ │ ├── ConfigurationGenerator.groovy │ │ │ ├── ContextRemover.groovy │ │ │ ├── DDlog.groovy │ │ │ ├── LBBuilder.groovy │ │ │ ├── SouffleOptions.groovy │ │ │ ├── SouffleScript.groovy │ │ │ ├── SouffleScriptMain.groovy │ │ │ ├── TACGenerator.groovy │ │ │ ├── XTractor.groovy │ │ │ └── scaler │ │ │ ├── ScalerPostAnalysis.groovy │ │ │ └── WorstCaseContextMap.groovy │ ├── java │ │ └── org │ │ │ └── clyze │ │ │ └── doop │ │ │ ├── oracular │ │ │ └── CountOccurrences.java │ │ │ ├── ptatoolkit │ │ │ ├── Global.java │ │ │ ├── LICENSE-scaler-zipper │ │ │ ├── Options.java │ │ │ ├── doop │ │ │ │ ├── DataBase.java │ │ │ │ ├── Query.java │ │ │ │ ├── QueryResultItr.java │ │ │ │ ├── basic │ │ │ │ │ ├── DoopField.java │ │ │ │ │ ├── DoopInstanceCallSite.java │ │ │ │ │ ├── DoopInstanceMethod.java │ │ │ │ │ ├── DoopObj.java │ │ │ │ │ ├── DoopStaticMethod.java │ │ │ │ │ ├── DoopType.java │ │ │ │ │ └── DoopVariable.java │ │ │ │ └── factory │ │ │ │ │ ├── ElementFactory.java │ │ │ │ │ ├── FieldFactory.java │ │ │ │ │ ├── InstanceCallSiteFactory.java │ │ │ │ │ ├── MethodFactory.java │ │ │ │ │ ├── ObjFactory.java │ │ │ │ │ ├── TypeFactory.java │ │ │ │ │ └── VariableFactory.java │ │ │ ├── pta │ │ │ │ ├── basic │ │ │ │ │ ├── AttributeElement.java │ │ │ │ │ ├── BasicElement.java │ │ │ │ │ ├── CallSite.java │ │ │ │ │ ├── Field.java │ │ │ │ │ ├── InstanceCallSite.java │ │ │ │ │ ├── InstanceMethod.java │ │ │ │ │ ├── Method.java │ │ │ │ │ ├── Obj.java │ │ │ │ │ ├── StaticMethod.java │ │ │ │ │ ├── Type.java │ │ │ │ │ └── Variable.java │ │ │ │ └── util │ │ │ │ │ └── Numberable.java │ │ │ ├── scaler │ │ │ │ ├── Driver.java │ │ │ │ ├── analysis │ │ │ │ │ ├── ContextComputer.java │ │ │ │ │ ├── ObjectAllocationGraph.java │ │ │ │ │ ├── Scaler.java │ │ │ │ │ ├── ScalerRank.java │ │ │ │ │ ├── _1TypeContextComputer_Scaler.java │ │ │ │ │ ├── _1TypeContextComputer_ScalerPlus.java │ │ │ │ │ ├── _2ObjectContextComputer_Scaler.java │ │ │ │ │ ├── _2ObjectContextComputer_ScalerPlus.java │ │ │ │ │ ├── _2TypeContextComputer_Scaler.java │ │ │ │ │ ├── _2TypeContextComputer_ScalerPlus.java │ │ │ │ │ └── _InsensitiveContextComputer.java │ │ │ │ ├── doop │ │ │ │ │ ├── Attribute.java │ │ │ │ │ ├── DoopPointsToAnalysis.java │ │ │ │ │ ├── MethodFactory.java │ │ │ │ │ └── ObjFactory.java │ │ │ │ └── pta │ │ │ │ │ └── PointsToAnalysis.java │ │ │ └── util │ │ │ │ ├── ANSIColor.java │ │ │ │ ├── MutableInteger.java │ │ │ │ ├── MutableLong.java │ │ │ │ ├── Pair.java │ │ │ │ ├── SetFactory.java │ │ │ │ ├── Timer.java │ │ │ │ ├── Triple.java │ │ │ │ └── graph │ │ │ │ └── DirectedGraph.java │ │ │ └── util │ │ │ └── ClassPathHelper.java │ └── resources │ │ ├── .gitignore │ │ ├── AndroidCallbacks.txt │ │ ├── EasyTaintWrapperSource.txt │ │ ├── log4j.properties │ │ └── timeout └── test │ ├── groovy │ └── org │ │ └── clyze │ │ └── doop │ │ ├── AndroidTests.groovy │ │ ├── Artifacts.groovy │ │ ├── CrudeLBTest.groovy │ │ ├── CrudeMicroTest.groovy │ │ ├── CrudeScalerTest.groovy │ │ ├── CrudeSouffleTest.groovy │ │ ├── CrudeWalaTest.groovy │ │ ├── DataFlowTest.groovy │ │ ├── DoopBenchmark.groovy │ │ ├── DoopSpec.groovy │ │ ├── DryRuns.groovy │ │ ├── InformationFlowTest.groovy │ │ ├── MiscAnalysisTests.groovy │ │ ├── MiscLambdaTests.groovy │ │ ├── OpenProgramsAndHeapDL.groovy │ │ ├── OpenProgramsTest.groovy │ │ ├── PlatformTest.groovy │ │ ├── PythonTest.groovy │ │ ├── ServerAnalysisTests.groovy │ │ ├── SimpleAnalysisTests.groovy │ │ ├── TestClassicReflection.groovy │ │ ├── TestDifferentialDatalog.groovy │ │ ├── TestFactsReuse.groovy │ │ ├── TestFactsSubset.groovy │ │ ├── TestInvokedynamic.groovy │ │ ├── TestLambdasMethodReferences.groovy │ │ ├── TestLightReflection.groovy │ │ ├── TestNativeCode.groovy │ │ ├── TestSoundMayPointsTo.groovy │ │ ├── TestUtils.groovy │ │ ├── WarTest.groovy │ │ └── util │ │ └── PackageUtilsTest.groovy │ └── resources │ ├── java11-string-concat.jar │ ├── keep-spec │ └── keep-spec-android.txt │ └── scenarios │ ├── antlr-1call-tamiflex-lb.properties │ ├── antlr-1call-tamiflex.properties │ ├── antlr-1objH-tamiflex-lb.properties │ ├── antlr-1objH-tamiflex.properties │ ├── antlr-insensitive-reflection-lb.properties │ ├── antlr-insensitive-reflection.properties │ ├── antlr-insensitive-tamiflex-lb.properties │ └── antlr-insensitive-tamiflex.properties └── tests ├── 016-reflection ├── build.gradle └── src │ └── main │ └── java │ ├── AnnotationsTest.java │ ├── Main.java │ └── ReflectionTest.java ├── 104-method-references ├── build.gradle ├── src │ └── main │ │ └── java │ │ ├── Main.java │ │ ├── MethodReferencesTest.java │ │ └── Person.java └── standalone_settings.gradle ├── 107-lambdas ├── build.gradle ├── src │ └── main │ │ └── java │ │ └── Main.java └── standalone_settings.gradle └── 115-invokedynamic ├── README.md ├── build.gradle ├── src └── main │ └── java │ ├── A.java │ └── Main.java └── standalone_settings.gradle /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/.gitignore -------------------------------------------------------------------------------- /COLLABORATORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/COLLABORATORS -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/LICENSE -------------------------------------------------------------------------------- /LICENSE-doop-orig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/LICENSE-doop-orig -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/README.md -------------------------------------------------------------------------------- /bin/analyze-droidbench.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/bin/analyze-droidbench.py -------------------------------------------------------------------------------- /bin/android-check.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/bin/android-check.sh -------------------------------------------------------------------------------- /bin/bench-native-scanner.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/bin/bench-native-scanner.sh -------------------------------------------------------------------------------- /bin/db-analyser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/bin/db-analyser.py -------------------------------------------------------------------------------- /bin/diff-analyses.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/bin/diff-analyses.sh -------------------------------------------------------------------------------- /bin/diff-souffle-lb.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/bin/diff-souffle-lb.sh -------------------------------------------------------------------------------- /bin/doop_runner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/bin/doop_runner.py -------------------------------------------------------------------------------- /bin/facts-to-json.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/bin/facts-to-json.py -------------------------------------------------------------------------------- /bin/gen-decls-doc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/bin/gen-decls-doc.py -------------------------------------------------------------------------------- /bin/lib-local-deploy.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/bin/lib-local-deploy.gradle -------------------------------------------------------------------------------- /bin/log-analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/bin/log-analyzer.py -------------------------------------------------------------------------------- /bin/mkjar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/bin/mkjar -------------------------------------------------------------------------------- /bin/oracular-1type+h.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/bin/oracular-1type+h.py -------------------------------------------------------------------------------- /bin/oracular.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/bin/oracular.py -------------------------------------------------------------------------------- /bin/parse_beans.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/bin/parse_beans.rb -------------------------------------------------------------------------------- /bin/run-dex-with-ssa.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/bin/run-dex-with-ssa.sh -------------------------------------------------------------------------------- /bin/run-with-redirection.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/bin/run-with-redirection.sh -------------------------------------------------------------------------------- /bin/souffleScript: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/bin/souffleScript -------------------------------------------------------------------------------- /bin/taint_network.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/bin/taint_network.py -------------------------------------------------------------------------------- /bin/zipper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/bin/zipper.py -------------------------------------------------------------------------------- /docs/datalog-101-legacy-examples/ancestors-facts.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/datalog-101-legacy-examples/ancestors-facts.logic -------------------------------------------------------------------------------- /docs/datalog-101-legacy-examples/ancestors.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/datalog-101-legacy-examples/ancestors.logic -------------------------------------------------------------------------------- /docs/datalog-101-legacy-examples/graph.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/datalog-101-legacy-examples/graph.logic -------------------------------------------------------------------------------- /docs/datalog-101-legacy-examples/path-facts.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/datalog-101-legacy-examples/path-facts.logic -------------------------------------------------------------------------------- /docs/datalog-101-legacy-examples/path.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/datalog-101-legacy-examples/path.logic -------------------------------------------------------------------------------- /docs/datalog-101-legacy-examples/person-facts.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/datalog-101-legacy-examples/person-facts.logic -------------------------------------------------------------------------------- /docs/datalog-101-legacy-examples/person.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/datalog-101-legacy-examples/person.logic -------------------------------------------------------------------------------- /docs/datalog-101-legacy.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/datalog-101-legacy.md -------------------------------------------------------------------------------- /docs/docker/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/docker/Dockerfile -------------------------------------------------------------------------------- /docs/docker/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/docker/README.md -------------------------------------------------------------------------------- /docs/docker/docker-build-and-push.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/docker/docker-build-and-push.sh -------------------------------------------------------------------------------- /docs/docker/legacy/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/docker/legacy/Dockerfile -------------------------------------------------------------------------------- /docs/docker/legacy/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/docker/legacy/README.md -------------------------------------------------------------------------------- /docs/documentation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/documentation.md -------------------------------------------------------------------------------- /docs/doop-101-examples/.gitignore: -------------------------------------------------------------------------------- 1 | *.class 2 | *.jar 3 | -------------------------------------------------------------------------------- /docs/doop-101-examples/Example.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/doop-101-examples/Example.java -------------------------------------------------------------------------------- /docs/doop-101-examples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/doop-101-examples/Makefile -------------------------------------------------------------------------------- /docs/doop-101-examples/query2.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/doop-101-examples/query2.logic -------------------------------------------------------------------------------- /docs/doop-101-examples/query3.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/doop-101-examples/query3.logic -------------------------------------------------------------------------------- /docs/doop-101.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/doop-101.md -------------------------------------------------------------------------------- /docs/doop-as-lib/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/doop-as-lib/.gitignore -------------------------------------------------------------------------------- /docs/doop-as-lib/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/doop-as-lib/README.md -------------------------------------------------------------------------------- /docs/doop-as-lib/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/doop-as-lib/build.gradle -------------------------------------------------------------------------------- /docs/doop-as-lib/gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/doop-as-lib/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /docs/doop-as-lib/gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/doop-as-lib/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /docs/doop-as-lib/gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/doop-as-lib/gradlew -------------------------------------------------------------------------------- /docs/doop-as-lib/gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/doop-as-lib/gradlew.bat -------------------------------------------------------------------------------- /docs/doop-as-lib/settings.gradle: -------------------------------------------------------------------------------- 1 | rootProject.name = 'doop-as-lib' 2 | -------------------------------------------------------------------------------- /docs/doop-as-lib/src/main/java/DoopRunner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/doop-as-lib/src/main/java/DoopRunner.java -------------------------------------------------------------------------------- /docs/ptaint.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/ptaint.md -------------------------------------------------------------------------------- /docs/pythia.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/pythia.md -------------------------------------------------------------------------------- /docs/rules.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/rules.html -------------------------------------------------------------------------------- /docs/vscode-sarif-example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/docs/vscode-sarif-example.png -------------------------------------------------------------------------------- /doop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/doop -------------------------------------------------------------------------------- /doop.bat: -------------------------------------------------------------------------------- 1 | .\gradlew.bat run -Pargs="%*" 2 | -------------------------------------------------------------------------------- /doopOffline: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | eval './gradlew :run -Pargs="'$@'" --offline' 3 | -------------------------------------------------------------------------------- /generators/code-processor/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/code-processor/README.md -------------------------------------------------------------------------------- /generators/code-processor/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/code-processor/build.gradle -------------------------------------------------------------------------------- /generators/code-processor/src/main/antlr/org/clyze/doop/jimple/Jimple.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/code-processor/src/main/antlr/org/clyze/doop/jimple/Jimple.g4 -------------------------------------------------------------------------------- /generators/code-processor/src/main/groovy/org/clyze/doop/jimple/Main.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/code-processor/src/main/groovy/org/clyze/doop/jimple/Main.groovy -------------------------------------------------------------------------------- /generators/code-processor/src/main/groovy/org/clyze/doop/sarif/RMetadata.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/code-processor/src/main/groovy/org/clyze/doop/sarif/RMetadata.groovy -------------------------------------------------------------------------------- /generators/dex-fact-generator/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/dex-fact-generator/build.gradle -------------------------------------------------------------------------------- /generators/dex-fact-generator/src/main/java/org/clyze/doop/dex/DexDriver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/dex-fact-generator/src/main/java/org/clyze/doop/dex/DexDriver.java -------------------------------------------------------------------------------- /generators/dex-fact-generator/src/main/java/org/clyze/doop/dex/DexInvoker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/dex-fact-generator/src/main/java/org/clyze/doop/dex/DexInvoker.java -------------------------------------------------------------------------------- /generators/dex-fact-generator/src/main/java/org/clyze/doop/dex/DexUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/dex-fact-generator/src/main/java/org/clyze/doop/dex/DexUtils.java -------------------------------------------------------------------------------- /generators/dex-fact-generator/src/main/java/org/clyze/doop/dex/Handler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/dex-fact-generator/src/main/java/org/clyze/doop/dex/Handler.java -------------------------------------------------------------------------------- /generators/dex-fact-generator/src/main/java/org/clyze/doop/dex/InferType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/dex-fact-generator/src/main/java/org/clyze/doop/dex/InferType.java -------------------------------------------------------------------------------- /generators/dex-fact-generator/src/main/java/org/clyze/doop/dex/MethodFacts.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/dex-fact-generator/src/main/java/org/clyze/doop/dex/MethodFacts.java -------------------------------------------------------------------------------- /generators/dex-fact-generator/src/main/java/org/clyze/doop/dex/MethodSig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/dex-fact-generator/src/main/java/org/clyze/doop/dex/MethodSig.java -------------------------------------------------------------------------------- /generators/dex-fact-generator/src/main/java/org/clyze/doop/dex/RawGoto.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/dex-fact-generator/src/main/java/org/clyze/doop/dex/RawGoto.java -------------------------------------------------------------------------------- /generators/fact-generator-common/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/fact-generator-common/build.gradle -------------------------------------------------------------------------------- /generators/fact-generator-common/src/main/java/org/clyze/doop/common/CHA.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/fact-generator-common/src/main/java/org/clyze/doop/common/CHA.java -------------------------------------------------------------------------------- /generators/fact-generator-common/src/main/java/org/clyze/doop/util/Regex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/fact-generator-common/src/main/java/org/clyze/doop/util/Regex.java -------------------------------------------------------------------------------- /generators/soot-fact-generator/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/soot-fact-generator/build.gradle -------------------------------------------------------------------------------- /generators/soot-fact-generator/src/main/java/org/clyze/doop/soot/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/soot-fact-generator/src/main/java/org/clyze/doop/soot/Main.java -------------------------------------------------------------------------------- /generators/wala-fact-generator/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/wala-fact-generator/build.gradle -------------------------------------------------------------------------------- /generators/wala-fact-generator/local-libs/com.ibm.wala.cast-1.5.1-SNAPSHOT.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/wala-fact-generator/local-libs/com.ibm.wala.cast-1.5.1-SNAPSHOT.jar -------------------------------------------------------------------------------- /generators/wala-fact-generator/local-libs/com.ibm.wala.core-1.5.1-SNAPSHOT.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/wala-fact-generator/local-libs/com.ibm.wala.core-1.5.1-SNAPSHOT.jar -------------------------------------------------------------------------------- /generators/wala-fact-generator/local-libs/com.ibm.wala.util-1.5.1-SNAPSHOT.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/wala-fact-generator/local-libs/com.ibm.wala.util-1.5.1-SNAPSHOT.jar -------------------------------------------------------------------------------- /generators/wala-fact-generator/src/main/java/org/clyze/doop/wala/Local.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/wala-fact-generator/src/main/java/org/clyze/doop/wala/Local.java -------------------------------------------------------------------------------- /generators/wala-fact-generator/src/main/java/org/clyze/doop/wala/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/wala-fact-generator/src/main/java/org/clyze/doop/wala/Main.java -------------------------------------------------------------------------------- /generators/wala-fact-generator/src/main/java/org/clyze/doop/wala/Session.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/wala-fact-generator/src/main/java/org/clyze/doop/wala/Session.java -------------------------------------------------------------------------------- /generators/wala-fact-generator/src/main/java/org/clyze/doop/wala/WalaUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/wala-fact-generator/src/main/java/org/clyze/doop/wala/WalaUtils.java -------------------------------------------------------------------------------- /generators/wala-fact-generator/src/main/resources/WALAprimordial.jar.model: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/wala-fact-generator/src/main/resources/WALAprimordial.jar.model -------------------------------------------------------------------------------- /generators/wala-fact-generator/src/main/resources/WALAprimordial.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/generators/wala-fact-generator/src/main/resources/WALAprimordial.txt -------------------------------------------------------------------------------- /gradle.properties: -------------------------------------------------------------------------------- 1 | version=4.24.13 2 | -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/gradlew -------------------------------------------------------------------------------- /gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/gradlew.bat -------------------------------------------------------------------------------- /lb-logic/addons/cfg-analysis/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/cfg-analysis/analysis.logic -------------------------------------------------------------------------------- /lb-logic/addons/cfg-analysis/declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/cfg-analysis/declarations.logic -------------------------------------------------------------------------------- /lb-logic/addons/cfg-analysis/tests.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/cfg-analysis/tests.logic -------------------------------------------------------------------------------- /lb-logic/addons/dacapo/rules.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/dacapo/rules.logic -------------------------------------------------------------------------------- /lb-logic/addons/information-flow/alfresco-sources-and-sinks.logic: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lb-logic/addons/information-flow/android-sources-and-sinks.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/information-flow/android-sources-and-sinks.logic -------------------------------------------------------------------------------- /lb-logic/addons/information-flow/android-taint-wrappers.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/information-flow/android-taint-wrappers.logic -------------------------------------------------------------------------------- /lb-logic/addons/information-flow/android.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/information-flow/android.logic -------------------------------------------------------------------------------- /lb-logic/addons/information-flow/beans-sources-and-sinks.logic: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lb-logic/addons/information-flow/common-transfer-methods.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/information-flow/common-transfer-methods.logic -------------------------------------------------------------------------------- /lb-logic/addons/information-flow/declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/information-flow/declarations.logic -------------------------------------------------------------------------------- /lb-logic/addons/information-flow/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/information-flow/delta.logic -------------------------------------------------------------------------------- /lb-logic/addons/information-flow/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/information-flow/macros.logic -------------------------------------------------------------------------------- /lb-logic/addons/information-flow/minimal-sources-and-sinks.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/information-flow/minimal-sources-and-sinks.logic -------------------------------------------------------------------------------- /lb-logic/addons/information-flow/query.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/information-flow/query.logic -------------------------------------------------------------------------------- /lb-logic/addons/information-flow/rules.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/information-flow/rules.logic -------------------------------------------------------------------------------- /lb-logic/addons/information-flow/spring-sources-and-sinks.logic: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lb-logic/addons/information-flow/webapps-sources-and-sinks.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/information-flow/webapps-sources-and-sinks.logic -------------------------------------------------------------------------------- /lb-logic/addons/open-programs/entry-points.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/open-programs/entry-points.logic -------------------------------------------------------------------------------- /lb-logic/addons/open-programs/rules-concrete-types.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/open-programs/rules-concrete-types.logic -------------------------------------------------------------------------------- /lb-logic/addons/open-programs/rules-servlets-only.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/open-programs/rules-servlets-only.logic -------------------------------------------------------------------------------- /lb-logic/addons/queries/classifyVPT.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/queries/classifyVPT.logic -------------------------------------------------------------------------------- /lb-logic/addons/sanity.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/sanity.logic -------------------------------------------------------------------------------- /lb-logic/addons/server-logic/queries.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/server-logic/queries.logic -------------------------------------------------------------------------------- /lb-logic/addons/statistics/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/statistics/macros.logic -------------------------------------------------------------------------------- /lb-logic/addons/statistics/statistics-simple.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/statistics/statistics-simple.logic -------------------------------------------------------------------------------- /lb-logic/addons/statistics/statistics.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/statistics/statistics.logic -------------------------------------------------------------------------------- /lb-logic/addons/tamiflex/declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/tamiflex/declarations.logic -------------------------------------------------------------------------------- /lb-logic/addons/tamiflex/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/tamiflex/delta.logic -------------------------------------------------------------------------------- /lb-logic/addons/tamiflex/fact-declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/tamiflex/fact-declarations.logic -------------------------------------------------------------------------------- /lb-logic/addons/tamiflex/import.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/tamiflex/import.logic -------------------------------------------------------------------------------- /lb-logic/addons/tamiflex/post-import.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/tamiflex/post-import.logic -------------------------------------------------------------------------------- /lb-logic/addons/tamiflex/rules.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/tamiflex/rules.logic -------------------------------------------------------------------------------- /lb-logic/addons/transform/declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/transform/declarations.logic -------------------------------------------------------------------------------- /lb-logic/addons/transform/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/transform/delta.logic -------------------------------------------------------------------------------- /lb-logic/addons/transform/rules.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/addons/transform/rules.logic -------------------------------------------------------------------------------- /lb-logic/analyses/1-call-site-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/1-call-site-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/1-call-site-sensitive+heap/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/1-call-site-sensitive+heap/delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/1-call-site-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/1-call-site-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/1-call-site-sensitive/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/1-call-site-sensitive/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/1-call-site-sensitive/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/1-call-site-sensitive/delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/1-call-site-sensitive/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/1-call-site-sensitive/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/1-object-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/1-object-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/1-object-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/1-object-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/1-object-sensitive/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/1-object-sensitive/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/1-object-sensitive/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/1-object-sensitive/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/1-type-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/1-type-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/1-type-sensitive+heap/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/1-type-sensitive+heap/delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/1-type-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/1-type-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/1-type-sensitive/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/1-type-sensitive/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/1-type-sensitive/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/1-type-sensitive/delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/1-type-sensitive/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/1-type-sensitive/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/2-call-site-sensitive+2-heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/2-call-site-sensitive+2-heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/2-call-site-sensitive+2-heap/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/2-call-site-sensitive+2-heap/delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/2-call-site-sensitive+2-heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/2-call-site-sensitive+2-heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/2-call-site-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/2-call-site-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/2-call-site-sensitive+heap/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/2-call-site-sensitive+heap/delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/2-call-site-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/2-call-site-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/2-object-sensitive+2-heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/2-object-sensitive+2-heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/2-object-sensitive+2-heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/2-object-sensitive+2-heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/2-object-sensitive+heap-plus/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/2-object-sensitive+heap-plus/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/2-object-sensitive+heap-plus/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/2-object-sensitive+heap-plus/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/2-object-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/2-object-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/2-object-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/2-object-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/2-type-object-sensitive+2-heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/2-type-object-sensitive+2-heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/2-type-object-sensitive+2-heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/2-type-object-sensitive+2-heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/2-type-object-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/2-type-object-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/2-type-object-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/2-type-object-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/2-type-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/2-type-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/2-type-sensitive+heap/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/2-type-sensitive+heap/delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/2-type-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/2-type-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/3-object-sensitive+3-heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/3-object-sensitive+3-heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/3-object-sensitive+3-heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/3-object-sensitive+3-heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/3-type-sensitive+2-heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/3-type-sensitive+2-heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/3-type-sensitive+2-heap/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/3-type-sensitive+2-heap/delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/3-type-sensitive+2-heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/3-type-sensitive+2-heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/3-type-sensitive+3-heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/3-type-sensitive+3-heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/3-type-sensitive+3-heap/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/3-type-sensitive+3-heap/delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/3-type-sensitive+3-heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/3-type-sensitive+3-heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/adaptive-insens-2objH/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/adaptive-insens-2objH/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/adaptive-insens-2objH/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/adaptive-insens-2objH/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/adaptive2-insens-2objH/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/adaptive2-insens-2objH/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/adaptive2-insens-2objH/analysis.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/adaptive2-insens-2objH/analysis.old -------------------------------------------------------------------------------- /lb-logic/analyses/adaptive2-insens-2objH/inoutscc.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/adaptive2-insens-2objH/inoutscc.logic -------------------------------------------------------------------------------- /lb-logic/analyses/adaptive2-insens-2objH/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/adaptive2-insens-2objH/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/context-insensitive-plus/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/context-insensitive-plus/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/context-insensitive-plus/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/context-insensitive-plus/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/context-insensitive-plusplus/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/context-insensitive-plusplus/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/context-insensitive-plusplus/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/context-insensitive-plusplus/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/context-insensitive/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/context-insensitive/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/context-insensitive/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/context-insensitive/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/dependency-analysis/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/dependency-analysis/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/dependency-analysis/declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/dependency-analysis/declarations.logic -------------------------------------------------------------------------------- /lb-logic/analyses/dependency-analysis/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/dependency-analysis/delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/dependency-analysis/macros.logic: -------------------------------------------------------------------------------- 1 | #include "../2-object-sensitive+heap/macros.logic" 2 | -------------------------------------------------------------------------------- /lb-logic/analyses/escape/declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/escape/declarations.logic -------------------------------------------------------------------------------- /lb-logic/analyses/escape/queries.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/escape/queries.logic -------------------------------------------------------------------------------- /lb-logic/analyses/escape/rules.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/escape/rules.logic -------------------------------------------------------------------------------- /lb-logic/analyses/escape/run.lb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/escape/run.lb -------------------------------------------------------------------------------- /lb-logic/analyses/escape/wrap.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/escape/wrap.sh -------------------------------------------------------------------------------- /lb-logic/analyses/micro/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/micro/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/micro/analysis.properties: -------------------------------------------------------------------------------- 1 | is_context_sensitive = false 2 | -------------------------------------------------------------------------------- /lb-logic/analyses/micro/declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/micro/declarations.logic -------------------------------------------------------------------------------- /lb-logic/analyses/micro/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/micro/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/micro/statistics.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/micro/statistics.logic -------------------------------------------------------------------------------- /lb-logic/analyses/micro/statistics.part.lb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/micro/statistics.part.lb -------------------------------------------------------------------------------- /lb-logic/analyses/must-point-to/analysis-simple.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/must-point-to/analysis-simple.logic -------------------------------------------------------------------------------- /lb-logic/analyses/must-point-to/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/must-point-to/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/must-point-to/may-pre-analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/must-point-to/may-pre-analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/must-point-to/points-alias-simple.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/must-point-to/points-alias-simple.logic -------------------------------------------------------------------------------- /lb-logic/analyses/must-point-to/tests.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/must-point-to/tests.logic -------------------------------------------------------------------------------- /lb-logic/analyses/naive/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/naive/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/naive/analysis.properties: -------------------------------------------------------------------------------- 1 | is_context_sensitive = false 2 | -------------------------------------------------------------------------------- /lb-logic/analyses/naive/declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/naive/declarations.logic -------------------------------------------------------------------------------- /lb-logic/analyses/naive/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/naive/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/naive/statistics.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/naive/statistics.logic -------------------------------------------------------------------------------- /lb-logic/analyses/naive/statistics.part.lb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/naive/statistics.part.lb -------------------------------------------------------------------------------- /lb-logic/analyses/paddle-2-object-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/paddle-2-object-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/paddle-2-object-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/paddle-2-object-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/paddle-2-object-sensitive/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/paddle-2-object-sensitive/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/paddle-2-object-sensitive/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/paddle-2-object-sensitive/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/partial-insens-s2objH/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/partial-insens-s2objH/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/partial-insens-s2objH/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/partial-insens-s2objH/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/partitioned-2-object-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/partitioned-2-object-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/partitioned-2-object-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/partitioned-2-object-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refA-2-call-site-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refA-2-call-site-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refA-2-call-site-sensitive+heap/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refA-2-call-site-sensitive+heap/delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refA-2-call-site-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refA-2-call-site-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refA-2-call-site-sensitive+heap/refinement-delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refA-2-call-site-sensitive+heap/refinement-delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refA-2-object-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refA-2-object-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refA-2-object-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refA-2-object-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refA-2-object-sensitive+heap/refinement-delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refA-2-object-sensitive+heap/refinement-delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refA-2-type-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refA-2-type-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refA-2-type-sensitive+heap/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refA-2-type-sensitive+heap/delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refA-2-type-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refA-2-type-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refA-2-type-sensitive+heap/refinement-delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refA-2-type-sensitive+heap/refinement-delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refB-2-call-site-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refB-2-call-site-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refB-2-call-site-sensitive+heap/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refB-2-call-site-sensitive+heap/delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refB-2-call-site-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refB-2-call-site-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refB-2-call-site-sensitive+heap/refinement-delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refB-2-call-site-sensitive+heap/refinement-delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refB-2-object-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refB-2-object-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refB-2-object-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refB-2-object-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refB-2-object-sensitive+heap/refinement-delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refB-2-object-sensitive+heap/refinement-delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refB-2-type-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refB-2-type-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refB-2-type-sensitive+heap/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refB-2-type-sensitive+heap/delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refB-2-type-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refB-2-type-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/refB-2-type-sensitive+heap/refinement-delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/refB-2-type-sensitive+heap/refinement-delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/scc-2-object-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/scc-2-object-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/scc-2-object-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/scc-2-object-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/selective-2-object-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/selective-2-object-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/selective-2-object-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/selective-2-object-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/selective-2-type-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/selective-2-type-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/selective-2-type-sensitive+heap/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/selective-2-type-sensitive+heap/delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/selective-2-type-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/selective-2-type-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/selective_A-1-object-sensitive/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/selective_A-1-object-sensitive/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/selective_A-1-object-sensitive/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/selective_A-1-object-sensitive/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/selective_B-1-object-sensitive/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/selective_B-1-object-sensitive/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/selective_B-1-object-sensitive/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/selective_B-1-object-sensitive/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/sound-may-point-to/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/sound-may-point-to/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/sound-may-point-to/intraprocedural-must.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/sound-may-point-to/intraprocedural-must.logic -------------------------------------------------------------------------------- /lb-logic/analyses/sound-may-point-to/must-alias.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/sound-may-point-to/must-alias.logic -------------------------------------------------------------------------------- /lb-logic/analyses/sound-may-point-to/must-point-to.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/sound-may-point-to/must-point-to.logic -------------------------------------------------------------------------------- /lb-logic/analyses/sound-may-point-to/sound-may.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/sound-may-point-to/sound-may.logic -------------------------------------------------------------------------------- /lb-logic/analyses/sound-may-point-to/statistics.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/sound-may-point-to/statistics.logic -------------------------------------------------------------------------------- /lb-logic/analyses/sound-may-point-to/statistics.part.lb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/sound-may-point-to/statistics.part.lb -------------------------------------------------------------------------------- /lb-logic/analyses/special-2-object-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lb-logic/analyses/special-2-type-sensitive+heap/analysis.dl: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lb-logic/analyses/stutter-2-object-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/stutter-2-object-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/stutter-2-object-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/stutter-2-object-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/uniform-1-object-sensitive/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/uniform-1-object-sensitive/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/uniform-1-object-sensitive/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/uniform-1-object-sensitive/delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/uniform-1-object-sensitive/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/uniform-1-object-sensitive/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/uniform-2-object-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/uniform-2-object-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/uniform-2-object-sensitive+heap/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/uniform-2-object-sensitive+heap/delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/uniform-2-object-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/uniform-2-object-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/analyses/uniform-2-type-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/uniform-2-type-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/analyses/uniform-2-type-sensitive+heap/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/uniform-2-type-sensitive+heap/delta.logic -------------------------------------------------------------------------------- /lb-logic/analyses/uniform-2-type-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/analyses/uniform-2-type-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/basic/basic-declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/basic/basic-declarations.logic -------------------------------------------------------------------------------- /lb-logic/basic/basic.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/basic/basic.logic -------------------------------------------------------------------------------- /lb-logic/basic/finalization-declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/basic/finalization-declarations.logic -------------------------------------------------------------------------------- /lb-logic/basic/finalization.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/basic/finalization.logic -------------------------------------------------------------------------------- /lb-logic/basic/method-resolution-declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/basic/method-resolution-declarations.logic -------------------------------------------------------------------------------- /lb-logic/basic/method-resolution.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/basic/method-resolution.logic -------------------------------------------------------------------------------- /lb-logic/basic/subclass-declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/basic/subclass-declarations.logic -------------------------------------------------------------------------------- /lb-logic/basic/subclass.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/basic/subclass.logic -------------------------------------------------------------------------------- /lb-logic/basic/superinterface-declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/basic/superinterface-declarations.logic -------------------------------------------------------------------------------- /lb-logic/basic/superinterface.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/basic/superinterface.logic -------------------------------------------------------------------------------- /lb-logic/basic/type-hierarchy-declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/basic/type-hierarchy-declarations.logic -------------------------------------------------------------------------------- /lb-logic/basic/type-hierarchy.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/basic/type-hierarchy.logic -------------------------------------------------------------------------------- /lb-logic/commonMacros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/commonMacros.logic -------------------------------------------------------------------------------- /lb-logic/dead/addons/auxiliary-heap-allocations/declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/addons/auxiliary-heap-allocations/declarations.logic -------------------------------------------------------------------------------- /lb-logic/dead/addons/auxiliary-heap-allocations/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/addons/auxiliary-heap-allocations/delta.logic -------------------------------------------------------------------------------- /lb-logic/dead/addons/fu-exception-flow/declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/addons/fu-exception-flow/declarations.logic -------------------------------------------------------------------------------- /lb-logic/dead/addons/fu-exception-flow/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/addons/fu-exception-flow/delta.logic -------------------------------------------------------------------------------- /lb-logic/dead/addons/fu-exception-flow/rules.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/addons/fu-exception-flow/rules.logic -------------------------------------------------------------------------------- /lb-logic/dead/addons/graph/basic-declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/addons/graph/basic-declarations.logic -------------------------------------------------------------------------------- /lb-logic/dead/addons/graph/basic.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/addons/graph/basic.logic -------------------------------------------------------------------------------- /lb-logic/dead/addons/graph/scc/SCC-approx.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/addons/graph/scc/SCC-approx.logic -------------------------------------------------------------------------------- /lb-logic/dead/addons/graph/scc/spanning.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/addons/graph/scc/spanning.logic -------------------------------------------------------------------------------- /lb-logic/dead/addons/rules-reference-types.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/addons/rules-reference-types.logic -------------------------------------------------------------------------------- /lb-logic/dead/addons/type-analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/addons/type-analysis.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/core/exceptions/experimental-declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/core/exceptions/experimental-declarations.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/core/exceptions/experimental.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/core/exceptions/experimental.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/core/exceptions/imprecise-declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/core/exceptions/imprecise-declarations.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/core/exceptions/imprecise.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/core/exceptions/imprecise.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/2-1-object-sensitive+heap/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/2-1-object-sensitive+heap/README.txt -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/2-1-object-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/2-1-object-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/2-1-object-sensitive+heap/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/2-1-object-sensitive+heap/delta.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/2-1-object-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/2-1-object-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+2H/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+2H/analysis.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+2H/declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+2H/declarations.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+2H/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+2H/delta.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+2H/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+2H/macros.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+H-B/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+H-B/analysis.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+H-B/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+H-B/delta.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+H-B/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+H-B/macros.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+H/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+H/analysis.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+H/declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+H/declarations.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+H/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+H/delta.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+H/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/baseline_1-obj+1-call+H/macros.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/hybrid-1-object-sensitive+heap/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/hybrid-1-object-sensitive+heap/delta.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/hybrid-1-object-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/hybrid-1-object-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/hybrid-1-type-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/hybrid-1-type-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/hybrid-1-type-sensitive+heap/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/hybrid-1-type-sensitive+heap/delta.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/hybrid-1-type-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/hybrid-1-type-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/hybrid-2-type-sensitive+heap-B/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/hybrid-2-type-sensitive+heap-B/delta.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/instancefield-experiment-dropped.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/instancefield-experiment-dropped.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/ref-2-object-sensitive+heap/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/ref-2-object-sensitive+heap/delta.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/ref-2-object-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/ref-2-object-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/ref-2-type-sensitive+heap/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/ref-2-type-sensitive+heap/analysis.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/ref-2-type-sensitive+heap/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/ref-2-type-sensitive+heap/delta.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/ref-2-type-sensitive+heap/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/ref-2-type-sensitive+heap/macros.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/thread-sensitive/analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/thread-sensitive/analysis.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/thread-sensitive/declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/thread-sensitive/declarations.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/thread-sensitive/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/thread-sensitive/delta.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/experimental/thread-sensitive/macros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/experimental/thread-sensitive/macros.logic -------------------------------------------------------------------------------- /lb-logic/dead/analyses/sound-may-point-to/old-analysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/analyses/sound-may-point-to/old-analysis.logic -------------------------------------------------------------------------------- /lb-logic/dead/basic/exceptions/experimental-handler-no-order.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/basic/exceptions/experimental-handler-no-order.logic -------------------------------------------------------------------------------- /lb-logic/dead/basic/exceptions/experimental-handler-order-declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/basic/exceptions/experimental-handler-order-declarations.logic -------------------------------------------------------------------------------- /lb-logic/dead/basic/exceptions/experimental-handler-order.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/dead/basic/exceptions/experimental-handler-order.logic -------------------------------------------------------------------------------- /lb-logic/facts/externalheaps.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/facts/externalheaps.logic -------------------------------------------------------------------------------- /lb-logic/facts/flow-insensitive-schema.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/facts/flow-insensitive-schema.logic -------------------------------------------------------------------------------- /lb-logic/facts/flow-sensitive-schema.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/facts/flow-sensitive-schema.logic -------------------------------------------------------------------------------- /lb-logic/facts/import-dynamic-facts.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/facts/import-dynamic-facts.logic -------------------------------------------------------------------------------- /lb-logic/facts/import-dynamic-facts2.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/facts/import-dynamic-facts2.logic -------------------------------------------------------------------------------- /lb-logic/facts/import-entities.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/facts/import-entities.logic -------------------------------------------------------------------------------- /lb-logic/facts/import-facts.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/facts/import-facts.logic -------------------------------------------------------------------------------- /lb-logic/facts/mock-heap.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/facts/mock-heap.logic -------------------------------------------------------------------------------- /lb-logic/facts/post-process.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/facts/post-process.logic -------------------------------------------------------------------------------- /lb-logic/facts/to-flow-insensitive-delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/facts/to-flow-insensitive-delta.logic -------------------------------------------------------------------------------- /lb-logic/main/android.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/android.logic -------------------------------------------------------------------------------- /lb-logic/main/class-initialization-declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/class-initialization-declarations.logic -------------------------------------------------------------------------------- /lb-logic/main/class-initialization.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/class-initialization.logic -------------------------------------------------------------------------------- /lb-logic/main/classes-scc.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/classes-scc.logic -------------------------------------------------------------------------------- /lb-logic/main/context-sensitivity-declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/context-sensitivity-declarations.logic -------------------------------------------------------------------------------- /lb-logic/main/context-sensitivity.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/context-sensitivity.logic -------------------------------------------------------------------------------- /lb-logic/main/dynamicanalysis.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/dynamicanalysis.logic -------------------------------------------------------------------------------- /lb-logic/main/exceptions.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/exceptions.logic -------------------------------------------------------------------------------- /lb-logic/main/export-refinement.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/export-refinement.logic -------------------------------------------------------------------------------- /lb-logic/main/finalization.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/finalization.logic -------------------------------------------------------------------------------- /lb-logic/main/implicit-reachable-declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/implicit-reachable-declarations.logic -------------------------------------------------------------------------------- /lb-logic/main/implicit-reachable.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/implicit-reachable.logic -------------------------------------------------------------------------------- /lb-logic/main/import-refinement.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/import-refinement.logic -------------------------------------------------------------------------------- /lb-logic/main/in-out-flow.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/in-out-flow.logic -------------------------------------------------------------------------------- /lb-logic/main/main-declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/main-declarations.logic -------------------------------------------------------------------------------- /lb-logic/main/main-delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/main-delta.logic -------------------------------------------------------------------------------- /lb-logic/main/main.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/main.logic -------------------------------------------------------------------------------- /lb-logic/main/method-handles.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/method-handles.logic -------------------------------------------------------------------------------- /lb-logic/main/native-delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/native-delta.logic -------------------------------------------------------------------------------- /lb-logic/main/native.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/native.logic -------------------------------------------------------------------------------- /lb-logic/main/package-heuristic.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/package-heuristic.logic -------------------------------------------------------------------------------- /lb-logic/main/partitioning.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/partitioning.logic -------------------------------------------------------------------------------- /lb-logic/main/prologue.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/prologue.logic -------------------------------------------------------------------------------- /lb-logic/main/reference.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/reference.logic -------------------------------------------------------------------------------- /lb-logic/main/reflection/declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/reflection/declarations.logic -------------------------------------------------------------------------------- /lb-logic/main/reflection/delta.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/reflection/delta.logic -------------------------------------------------------------------------------- /lb-logic/main/reflection/dynamic-proxies.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/reflection/dynamic-proxies.logic -------------------------------------------------------------------------------- /lb-logic/main/reflection/java.lang.Class.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/reflection/java.lang.Class.logic -------------------------------------------------------------------------------- /lb-logic/main/reflection/java.lang.reflect.Array.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/reflection/java.lang.reflect.Array.logic -------------------------------------------------------------------------------- /lb-logic/main/reflection/java.lang.reflect.Constructor.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/reflection/java.lang.reflect.Constructor.logic -------------------------------------------------------------------------------- /lb-logic/main/reflection/java.lang.reflect.Field.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/reflection/java.lang.reflect.Field.logic -------------------------------------------------------------------------------- /lb-logic/main/reflection/java.lang.reflect.Method.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/reflection/java.lang.reflect.Method.logic -------------------------------------------------------------------------------- /lb-logic/main/reflection/proxyMacros.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/reflection/proxyMacros.logic -------------------------------------------------------------------------------- /lb-logic/main/reflection/rules.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/reflection/rules.logic -------------------------------------------------------------------------------- /lb-logic/main/special-library.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/special-library.logic -------------------------------------------------------------------------------- /lb-logic/main/string-constants-declarations.logic: -------------------------------------------------------------------------------- 1 | // Placeholder 2 | -------------------------------------------------------------------------------- /lb-logic/main/string-constants.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/string-constants.logic -------------------------------------------------------------------------------- /lb-logic/main/threads-declarations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/threads-declarations.logic -------------------------------------------------------------------------------- /lb-logic/main/threads.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/lb-logic/main/threads.logic -------------------------------------------------------------------------------- /local-dependencies/apktool-cli-2.4.2.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/local-dependencies/apktool-cli-2.4.2.jar -------------------------------------------------------------------------------- /settings.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/settings.gradle -------------------------------------------------------------------------------- /souffle-logic/addons/butterknife.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/butterknife.dl -------------------------------------------------------------------------------- /souffle-logic/addons/cfg-analysis/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/cfg-analysis/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/addons/constant-folding/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/constant-folding/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/addons/dacapo/rules.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/dacapo/rules.dl -------------------------------------------------------------------------------- /souffle-logic/addons/glide.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/glide.dl -------------------------------------------------------------------------------- /souffle-logic/addons/information-flow/alfresco-sources-and-sinks.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/information-flow/alfresco-sources-and-sinks.dl -------------------------------------------------------------------------------- /souffle-logic/addons/information-flow/android-sources-and-sinks.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/information-flow/android-sources-and-sinks.dl -------------------------------------------------------------------------------- /souffle-logic/addons/information-flow/android-taint-wrappers.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/information-flow/android-taint-wrappers.dl -------------------------------------------------------------------------------- /souffle-logic/addons/information-flow/android.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/information-flow/android.dl -------------------------------------------------------------------------------- /souffle-logic/addons/information-flow/beans-sources-and-sinks.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/information-flow/beans-sources-and-sinks.dl -------------------------------------------------------------------------------- /souffle-logic/addons/information-flow/common-transfer-methods.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/information-flow/common-transfer-methods.dl -------------------------------------------------------------------------------- /souffle-logic/addons/information-flow/core.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/information-flow/core.dl -------------------------------------------------------------------------------- /souffle-logic/addons/information-flow/declarations.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/information-flow/declarations.dl -------------------------------------------------------------------------------- /souffle-logic/addons/information-flow/delta.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/information-flow/delta.dl -------------------------------------------------------------------------------- /souffle-logic/addons/information-flow/macros.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/information-flow/macros.dl -------------------------------------------------------------------------------- /souffle-logic/addons/information-flow/minimal-sources-and-sinks.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/information-flow/minimal-sources-and-sinks.dl -------------------------------------------------------------------------------- /souffle-logic/addons/information-flow/rules-data-flow.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/information-flow/rules-data-flow.dl -------------------------------------------------------------------------------- /souffle-logic/addons/information-flow/rules.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/information-flow/rules.dl -------------------------------------------------------------------------------- /souffle-logic/addons/information-flow/spring-sources-and-sinks.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/information-flow/spring-sources-and-sinks.dl -------------------------------------------------------------------------------- /souffle-logic/addons/information-flow/webapps-sources-and-sinks.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/information-flow/webapps-sources-and-sinks.dl -------------------------------------------------------------------------------- /souffle-logic/addons/open-programs/application-concrete-types.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/open-programs/application-concrete-types.dl -------------------------------------------------------------------------------- /souffle-logic/addons/open-programs/entry-points.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/open-programs/entry-points.dl -------------------------------------------------------------------------------- /souffle-logic/addons/open-programs/rules-alfresco.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/open-programs/rules-alfresco.dl -------------------------------------------------------------------------------- /souffle-logic/addons/open-programs/rules-beans.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/open-programs/rules-beans.dl -------------------------------------------------------------------------------- /souffle-logic/addons/open-programs/rules-concrete-types.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/open-programs/rules-concrete-types.dl -------------------------------------------------------------------------------- /souffle-logic/addons/open-programs/rules-jackee.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/open-programs/rules-jackee.dl -------------------------------------------------------------------------------- /souffle-logic/addons/open-programs/rules-servlets-only.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/open-programs/rules-servlets-only.dl -------------------------------------------------------------------------------- /souffle-logic/addons/open-programs/rules-spring.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/open-programs/rules-spring.dl -------------------------------------------------------------------------------- /souffle-logic/addons/opt-directives/directives.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/opt-directives/directives.dl -------------------------------------------------------------------------------- /souffle-logic/addons/opt-directives/keep.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/opt-directives/keep.dl -------------------------------------------------------------------------------- /souffle-logic/addons/queries/classifyVPT.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/queries/classifyVPT.dl -------------------------------------------------------------------------------- /souffle-logic/addons/sanity.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/sanity.dl -------------------------------------------------------------------------------- /souffle-logic/addons/sarif/sarif.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/sarif/sarif.dl -------------------------------------------------------------------------------- /souffle-logic/addons/scaler/max_context_calculator.dl: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /souffle-logic/addons/scaler/non_precision_critical_methods.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/scaler/non_precision_critical_methods.dl -------------------------------------------------------------------------------- /souffle-logic/addons/server-logic/method-lookup-ext.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/server-logic/method-lookup-ext.dl -------------------------------------------------------------------------------- /souffle-logic/addons/server-logic/queries.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/server-logic/queries.dl -------------------------------------------------------------------------------- /souffle-logic/addons/server-logic/type-hierarchy-ext.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/server-logic/type-hierarchy-ext.dl -------------------------------------------------------------------------------- /souffle-logic/addons/souffle-incremental-output/functor-declarations.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/souffle-incremental-output/functor-declarations.dl -------------------------------------------------------------------------------- /souffle-logic/addons/souffle-incremental-output/incr-output.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/souffle-incremental-output/incr-output.dl -------------------------------------------------------------------------------- /souffle-logic/addons/ssa-transform/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/ssa-transform/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/addons/statistics/macros.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/statistics/macros.dl -------------------------------------------------------------------------------- /souffle-logic/addons/statistics/metrics.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/statistics/metrics.dl -------------------------------------------------------------------------------- /souffle-logic/addons/statistics/statistics-declarations.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/statistics/statistics-declarations.dl -------------------------------------------------------------------------------- /souffle-logic/addons/statistics/statistics-output.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/statistics/statistics-output.dl -------------------------------------------------------------------------------- /souffle-logic/addons/statistics/statistics-simple-declarations.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/statistics/statistics-simple-declarations.dl -------------------------------------------------------------------------------- /souffle-logic/addons/statistics/statistics-simple.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/statistics/statistics-simple.dl -------------------------------------------------------------------------------- /souffle-logic/addons/statistics/statistics.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/statistics/statistics.dl -------------------------------------------------------------------------------- /souffle-logic/addons/symbolic-reasoning/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/symbolic-reasoning/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/addons/symbolic-reasoning/arithmetic-reasoning.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/symbolic-reasoning/arithmetic-reasoning.dl -------------------------------------------------------------------------------- /souffle-logic/addons/symbolic-reasoning/boolean-reasoning.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/symbolic-reasoning/boolean-reasoning.dl -------------------------------------------------------------------------------- /souffle-logic/addons/symbolic-reasoning/declarations.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/symbolic-reasoning/declarations.dl -------------------------------------------------------------------------------- /souffle-logic/addons/symbolic-reasoning/expr-tree.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/symbolic-reasoning/expr-tree.dl -------------------------------------------------------------------------------- /souffle-logic/addons/symbolic-reasoning/path-expression.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/symbolic-reasoning/path-expression.dl -------------------------------------------------------------------------------- /souffle-logic/addons/symbolic-reasoning/util.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/symbolic-reasoning/util.dl -------------------------------------------------------------------------------- /souffle-logic/addons/tamiflex/declarations.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/tamiflex/declarations.dl -------------------------------------------------------------------------------- /souffle-logic/addons/tamiflex/delta.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/tamiflex/delta.dl -------------------------------------------------------------------------------- /souffle-logic/addons/tamiflex/fact-declarations.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/tamiflex/fact-declarations.dl -------------------------------------------------------------------------------- /souffle-logic/addons/tamiflex/import.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/tamiflex/import.dl -------------------------------------------------------------------------------- /souffle-logic/addons/tamiflex/post-import.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/tamiflex/post-import.dl -------------------------------------------------------------------------------- /souffle-logic/addons/tamiflex/rules.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/tamiflex/rules.dl -------------------------------------------------------------------------------- /souffle-logic/addons/testing/AndroidTests_TypesOnly_androidterm.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/testing/AndroidTests_TypesOnly_androidterm.dl -------------------------------------------------------------------------------- /souffle-logic/addons/testing/TestInvokedynamic.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/testing/TestInvokedynamic.dl -------------------------------------------------------------------------------- /souffle-logic/addons/testing/TestReflection.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/testing/TestReflection.dl -------------------------------------------------------------------------------- /souffle-logic/addons/testing/native-tests.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/testing/native-tests.dl -------------------------------------------------------------------------------- /souffle-logic/addons/testing/test-discovery.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/testing/test-discovery.dl -------------------------------------------------------------------------------- /souffle-logic/addons/testing/test-exports.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/addons/testing/test-exports.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/1-call-site-sensitive+heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/1-call-site-sensitive+heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/1-call-site-sensitive/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/1-call-site-sensitive/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/1-object-1-type-sensitive+heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/1-object-1-type-sensitive+heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/1-object-sensitive+heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/1-object-sensitive+heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/1-object-sensitive/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/1-object-sensitive/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/1-type-sensitive+heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/1-type-sensitive+heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/1-type-sensitive/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/1-type-sensitive/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/2-call-site-sensitive+2-heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/2-call-site-sensitive+2-heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/2-call-site-sensitive+heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/2-call-site-sensitive+heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/2-object-sensitive+2-heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/2-object-sensitive+2-heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/2-object-sensitive+heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/2-object-sensitive+heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/2-type-object-sensitive+2-heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/2-type-object-sensitive+2-heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/2-type-object-sensitive+heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/2-type-object-sensitive+heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/2-type-sensitive+heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/2-type-sensitive+heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/3-object-sensitive+2-heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/3-object-sensitive+2-heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/3-object-sensitive+3-heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/3-object-sensitive+3-heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/3-type-sensitive+2-heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/3-type-sensitive+2-heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/3-type-sensitive+3-heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/3-type-sensitive+3-heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/4-object-sensitive+4-heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/4-object-sensitive+4-heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/adaptive-2-object-sensitive+heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/adaptive-2-object-sensitive+heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/basic-only/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/basic-only/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/blacklist-1-object-sensitive+heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/blacklist-1-object-sensitive+heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/context-insensitive-plus/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/context-insensitive-plus/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/context-insensitive-plusplus/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/context-insensitive-plusplus/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/context-insensitive/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/context-insensitive/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/data-flow/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/data-flow/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/data-flow/setup.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/data-flow/setup.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/dependency-analysis/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/dependency-analysis/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/dependency-analysis/declarations.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/dependency-analysis/declarations.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/dependency-context/2objH-micro.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/dependency-context/2objH-micro.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/dependency-context/deco.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/dependency-context/deco.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/dependency-context/self-contained.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/dependency-context/self-contained.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/fully-guided-context-sensitive/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/fully-guided-context-sensitive/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/micro/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/micro/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/micro/self-contained.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/micro/self-contained.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/oracular-precision/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/oracular-precision/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/oracular-scalability/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/oracular-scalability/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/partitioned-2-object-sensitive+heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/partitioned-2-object-sensitive+heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/partitioned-2-object-sensitive+heap/partitioning.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/partitioned-2-object-sensitive+heap/partitioning.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/selective-2-object-sensitive+heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/selective-2-object-sensitive+heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/sound-may-point-to/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/sound-may-point-to/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/sound-may-point-to/must-alias.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/sound-may-point-to/must-alias.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/sound-may-point-to/must-point-to.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/sound-may-point-to/must-point-to.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/sticky-2-object-sensitive/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/sticky-2-object-sensitive/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/types-only/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/types-only/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/xtractor/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/xtractor/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/xtractor/arrays.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/xtractor/arrays.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/xtractor/common.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/xtractor/common.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/xtractor/conditions.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/xtractor/conditions.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/xtractor/constant-folding.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/xtractor/constant-folding.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/xtractor/expr-client.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/xtractor/expr-client.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/xtractor/loops.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/xtractor/loops.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/xtractor/out-schema.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/xtractor/out-schema.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/xtractor/symbolic.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/xtractor/symbolic.dl -------------------------------------------------------------------------------- /souffle-logic/analyses/xtractor/theorem-prover.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/analyses/xtractor/theorem-prover.dl -------------------------------------------------------------------------------- /souffle-logic/basic/basic.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/basic/basic.dl -------------------------------------------------------------------------------- /souffle-logic/basic/classes-scc.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/basic/classes-scc.dl -------------------------------------------------------------------------------- /souffle-logic/basic/exceptions.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/basic/exceptions.dl -------------------------------------------------------------------------------- /souffle-logic/basic/finalization.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/basic/finalization.dl -------------------------------------------------------------------------------- /souffle-logic/basic/method-lookup.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/basic/method-lookup.dl -------------------------------------------------------------------------------- /souffle-logic/basic/method-resolution.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/basic/method-resolution.dl -------------------------------------------------------------------------------- /souffle-logic/basic/native-strings.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/basic/native-strings.dl -------------------------------------------------------------------------------- /souffle-logic/basic/partitioning.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/basic/partitioning.dl -------------------------------------------------------------------------------- /souffle-logic/basic/type-hierarchy.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/basic/type-hierarchy.dl -------------------------------------------------------------------------------- /souffle-logic/commonMacros.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/commonMacros.dl -------------------------------------------------------------------------------- /souffle-logic/facts/android.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/facts/android.dl -------------------------------------------------------------------------------- /souffle-logic/facts/facts.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/facts/facts.dl -------------------------------------------------------------------------------- /souffle-logic/facts/flow-insensitive-facts.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/facts/flow-insensitive-facts.dl -------------------------------------------------------------------------------- /souffle-logic/facts/flow-sensitive-schema.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/facts/flow-sensitive-schema.dl -------------------------------------------------------------------------------- /souffle-logic/facts/generics.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/facts/generics.dl -------------------------------------------------------------------------------- /souffle-logic/facts/import-dynamic-facts.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/facts/import-dynamic-facts.dl -------------------------------------------------------------------------------- /souffle-logic/facts/imports.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/facts/imports.dl -------------------------------------------------------------------------------- /souffle-logic/facts/keep.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/facts/keep.dl -------------------------------------------------------------------------------- /souffle-logic/facts/opaque-methods.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/facts/opaque-methods.dl -------------------------------------------------------------------------------- /souffle-logic/main/android-declarations.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/android-declarations.dl -------------------------------------------------------------------------------- /souffle-logic/main/android-xml.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/android-xml.dl -------------------------------------------------------------------------------- /souffle-logic/main/android.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/android.dl -------------------------------------------------------------------------------- /souffle-logic/main/api-mocking.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/api-mocking.dl -------------------------------------------------------------------------------- /souffle-logic/main/app-only.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/app-only.dl -------------------------------------------------------------------------------- /souffle-logic/main/basic-context-sensitivity.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/basic-context-sensitivity.dl -------------------------------------------------------------------------------- /souffle-logic/main/class-initialization-declarations.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/class-initialization-declarations.dl -------------------------------------------------------------------------------- /souffle-logic/main/class-initialization.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/class-initialization.dl -------------------------------------------------------------------------------- /souffle-logic/main/configuration.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/configuration.dl -------------------------------------------------------------------------------- /souffle-logic/main/context-sensitivity-declarations.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/context-sensitivity-declarations.dl -------------------------------------------------------------------------------- /souffle-logic/main/context-sensitivity-variable-level.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/context-sensitivity-variable-level.dl -------------------------------------------------------------------------------- /souffle-logic/main/context-sensitivity.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/context-sensitivity.dl -------------------------------------------------------------------------------- /souffle-logic/main/dynamicanalysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/dynamicanalysis.dl -------------------------------------------------------------------------------- /souffle-logic/main/exceptions.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/exceptions.dl -------------------------------------------------------------------------------- /souffle-logic/main/export.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/export.dl -------------------------------------------------------------------------------- /souffle-logic/main/finalization.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/finalization.dl -------------------------------------------------------------------------------- /souffle-logic/main/full-call-graph.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/full-call-graph.dl -------------------------------------------------------------------------------- /souffle-logic/main/generics-pre-analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/generics-pre-analysis.dl -------------------------------------------------------------------------------- /souffle-logic/main/implicit-reachable-declarations.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/implicit-reachable-declarations.dl -------------------------------------------------------------------------------- /souffle-logic/main/implicit-reachable.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/implicit-reachable.dl -------------------------------------------------------------------------------- /souffle-logic/main/in-out-flow.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/in-out-flow.dl -------------------------------------------------------------------------------- /souffle-logic/main/init.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/init.dl -------------------------------------------------------------------------------- /souffle-logic/main/main-declarations.dl: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /souffle-logic/main/main-delta.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/main-delta.dl -------------------------------------------------------------------------------- /souffle-logic/main/main.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/main.dl -------------------------------------------------------------------------------- /souffle-logic/main/method-handles.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/method-handles.dl -------------------------------------------------------------------------------- /souffle-logic/main/native.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/native.dl -------------------------------------------------------------------------------- /souffle-logic/main/non-segregated-rules.dl: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /souffle-logic/main/package-heuristic.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/package-heuristic.dl -------------------------------------------------------------------------------- /souffle-logic/main/phantom-dead.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/phantom-dead.dl -------------------------------------------------------------------------------- /souffle-logic/main/prologue.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/prologue.dl -------------------------------------------------------------------------------- /souffle-logic/main/reference.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/reference.dl -------------------------------------------------------------------------------- /souffle-logic/main/reflection/classloading.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/reflection/classloading.dl -------------------------------------------------------------------------------- /souffle-logic/main/reflection/declarations.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/reflection/declarations.dl -------------------------------------------------------------------------------- /souffle-logic/main/reflection/delta.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/reflection/delta.dl -------------------------------------------------------------------------------- /souffle-logic/main/reflection/dynamic-proxies-delta.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/reflection/dynamic-proxies-delta.dl -------------------------------------------------------------------------------- /souffle-logic/main/reflection/dynamic-proxies.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/reflection/dynamic-proxies.dl -------------------------------------------------------------------------------- /souffle-logic/main/reflection/java.lang.Class.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/reflection/java.lang.Class.dl -------------------------------------------------------------------------------- /souffle-logic/main/reflection/java.lang.reflect.Array.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/reflection/java.lang.reflect.Array.dl -------------------------------------------------------------------------------- /souffle-logic/main/reflection/java.lang.reflect.Constructor.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/reflection/java.lang.reflect.Constructor.dl -------------------------------------------------------------------------------- /souffle-logic/main/reflection/java.lang.reflect.Field.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/reflection/java.lang.reflect.Field.dl -------------------------------------------------------------------------------- /souffle-logic/main/reflection/java.lang.reflect.Method.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/reflection/java.lang.reflect.Method.dl -------------------------------------------------------------------------------- /souffle-logic/main/reflection/light-Class.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/reflection/light-Class.dl -------------------------------------------------------------------------------- /souffle-logic/main/reflection/light-reflection-glue.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/reflection/light-reflection-glue.dl -------------------------------------------------------------------------------- /souffle-logic/main/reflection/native-reflection.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/reflection/native-reflection.dl -------------------------------------------------------------------------------- /souffle-logic/main/reflection/rules.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/reflection/rules.dl -------------------------------------------------------------------------------- /souffle-logic/main/scaler-pre-analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/scaler-pre-analysis.dl -------------------------------------------------------------------------------- /souffle-logic/main/single-phase-analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/single-phase-analysis.dl -------------------------------------------------------------------------------- /souffle-logic/main/special-library.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/special-library.dl -------------------------------------------------------------------------------- /souffle-logic/main/string-concat.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/string-concat.dl -------------------------------------------------------------------------------- /souffle-logic/main/string-constants.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/string-constants.dl -------------------------------------------------------------------------------- /souffle-logic/main/threads-declarations.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/threads-declarations.dl -------------------------------------------------------------------------------- /souffle-logic/main/threads.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/threads.dl -------------------------------------------------------------------------------- /souffle-logic/main/two-phase-analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/two-phase-analysis.dl -------------------------------------------------------------------------------- /souffle-logic/main/zipper-pre-analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/main/zipper-pre-analysis.dl -------------------------------------------------------------------------------- /souffle-logic/python/addons/statistics/statistics-macros.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/addons/statistics/statistics-macros.dl -------------------------------------------------------------------------------- /souffle-logic/python/addons/statistics/statistics-output.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/addons/statistics/statistics-output.dl -------------------------------------------------------------------------------- /souffle-logic/python/addons/statistics/statistics-simple-declarations.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/addons/statistics/statistics-simple-declarations.dl -------------------------------------------------------------------------------- /souffle-logic/python/addons/statistics/statistics-simple.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/addons/statistics/statistics-simple.dl -------------------------------------------------------------------------------- /souffle-logic/python/analyses/1-call-site-sensitive+heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/analyses/1-call-site-sensitive+heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/python/analyses/1-call-site-sensitive/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/analyses/1-call-site-sensitive/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/python/analyses/2-call-site-sensitive+2-heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/analyses/2-call-site-sensitive+2-heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/python/analyses/2-call-site-sensitive+heap/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/analyses/2-call-site-sensitive+heap/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/python/analyses/context-insensitive/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/analyses/context-insensitive/analysis.dl -------------------------------------------------------------------------------- /souffle-logic/python/facts/import-entities.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/facts/import-entities.dl -------------------------------------------------------------------------------- /souffle-logic/python/facts/import-facts.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/facts/import-facts.dl -------------------------------------------------------------------------------- /souffle-logic/python/facts/post-process.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/facts/post-process.dl -------------------------------------------------------------------------------- /souffle-logic/python/facts/schema.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/facts/schema.dl -------------------------------------------------------------------------------- /souffle-logic/python/lib-specific/default-python-lib.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/lib-specific/default-python-lib.dl -------------------------------------------------------------------------------- /souffle-logic/python/lib-specific/lib-macros.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/lib-specific/lib-macros.dl -------------------------------------------------------------------------------- /souffle-logic/python/lib-specific/modeled.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/lib-specific/modeled.dl -------------------------------------------------------------------------------- /souffle-logic/python/lib-specific/numpy.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/lib-specific/numpy.dl -------------------------------------------------------------------------------- /souffle-logic/python/lib-specific/tensorflow/arithmetic-ops.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/lib-specific/tensorflow/arithmetic-ops.dl -------------------------------------------------------------------------------- /souffle-logic/python/lib-specific/tensorflow/general-tensor-modeling.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/lib-specific/tensorflow/general-tensor-modeling.dl -------------------------------------------------------------------------------- /souffle-logic/python/lib-specific/tensorflow/keras.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/lib-specific/tensorflow/keras.dl -------------------------------------------------------------------------------- /souffle-logic/python/lib-specific/tensorflow/pooling-conv-ops.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/lib-specific/tensorflow/pooling-conv-ops.dl -------------------------------------------------------------------------------- /souffle-logic/python/lib-specific/tensorflow/shape-mod-ops.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/lib-specific/tensorflow/shape-mod-ops.dl -------------------------------------------------------------------------------- /souffle-logic/python/lib-specific/tensorflow/shape-pass-through-ops.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/lib-specific/tensorflow/shape-pass-through-ops.dl -------------------------------------------------------------------------------- /souffle-logic/python/lib-specific/tensorflow/tensor-creation-ops.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/lib-specific/tensorflow/tensor-creation-ops.dl -------------------------------------------------------------------------------- /souffle-logic/python/lib-specific/tensorflow/tensorflow-library.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/lib-specific/tensorflow/tensorflow-library.dl -------------------------------------------------------------------------------- /souffle-logic/python/lib-specific/tensorflow/tensorflow.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/lib-specific/tensorflow/tensorflow.dl -------------------------------------------------------------------------------- /souffle-logic/python/lib-specific/tensorflow/uncategorized-ops.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/lib-specific/tensorflow/uncategorized-ops.dl -------------------------------------------------------------------------------- /souffle-logic/python/main/comprehension.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/main/comprehension.dl -------------------------------------------------------------------------------- /souffle-logic/python/main/configuration.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/main/configuration.dl -------------------------------------------------------------------------------- /souffle-logic/python/main/const-int.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/main/const-int.dl -------------------------------------------------------------------------------- /souffle-logic/python/main/dictionaries.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/main/dictionaries.dl -------------------------------------------------------------------------------- /souffle-logic/python/main/export.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/main/export.dl -------------------------------------------------------------------------------- /souffle-logic/python/main/function-resolution-declarations.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/main/function-resolution-declarations.dl -------------------------------------------------------------------------------- /souffle-logic/python/main/function-resolution.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/main/function-resolution.dl -------------------------------------------------------------------------------- /souffle-logic/python/main/imports.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/main/imports.dl -------------------------------------------------------------------------------- /souffle-logic/python/main/lists.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/main/lists.dl -------------------------------------------------------------------------------- /souffle-logic/python/main/main-declarations.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/main/main-declarations.dl -------------------------------------------------------------------------------- /souffle-logic/python/main/main.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/souffle-logic/python/main/main.dl -------------------------------------------------------------------------------- /src/inputTests/test0/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/inputTests/test0/A.java -------------------------------------------------------------------------------- /src/inputTests/test1/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/inputTests/test1/A.java -------------------------------------------------------------------------------- /src/inputTests/test2/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/inputTests/test2/A.java -------------------------------------------------------------------------------- /src/inputTests/test3/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/inputTests/test3/A.java -------------------------------------------------------------------------------- /src/inputTests/test4/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/inputTests/test4/A.java -------------------------------------------------------------------------------- /src/inputTests/test5/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/inputTests/test5/A.java -------------------------------------------------------------------------------- /src/inputTests/test6/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/inputTests/test6/A.java -------------------------------------------------------------------------------- /src/inputTests/test7/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/inputTests/test7/A.java -------------------------------------------------------------------------------- /src/main/groovy/TestScalerPredictions.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/TestScalerPredictions.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/Main.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/Main.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/command/CommandLineAnalysisFactory.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/command/CommandLineAnalysisFactory.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/command/GOption.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/command/GOption.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/command/Help.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/command/Help.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/command/HelpGroupFormatter.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/command/HelpGroupFormatter.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/core/Doop.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/core/Doop.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/core/DoopAnalysis.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/core/DoopAnalysis.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/core/DoopAnalysisFactory.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/core/DoopAnalysisFactory.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/core/DoopAnalysisFamily.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/core/DoopAnalysisFamily.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/core/FactGenerator0.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/core/FactGenerator0.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/core/FrontEnd.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/core/FrontEnd.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/core/LB3Analysis.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/core/LB3Analysis.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/core/SouffleAnalysis.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/core/SouffleAnalysis.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/core/SouffleGenericsMultiPhaseAnalysis.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/core/SouffleGenericsMultiPhaseAnalysis.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/core/SoufflePartitionedAnalysis.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/core/SoufflePartitionedAnalysis.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/core/SoufflePythonAnalysis.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/core/SoufflePythonAnalysis.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/core/SouffleScalerMultiPhaseAnalysis.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/core/SouffleScalerMultiPhaseAnalysis.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/input/BenchmarksResolver.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/input/BenchmarksResolver.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/input/RecursiveBenchmarksResolver.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/input/RecursiveBenchmarksResolver.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/utils/CPreprocessor.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/utils/CPreprocessor.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/utils/ConfigurationGenerator.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/utils/ConfigurationGenerator.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/utils/ContextRemover.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/utils/ContextRemover.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/utils/DDlog.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/utils/DDlog.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/utils/LBBuilder.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/utils/LBBuilder.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/utils/SouffleOptions.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/utils/SouffleOptions.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/utils/SouffleScript.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/utils/SouffleScript.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/utils/SouffleScriptMain.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/utils/SouffleScriptMain.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/utils/TACGenerator.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/utils/TACGenerator.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/utils/XTractor.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/utils/XTractor.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/utils/scaler/ScalerPostAnalysis.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/utils/scaler/ScalerPostAnalysis.groovy -------------------------------------------------------------------------------- /src/main/groovy/org/clyze/doop/utils/scaler/WorstCaseContextMap.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/groovy/org/clyze/doop/utils/scaler/WorstCaseContextMap.groovy -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/oracular/CountOccurrences.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/oracular/CountOccurrences.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/Global.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/Global.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/LICENSE-scaler-zipper: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/LICENSE-scaler-zipper -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/Options.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/Options.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/doop/DataBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/doop/DataBase.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/doop/Query.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/doop/Query.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/doop/QueryResultItr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/doop/QueryResultItr.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/doop/basic/DoopField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/doop/basic/DoopField.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/doop/basic/DoopInstanceCallSite.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/doop/basic/DoopInstanceCallSite.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/doop/basic/DoopInstanceMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/doop/basic/DoopInstanceMethod.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/doop/basic/DoopObj.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/doop/basic/DoopObj.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/doop/basic/DoopStaticMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/doop/basic/DoopStaticMethod.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/doop/basic/DoopType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/doop/basic/DoopType.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/doop/basic/DoopVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/doop/basic/DoopVariable.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/doop/factory/ElementFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/doop/factory/ElementFactory.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/doop/factory/FieldFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/doop/factory/FieldFactory.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/doop/factory/MethodFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/doop/factory/MethodFactory.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/doop/factory/ObjFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/doop/factory/ObjFactory.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/doop/factory/TypeFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/doop/factory/TypeFactory.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/doop/factory/VariableFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/doop/factory/VariableFactory.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/pta/basic/AttributeElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/pta/basic/AttributeElement.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/pta/basic/BasicElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/pta/basic/BasicElement.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/pta/basic/CallSite.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/pta/basic/CallSite.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/pta/basic/Field.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/pta/basic/Field.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/pta/basic/InstanceCallSite.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/pta/basic/InstanceCallSite.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/pta/basic/InstanceMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/pta/basic/InstanceMethod.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/pta/basic/Method.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/pta/basic/Method.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/pta/basic/Obj.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/pta/basic/Obj.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/pta/basic/StaticMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/pta/basic/StaticMethod.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/pta/basic/Type.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/pta/basic/Type.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/pta/basic/Variable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/pta/basic/Variable.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/pta/util/Numberable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/pta/util/Numberable.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/scaler/Driver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/scaler/Driver.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/scaler/analysis/ContextComputer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/scaler/analysis/ContextComputer.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/scaler/analysis/Scaler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/scaler/analysis/Scaler.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/scaler/analysis/ScalerRank.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/scaler/analysis/ScalerRank.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/scaler/doop/Attribute.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/scaler/doop/Attribute.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/scaler/doop/MethodFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/scaler/doop/MethodFactory.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/scaler/doop/ObjFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/scaler/doop/ObjFactory.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/scaler/pta/PointsToAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/scaler/pta/PointsToAnalysis.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/util/ANSIColor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/util/ANSIColor.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/util/MutableInteger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/util/MutableInteger.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/util/MutableLong.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/util/MutableLong.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/util/Pair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/util/Pair.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/util/SetFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/util/SetFactory.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/util/Timer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/util/Timer.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/util/Triple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/util/Triple.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/ptatoolkit/util/graph/DirectedGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/ptatoolkit/util/graph/DirectedGraph.java -------------------------------------------------------------------------------- /src/main/java/org/clyze/doop/util/ClassPathHelper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/java/org/clyze/doop/util/ClassPathHelper.java -------------------------------------------------------------------------------- /src/main/resources/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/resources/.gitignore -------------------------------------------------------------------------------- /src/main/resources/AndroidCallbacks.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/resources/AndroidCallbacks.txt -------------------------------------------------------------------------------- /src/main/resources/EasyTaintWrapperSource.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/resources/EasyTaintWrapperSource.txt -------------------------------------------------------------------------------- /src/main/resources/log4j.properties: -------------------------------------------------------------------------------- 1 | ##place log4j configuration here -------------------------------------------------------------------------------- /src/main/resources/timeout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/main/resources/timeout -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/AndroidTests.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/AndroidTests.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/Artifacts.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/Artifacts.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/CrudeLBTest.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/CrudeLBTest.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/CrudeMicroTest.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/CrudeMicroTest.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/CrudeScalerTest.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/CrudeScalerTest.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/CrudeSouffleTest.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/CrudeSouffleTest.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/CrudeWalaTest.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/CrudeWalaTest.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/DataFlowTest.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/DataFlowTest.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/DoopBenchmark.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/DoopBenchmark.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/DoopSpec.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/DoopSpec.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/DryRuns.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/DryRuns.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/InformationFlowTest.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/InformationFlowTest.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/MiscAnalysisTests.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/MiscAnalysisTests.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/MiscLambdaTests.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/MiscLambdaTests.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/OpenProgramsAndHeapDL.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/OpenProgramsAndHeapDL.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/OpenProgramsTest.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/OpenProgramsTest.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/PlatformTest.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/PlatformTest.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/PythonTest.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/PythonTest.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/ServerAnalysisTests.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/ServerAnalysisTests.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/SimpleAnalysisTests.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/SimpleAnalysisTests.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/TestClassicReflection.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/TestClassicReflection.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/TestDifferentialDatalog.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/TestDifferentialDatalog.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/TestFactsReuse.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/TestFactsReuse.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/TestFactsSubset.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/TestFactsSubset.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/TestInvokedynamic.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/TestInvokedynamic.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/TestLambdasMethodReferences.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/TestLambdasMethodReferences.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/TestLightReflection.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/TestLightReflection.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/TestNativeCode.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/TestNativeCode.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/TestSoundMayPointsTo.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/TestSoundMayPointsTo.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/TestUtils.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/TestUtils.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/WarTest.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/WarTest.groovy -------------------------------------------------------------------------------- /src/test/groovy/org/clyze/doop/util/PackageUtilsTest.groovy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/groovy/org/clyze/doop/util/PackageUtilsTest.groovy -------------------------------------------------------------------------------- /src/test/resources/java11-string-concat.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/resources/java11-string-concat.jar -------------------------------------------------------------------------------- /src/test/resources/keep-spec/keep-spec-android.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/resources/keep-spec/keep-spec-android.txt -------------------------------------------------------------------------------- /src/test/resources/scenarios/antlr-1call-tamiflex-lb.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/resources/scenarios/antlr-1call-tamiflex-lb.properties -------------------------------------------------------------------------------- /src/test/resources/scenarios/antlr-1call-tamiflex.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/resources/scenarios/antlr-1call-tamiflex.properties -------------------------------------------------------------------------------- /src/test/resources/scenarios/antlr-1objH-tamiflex-lb.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/resources/scenarios/antlr-1objH-tamiflex-lb.properties -------------------------------------------------------------------------------- /src/test/resources/scenarios/antlr-1objH-tamiflex.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/resources/scenarios/antlr-1objH-tamiflex.properties -------------------------------------------------------------------------------- /src/test/resources/scenarios/antlr-insensitive-reflection-lb.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/resources/scenarios/antlr-insensitive-reflection-lb.properties -------------------------------------------------------------------------------- /src/test/resources/scenarios/antlr-insensitive-reflection.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/resources/scenarios/antlr-insensitive-reflection.properties -------------------------------------------------------------------------------- /src/test/resources/scenarios/antlr-insensitive-tamiflex-lb.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/resources/scenarios/antlr-insensitive-tamiflex-lb.properties -------------------------------------------------------------------------------- /src/test/resources/scenarios/antlr-insensitive-tamiflex.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/src/test/resources/scenarios/antlr-insensitive-tamiflex.properties -------------------------------------------------------------------------------- /tests/016-reflection/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/tests/016-reflection/build.gradle -------------------------------------------------------------------------------- /tests/016-reflection/src/main/java/AnnotationsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/tests/016-reflection/src/main/java/AnnotationsTest.java -------------------------------------------------------------------------------- /tests/016-reflection/src/main/java/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/tests/016-reflection/src/main/java/Main.java -------------------------------------------------------------------------------- /tests/016-reflection/src/main/java/ReflectionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/tests/016-reflection/src/main/java/ReflectionTest.java -------------------------------------------------------------------------------- /tests/104-method-references/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/tests/104-method-references/build.gradle -------------------------------------------------------------------------------- /tests/104-method-references/src/main/java/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/tests/104-method-references/src/main/java/Main.java -------------------------------------------------------------------------------- /tests/104-method-references/src/main/java/MethodReferencesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/tests/104-method-references/src/main/java/MethodReferencesTest.java -------------------------------------------------------------------------------- /tests/104-method-references/src/main/java/Person.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/tests/104-method-references/src/main/java/Person.java -------------------------------------------------------------------------------- /tests/104-method-references/standalone_settings.gradle: -------------------------------------------------------------------------------- 1 | rootProject.name='104-method-references' 2 | -------------------------------------------------------------------------------- /tests/107-lambdas/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/tests/107-lambdas/build.gradle -------------------------------------------------------------------------------- /tests/107-lambdas/src/main/java/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/tests/107-lambdas/src/main/java/Main.java -------------------------------------------------------------------------------- /tests/107-lambdas/standalone_settings.gradle: -------------------------------------------------------------------------------- 1 | rootProject.name='107-lambdas' 2 | -------------------------------------------------------------------------------- /tests/115-invokedynamic/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/tests/115-invokedynamic/README.md -------------------------------------------------------------------------------- /tests/115-invokedynamic/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/tests/115-invokedynamic/build.gradle -------------------------------------------------------------------------------- /tests/115-invokedynamic/src/main/java/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/tests/115-invokedynamic/src/main/java/A.java -------------------------------------------------------------------------------- /tests/115-invokedynamic/src/main/java/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/doop/HEAD/tests/115-invokedynamic/src/main/java/Main.java -------------------------------------------------------------------------------- /tests/115-invokedynamic/standalone_settings.gradle: -------------------------------------------------------------------------------- 1 | rootProject.name='115-invokedynamic' 2 | --------------------------------------------------------------------------------