[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