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

[Oskar Haarklou Veileborg]

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

[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

> _______________________________________________
> Soot-list mailing list
> Soot...@CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list

_______________________________________________
Soot-list mailing list
Soot...@CS.McGill.CA
https://mailman.CS.McGill.CA/mailman/listinfo/soot-list

[Patrick Lam]

By the way, we are also writing some code to write JUnit test drivers. You might want to contact my student Qian, cc'd.

pat