<div dir="ltr"><div>By the way, we are also writing some code to write JUnit test drivers. You might want to contact my student Qian, cc'd.</div><div><br></div><div>pat</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Nov 19, 2020 at 1:27 AM Eric Bodden <<a href="mailto:eric.bodden@uni-paderborn.de">eric.bodden@uni-paderborn.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hello.<br>
<br>
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.<br>
<br>
Cheers<br>
Eric<br>
<br>
> On 13. Nov 2020, at 12:44, Oskar Haarklou Veileborg <<a href="mailto:oskar@cs.au.dk" target="_blank">oskar@cs.au.dk</a>> wrote:<br>
> <br>
> Hello,<br>
> <br>
> I want to use Soot's SPARK analysis on Java libraries. As entrypoints for the analysis I would like to use JUnit test suites.<br>
> From this previous thread: <a href="https://mailman.cs.mcgill.ca/pipermail/soot-list/2020-June/009218.html" rel="noreferrer" target="_blank">https://mailman.cs.mcgill.ca/pipermail/soot-list/2020-June/009218.html</a><br>
> I gather that I would likely run into the same kind of problem, as test methods do not have to be static.<br>
> <br>
> Does there exist some code that can create synthetic entrypoints for JUnit test suites, such as what FlowDroid creates for Android applications?<br>
> Or would I be better off by using one of the two "library modes" of Soot?<br>
> <br>
> Regards,<br>
> Oskar Haarklou Veileborg<br>
> Department of Computer Science, Aarhus University<br>
> <br>
> _______________________________________________<br>
> Soot-list mailing list<br>
> <a href="mailto:Soot-list@CS.McGill.CA" target="_blank">Soot-list@CS.McGill.CA</a><br>
> <a href="https://mailman.CS.McGill.CA/mailman/listinfo/soot-list" rel="noreferrer" target="_blank">https://mailman.CS.McGill.CA/mailman/listinfo/soot-list</a><br>
<br>
_______________________________________________<br>
Soot-list mailing list<br>
<a href="mailto:Soot-list@CS.McGill.CA" target="_blank">Soot-list@CS.McGill.CA</a><br>
<a href="https://mailman.CS.McGill.CA/mailman/listinfo/soot-list" rel="noreferrer" target="_blank">https://mailman.CS.McGill.CA/mailman/listinfo/soot-list</a><br>
</blockquote></div>