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

[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


On Thu, Nov 19, 2020 at 1:27 AM Eric Bodden <eric.bodden at uni-paderborn.de>
wrote:

> 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
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20201119/90b26b3c/attachment.html>