I got the error when I running the PointsToAnalysis.java.<div><br></div><div><div>Exception in thread &quot;main&quot; soot.SootResolver$SootClassNotFoundException: couldn&#39;t find class: Item (is your soot-class-path set properly?)</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>at soot.SootResolver.bringToHierarchy(SootResolver.java:228)</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>at soot.SootResolver.bringToSignatures(SootResolver.java:266)</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>at soot.SootResolver.bringToBodies(SootResolver.java:304)</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>at soot.SootResolver.processResolveWorklist(SootResolver.java:163)</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>at soot.SootResolver.resolveClass(SootResolver.java:131)</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>at soot.Scene.loadClass(Scene.java:725)</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>at soot.Scene.loadClassAndSupport(Scene.java:710)</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>at dk.brics.paddle.PointsToAnalysis.loadClass(PointsToAnalysis.java:34)</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>at dk.brics.paddle.PointsToAnalysis.main(PointsToAnalysis.java:41)</div></div><div><br></div><div><br></div><div><br></div><div><br></div><div><div>package dk.brics.paddle;</div><div><br></div><div>import java.util.Collection;</div><div>import java.util.HashMap;</div><div>import java.util.Iterator;</div><div>import java.util.Map;</div><div><br></div><div>import soot.EntryPoints;</div><div>import soot.Local;</div><div>import soot.PointsToSet;</div><div>import soot.Scene;</div><div>import soot.SootClass;</div><div>import soot.SootField;</div><div>import soot.SootMethod;</div><div>import soot.Value;</div><div>import soot.ValueBox;</div><div>import soot.jimple.JimpleBody;</div><div>import soot.jimple.Stmt;</div><div>import soot.jimple.paddle.PaddleTransformer;</div><div>import soot.jimple.spark.SparkTransformer;</div><div>import soot.options.PaddleOptions;</div><div>import soot.tagkit.LineNumberTag;</div><div><br></div><div>public class PointsToAnalysis {</div><div><span class="Apple-tab-span" style="white-space:pre">        </span></div><div><span class="Apple-tab-span" style="white-space:pre">        </span>// Make sure we get line numbers and whole program analysis</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>static {</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>soot.options.Options.v().set_keep_line_number(true);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>soot.options.Options.v().set_whole_program(true);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>soot.options.Options.v().setPhaseOption(&quot;cg&quot;,&quot;verbose:true&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">        </span></div><div><span class="Apple-tab-span" style="white-space:pre">        </span>private static SootClass loadClass(String name, boolean main) {</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>SootClass c = Scene.v().loadClassAndSupport(name);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>c.setApplicationClass();</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>if (main) Scene.v().setMainClass(c);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>return c;</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">        </span></div><div><span class="Apple-tab-span" style="white-space:pre">        </span>public static void main(String[] args) {</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>loadClass(&quot;Item&quot;,false);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>loadClass(&quot;Container&quot;,false);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>SootClass c = loadClass(args[1],true);</div><div><br></div><div><span class="Apple-tab-span" style="white-space:pre">                </span>soot.Scene.v().loadNecessaryClasses();</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>soot.Scene.v().setEntryPoints(EntryPoints.v().all());</div><div><span class="Apple-tab-span" style="white-space:pre">                </span></div><div><span class="Apple-tab-span" style="white-space:pre">                </span>if (args[0].equals(&quot;paddle&quot;))</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>setPaddlePointsToAnalysis();</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>else if (args[0].equals(&quot;spark&quot;))</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>setSparkPointsToAnalysis();</div><div><br></div><div><span class="Apple-tab-span" style="white-space:pre">                </span>SootField f = getField(&quot;Container&quot;,&quot;item&quot;);<span class="Apple-tab-span" style="white-space:pre">                </span></div><div><span class="Apple-tab-span" style="white-space:pre">                </span>Map/*&lt;Local&gt;*/ ls = getLocals(c,args[2],&quot;Container&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span></div><div><span class="Apple-tab-span" style="white-space:pre">                </span>printLocalIntersects(ls);<span class="Apple-tab-span" style="white-space:pre">        </span></div><div><span class="Apple-tab-span" style="white-space:pre">                </span>printFieldIntersects(ls,f);<span class="Apple-tab-span" style="white-space:pre">                </span></div><div><span class="Apple-tab-span" style="white-space:pre">        </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">        </span></div><div><span class="Apple-tab-span" style="white-space:pre">        </span>static void setSparkPointsToAnalysis() {</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>System.out.println(&quot;[spark] Starting analysis ...&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                                </span></div><div><span class="Apple-tab-span" style="white-space:pre">                </span>HashMap opt = new HashMap();</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;enabled&quot;,&quot;true&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;verbose&quot;,&quot;true&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;ignore-types&quot;,&quot;false&quot;);          </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;force-gc&quot;,&quot;false&quot;);            </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;pre-jimplify&quot;,&quot;false&quot;);          </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;vta&quot;,&quot;false&quot;);                   </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;rta&quot;,&quot;false&quot;);                   </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;field-based&quot;,&quot;false&quot;);           </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;types-for-sites&quot;,&quot;false&quot;);        </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;merge-stringbuffer&quot;,&quot;true&quot;);   </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;string-constants&quot;,&quot;false&quot;);     </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;simulate-natives&quot;,&quot;true&quot;);      </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;simple-edges-bidirectional&quot;,&quot;false&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;on-fly-cg&quot;,&quot;true&quot;);            </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;simplify-offline&quot;,&quot;false&quot;);    </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;simplify-sccs&quot;,&quot;false&quot;);        </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;ignore-types-for-sccs&quot;,&quot;false&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;propagator&quot;,&quot;worklist&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;set-impl&quot;,&quot;double&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;double-set-old&quot;,&quot;hybrid&quot;);         </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;double-set-new&quot;,&quot;hybrid&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;dump-html&quot;,&quot;false&quot;);           </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;dump-pag&quot;,&quot;false&quot;);             </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;dump-solution&quot;,&quot;false&quot;);        </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;topo-sort&quot;,&quot;false&quot;);           </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;dump-types&quot;,&quot;true&quot;);             </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;class-method-var&quot;,&quot;true&quot;);     </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;dump-answer&quot;,&quot;false&quot;);          </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;add-tags&quot;,&quot;false&quot;);             </div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;set-mass&quot;,&quot;false&quot;); <span class="Apple-tab-span" style="white-space:pre">                </span></div><div><span class="Apple-tab-span" style="white-space:pre">                </span></div><div><span class="Apple-tab-span" style="white-space:pre">                </span>SparkTransformer.v().transform(&quot;&quot;,opt);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span></div><div><span class="Apple-tab-span" style="white-space:pre">                </span>System.out.println(&quot;[spark] Done!&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">        </span></div><div><span class="Apple-tab-span" style="white-space:pre">        </span>private static void setPaddlePointsToAnalysis() {</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>System.out.println(&quot;[paddle] Starting analysis ...&quot;);</div><div><br></div><div><span class="Apple-tab-span" style="white-space:pre">                </span>System.err.println(&quot;Soot version string: &quot;+soot.Main.v().versionString);</div><div><br></div><div><span class="Apple-tab-span" style="white-space:pre">                </span>HashMap opt = new HashMap();</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;enabled&quot;,&quot;true&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;verbose&quot;,&quot;true&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;bdd&quot;,&quot;true&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;backend&quot;,&quot;buddy&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;context&quot;,&quot;kcfa&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;k&quot;,&quot;2&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>//<span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;context-heap&quot;,&quot;true&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;propagator&quot;,&quot;auto&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;conf&quot;,&quot;ofcg&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;order&quot;,&quot;32&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;q&quot;,&quot;auto&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;set-impl&quot;,&quot;double&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;double-set-old&quot;,&quot;hybrid&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;double-set-new&quot;,&quot;hybrid&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>opt.put(&quot;pre-jimplify&quot;,&quot;false&quot;);</div><div><br></div><div><span class="Apple-tab-span" style="white-space:pre">                </span></div><div><span class="Apple-tab-span" style="white-space:pre">                </span>PaddleTransformer pt = new PaddleTransformer();</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>PaddleOptions paddle_opt = new PaddleOptions(opt);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>pt.setup(paddle_opt);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>pt.solve(paddle_opt);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>soot.jimple.paddle.Results.v().makeStandardSootResults();<span class="Apple-tab-span" style="white-space:pre">        </span></div><div><span class="Apple-tab-span" style="white-space:pre">                </span></div><div><span class="Apple-tab-span" style="white-space:pre">                </span>System.out.println(&quot;[paddle] Done!&quot;);</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">        </span></div><div><span class="Apple-tab-span" style="white-space:pre">        </span>private static int getLineNumber(Stmt s) {</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>Iterator ti = s.getTags().iterator();</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>while (ti.hasNext()) {</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>Object o = ti.next();</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>if (o instanceof LineNumberTag) </div><div><span class="Apple-tab-span" style="white-space:pre">                                </span>return Integer.parseInt(o.toString());</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>return -1;</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">        </span></div><div><span class="Apple-tab-span" style="white-space:pre">        </span>private static SootField getField(String classname, String fieldname) {</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>Collection app = Scene.v().getApplicationClasses();</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>Iterator ci = app.iterator();</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>while (ci.hasNext()) {</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>SootClass sc = (SootClass)ci.next();</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>if (sc.getName().equals(classname))</div><div><span class="Apple-tab-span" style="white-space:pre">                                </span>return sc.getFieldByName(fieldname);</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>throw new RuntimeException(&quot;Field &quot;+fieldname+&quot; was not found in class &quot;+classname);</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">        </span></div><div><span class="Apple-tab-span" style="white-space:pre">        </span>private static Map/*&lt;Integer,Local&gt;*/ getLocals(SootClass sc, String methodname, String typename) {</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>Map res = new HashMap();</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>Iterator mi = sc.getMethods().iterator();</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>while (mi.hasNext()) {</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>SootMethod sm = (SootMethod)mi.next();</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>System.err.println(sm.getName());</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>if (true &amp;&amp; sm.getName().equals(methodname) &amp;&amp; sm.isConcrete()) {</div><div><span class="Apple-tab-span" style="white-space:pre">                                </span>JimpleBody jb = (JimpleBody)sm.retrieveActiveBody();</div><div><span class="Apple-tab-span" style="white-space:pre">                                </span>Iterator ui = jb.getUnits().iterator();</div><div><span class="Apple-tab-span" style="white-space:pre">                                </span>while (ui.hasNext()) {</div><div><span class="Apple-tab-span" style="white-space:pre">                                        </span>Stmt s = (Stmt)ui.next();<span class="Apple-tab-span" style="white-space:pre">                                                </span></div><div><span class="Apple-tab-span" style="white-space:pre">                                        </span>int line = getLineNumber(s);</div><div><span class="Apple-tab-span" style="white-space:pre">                                        </span>// find definitions</div><div><span class="Apple-tab-span" style="white-space:pre">                                        </span>Iterator bi = s.getDefBoxes().iterator();</div><div><span class="Apple-tab-span" style="white-space:pre">                                        </span>while (bi.hasNext()) {</div><div><span class="Apple-tab-span" style="white-space:pre">                                                </span>Object o = bi.next();</div><div><span class="Apple-tab-span" style="white-space:pre">                                                </span>if (o instanceof ValueBox) {</div><div><span class="Apple-tab-span" style="white-space:pre">                                                        </span>Value v = ((ValueBox)o).getValue();</div><div><span class="Apple-tab-span" style="white-space:pre">                                                        </span>if (v.getType().toString().equals(typename) &amp;&amp; v instanceof Local)</div><div><span class="Apple-tab-span" style="white-space:pre">                                                                </span>res.put(new Integer(line),v);</div><div><span class="Apple-tab-span" style="white-space:pre">                                                </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">                                        </span>}<span class="Apple-tab-span" style="white-space:pre">                                        </span></div><div><span class="Apple-tab-span" style="white-space:pre">                                </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">                </span></div><div><span class="Apple-tab-span" style="white-space:pre">                </span>return res;</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">        </span></div><div><span class="Apple-tab-span" style="white-space:pre">        </span>private static void printLocalIntersects(Map/*&lt;Integer,Local&gt;*/ ls) {</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>soot.PointsToAnalysis pta = Scene.v().getPointsToAnalysis();</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>Iterator i1 = ls.entrySet().iterator();</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>while (i1.hasNext()) {</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>Map.Entry e1 = (Map.Entry)i1.next();</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>int p1 = ((Integer)e1.getKey()).intValue();</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>Local l1 = (Local)e1.getValue();</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>PointsToSet r1 = pta.reachingObjects(l1);</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>Iterator i2 = ls.entrySet().iterator();</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>while (i2.hasNext()) {</div><div><span class="Apple-tab-span" style="white-space:pre">                                </span>Map.Entry e2 = (Map.Entry)i2.next();</div><div><span class="Apple-tab-span" style="white-space:pre">                                </span>int p2 = ((Integer)e2.getKey()).intValue();</div><div><span class="Apple-tab-span" style="white-space:pre">                                </span>Local l2 = (Local)e2.getValue();</div><div><span class="Apple-tab-span" style="white-space:pre">                                </span>PointsToSet r2 = pta.reachingObjects(l2);<span class="Apple-tab-span" style="white-space:pre">        </span></div><div><span class="Apple-tab-span" style="white-space:pre">                                </span>if (p1&lt;=p2)</div><div><span class="Apple-tab-span" style="white-space:pre">                                        </span>System.out.println(&quot;[&quot;+p1+&quot;,&quot;+p2+&quot;]\t Container intersect? &quot;+r1.hasNonEmptyIntersection(r2));</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">        </span></div><div><span class="Apple-tab-span" style="white-space:pre">        </span></div><div><span class="Apple-tab-span" style="white-space:pre">        </span>private static void printFieldIntersects(Map/*&lt;Integer,Local&gt;*/ ls, SootField f) {</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>soot.PointsToAnalysis pta = Scene.v().getPointsToAnalysis();</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>Iterator i1 = ls.entrySet().iterator();</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>while (i1.hasNext()) {</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>Map.Entry e1 = (Map.Entry)i1.next();</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>int p1 = ((Integer)e1.getKey()).intValue();</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>Local l1 = (Local)e1.getValue();</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>PointsToSet r1 = pta.reachingObjects(l1,f);</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>Iterator i2 = ls.entrySet().iterator();</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>while (i2.hasNext()) {</div><div><span class="Apple-tab-span" style="white-space:pre">                                </span>Map.Entry e2 = (Map.Entry)i2.next();</div><div><span class="Apple-tab-span" style="white-space:pre">                                </span>int p2 = ((Integer)e2.getKey()).intValue();</div><div><span class="Apple-tab-span" style="white-space:pre">                                </span>Local l2 = (Local)e2.getValue();</div><div><span class="Apple-tab-span" style="white-space:pre">                                </span>PointsToSet r2 = pta.reachingObjects(l2,f);<span class="Apple-tab-span" style="white-space:pre">        </span></div><div><span class="Apple-tab-span" style="white-space:pre">                                </span>if (p1&lt;=p2)</div><div><span class="Apple-tab-span" style="white-space:pre">                                        </span>System.out.println(&quot;[&quot;+p1+&quot;,&quot;+p2+&quot;]\t Container.item intersect? &quot;+r1.hasNonEmptyIntersection(r2));</div><div><span class="Apple-tab-span" style="white-space:pre">                        </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>}</div><div><span class="Apple-tab-span" style="white-space:pre">        </span></div><div>}</div></div><div><br></div>