Deployed b07b544 to develop with MkDocs 1.6.1 and mike 2.1.3

soot-oss · Jan 6, 2025 · 6d405c8 · 6d405c8
1 parent 2144935
commit 6d405c8
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 6 deletions.
diff --git a/develop/callgraphs/index.html b/develop/callgraphs/index.html
@@ -1327,11 +1327,15 @@ <h2 id="qilin-pointer-analysis">Qilin Pointer Analysis</h2>
 <span class="normal">2</span>
 <span class="normal">3</span>
 <span class="normal">4</span>
-<span class="normal">5</span></pre></div></td><td class="code"><div><pre><span></span><code><span class="n">String</span><span class="w"> </span><span class="n">MAINCLASS</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="s">&quot;dacapo.antlr.Main&quot;</span><span class="p">;</span><span class="w"> </span><span class="c1">// just an example</span>
-<span class="n">PTAPattern</span><span class="w"> </span><span class="n">ptaPattern</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="k">new</span><span class="w"> </span><span class="n">PTAPattern</span><span class="p">(</span><span class="s">&quot;insens&quot;</span><span class="p">);</span><span class="w"> </span><span class="c1">// &quot;2o&quot;=&gt;2OBJ, &quot;1c&quot;=&gt;1CFA, etc.</span>
-<span class="n">PTA</span><span class="w"> </span><span class="n">pta</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">PTAFactory</span><span class="p">.</span><span class="na">createPTA</span><span class="p">(</span><span class="n">ptaPattern</span><span class="p">,</span><span class="w"> </span><span class="n">view</span><span class="p">,</span><span class="w"> </span><span class="n">MAINCLASS</span><span class="p">);</span>
-<span class="n">pta</span><span class="p">.</span><span class="na">run</span><span class="p">();</span>
-<span class="n">CallGraph</span><span class="w"> </span><span class="n">cg</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">pta</span><span class="p">.</span><span class="na">getCallGraph</span><span class="p">();</span>
+<span class="normal">5</span>
+<span class="normal">6</span>
+<span class="normal">7</span></pre></div></td><td class="code"><div><pre><span></span><code>```java
+String MAINCLASS = &quot;dacapo.antlr.Main&quot;; // just an example
+PTAPattern ptaPattern = new PTAPattern(&quot;insens&quot;); // &quot;2o&quot;=&gt;2OBJ, &quot;1c&quot;=&gt;1CFA, etc.
+PTA pta = PTAFactory.createPTA(ptaPattern, view, MAINCLASS);
+pta.run();
+CallGraph cg = pta.getCallGraph();
+```
 </code></pre></div></td></tr></table></div>
 
 

diff --git a/develop/search/search_index.json b/develop/search/search_index.json