search

secure-software-engineering / FlowDroid

FlowDroid Static Data Flow Tracker
GNU Lesser General Public License v2.1
1.05k stars 298 forks source link

Instrumenting test codes #505

Open DeepakUniAdel opened 2 years ago

DeepakUniAdel commented 2 years ago

Dear Steven

I am currently running the Java test cases inside the "soot-info-flow" module of FlowDorid. I just wanted to know how we can instrument the test codes so that I can insert a Jimple code into the original Jimple output for adding conditional statements as sinks. And if I instrument the code will it affect the access path mechanism deployed by FlowDroid? and is the access path mechanism the main contributor towards finding leakages in an application?

StevenArzt commented 2 years ago

You can use the PreAnalysisHandler to inject code instrumentation into the analysis (have a look at SetupApplication.addPreprocessor()). The access paths have nothing to do with the instrumentation part.