[Soot-list] Working with PDGs in Soot

[Bodden, Eric]

Hi Nate.

Have you looked at FlowDroid? It computes implicit information flows (if enabled on the command line). While they are not represented in an explicit PDG but rather computed on the fly, they might be sufficient for your purpose. Note that this is a forward-slicing approach.

Eric

On 15.02.2014, at 01:22, Nate Deisinger <ndeisinger at wisc.edu> wrote:

> Hi folks,
> 
> Sorry to keep coming back with more questions.  As I mentioned in my 
> last post I'm working on path tracing in Java programs, and the next 
> step in my research is to start using the results to perform slicing on 
> a program dependence graph (PDG) of the program.
> 
> Of course, this implies having a PDG in the first place.  I'm aware Soot 
> has the HashMutablePDG class implemented, but that appears to be a 
> control-flow only PDG (someone correct me if I'm wrong?)
> 
> Does Soot have any built-in support for PDGs with data-flow edges as 
> well, or does anyone know of a good PDG generator for Java programs that 
> works with Soot? (I've found a thesis that discusses PDG and SDG 
> generation in Soot, but it's several years old and the code does not 
> appear to be available anymore - see 
> http://www.slideshare.net/darvind/thesis-a-static-slicing-tool-for-sequential-java-programs).
> 
> Thanks very much,
> Nate
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list

--
Prof. Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering  at Fraunhofer SIT, TU Darmstadt and EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 841 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20140217/4385622a/attachment.bin