[Soot-list] iterating over transitive sources

[Steven Arzt]

Hi Denis,

 

Sorry for the late reply, but I had a lot of stuff going on lately, including lots of travel. Concerning your problem: FlowDroid has a backwards interprocedural control flow graph (backwards ICFG). An ICFG is essentially a combination of a callgraph and all control flow graphs inside all reachable methods. In FlowDroid, this class is called BackwardsInfoflowCFG.

 

If you just need the source statements, you can also use Infoflow.getCollectedSources(). Make sure to set InfoflowConfiguration.SetLogSourcesAndSinks(true) prior to running FlowDroid to make sure that the list is assembled.

 

If you have any further questions, do not hesitate to ask.

 

Best regards,

  Steven

 

Von: soot-list-bounces at CS.McGill.CA [mailto:soot-list-bounces at CS.McGill.CA] Im Auftrag von Denis Bogdanas
Gesendet: Dienstag, 16. Februar 2016 00:20
An: soot-list at CS.McGill.CA
Betreff: [Soot-list] iterating over transitive sources

 

Hi to all,


I recently started to work on a project based on FlowDroid. So far I like the code base very much.


 

Question:

Is there a way to transitively iterate over source calls of a particular method in the call graph? An opposite to TransitiveTargets.

Or something that allows inverting a call graph, like wala allows?

 

Won't be hard to do that myself, but would prefer to use existing solutions.

thanks,

-- 

Denis

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20160228/ee74a4ec/attachment.html