FlowDroid icon indicating copy to clipboard operation
FlowDroid copied to clipboard

Is there a method for declaring sinks directly in the Jimple form inside FlowDroid

Open DeepakUniAdel opened this issue 3 years ago • 2 comments

Dear Steven

Can we declare sinks directly in to the Jimple body of a code so that the issink() method of FlowDroid correctly maps the information flow from source to such Jimple declared sinks.

DeepakUniAdel avatar Aug 02 '22 12:08 DeepakUniAdel

You want to have an individual statement as a sink? Have a look at the StatementSourceSinkDefinition.

StevenArzt avatar Aug 02 '22 16:08 StevenArzt

@StevenArzt yes I want to add an "if condition" as sink... how should I mark the sink in Jimple so that it can be identified by FlowDorid.. Where should I declare such sinks in FlowDroid? In cases involving statements as sinks will it affect the access path?

DeepakUniAdel avatar Aug 02 '22 23:08 DeepakUniAdel