[Soot-list] [FlowDroid] Query aliases

[Arzt, Steven]

Hi Umar,

The FlowDroid alias analysis has been built with the goal of data flow analysis in mind. The alias analysis takes a taint abstraction, propagates it backwards, and derives new taint abstractions for the discovered aliases. It is not a general-purpose alias analysis that you can just use without modifications. What you could do, though, is create fake taint abstractions at the statements at which you need aliases, have the access paths point to the variables for which you need aliases, and run the propagation. You then need to detect when such a taint hits a statement at which you are interested in alias information.

For more information on how the FlowDroid alias analysis works, you can have a look at my PhD thesis: http://tuprints.ulb.tu-darmstadt.de/5937/.

Best regards,
  Steven

From: Soot-list [mailto:soot-list-bounces at cs.mcgill.ca] On Behalf Of Umar Farooq
Sent: Tuesday, February 6, 2018 7:47 PM
To: soot-list at cs.mcgill.ca
Subject: [Soot-list] [FlowDroid] Query aliases

Hi,

I am trying to perform a live variable analysis on Android apps.  I am using latest builds for FlowDroid, but I have not found any way to query or somehow find existing aliases for a local or field inside a method.

I want to know, what is quickest and memory effiecient way to retrieve aliases in FlowDroid (if implemented)?

Really appreciate any help :-)

Thanks,
Umar
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20180206/71eadb54/attachment.html>