[Soot-list] SPARK analysis with JUnit test suite as entry point

[Eric Bodden]

Hello.

I think your best bet would be to implement some code that generates an appropriate  static dummy-main method that then instantiates the right objects and calls their test method. You could use FlowDroid’s code as a template.

Cheers
Eric

> On 13. Nov 2020, at 12:44, Oskar Haarklou Veileborg <oskar at cs.au.dk> wrote:
> 
> Hello,
> 
> I want to use Soot's SPARK analysis on Java libraries. As entrypoints for the analysis I would like to use JUnit test suites.
> From this previous thread: https://mailman.cs.mcgill.ca/pipermail/soot-list/2020-June/009218.html
> I gather that I would likely run into the same kind of problem, as test methods do not have to be static.
> 
> Does there exist some code that can create synthetic entrypoints for JUnit test suites, such as what FlowDroid creates for Android applications?
> Or would I be better off by using one of the two "library modes" of Soot?
> 
> Regards,
> Oskar Haarklou Veileborg
> Department of Computer Science, Aarhus University
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list