svf-tools 1.0.758 → 1.0.760

package/SVF-doxygen/html/html/files.html

@@ -348,34 +348,35 @@ $(function() {
 <tr id="row_1_1_0_"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="BreakConstantExpr_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="BreakConstantExpr_8cpp.html" target="_self">BreakConstantExpr.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_1_1_1_" class="even"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CHGBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CHGBuilder_8cpp.html" target="_self">CHGBuilder.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_1_1_2_"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="DCHG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="DCHG_8cpp.html" target="_self">DCHG.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_1_3_" class="even"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="ICFGBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGBuilder_8cpp.html" target="_self">ICFGBuilder.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_1_4_"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="LLVMLoopAnalysis_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="LLVMLoopAnalysis_8cpp.html" target="_self">LLVMLoopAnalysis.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_1_5_" class="even"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="LLVMModule_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="LLVMModule_8cpp.html" target="_self">LLVMModule.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_1_6_"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="LLVMUtil_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="LLVMUtil_8cpp.html" target="_self">LLVMUtil.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_1_7_" class="even"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SVFIRBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIRBuilder_8cpp.html" target="_self">SVFIRBuilder.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_1_8_"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SVFIRExtAPI_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIRExtAPI_8cpp.html" target="_self">SVFIRExtAPI.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_1_9_" class="even"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SymbolTableBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SymbolTableBuilder_8cpp.html" target="_self">SymbolTableBuilder.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_1_2_" class="arrow" onclick="toggleFolder('1_2_')">&#9660;</span><span id="img_1_2_" class="iconfopen" onclick="toggleFolder('1_2_')">&#160;</span><a class="el" href="dir_e5d21102e3a998263c6c7812ac857e9d.html" target="_self">tools</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_0_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_0_" class="arrow" onclick="toggleFolder('1_2_0_')">&#9658;</span><span id="img_1_2_0_" class="iconfclosed" onclick="toggleFolder('1_2_0_')">&#160;</span><a class="el" href="dir_5fd192c23aa77cf5372d07f8b4d730b1.html" target="_self">CFL</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_0_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="cfl_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="cfl_8cpp.html" target="_self">cfl.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_1_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_1_" class="arrow" onclick="toggleFolder('1_2_1_')">&#9658;</span><span id="img_1_2_1_" class="iconfclosed" onclick="toggleFolder('1_2_1_')">&#160;</span><a class="el" href="dir_81311d4be154b61865c8f7d31ee4f81d.html" target="_self">DDA</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="dda_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="dda_8cpp.html" target="_self">dda.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_2_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_2_" class="arrow" onclick="toggleFolder('1_2_2_')">&#9658;</span><span id="img_1_2_2_" class="iconfclosed" onclick="toggleFolder('1_2_2_')">&#160;</span><a class="el" href="dir_c7bc6ac0ca89e8311813f89c2eb20f19.html" target="_self">Example</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_2_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="svf-ex_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="svf-ex_8cpp.html" target="_self">svf-ex.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_3_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_3_" class="arrow" onclick="toggleFolder('1_2_3_')">&#9658;</span><span id="img_1_2_3_" class="iconfclosed" onclick="toggleFolder('1_2_3_')">&#160;</span><a class="el" href="dir_5aa03156f4844a736e8a208a0515b290.html" target="_self">LLVM2SVF</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_3_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="llvm2svf_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="llvm2svf_8cpp.html" target="_self">llvm2svf.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_4_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_4_" class="arrow" onclick="toggleFolder('1_2_4_')">&#9658;</span><span id="img_1_2_4_" class="iconfclosed" onclick="toggleFolder('1_2_4_')">&#160;</span><a class="el" href="dir_eaccc050155d278d165e91a9dd945ee9.html" target="_self">MTA</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_4_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="LockResultValidator_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="LockResultValidator_8cpp.html" target="_self">LockResultValidator.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_4_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="LockResultValidator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="LockResultValidator_8h.html" target="_self">LockResultValidator.h</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_4_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="mta_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="mta_8cpp.html" target="_self">mta.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_4_3_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="MTAAnnotator_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="MTAAnnotator_8cpp.html" target="_self">MTAAnnotator.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_4_4_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="MTAAnnotator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="MTAAnnotator_8h.html" target="_self">MTAAnnotator.h</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_4_5_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="MTAResultValidator_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="MTAResultValidator_8cpp.html" target="_self">MTAResultValidator.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_4_6_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h.html" target="_self">MTAResultValidator.h</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_5_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_5_" class="arrow" onclick="toggleFolder('1_2_5_')">&#9658;</span><span id="img_1_2_5_" class="iconfclosed" onclick="toggleFolder('1_2_5_')">&#160;</span><a class="el" href="dir_419a22d9609ff1e4620e37ad8014ebca.html" target="_self">SABER</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_5_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="saber_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="saber_8cpp.html" target="_self">saber.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_6_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_6_" class="arrow" onclick="toggleFolder('1_2_6_')">&#9658;</span><span id="img_1_2_6_" class="iconfclosed" onclick="toggleFolder('1_2_6_')">&#160;</span><a class="el" href="dir_d5f31d0177f22dd2317ac1e93df34fae.html" target="_self">WPA</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_6_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="wpa_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="wpa_8cpp.html" target="_self">wpa.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_1_3_" class="even"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="extapi_8c_source.html"><span class="icondoc"></span></a><a class="el" href="extapi_8c.html" target="_self">extapi.c</a></td><td class="desc"></td></tr>
+<tr id="row_1_1_4_"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="ICFGBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGBuilder_8cpp.html" target="_self">ICFGBuilder.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_1_5_" class="even"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="LLVMLoopAnalysis_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="LLVMLoopAnalysis_8cpp.html" target="_self">LLVMLoopAnalysis.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_1_6_"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="LLVMModule_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="LLVMModule_8cpp.html" target="_self">LLVMModule.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_1_7_" class="even"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="LLVMUtil_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="LLVMUtil_8cpp.html" target="_self">LLVMUtil.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_1_8_"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SVFIRBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIRBuilder_8cpp.html" target="_self">SVFIRBuilder.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_1_9_" class="even"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SVFIRExtAPI_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIRExtAPI_8cpp.html" target="_self">SVFIRExtAPI.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_1_10_"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SymbolTableBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SymbolTableBuilder_8cpp.html" target="_self">SymbolTableBuilder.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_1_2_" class="arrow" onclick="toggleFolder('1_2_')">&#9660;</span><span id="img_1_2_" class="iconfopen" onclick="toggleFolder('1_2_')">&#160;</span><a class="el" href="dir_e5d21102e3a998263c6c7812ac857e9d.html" target="_self">tools</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_0_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_0_" class="arrow" onclick="toggleFolder('1_2_0_')">&#9658;</span><span id="img_1_2_0_" class="iconfclosed" onclick="toggleFolder('1_2_0_')">&#160;</span><a class="el" href="dir_5fd192c23aa77cf5372d07f8b4d730b1.html" target="_self">CFL</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="cfl_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="cfl_8cpp.html" target="_self">cfl.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_1_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_1_" class="arrow" onclick="toggleFolder('1_2_1_')">&#9658;</span><span id="img_1_2_1_" class="iconfclosed" onclick="toggleFolder('1_2_1_')">&#160;</span><a class="el" href="dir_81311d4be154b61865c8f7d31ee4f81d.html" target="_self">DDA</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_1_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="dda_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="dda_8cpp.html" target="_self">dda.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_2_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_2_" class="arrow" onclick="toggleFolder('1_2_2_')">&#9658;</span><span id="img_1_2_2_" class="iconfclosed" onclick="toggleFolder('1_2_2_')">&#160;</span><a class="el" href="dir_c7bc6ac0ca89e8311813f89c2eb20f19.html" target="_self">Example</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_2_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="svf-ex_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="svf-ex_8cpp.html" target="_self">svf-ex.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_3_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_3_" class="arrow" onclick="toggleFolder('1_2_3_')">&#9658;</span><span id="img_1_2_3_" class="iconfclosed" onclick="toggleFolder('1_2_3_')">&#160;</span><a class="el" href="dir_5aa03156f4844a736e8a208a0515b290.html" target="_self">LLVM2SVF</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_3_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="llvm2svf_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="llvm2svf_8cpp.html" target="_self">llvm2svf.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_4_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_4_" class="arrow" onclick="toggleFolder('1_2_4_')">&#9658;</span><span id="img_1_2_4_" class="iconfclosed" onclick="toggleFolder('1_2_4_')">&#160;</span><a class="el" href="dir_eaccc050155d278d165e91a9dd945ee9.html" target="_self">MTA</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_4_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="LockResultValidator_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="LockResultValidator_8cpp.html" target="_self">LockResultValidator.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_4_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="LockResultValidator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="LockResultValidator_8h.html" target="_self">LockResultValidator.h</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_4_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="mta_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="mta_8cpp.html" target="_self">mta.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_4_3_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="MTAAnnotator_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="MTAAnnotator_8cpp.html" target="_self">MTAAnnotator.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_4_4_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="MTAAnnotator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="MTAAnnotator_8h.html" target="_self">MTAAnnotator.h</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_4_5_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="MTAResultValidator_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="MTAResultValidator_8cpp.html" target="_self">MTAResultValidator.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_4_6_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h.html" target="_self">MTAResultValidator.h</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_5_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_5_" class="arrow" onclick="toggleFolder('1_2_5_')">&#9658;</span><span id="img_1_2_5_" class="iconfclosed" onclick="toggleFolder('1_2_5_')">&#160;</span><a class="el" href="dir_419a22d9609ff1e4620e37ad8014ebca.html" target="_self">SABER</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_5_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="saber_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="saber_8cpp.html" target="_self">saber.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_6_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_1_2_6_" class="arrow" onclick="toggleFolder('1_2_6_')">&#9658;</span><span id="img_1_2_6_" class="iconfclosed" onclick="toggleFolder('1_2_6_')">&#160;</span><a class="el" href="dir_d5f31d0177f22dd2317ac1e93df34fae.html" target="_self">WPA</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_6_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="wpa_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="wpa_8cpp.html" target="_self">wpa.cpp</a></td><td class="desc"></td></tr>
 </table>
 </div><!-- directory -->
 </div><!-- contents -->

package/SVF-doxygen/html/html/functions_a.html

@@ -139,9 +139,6 @@ $(function() {
 <li>Add
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862">SVF::BinaryOPStmt</a>
 </li>
-<li>add_entry()
-: <a class="el" href="classSVF_1_1ExtAPI.html#a112b27cba6b2be4f4c1f452d5ee627b4">SVF::ExtAPI</a>
-</li>
 <li>addAbsExecBug()
 : <a class="el" href="classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2">SVF::SVFBugReport</a>
 </li>
@@ -306,7 +303,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b">SVF::VFG</a>
 </li>
 <li>addComplexConsForExt()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a1f62f737be41d8b275d82bcb8112d2d4">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06">SVF::SVFIRBuilder</a>
 </li>
 <li>addCondIntraLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#af3b4ffa2e6032ae5e080770275bad585">SVF::LockAnalysis</a>
@@ -726,7 +723,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607">SVF::VFG</a>
 </li>
 <li>addObjNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#af9b5c67ca0d91ed20d6ee2d44c1acbd1">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a20ded5829d5975dfaca33f9c64113fe6">SVF::SVFIR</a>
 </li>
 <li>addOffsetVarAndGepTypePair()
 : <a class="el" href="classSVF_1_1AccessPath.html#a2358a8194b5e2c4bcbb5218dee7fcbcd">SVF::AccessPath</a>
@@ -812,12 +809,11 @@ $(function() {
 </li>
 <li>Addr
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375aed68bc43e8aae49e8590e140eb0ffaf3">SVF::ConstraintEdge</a>
-, <a class="el" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa51e90abc2fa18c0552d84d2997b8662a">SVF::ExtAPI</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a0a9a0f650e864e89b7cbb3dc8c8aa197">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92">SVF::VFGNode</a>
 </li>
 <li>AddrCGEdge()
-: <a class="el" href="classSVF_1_1AddrCGEdge.html#a131779667553499b85423e1932664252">SVF::AddrCGEdge</a>
+: <a class="el" href="classSVF_1_1AddrCGEdge.html#a9c8da69a469e51d83c5009ba2685bcf6">SVF::AddrCGEdge</a>
 </li>
 <li>AddrCGEdgeSet
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc">SVF::ConstraintGraph</a>
@@ -838,7 +834,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0">SVF::ConstraintNode</a>
 </li>
 <li>AddressValue()
-: <a class="el" href="classSVF_1_1AddressValue.html#a2a1d67c5e7224503932782b0ce47e6a5">SVF::AddressValue</a>
+: <a class="el" href="classSVF_1_1AddressValue.html#ac7f6b332aedcf8a7d6cb0c9b661ce2bc">SVF::AddressValue</a>
 </li>
 <li>addRetBlock()
 : <a class="el" href="classSVF_1_1ICFG.html#ac58aa82eb74616a6608ff51d92f5baf6">SVF::ICFG</a>
@@ -872,7 +868,7 @@ $(function() {
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a58127812b9ab914238095883ab1fe24e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>
 <li>AddrStmt()
-: <a class="el" href="classSVF_1_1AddrStmt.html#a0fa28f3a081cd6d32801ab245b6e95ae">SVF::AddrStmt</a>
+: <a class="el" href="classSVF_1_1AddrStmt.html#a2576465276cd68b6d2029e1838c3b487">SVF::AddrStmt</a>
 </li>
 <li>addrTaken
 : <a class="el" href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">SVF::SVFFunction</a>
@@ -924,7 +920,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0">SVF::ConstraintGraph</a>
 </li>
 <li>AddStoreCHI()
-: <a class="el" href="classSVF_1_1MemSSA.html#a0b60dea5024b7303e7d9f223dd45fc7c">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a3a2dde7ee3aaf6f66038a6b5ae7255a0">SVF::MemSSA</a>
 </li>
 <li>addStoreEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018">SVF::SVFIRBuilder</a>
@@ -953,15 +949,6 @@ $(function() {
 <li>addSUStat()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#aeb6b56cf3d140d251b0524eb5cbd6dce">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
-<li>addSVFExtCallInst()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ac241e1fb02c2705120d726ca19505385">SVF::SVFIRBuilder</a>
-</li>
-<li>addSVFExtInst()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6f6a19eebec1a76b84bd6a2c5604026e">SVF::SVFIRBuilder</a>
-</li>
-<li>addSVFExtRetInst()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab0066684423d972c3d4e768fdb172c19">SVF::SVFIRBuilder</a>
-</li>
 <li>addSVFGEdge()
 : <a class="el" href="classSVF_1_1SVFG.html#a67750c461e3543f6b75d2dd510d67297">SVF::SVFG</a>
 </li>
@@ -1082,7 +1069,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed">SVF::VFG</a>
 </li>
 <li>addValNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#af298651d6ef2030ca13ae6a9db622eb4">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#ac792c1f8b385515a8cc0a0303d40f212">SVF::SVFIR</a>
 </li>
 <li>addVarargNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538">SVF::SVFIR</a>
@@ -1120,18 +1107,18 @@ $(function() {
 </li>
 <li>alias()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a63c474d3a2d4d196e167d6969c6ad21f">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#ab40891c44b83103fc240c1e7c7c60855">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a8e48e9fe6f7e21da49a155f8f6893944">SVF::CondPTAImpl&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1DDAPass.html#a2635769ff8a1e0013b9b8546b18fcfeb">SVF::DDAPass</a>
+, <a class="el" href="classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a">SVF::CFLAlias</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a167a232a697976602c2ad0eb6d35c2d6">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#ae1323233941cdc9b99332e4b954a2217">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#a92e19b9ddf342d688ff0f1aa6cecc729">SVF::WPAPass</a>
 </li>
 <li>alias_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">SVF::SVFModule</a>
 </li>
 <li>alias_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">SVF::SVFModule</a>
 </li>
 <li>alias_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">SVF::SVFModule</a>
@@ -1245,7 +1232,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d">SVF::LockResultValidator</a>
 , <a class="el" href="classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a13073beef204314602c2dc92ec473484">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1PCG.html#a50b677ec622247a464cee7f0f45c5a53">SVF::PCG</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#ae1e217dc18be0ce70bee5ad930cb54c6">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9">SVF::RaceResultValidator</a>
@@ -1345,6 +1332,9 @@ $(function() {
 <li>annotateSlice()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a8817604b20724703121e9466e5cdb4cd">SVF::SrcSnkDDA</a>
 </li>
+<li>annotations
+: <a class="el" href="classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a">SVF::SVFFunction</a>
+</li>
 <li>AnnotationTime
 : <a class="el" href="classSVF_1_1MTAStat.html#a51e1ba35f81d89e210a937942f516839">SVF::MTAStat</a>
 </li>

package/SVF-doxygen/html/html/functions_b.html

@@ -184,9 +184,6 @@ $(function() {
 <li>BasicBlockSet
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a45642ecc305ea97b58e0eeebd00fec7b">SVF::SaberCondAllocator</a>
 </li>
-<li>basicOp
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7c92bc333a393b96d6e4fe9b99a87e30">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>bb
 : <a class="el" href="classSVF_1_1ICFGNode.html#a0cd08725df3e8665762ee37b5d4c138a">SVF::ICFGNode</a>
 , <a class="el" href="classSVF_1_1LoadMU.html#aadfeb1a4924cbe78a828fd4a94fb59da">SVF::LoadMU&lt; Cond &gt;</a>
@@ -330,7 +327,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SingleAbsValue.html#a0e7dde6b5ae9a605230a49b3216ea6e8">SVF::SingleAbsValue</a>
 </li>
 <li>BoundedZ3Expr()
-: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a572da9c3edd1e61ece1aba72104f71dd">SVF::BoundedZ3Expr</a>
+: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#ab5c21e9cce17bc0887ed5f3678810b34">SVF::BoundedZ3Expr</a>
 </li>
 <li>Branch
 : <a class="el" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3a070acf2c72c74cba55b5acea3db9c854">SVF::SVFBugEvent</a>
@@ -344,7 +341,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce">SVF::SVFStat</a>
 </li>
 <li>BranchStmt()
-: <a class="el" href="classSVF_1_1BranchStmt.html#a714d118096f0a3d439cfbff10aa455a2">SVF::BranchStmt</a>
+: <a class="el" href="classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd">SVF::BranchStmt</a>
 </li>
 <li>BranchVFGNode()
 : <a class="el" href="classSVF_1_1BranchVFGNode.html#ad1aa629eae4006a68a1e6e8a7621a494">SVF::BranchVFGNode</a>
@@ -370,12 +367,12 @@ $(function() {
 <li>bugEventStack
 : <a class="el" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">SVF::GenericBug</a>
 </li>
-<li>BugSet
-: <a class="el" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">SVF::SVFBugReport</a>
-</li>
 <li>bugSet
 : <a class="el" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">SVF::SVFBugReport</a>
 </li>
+<li>BugSet
+: <a class="el" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">SVF::SVFBugReport</a>
+</li>
 <li>BugType
 : <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">SVF::GenericBug</a>
 </li>
@@ -388,7 +385,7 @@ $(function() {
 <li>build()
 : <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a99e4116e416962d1a2f3eb9b09d253b5">SVF::CFBasicBlockGBuilder</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f">SVF::CFBasicBlockGWTO</a>
-, <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a2e97c964eb1e187a931f17da9672815f">SVF::CFLGraphBuilder</a>
+, <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383">SVF::CFLGraphBuilder</a>
 , <a class="el" href="classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505">SVF::GrammarBuilder</a>
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250">SVF::ICFGBuilder</a>
 , <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d">SVF::LLVMLoopAnalysis</a>
@@ -530,12 +527,12 @@ $(function() {
 <li>buildVTables()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a1215db390515a30fbc416fb14d2e863f">SVF::DCHGraph</a>
 </li>
-<li>BV
-: <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892">SVF::PointsTo</a>
-</li>
 <li>bv
 : <a class="el" href="classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587">SVF::PointsTo</a>
 </li>
+<li>BV
+: <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892">SVF::PointsTo</a>
+</li>
 <li>bv2int
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a5ee6157debdd7b34108d7375c8b6bef1">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1SingleAbsValue.html#a9e6498ae2ea330a9eb10bbc2030014b7">SVF::SingleAbsValue</a>

package/SVF-doxygen/html/html/functions_c.html

@@ -75,12 +75,7 @@ $(function() {
 </li>
 <li>call
 : <a class="el" href="classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba">SVF::CallPE</a>
-</li>
-<li>Call
-: <a class="el" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0faa43dbc67dabf390d4f08260d905d7c33">SVF::ExtAPI</a>
-</li>
-<li>call
-: <a class="el" href="classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2">SVF::RetPE</a>
+, <a class="el" href="classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2">SVF::RetPE</a>
 </li>
 <li>Call
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVF::SVFStmt</a>
@@ -120,18 +115,6 @@ $(function() {
 <li>calledVal
 : <a class="el" href="classSVF_1_1SVFCallInst.html#a23ee9dbaa0052ef41ce2d75f1dc36491">SVF::SVFCallInst</a>
 </li>
-<li>callee_arguments
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ace64ec0773d4dba0d221db6ca7056921">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>callee_name
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a536b62cfdaafdb29b121347a2fdeb9fb">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>callee_operands
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7a5069a5ff66397c6ae4ed8a31539825">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>callee_return
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#af5863c0bd654bada1509a750b86d76d8">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>Caller
 : <a class="el" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3af8ef890358aa9e45bc09407fc8cd36b6">SVF::SVFBugEvent</a>
 </li>
@@ -240,9 +223,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a7be50dd82679b45a8c400f5a12056a25">SVF::MemSSA</a>
 , <a class="el" href="classSVF_1_1SVFG.html#acd9fd6597e5dedf3c14a430830c7dd08">SVF::SVFG</a>
 </li>
-<li>callOp
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#abdc356ca72c3f103f83885aaa21c1e4d">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>CallPE()
 : <a class="el" href="classSVF_1_1CallPE.html#a1e09f62a8e3ce2d3bc3fadb29e32a50e">SVF::CallPE</a>
 </li>
@@ -378,9 +358,6 @@ $(function() {
 <li>CallSiteToVTableSetMap
 : <a class="el" href="classSVF_1_1CHGraph.html#aefdf6c5fe8a26efce200e8225d463cac">SVF::CHGraph</a>
 </li>
-<li>callStmtNum
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#aeff6989b97c2c5425c6bff8c22458a5a">SVF::ExtAPI::ExtFunctionOps</a>
-</li>
 <li>CallToInstMap
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#add85c5647bd0423770fb0fb35426e0cb">SVF::ThreadCallGraph</a>
 </li>
@@ -739,7 +716,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1BufferOverflowBug.html#a236e3cf3e81ec4248547b3011323e45f">SVF::BufferOverflowBug</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a6ba68138c10d1fbe5be6346c8dfeca74">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CallCFGEdge.html#a38b56212fb58934ee50079b1e69ad5ff">SVF::CallCFGEdge</a>
-, <a class="el" href="classSVF_1_1CallCHI.html#a7c0708ad9a2aa6278b1e7404340ca2ad">SVF::CallCHI&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CallCHI.html#aeea8fd6c5904874604bb0ced9b080c29">SVF::CallCHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CallDirSVFGEdge.html#a977cb840fbed0b89b445a1b7384d3352">SVF::CallDirSVFGEdge</a>
 , <a class="el" href="classSVF_1_1CallICFGNode.html#afb8bed9242cea8c927d14028526c19b9">SVF::CallICFGNode</a>
 , <a class="el" href="classSVF_1_1CallIndSVFGEdge.html#a9da25118e904862eb1f39231c2b191bd">SVF::CallIndSVFGEdge</a>
@@ -1061,7 +1038,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae03db88ef0ad0da2c31cf1623b32165f">SVF::LockAnalysis</a>
 </li>
 <li>collectCxtThreadTargets()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a430c03371b2b5b7300c5c3a68d633909">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a63ec4f6251cc95ee96aff15b4924abdc">SVF::MTAResultValidator</a>
 </li>
 <li>collectCycleInfo()
 : <a class="el" href="classSVF_1_1AndersenStat.html#ae35507bebe6a1a9a64ab379473c85cad">SVF::AndersenStat</a>
@@ -1144,7 +1121,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#ac2fa9a797e3e2a8885ccc488030659d5">SVF::SymbolTableBuilder</a>
 </li>
 <li>collectTCTTargets()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a47b07809c67e2a48245f19ae2a7a488c">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#abdf31e8fca824b56a53788de525042a6">SVF::MTAResultValidator</a>
 </li>
 <li>collectTypeInfo()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f6cc76c996a0577b20b8cedd83fff92">SVF::LLVMModuleSet</a>
@@ -1238,9 +1215,6 @@ $(function() {
 <li>CondImpl
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da88380bb05f60a1349e192364ba6c5292">SVF::PointerAnalysis</a>
 </li>
-<li>condition
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a6373a477c805d458a50bb65c13093c4f">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>Condition
 : <a class="el" href="classSVF_1_1MemRegion.html#a7ed54700c976f9738012bc051b7f41f5">SVF::MemRegion</a>
 , <a class="el" href="classSVF_1_1MemSSA.html#ac0c8f70b6283e26e70dafe02fcb5180a">SVF::MemSSA</a>
@@ -1265,7 +1239,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SaberCondAllocator.html#a2e4c3f5149a5085a5c8bb7547eae8161">SVF::SaberCondAllocator</a>
 </li>
 <li>CondPointsToSet()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#a7217769c21c50c44f139006ec44d3a6f">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#a3670dc2bb046f2d3e0d27dc02b32e62f">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CondPosMap
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#aa330cc6a1a3c38601ebeb325ffd87221">SVF::SaberCondAllocator</a>
@@ -1289,7 +1263,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondStdSet.html#a3f1885562bb34c3ccbd15117788725e0">SVF::CondStdSet&lt; Element &gt;</a>
 </li>
 <li>CondVar()
-: <a class="el" href="classSVF_1_1CondVar.html#afd729e068419ed45bb9da8d5920f8674">SVF::CondVar&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondVar.html#a93101c4401ed4ced33d64b5726e9cd69">SVF::CondVar&lt; Cond &gt;</a>
 </li>
 <li>connectAInAndFIn()
 : <a class="el" href="classSVF_1_1SVFG.html#ac9ab2a95cd7a09bbe4b4aa3e6fafaf62">SVF::SVFG</a>
@@ -1360,9 +1334,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#a9feeeca8a919b19693e48d6a382c8871">SVF::AliasCFLGraphBuilder</a>
 , <a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#a23e16f4dd62ffb96e64318c60f594067">SVF::VFCFLGraphBuilder</a>
 </li>
-<li>conOp
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a5fd95239c2b406b488b8af971a21af6f">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>consCG
 : <a class="el" href="classSVF_1_1AndersenBase.html#ae21e38a06a4397d11cdd17b0f8f282fd">SVF::AndersenBase</a>
 </li>
@@ -1373,7 +1344,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7">SVF::WPAPass</a>
 </li>
 <li>ConsExeState()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a2c661a9a6742cd091dccabee30314f89">SVF::ConsExeState</a>
+: <a class="el" href="classSVF_1_1ConsExeState.html#ae2868bff69d249ff28daff28fd3c86ea">SVF::ConsExeState</a>
 </li>
 <li>const_alias_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">SVF::SVFModule</a>
@@ -1418,7 +1389,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a6443b9fadd2d34e00832b2215a120ebd">SVF::ObjTypeInfo</a>
 </li>
 <li>constant_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#ac088d7ffb9319033308b7aaee78f364d">SVF::SVFModule</a>
 </li>
 <li>constant_end()
 : <a class="el" href="classSVF_1_1SVFModule.html#ad4616c3bde775e0cf19ea9ed90065a2e">SVF::SVFModule</a>
@@ -1500,7 +1471,7 @@ $(function() {
 : <a class="el" href="structparse__buffer.html#a52ee1184576baa3d5171059ab0e942de">parse_buffer</a>
 </li>
 <li>contentToJson()
-: <a class="el" href="classSVF_1_1SVFIRWriter.html#a1efd4603f577338128d48c541e5cbddb">SVF::SVFIRWriter</a>
+: <a class="el" href="classSVF_1_1SVFIRWriter.html#a4319f5b80cf599a9364dfe791adfa2bf">SVF::SVFIRWriter</a>
 </li>
 <li>context
 : <a class="el" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">SVF::ContextCond</a>
@@ -1511,7 +1482,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da1524077f4425b7e2d6cc32917a02c356">SVF::LeakChecker</a>
 </li>
 <li>ContextCond()
-: <a class="el" href="classSVF_1_1ContextCond.html#a5f31275f74ff9eb5734481f36275c6d9">SVF::ContextCond</a>
+: <a class="el" href="classSVF_1_1ContextCond.html#a9b81bf11679645d32d50b91bdb6d2dc1">SVF::ContextCond</a>
 </li>
 <li>ContextDDA()
 : <a class="el" href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA</a>
@@ -1524,12 +1495,11 @@ $(function() {
 </li>
 <li>Copy
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a29b0aa3353f866ef1655ab6d4716feb9">SVF::ConstraintEdge</a>
-, <a class="el" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa33111605f0ce243b8d45eed0e37e9a1c">SVF::ExtAPI</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad3469cdfb64f05163b5310b731b221da">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b">SVF::VFGNode</a>
 </li>
 <li>CopyCGEdge()
-: <a class="el" href="classSVF_1_1CopyCGEdge.html#ac82949d49688f428d09842bda0ba1d53">SVF::CopyCGEdge</a>
+: <a class="el" href="classSVF_1_1CopyCGEdge.html#a0e950b306ec8d45e38f0320c63681ecd">SVF::CopyCGEdge</a>
 </li>
 <li>copyInEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">SVF::ConstraintNode</a>
@@ -1547,10 +1517,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CopyVFGNode.html#ac04930bac7b31563ce761779ff1dbf91">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
-: <a class="el" href="classSVF_1_1CoreBitVector.html#a93f42d767c99bdf788dc4df4881751c5">SVF::CoreBitVector</a>
+: <a class="el" href="classSVF_1_1CoreBitVector.html#adb5b13df8bc76f00ceb145711cfb77e1">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
-: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a66b4a85853791c4e1537a4bdbc7a2f90">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#abe0289ad45158397b6950afc920f34ef">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
 <li>count()
 : <a class="el" href="classSVF_1_1CondStdSet.html#aa19e82905537f3ae41f64fce070ee555">SVF::CondStdSet&lt; Element &gt;</a>
@@ -1572,18 +1542,6 @@ $(function() {
 <li>countSumEdges()
 : <a class="el" href="classSVF_1_1CFLBase.html#a824da17d03599090d4e3b4c50aeccff9">SVF::CFLBase</a>
 </li>
-<li>CPP_EFT_A0R_A1
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caae3e90095a170aa15d9b6c305469e32af">SVF::ExtAPI</a>
-</li>
-<li>CPP_EFT_A0R_A1R
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa7f75d2265448acf50cd59151a1241054">SVF::ExtAPI</a>
-</li>
-<li>CPP_EFT_A1R
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa3eb7d75552ce138f55c840b6635d32ed">SVF::ExtAPI</a>
-</li>
-<li>CPP_EFT_DYNAMIC_CAST
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa6c9b3a6987d311c61156dab96e5ad3b9">SVF::ExtAPI</a>
-</li>
 <li>cpts
 : <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7">SVF::IndirectSVFGEdge</a>
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba">SVF::MRSVFGNode</a>
@@ -1866,7 +1824,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b">SVF::Options</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#ab2adb60f776ed2cde73253ff367e14cf">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#a1c2b14fd60bd4902bfc520c9ba08c6e8">SVF::CxtDPItem</a>
 </li>
 <li>cxtJoinInLoop
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707">SVF::ForkJoinAnalysis</a>
@@ -1886,12 +1844,12 @@ $(function() {
 <li>CxtLockProcVec
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0">SVF::LockAnalysis</a>
 </li>
-<li>cxtLockset
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d">SVF::LockAnalysis</a>
-</li>
 <li>CxtLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
 </li>
+<li>cxtLockset
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d">SVF::LockAnalysis</a>
+</li>
 <li>cxtLockSet
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9">SVF::LockResultValidator</a>
 </li>
@@ -1901,12 +1859,12 @@ $(function() {
 <li>CxtLockToLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22">SVF::LockAnalysis</a>
 </li>
-<li>cxtLocktoSpan
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0">SVF::LockAnalysis</a>
-</li>
 <li>CxtLockToSpan
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826">SVF::LockAnalysis</a>
 </li>
+<li>cxtLocktoSpan
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0">SVF::LockAnalysis</a>
+</li>
 <li>CxtProc()
 : <a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">SVF::CxtProc</a>
 </li>
@@ -1930,23 +1888,21 @@ $(function() {
 <li>CxtStmtSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2">SVF::LockAnalysis</a>
 </li>
-<li>CxtStmtToAliveFlagMap
-: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
-</li>
 <li>cxtStmtToAliveFlagMap
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
 </li>
+<li>CxtStmtToAliveFlagMap
+: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
+</li>
 <li>CxtStmtToCxtLockS
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a284e4c4d5d84da5ebe0938cad8490dfc">SVF::LockResultValidator</a>
 </li>
-<li>cxtStmtToCxtLockSet
-: <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
-</li>
 <li>CxtStmtToCxtLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7">SVF::LockAnalysis</a>
 </li>
 <li>cxtStmtToCxtLockSet
-: <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
+, <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
 </li>
 <li>CxtStmtToLockFlagMap
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9">SVF::LockAnalysis</a>
@@ -1965,7 +1921,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3">SVF::CxtThread</a>
 </li>
 <li>CxtThreadProc()
-: <a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">SVF::CxtThreadProc</a>
+: <a class="el" href="classSVF_1_1CxtThreadProc.html#acce14996e41ae55ae8e27b29408ef7c8">SVF::CxtThreadProc</a>
 </li>
 <li>CxtThreadProcSet
 : <a class="el" href="classSVF_1_1TCT.html#a09493a428c0ebe7f67847b48f0481f40">SVF::TCT</a>