[Soot-list] Help using InfoFlow under FlowDroid

[Steven Arzt]

Hi Ashish,

 

These two parameters help FlowDroid distinguish between what you actaully want to analyze (put that into appPath) and what is needed to load it (put that into libPath). So if you want to analyze a Java program, your own sources which you actually want to analyze go into appPath. If you have any library dependencies, put those into libPath.

 

Best regards,

  Steven

 

Von: soot-list-bounces at CS.McGill.CA [mailto:soot-list-bounces at CS.McGill.CA] Im Auftrag von ASHISH MISHRA
Gesendet: Montag, 4. August 2014 15:25
An: Soot List
Betreff: [Soot-list] Help using InfoFlow under FlowDroid

 

Hi ,

 

I am trying to use the soot-Infoflow implementation to analyze information flow , given a method .

 

 I have confusion about the parameters to pass to 

 

computeInfoflow(String appPath, String libPath, String entryPoint,

                                   ISourceSinkManager sourcesSinks)

 

What should i pass to appPath (Is this the path to my class to be analyzed or some other class) 

What should i pass to libPath (I assume its the soot class path , is there a way i can use something like -pp option )

 

I browsed the source and could see how these parameters are used 

 

Options.v().set_soot_classpath(appPath + File.pathSeparator + libPath); 

 

But i can't see how the parameters passed  fit into this .

 

If anyone faced a similar problem and suggest a solution(probably an example ) , it will be a great help.

 

Regards

Ashish

 

 

 

 

 

Regards,
Ashish Mishra
Graduate Student,
Computer Science and Automation Department,IISc
Cell : +91-9611194714
Mailto : ashishmishra at csa.iisc.ernet.in

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140804/8cb14ac3/attachment-0001.html