[Soot-list] soot and concolic testing

[Saswat Anand]

Hi,

JCute uses soot.  I myself implemented a symbolic execution tool using
Soot that we call Cinger. However, unfortunately source code of none
of the two tools are currently publicly-available. I am cleaning up
the Cinger source code with the plan to release it soon (a couple of
months). In the mean time, if you want to know more about Cinger,
there is a paper on it with the title "Heap Cloning: Enabling Dynamic
Symbolic Execution of Java Programs".

Saswat

2012/4/4 dingsun <xyz031702 at hotmail.com>:
> Dear All,
>
> May I know any Soot related tools or components, that implement a concolic
> testing for Java?
>
> Best Regards,
> Ding Sun
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>