
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>

</head>

<body dir="ltr">

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

<span style="font-family: Calibri, Helvetica, sans-serif;">Hello,</span></div>

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

<br>

</div>

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

<span style="font-family: Calibri, Helvetica, sans-serif;">I want to use Soot's SPARK analysis on Java libraries. As entrypoints for the analysis I would like to use JUnit test suites.</span></div>

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

<span style="font-family: Calibri, Helvetica, sans-serif;">From this previous thread:

</span><a href="https://mailman.cs.mcgill.ca/pipermail/soot-list/2020-June/009218.html" id="LPlnk928147"><span style="font-family: Calibri, Helvetica, sans-serif;">https://mailman.cs.mcgill.ca/pipermail/soot-list/2020-June/009218.html</span></a><br>

</div>

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

<span style="font-family: Calibri, Helvetica, sans-serif;">I gather that I would likely run into the same kind of problem, as test methods do not have to be static.</span></div>

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

<br>

</div>

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

<span style="font-family: Calibri, Helvetica, sans-serif;">Does there exist some code that can create synthetic entrypoints for JUnit test suites, such as

</span><a href="https://github.com/secure-software-engineering/FlowDroid/blob/86c758e70237b1888249ce15a6b339e9a2409990/soot-infoflow-android/src/soot/jimple/infoflow/android/entryPointCreators/AndroidEntryPointCreator.java" title="https://github.com/secure-software-engineering/FlowDroid/blob/86c758e70237b1888249ce15a6b339e9a2409990/soot-infoflow-android/src/soot/jimple/infoflow/android/entryPointCreators/AndroidEntryPointCreator.java"><span style="font-family: Calibri, Helvetica, sans-serif;">what

 FlowDroid creates for Android applications</span></a><span style="font-family: Calibri, Helvetica, sans-serif;">?</span></div>

<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

<span style="font-family: Calibri, Helvetica, sans-serif;">Or would I be better off by using one of the two "library modes" of Soot?</span></div>

<div><br>

</div>

<div><span style="font-family: Calibri, Helvetica, sans-serif;">Regards,</span></div>

<div><span style="font-family: Calibri, Helvetica, sans-serif;">Oskar Haarklou Veileborg</span></div>

<div><span style="font-family: Calibri, Helvetica, sans-serif;">Department of Computer Science, Aarhus University</span><br>

</div>

<div><br>

</div>

</body>

</html>