├── .gitignore ├── README.md ├── dependencies ├── PathExpression-1.0.0.jar └── install_dependencies.sh ├── pom.xml └── src ├── main └── java │ ├── aliasing │ └── AliasManager.java │ ├── analysis │ ├── AnalysisLogger.java │ ├── IFDSTaintAnalysisProblem.java │ ├── data │ │ ├── ArtificialObjectsCache.java │ │ └── DFF.java │ └── flowfunctions │ │ ├── CallFlowFunctionProvider.java │ │ ├── CallToReturnFlowFunctionProvider.java │ │ ├── FlowFunctionProvider.java │ │ ├── NormalFlowFunctionProvider.java │ │ ├── ReturnFlowFunctionProvider.java │ │ ├── call │ │ ├── CallFF.java │ │ ├── KillStaticCTRFF.java │ │ ├── ReturnFF.java │ │ └── ReturnVoidFF.java │ │ └── normal │ │ ├── AliasHandler.java │ │ ├── AliasHandlerProvider.java │ │ ├── ArrayLoadFF.java │ │ ├── ArrayStoreAliasHandler.java │ │ ├── FieldLoadFF.java │ │ ├── FieldStoreAliasHandler.java │ │ ├── KillFF.java │ │ ├── LocalFF.java │ │ └── SourceFF.java │ ├── solver │ └── JimpleIDESolver.java │ └── util │ ├── CFGUtil.java │ ├── SherosStaticFieldRef.java │ └── SortableCSVString.java └── test └── java ├── target └── taint │ ├── Assignment.java │ ├── Assignment2.java │ ├── Assignment3.java │ ├── Assignment4.java │ ├── Assignment5.java │ ├── Branching.java │ ├── Branching2.java │ ├── Branching3.java │ ├── Branching4.java │ ├── Branching5.java │ ├── Context.java │ ├── Context2.java │ ├── Context3.java │ ├── Context4.java │ ├── Context5.java │ ├── Field.java │ ├── Field2.java │ ├── Field3.java │ ├── Field4.java │ ├── Field5.java │ ├── Loop.java │ ├── Loop2.java │ └── internal │ ├── SinkClass.java │ └── SourceClass.java └── test ├── base └── IFDSTestSetUp.java └── taint └── TaintAnalysisTest.java /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/README.md -------------------------------------------------------------------------------- /dependencies/PathExpression-1.0.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/dependencies/PathExpression-1.0.0.jar -------------------------------------------------------------------------------- /dependencies/install_dependencies.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/dependencies/install_dependencies.sh -------------------------------------------------------------------------------- /pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/pom.xml -------------------------------------------------------------------------------- /src/main/java/aliasing/AliasManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/aliasing/AliasManager.java -------------------------------------------------------------------------------- /src/main/java/analysis/AnalysisLogger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/AnalysisLogger.java -------------------------------------------------------------------------------- /src/main/java/analysis/IFDSTaintAnalysisProblem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/IFDSTaintAnalysisProblem.java -------------------------------------------------------------------------------- /src/main/java/analysis/data/ArtificialObjectsCache.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/data/ArtificialObjectsCache.java -------------------------------------------------------------------------------- /src/main/java/analysis/data/DFF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/data/DFF.java -------------------------------------------------------------------------------- /src/main/java/analysis/flowfunctions/CallFlowFunctionProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/flowfunctions/CallFlowFunctionProvider.java -------------------------------------------------------------------------------- /src/main/java/analysis/flowfunctions/CallToReturnFlowFunctionProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/flowfunctions/CallToReturnFlowFunctionProvider.java -------------------------------------------------------------------------------- /src/main/java/analysis/flowfunctions/FlowFunctionProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/flowfunctions/FlowFunctionProvider.java -------------------------------------------------------------------------------- /src/main/java/analysis/flowfunctions/NormalFlowFunctionProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/flowfunctions/NormalFlowFunctionProvider.java -------------------------------------------------------------------------------- /src/main/java/analysis/flowfunctions/ReturnFlowFunctionProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/flowfunctions/ReturnFlowFunctionProvider.java -------------------------------------------------------------------------------- /src/main/java/analysis/flowfunctions/call/CallFF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/flowfunctions/call/CallFF.java -------------------------------------------------------------------------------- /src/main/java/analysis/flowfunctions/call/KillStaticCTRFF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/flowfunctions/call/KillStaticCTRFF.java -------------------------------------------------------------------------------- /src/main/java/analysis/flowfunctions/call/ReturnFF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/flowfunctions/call/ReturnFF.java -------------------------------------------------------------------------------- /src/main/java/analysis/flowfunctions/call/ReturnVoidFF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/flowfunctions/call/ReturnVoidFF.java -------------------------------------------------------------------------------- /src/main/java/analysis/flowfunctions/normal/AliasHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/flowfunctions/normal/AliasHandler.java -------------------------------------------------------------------------------- /src/main/java/analysis/flowfunctions/normal/AliasHandlerProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/flowfunctions/normal/AliasHandlerProvider.java -------------------------------------------------------------------------------- /src/main/java/analysis/flowfunctions/normal/ArrayLoadFF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/flowfunctions/normal/ArrayLoadFF.java -------------------------------------------------------------------------------- /src/main/java/analysis/flowfunctions/normal/ArrayStoreAliasHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/flowfunctions/normal/ArrayStoreAliasHandler.java -------------------------------------------------------------------------------- /src/main/java/analysis/flowfunctions/normal/FieldLoadFF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/flowfunctions/normal/FieldLoadFF.java -------------------------------------------------------------------------------- /src/main/java/analysis/flowfunctions/normal/FieldStoreAliasHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/flowfunctions/normal/FieldStoreAliasHandler.java -------------------------------------------------------------------------------- /src/main/java/analysis/flowfunctions/normal/KillFF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/flowfunctions/normal/KillFF.java -------------------------------------------------------------------------------- /src/main/java/analysis/flowfunctions/normal/LocalFF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/flowfunctions/normal/LocalFF.java -------------------------------------------------------------------------------- /src/main/java/analysis/flowfunctions/normal/SourceFF.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/analysis/flowfunctions/normal/SourceFF.java -------------------------------------------------------------------------------- /src/main/java/solver/JimpleIDESolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/solver/JimpleIDESolver.java -------------------------------------------------------------------------------- /src/main/java/util/CFGUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/util/CFGUtil.java -------------------------------------------------------------------------------- /src/main/java/util/SherosStaticFieldRef.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/util/SherosStaticFieldRef.java -------------------------------------------------------------------------------- /src/main/java/util/SortableCSVString.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/main/java/util/SortableCSVString.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Assignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Assignment.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Assignment2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Assignment2.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Assignment3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Assignment3.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Assignment4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Assignment4.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Assignment5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Assignment5.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Branching.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Branching.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Branching2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Branching2.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Branching3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Branching3.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Branching4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Branching4.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Branching5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Branching5.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Context.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Context.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Context2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Context2.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Context3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Context3.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Context4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Context4.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Context5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Context5.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Field.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Field.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Field2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Field2.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Field3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Field3.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Field4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Field4.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Field5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Field5.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Loop.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Loop.java -------------------------------------------------------------------------------- /src/test/java/target/taint/Loop2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/Loop2.java -------------------------------------------------------------------------------- /src/test/java/target/taint/internal/SinkClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/internal/SinkClass.java -------------------------------------------------------------------------------- /src/test/java/target/taint/internal/SourceClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/target/taint/internal/SourceClass.java -------------------------------------------------------------------------------- /src/test/java/test/base/IFDSTestSetUp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/test/base/IFDSTestSetUp.java -------------------------------------------------------------------------------- /src/test/java/test/taint/TaintAnalysisTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soot-oss/TaintAnalysis/HEAD/src/test/java/test/taint/TaintAnalysisTest.java --------------------------------------------------------------------------------