[Soot-list] Is it possible to perform verification over path?

[Eric Bodden]

Hi Ding Sun.

It's certainly possible, butI guess your question is really if anyone
has done this before, right?

Regarding verification, I am not exactly sure what you mean. In my PhD
Thesis I have used Soot to verify finite-state properties of objects,
such as "don't write to a file after closing it". This is
flow-sensitive and path-sensitive. It's implemented as an extension to
Soot, called Clara: http://bodden.de/clara/

I am not aware of Soot being used for test generation but there may be
people who have done this. Maybe somebody else on this list can
comment on this.

Eric

On 18 July 2011 21:54, #DING SUN# <DING0037 at e.ntu.edu.sg> wrote:
> Dear All,
>       I'm wondering whether it is possible to connect soot with other static analysis tools to perform verification over program path? Or generate test case over a path?
>
> Best Regards,
> Ding Sun
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Dr. Eric Bodden, http://bodden.de/
Principal Investigator in Secure Services at CASED
Coordinator of the CASED Advisory Board of Study Affairs
PostDoc at Software Technology Group, Technische Universität Darmstadt
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt