<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
Hi David,
<div class=""><br class="">
</div>
<div class="">Thanks for your quick reply.</div>
<div class=""><br class="">
</div>
<div class="">About “Options.v().set_dynamic_class()”, I found no clear documents and examples so far.</div>
<div class="">I tried to add following code after “G.reset()” in my “Tester”:</div>
<div class=""><br class="">
</div>
<div class=""><span class="Apple-tab-span" style="white-space:pre"></span>List<String> classes = new ArrayList<String>();<br class="">
<span class="Apple-tab-span" style="white-space:pre"></span>classes.add("java.lang.ClassLoader");<br class="">
<span class="Apple-tab-span" style="white-space:pre"></span>classes.add("java.lang.Class");<br class="">
<span class="Apple-tab-span" style="white-space:pre"></span>classes.add("java.lang.reflect.Method");<br class="">
<span class="Apple-tab-span" style="white-space:pre"></span>classes.add("java.lang.reflect.Field");<br class="">
<span class="Apple-tab-span" style="white-space:pre"></span>Options.v().set_dynamic_class(classes);</div>
<div class=""><br class="">
</div>
<div class="">But the results showed no differences.</div>
<div class="">I’m wondering if I used it in a wrong way or it may be not related? <br class="">
<div class="">
<div style="color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;">
<br class="">
Best Regard</div>
<div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;">
——————————————————</div>
<div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;">
Jun Gao</div>
<div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;">
<br class="">
</div>
<div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;">
University of Luxembourg, SnT</div>
<div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;">
6 Rue Richard Coudenhove-Kalergi<br class="">
L-1359 Luxembourg<br class="">
Office: Bloc E 107<br class="">
Tele: (+352) 46 66 44 6019<br class="">
Fax: (+352) 46 66 44 36019</div>
<div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class="">
<br class="">
</div>
<br class="Apple-interchange-newline">
</div>
</div>
<br class="Apple-interchange-newline">
<br class="Apple-interchange-newline">
</div>
<div><br class="">
<blockquote type="cite" class="">
<div class="">On 10 Dec 2019, at 21:12, David Diepenbrock <<a href="mailto:ddiepenbrock@pjrcorp.com" class="">ddiepenbrock@pjrcorp.com</a>> wrote:</div>
<br class="Apple-interchange-newline">
<div class="">
<div style="font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;" class="">
Jun,</div>
<div style="font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;" class="">
<br class="">
</div>
<div style="font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;" class="">
Try looking into "Options.v().set_dynamic_class()". In my limited experience spark needs a list of the dynamically loaded classes in order to identify the reflective method invokes. </div>
<div style="font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;" class="">
<br class="">
</div>
<div style="font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;" class="">
-David</div>
<div id="appendonsend" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class="">
</div>
<hr tabindex="-1" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; display: inline-block; width: 1109.359375px;" class="">
<span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class=""></span>
<div id="divRplyFwdMsg" dir="ltr" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class="">
<font face="Calibri, sans-serif" style="font-size: 11pt;" class=""><b class="">From:</b><span class="Apple-converted-space"> </span>Soot-list <<a href="mailto:soot-list-bounces@CS.McGill.CA" class="">soot-list-bounces@CS.McGill.CA</a>> on behalf of Jun GAO
<<a href="mailto:jun.gao@uni.lu" class="">jun.gao@uni.lu</a>><br class="">
<b class="">Sent:</b><span class="Apple-converted-space"> </span>Monday, December 9, 2019 4:31 AM<br class="">
<b class="">To:</b><span class="Apple-converted-space"> </span><a href="mailto:soot-list@cs.mcgill.ca" class="">soot-list@cs.mcgill.ca</a> <<a href="mailto:soot-list@CS.McGill.CA" class="">soot-list@CS.McGill.CA</a>><br class="">
<b class="">Subject:</b><span class="Apple-converted-space"> </span>[Soot-list] Pointsto analysis for reflection methods</font>
<div class=""> </div>
</div>
<div class="" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; line-break: after-white-space;">
Hi there,
<div class=""><br class="">
</div>
<div class="">I’m trying to tracking the usage of certain object returned from Java reflection methods by using SPARK PointsTo analysis.</div>
<div class="">Hereafter is the code of a simple test case:</div>
<div class=""><br class="">
</div>
<div class="">
<div class="">import java.lang.reflect.Method;</div>
<div class="">import java.lang.reflect.Constructor;</div>
<div class="">import java.lang.Class;</div>
<div class="">import java.lang.reflect.InvocationTargetException;</div>
<div class=""><br class="">
</div>
<div class="">public class Testcase {</div>
<div class=""><br class="">
</div>
<div class=""> public static void main(String[] args) {</div>
<div class=""> try{</div>
<div class=""> Class cdog = Class.forName("Dog");</div>
<div class=""> Method mbark = cdog.getMethod("bark");</div>
<div class=""> mbark.invoke(null);</div>
<div class=""> } catch(ClassNotFoundException e) {</div>
<div class=""> e.printStackTrace();</div>
<div class=""> } catch(NoSuchMethodException e) {</div>
<div class=""> e.printStackTrace();</div>
<div class=""> } catch(InvocationTargetException e) {</div>
<div class=""> e.printStackTrace();</div>
<div class=""> } catch(IllegalAccessException e) {</div>
<div class=""> e.printStackTrace();</div>
<div class=""> }</div>
<div class=""> }</div>
<div class=""><br class="">
</div>
<div class="">}</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">By using the points-to analysis, I want to know that the “cdog” in statement "Class cdog = Class.forName("Dog”);” is the one in statement "Method mbark = cdog.getMethod("bark”);”.</div>
<div class="">Also, the “mbark” in statement "mbark.invoke(null);” is the one got before.</div>
<div class="">However, the points-to set from the points-to analysis for all these local variables are “EmptyPointsToSet”.</div>
<div class=""><br class="">
</div>
<div class="">Following is the code for analysis by using Soot:</div>
<div class=""><br class="">
</div>
<div class="">public class Tester {</div>
<div class=""><span class="x_Apple-tab-span" style="white-space: pre;"></span>public static void main(String[] args) {</div>
<div class=""><span class="x_Apple-tab-span" style="white-space: pre;"></span>String[] opts = {</div>
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>"-process-dir", "../pointsto_test_case/",<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>"-ire",<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>"-allow-phantom-refs",<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>"-src-prec", "c",<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>"-w",<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>"-p", "cg", "enabled:true",<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>"-p", "cg", "all-reachable:true",<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>"-p", "cg", "trim-clinit:false",<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>"-p", "cg.spark", "on",<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>"-p", "cg.spark", "verbose:true",<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>"-p", "cg.spark", "propagator:worklist",<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>"-p", "cg.spark", "simple-edges-bidirectional:false",<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>"-p", "cg.spark", "on-fly-cg:true",<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>"-p", "cg.spark", "set-impl:double",<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>"-p", "cg.spark", "double-set-old:hybrid",<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>"-p", "cg.spark", "double-set-new:hybrid",<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>"-p", "jop.cpf", "enabled:true",<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>"-output-format", "n"<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>};<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>G.reset();</div>
<div class=""><span class="x_Apple-tab-span" style="white-space: pre;"></span>PackManager.v().getPack("wjtp").add(new Transform("wjtp.test", new SceneTransformer() {<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>@Override<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>protected void internalTransform(String phaseName, Map<String, String> options) {</div>
<div class=""><span class="x_Apple-tab-span" style="white-space: pre;"></span>PointsToAnalysis pa = Scene.v().getPointsToAnalysis();<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>ReachableMethods reachableMethods = Scene.v().getReachableMethods();<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>QueueReader<MethodOrMethodContext> listener = reachableMethods.listener();<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>while (listener.hasNext()) {<br class="">
<span class="Apple-converted-space"> </span><span class="x_Apple-tab-span" style="white-space: pre;"></span> <span class="x_Apple-tab-span" style="white-space: pre;">
</span> SootMethod m = listener.next().method();<br class="">
<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span> if (!m.getDeclaringClass().getName().equals("Testcase")) continue;<br class="">
<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span> if (m.hasActiveBody()) {<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>Local cls = null, method = null;<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>Stmt clsStmt = null, methodStmt = null;<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>Body body = m.getActiveBody();<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>for (Unit u : body.getUnits()) {<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>Stmt stmt = (Stmt) u;<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>if (stmt.containsInvokeExpr()) {<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
InvokeExpr ie = stmt.getInvokeExpr();<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
if (ie.getMethod().getName().equals("forName")) {<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-converted-space"> </span>cls = (Local) ((AssignStmt) stmt).getLeftOp();<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-converted-space"> </span>clsStmt = stmt;<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
} else if (ie.getMethod().getName().equals("getMethod")) {<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>AssignStmt astmt = (AssignStmt) stmt;<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
method = (Local) astmt.getLeftOp();<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
methodStmt = stmt;<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-converted-space"> </span>Local invoker = (Local) ((InstanceInvokeExpr) ie).getBase();<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-converted-space"> </span>PointsToSet clsPs = pa.reachingObjects(cls);<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-converted-space"> </span>System.out.println(clsPs.getClass());<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-converted-space"> </span>PointsToSet invokerPs = pa.reachingObjects(invoker);<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-converted-space"> </span>System.out.println(invokerPs.getClass());<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-converted-space"> </span>if (clsPs.hasNonEmptyIntersection(invokerPs)) {<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-converted-space"> </span>System.out.println(clsStmt);<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-converted-space"> </span>System.out.println(methodStmt);<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-converted-space"> </span>}<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
} else if (ie.getMethod().getName().equals("invoke")) {<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-converted-space"> </span>Local invoker = (Local) ((InstanceInvokeExpr) ie).getBase();<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-converted-space"> </span>PointsToSet methodPs = pa.reachingObjects(method);<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-converted-space"> </span>System.out.println(methodPs.getClass());<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-converted-space"> </span>PointsToSet invokerPs = pa.reachingObjects(invoker);<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-converted-space"> </span>System.out.println(invokerPs.getClass());<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-converted-space"> </span>if (methodPs.hasNonEmptyIntersection(invokerPs)) {<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-converted-space"> </span>System.out.println(methodStmt);<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-converted-space"> </span>System.out.println(stmt);<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
<span class="Apple-converted-space"> </span>}<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>
}<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>}<br class="">
<span class="x_Apple-tab-span" style="white-space: pre;"> </span>}<br class="">
<div class=""><span class="x_Apple-tab-span" style="white-space: pre;"></span>}</div>
<div class=""><span class="x_Apple-tab-span" style="white-space: pre;"></span>}</div>
<div class=""><span class="x_Apple-tab-span" style="white-space: pre;"></span>}</div>
<div class=""><span class="x_Apple-tab-span" style="white-space: pre;"></span>}</div>
<div class="">}</div>
<div class=""><br class="">
</div>
<div class="">I tried the points-to analysis with object instantiated with new statement which works very well.</div>
<div class="">And I also noticed that these reflection methods were somehow related to native code.</div>
<div class="">So I’m wandering are there some other parameters required for the points-to analysis to work properly for this situation?</div>
<div class="">Or it cannot work with it?</div>
<div class=""><br class="">
</div>
<div class="">
<div class="" style="letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; word-wrap: break-word; line-break: after-white-space;">
<div class="" style="word-wrap: break-word; line-break: after-white-space;">
<div style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px;" class="">
<br class="">
Best Regard</div>
<div style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px;" class="">
——————————————————</div>
<div style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px;" class="">
Jun Gao</div>
<div style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px;" class="">
<br class="">
</div>
<div style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px;" class="">
University of Luxembourg, SnT</div>
<div style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px;" class="">
6 Rue Richard Coudenhove-Kalergi<br class="">
L-1359 Luxembourg<br class="">
Office: Bloc E 107<br class="">
Tele: (+352) 46 66 44 6019<br class="">
Fax: (+352) 46 66 44 36019</div>
</div>
</div>
</div>
</div>
</div>
</div>
</blockquote>
</div>
<br class="">
</div>
</body>
</html>