[Soot-list] Hi, I have a problem about the path identification of FlowDroid. Could you please help me?

[Linghui Luo]

Hi Zhaoyi,

I think by default FlowDroid just reports one witness path between source and sink. There is a parameter called “singlewitnesspath”, you can set it to “no”. I haven’t tried it by myself, so no guarantee it will work. Please let me know if it works.

Best regards,
Linghui Luo

Von: Soot-list [mailto:soot-list-bounces at CS.McGill.CA] Im Auftrag von ???
Gesendet: Mittwoch, 15. November 2017 03:01
An: soot-list at cs.mcgill.ca
Betreff: [Soot-list] Hi, I have a problem about the path identification of FlowDroid. Could you please help me?

Hi all,

Recently, I try to use FlowDroid to extract complete data-flow paths in Android app.
However, I meet a problem in the following example.

a = source();

if(conditionA) {
   a = a + 1;
}
else {
   a = a * 1;
}

sink(a);

In the above example, I can extract only one data-flow path from source() to sink().
Obviously, there are two different data-flow paths in the code example.

I add the parameter "--pathalgo contextinsensitive" in our command line, while there is no use.

How can I solve this problem?
Thanks a lot!

--
Best Regards,
Zhaoyi Meng

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20171115/b1701899/attachment.html>