[Soot-list] [FlowDroid Taint Wrappers]

clod pcva011 at live.rhul.ac.uk
Thu May 23 11:30:56 EDT 2019


Hi all!

I am trying to add a new TaintWrapper for flowdroid. My Taint Wrapper 
should work as an identity one: if one parameter is tainted then taint 
the left assigment.

I want to add it to the TaintWrapperSet and I could do it in Flowdroid 
MainClass, simply adding `wrapperSet.addWrapper(new 
MyTaintWrapper());`.  Since TaintWrapperSet should return the union of

the taints of the TaintWrappers, I would expect to find more or at least 
equal flows if I run with and without my new MyTaintWrapper. However, 
what happens is that with MyTaintWrapper in the set, I find 0 flows and 
without it I find 6!


Does anyone have have a clue why this can happen ? is more likely a 
problem with TaintWrapperSet or MyTaintWrapper implementation?


Thanks,

Claudio



More information about the Soot-list mailing list