svf-tools 1.0.759 → 1.0.761
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CMakeLists.txt +2 -2
- package/SVF-doxygen/html/html/CFGrammar_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/CommandLine_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +6 -5
- package/SVF-doxygen/html/html/SVFFileSystem_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp_source.html +92 -100
- package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/cJSON_8cpp.html +1 -1
- package/SVF-doxygen/html/html/cJSON_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/classOption.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +6 -5
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +92 -101
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRReader.html +1 -1
- package/SVF-doxygen/html/html/dir_3bbf4ce25bc1411b817b5643b794c8fb.html +2 -0
- package/SVF-doxygen/html/html/dir_fee120689dee99ef16f8bfcaa7a76083.html +0 -2
- package/SVF-doxygen/html/html/extapi_8c.html +223 -221
- package/SVF-doxygen/html/html/extapi_8c_source.html +1103 -1257
- package/SVF-doxygen/html/html/files.html +38 -38
- package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +1 -1
- package/SVF-doxygen/html/html/search/all_12.js +1 -1
- package/SVF-doxygen/html/html/search/all_13.js +1 -1
- package/package.json +1 -1
- package/svf/lib/Util/ExtAPI.cpp +3 -2
- package/svf-llvm/lib/SVFIRExtAPI.cpp +0 -8
- package/{svf/lib/Util → svf-llvm/lib}/extapi.c +3 -156
|
@@ -307,16 +307,15 @@ $(function() {
|
|
|
307
307
|
<tr id="row_0_1_10_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="cJSON_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="cJSON_8cpp.html" target="_self">cJSON.cpp</a></td><td class="desc"></td></tr>
|
|
308
308
|
<tr id="row_0_1_10_3_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="CoreBitVector_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CoreBitVector_8cpp.html" target="_self">CoreBitVector.cpp</a></td><td class="desc"></td></tr>
|
|
309
309
|
<tr id="row_0_1_10_4_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="CppUtil_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CppUtil_8cpp.html" target="_self">CppUtil.cpp</a></td><td class="desc"></td></tr>
|
|
310
|
-
<tr id="row_0_1_10_5_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="
|
|
311
|
-
<tr id="row_0_1_10_6_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="
|
|
312
|
-
<tr id="row_0_1_10_7_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="
|
|
313
|
-
<tr id="row_0_1_10_8_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="
|
|
314
|
-
<tr id="row_0_1_10_9_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="
|
|
315
|
-
<tr id="row_0_1_10_10_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="
|
|
316
|
-
<tr id="row_0_1_10_11_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="
|
|
317
|
-
<tr id="row_0_1_10_12_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="
|
|
318
|
-
<tr id="row_0_1_10_13_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="
|
|
319
|
-
<tr id="row_0_1_10_14_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="Z3Expr_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Z3Expr_8cpp.html" target="_self">Z3Expr.cpp</a></td><td class="desc"></td></tr>
|
|
310
|
+
<tr id="row_0_1_10_5_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="ExtAPI_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ExtAPI_8cpp.html" target="_self">ExtAPI.cpp</a></td><td class="desc"></td></tr>
|
|
311
|
+
<tr id="row_0_1_10_6_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="NodeIDAllocator_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="NodeIDAllocator_8cpp.html" target="_self">NodeIDAllocator.cpp</a></td><td class="desc"></td></tr>
|
|
312
|
+
<tr id="row_0_1_10_7_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="Options_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Options_8cpp.html" target="_self">Options.cpp</a></td><td class="desc"></td></tr>
|
|
313
|
+
<tr id="row_0_1_10_8_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="PTAStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="PTAStat_8cpp.html" target="_self">PTAStat.cpp</a></td><td class="desc"></td></tr>
|
|
314
|
+
<tr id="row_0_1_10_9_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="SVFBugReport_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFBugReport_8cpp.html" target="_self">SVFBugReport.cpp</a></td><td class="desc"></td></tr>
|
|
315
|
+
<tr id="row_0_1_10_10_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="SVFStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFStat_8cpp.html" target="_self">SVFStat.cpp</a></td><td class="desc"></td></tr>
|
|
316
|
+
<tr id="row_0_1_10_11_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="SVFUtil_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFUtil_8cpp.html" target="_self">SVFUtil.cpp</a></td><td class="desc"></td></tr>
|
|
317
|
+
<tr id="row_0_1_10_12_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="ThreadAPI_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadAPI_8cpp.html" target="_self">ThreadAPI.cpp</a></td><td class="desc"></td></tr>
|
|
318
|
+
<tr id="row_0_1_10_13_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="Z3Expr_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Z3Expr_8cpp.html" target="_self">Z3Expr.cpp</a></td><td class="desc"></td></tr>
|
|
320
319
|
<tr id="row_0_1_11_" class="even"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_0_1_11_" class="arrow" onclick="toggleFolder('0_1_11_')">►</span><span id="img_0_1_11_" class="iconfclosed" onclick="toggleFolder('0_1_11_')"> </span><a class="el" href="dir_42bed6b03650e8dc21dc01d3676490df.html" target="_self">WPA</a></td><td class="desc"></td></tr>
|
|
321
320
|
<tr id="row_0_1_11_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="Andersen_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Andersen_8cpp.html" target="_self">Andersen.cpp</a></td><td class="desc"></td></tr>
|
|
322
321
|
<tr id="row_0_1_11_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><a href="AndersenSCD_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="AndersenSCD_8cpp.html" target="_self">AndersenSCD.cpp</a></td><td class="desc"></td></tr>
|
|
@@ -349,34 +348,35 @@ $(function() {
|
|
|
349
348
|
<tr id="row_1_1_0_"><td class="entry"><span style="width:48px;display:inline-block;"> </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>
|
|
350
349
|
<tr id="row_1_1_1_" class="even"><td class="entry"><span style="width:48px;display:inline-block;"> </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>
|
|
351
350
|
<tr id="row_1_1_2_"><td class="entry"><span style="width:48px;display:inline-block;"> </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>
|
|
352
|
-
<tr id="row_1_1_3_" class="even"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
353
|
-
<tr id="row_1_1_4_"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
354
|
-
<tr id="row_1_1_5_" class="even"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
355
|
-
<tr id="row_1_1_6_"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
356
|
-
<tr id="row_1_1_7_" class="even"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
357
|
-
<tr id="row_1_1_8_"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
358
|
-
<tr id="row_1_1_9_" class="even"><td class="entry"><span style="width:48px;display:inline-block;"> </span><a href="
|
|
359
|
-
<tr id="
|
|
360
|
-
<tr id="
|
|
361
|
-
<tr id="
|
|
362
|
-
<tr id="
|
|
363
|
-
<tr id="
|
|
364
|
-
<tr id="
|
|
365
|
-
<tr id="
|
|
366
|
-
<tr id="
|
|
367
|
-
<tr id="
|
|
368
|
-
<tr id="
|
|
369
|
-
<tr id="
|
|
370
|
-
<tr id="
|
|
371
|
-
<tr id="
|
|
372
|
-
<tr id="
|
|
373
|
-
<tr id="
|
|
374
|
-
<tr id="
|
|
375
|
-
<tr id="
|
|
376
|
-
<tr id="
|
|
377
|
-
<tr id="
|
|
378
|
-
<tr id="
|
|
379
|
-
<tr id="
|
|
351
|
+
<tr id="row_1_1_3_" class="even"><td class="entry"><span style="width:48px;display:inline-block;"> </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>
|
|
352
|
+
<tr id="row_1_1_4_"><td class="entry"><span style="width:48px;display:inline-block;"> </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>
|
|
353
|
+
<tr id="row_1_1_5_" class="even"><td class="entry"><span style="width:48px;display:inline-block;"> </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>
|
|
354
|
+
<tr id="row_1_1_6_"><td class="entry"><span style="width:48px;display:inline-block;"> </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>
|
|
355
|
+
<tr id="row_1_1_7_" class="even"><td class="entry"><span style="width:48px;display:inline-block;"> </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>
|
|
356
|
+
<tr id="row_1_1_8_"><td class="entry"><span style="width:48px;display:inline-block;"> </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>
|
|
357
|
+
<tr id="row_1_1_9_" class="even"><td class="entry"><span style="width:48px;display:inline-block;"> </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>
|
|
358
|
+
<tr id="row_1_1_10_"><td class="entry"><span style="width:48px;display:inline-block;"> </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>
|
|
359
|
+
<tr id="row_1_2_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_1_2_" class="arrow" onclick="toggleFolder('1_2_')">▼</span><span id="img_1_2_" class="iconfopen" onclick="toggleFolder('1_2_')"> </span><a class="el" href="dir_e5d21102e3a998263c6c7812ac857e9d.html" target="_self">tools</a></td><td class="desc"></td></tr>
|
|
360
|
+
<tr id="row_1_2_0_"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_1_2_0_" class="arrow" onclick="toggleFolder('1_2_0_')">►</span><span id="img_1_2_0_" class="iconfclosed" onclick="toggleFolder('1_2_0_')"> </span><a class="el" href="dir_5fd192c23aa77cf5372d07f8b4d730b1.html" target="_self">CFL</a></td><td class="desc"></td></tr>
|
|
361
|
+
<tr id="row_1_2_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </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>
|
|
362
|
+
<tr id="row_1_2_1_" class="even"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_1_2_1_" class="arrow" onclick="toggleFolder('1_2_1_')">►</span><span id="img_1_2_1_" class="iconfclosed" onclick="toggleFolder('1_2_1_')"> </span><a class="el" href="dir_81311d4be154b61865c8f7d31ee4f81d.html" target="_self">DDA</a></td><td class="desc"></td></tr>
|
|
363
|
+
<tr id="row_1_2_1_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </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>
|
|
364
|
+
<tr id="row_1_2_2_"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_1_2_2_" class="arrow" onclick="toggleFolder('1_2_2_')">►</span><span id="img_1_2_2_" class="iconfclosed" onclick="toggleFolder('1_2_2_')"> </span><a class="el" href="dir_c7bc6ac0ca89e8311813f89c2eb20f19.html" target="_self">Example</a></td><td class="desc"></td></tr>
|
|
365
|
+
<tr id="row_1_2_2_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </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>
|
|
366
|
+
<tr id="row_1_2_3_" class="even"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_1_2_3_" class="arrow" onclick="toggleFolder('1_2_3_')">►</span><span id="img_1_2_3_" class="iconfclosed" onclick="toggleFolder('1_2_3_')"> </span><a class="el" href="dir_5aa03156f4844a736e8a208a0515b290.html" target="_self">LLVM2SVF</a></td><td class="desc"></td></tr>
|
|
367
|
+
<tr id="row_1_2_3_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </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>
|
|
368
|
+
<tr id="row_1_2_4_"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_1_2_4_" class="arrow" onclick="toggleFolder('1_2_4_')">►</span><span id="img_1_2_4_" class="iconfclosed" onclick="toggleFolder('1_2_4_')"> </span><a class="el" href="dir_eaccc050155d278d165e91a9dd945ee9.html" target="_self">MTA</a></td><td class="desc"></td></tr>
|
|
369
|
+
<tr id="row_1_2_4_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </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>
|
|
370
|
+
<tr id="row_1_2_4_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </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>
|
|
371
|
+
<tr id="row_1_2_4_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </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>
|
|
372
|
+
<tr id="row_1_2_4_3_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </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>
|
|
373
|
+
<tr id="row_1_2_4_4_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </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>
|
|
374
|
+
<tr id="row_1_2_4_5_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </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>
|
|
375
|
+
<tr id="row_1_2_4_6_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </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>
|
|
376
|
+
<tr id="row_1_2_5_" class="even"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_1_2_5_" class="arrow" onclick="toggleFolder('1_2_5_')">►</span><span id="img_1_2_5_" class="iconfclosed" onclick="toggleFolder('1_2_5_')"> </span><a class="el" href="dir_419a22d9609ff1e4620e37ad8014ebca.html" target="_self">SABER</a></td><td class="desc"></td></tr>
|
|
377
|
+
<tr id="row_1_2_5_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </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>
|
|
378
|
+
<tr id="row_1_2_6_"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_1_2_6_" class="arrow" onclick="toggleFolder('1_2_6_')">►</span><span id="img_1_2_6_" class="iconfclosed" onclick="toggleFolder('1_2_6_')"> </span><a class="el" href="dir_d5f31d0177f22dd2317ac1e93df34fae.html" target="_self">WPA</a></td><td class="desc"></td></tr>
|
|
379
|
+
<tr id="row_1_2_6_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </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>
|
|
380
380
|
</table>
|
|
381
381
|
</div><!-- directory -->
|
|
382
382
|
</div><!-- contents -->
|
|
@@ -4219,7 +4219,7 @@ template<typename... Ts> </div>
|
|
|
4219
4219
|
</div>
|
|
4220
4220
|
</div><!-- contents -->
|
|
4221
4221
|
<div class="ttc" id="aSVFUtil_8cpp_html_a326cbc9ef8d75aa44a591bf476c9835b"><div class="ttname"><a href="SVFUtil_8cpp.html#a326cbc9ef8d75aa44a591bf476c9835b">KPUR</a></div><div class="ttdeci">#define KPUR</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00044">SVFUtil.cpp:44</a></div></div>
|
|
4222
|
-
<div class="ttc" id="aextapi_8c_html_a4a710d86541afc6b7dafddcdb4b1c94f"><div class="ttname"><a href="extapi_8c.html#a4a710d86541afc6b7dafddcdb4b1c94f">strstr</a></div><div class="ttdeci">char * strstr(const char *haystack, const char *needle)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#
|
|
4222
|
+
<div class="ttc" id="aextapi_8c_html_a4a710d86541afc6b7dafddcdb4b1c94f"><div class="ttname"><a href="extapi_8c.html#a4a710d86541afc6b7dafddcdb4b1c94f">strstr</a></div><div class="ttdeci">char * strstr(const char *haystack, const char *needle)</div><div class="ttdef"><b>Definition:</b> <a href="extapi_8c_source.html#l01008">extapi.c:1008</a></div></div>
|
|
4223
4223
|
<div class="ttc" id="anamespaceSVF_html_aa7b6a13e52671de8524b130738aeb564"><div class="ttname"><a href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF::NodeBS</a></div><div class="ttdeci">SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00063">SVFType.h:63</a></div></div>
|
|
4224
4224
|
<div class="ttc" id="aSVFUtil_8cpp_html_a137aa83ec74421d226a90c92ec032ac9"><div class="ttname"><a href="SVFUtil_8cpp.html#a137aa83ec74421d226a90c92ec032ac9">KNRM</a></div><div class="ttdeci">#define KNRM</div><div class="ttdoc">Color for output format.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00039">SVFUtil.cpp:39</a></div></div>
|
|
4225
4225
|
<div class="ttc" id="aclassSVF_1_1SVFCallInst_html"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html">SVF::SVFCallInst</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00661">SVFValue.h:661</a></div></div>
|
|
@@ -56,7 +56,7 @@ var searchData=
|
|
|
56
56
|
['selectstmt_5064',['SelectStmt',['../classSVF_1_1SelectStmt.html',1,'SVF::SelectStmt'],['../classSVF_1_1SelectStmt.html#a995baa18cc36d0671be3e98761f9879a',1,'SVF::SelectStmt::SelectStmt()'],['../classSVF_1_1SelectStmt.html#ad51a542e72f165abbba9d3242db1bea6',1,'SVF::SelectStmt::SelectStmt(const SelectStmt &)'],['../classSVF_1_1SelectStmt.html#af3ffdfb0b260754b64250f980c065198',1,'SVF::SelectStmt::SelectStmt(SVFVar *s, const OPVars &opnds, const SVFVar *cond)']]],
|
|
57
57
|
['selfcycle_5065',['SelfCycle',['../classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc',1,'SVF::Options']]],
|
|
58
58
|
['seq_5066',['SEQ',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a85142db6ed24203f054117f3a5110e2f',1,'SVF::NodeIDAllocator']]],
|
|
59
|
-
['set_5067',['set',['../classSVF_1_1CondStdSet.html#ae11deddad534be115d29daad08c90599',1,'SVF::CondStdSet::set()'],['../classSVF_1_1CondPointsToSet.html#aadf2576b55bbdb82d7affc8466c09861',1,'SVF::CondPointsToSet::set()'],['../classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa',1,'SVF::PointsTo::set()'],['../classSVF_1_1CoreBitVector.html#a553e3e51bffe1aab04adc047e0fd3f24',1,'SVF::CoreBitVector::set()'],['../structSVF_1_1SparseBitVectorElement.html#a094acafea02f3c117445267e75c9a629',1,'SVF::SparseBitVectorElement::set()'],['../classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832',1,'SVF::SparseBitVector::set()'],['../
|
|
59
|
+
['set_5067',['set',['../classSVF_1_1CondStdSet.html#ae11deddad534be115d29daad08c90599',1,'SVF::CondStdSet::set()'],['../classSVF_1_1CondPointsToSet.html#aadf2576b55bbdb82d7affc8466c09861',1,'SVF::CondPointsToSet::set()'],['../classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa',1,'SVF::PointsTo::set()'],['../classSVF_1_1CoreBitVector.html#a553e3e51bffe1aab04adc047e0fd3f24',1,'SVF::CoreBitVector::set()'],['../structSVF_1_1SparseBitVectorElement.html#a094acafea02f3c117445267e75c9a629',1,'SVF::SparseBitVectorElement::set()'],['../classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832',1,'SVF::SparseBitVector::set()'],['../WPA_2CMakeLists_8txt.html#acb857077b5bb0b1d50ed7b3864b3b6cf',1,'set(): CMakeLists.txt'],['../namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb',1,'SVF::Set()']]],
|
|
60
60
|
['set_5fminus_5finfinite_5068',['set_minus_infinite',['../classSVF_1_1BoundedZ3Expr.html#ae76bf19d580cbc12a40f7c1823165178',1,'SVF::BoundedZ3Expr']]],
|
|
61
61
|
['set_5fplus_5finfinite_5069',['set_plus_infinite',['../classSVF_1_1BoundedZ3Expr.html#ad781e43e6d1e1fd2392e51737b7898b9',1,'SVF::BoundedZ3Expr']]],
|
|
62
62
|
['set_5fto_5fbottom_5070',['set_to_bottom',['../classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30',1,'SVF::IntervalValue']]],
|
|
@@ -170,7 +170,7 @@ var searchData=
|
|
|
170
170
|
['treenode_5714',['TreeNode',['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html',1,'SVF::POCRHybridSolver::TreeNode'],['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a2bedc69e7062cf96058395d3f7ebd030',1,'SVF::POCRHybridSolver::TreeNode::TreeNode()']]],
|
|
171
171
|
['true_5715',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp'],['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp']]],
|
|
172
172
|
['twopi_5716',['TWOPI',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac6a6eaaa34322cf54953ba390895f0c5',1,'SVF::GraphProgram']]],
|
|
173
|
-
['type_5717',['type',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35',1,'SVF::SVFUtil::add_const_past_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179',1,'SVF::SVFUtil::add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1make__void.html#ac2eb79d0fe9a0f94eb1992600ba91e36',1,'SVF::SVFUtil::make_void::type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78',1,'SVF::SVFValue::type()'],['../classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498',1,'SVF::ObjTypeInfo::type()'],['../structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc',1,'cJSON::type()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../
|
|
173
|
+
['type_5717',['type',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35',1,'SVF::SVFUtil::add_const_past_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179',1,'SVF::SVFUtil::add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1make__void.html#ac2eb79d0fe9a0f94eb1992600ba91e36',1,'SVF::SVFUtil::make_void::type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78',1,'SVF::SVFValue::type()'],['../classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498',1,'SVF::ObjTypeInfo::type()'],['../structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc',1,'cJSON::type()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc',1,'type(): cJSON.cpp'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
|
|
174
174
|
['type2typeinfo_5718',['Type2TypeInfo',['../classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486',1,'SVF::LLVMModuleSet']]],
|
|
175
175
|
['type2typeinfomap_5719',['Type2TypeInfoMap',['../classSVF_1_1LLVMModuleSet.html#a3c2eb10a20604bf794d2d10f2cffb116',1,'SVF::LLVMModuleSet']]],
|
|
176
176
|
['typeanalysis_5720',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF::TypeAnalysis'],['../classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3',1,'SVF::TypeAnalysis::TypeAnalysis()']]],
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "svf-tools",
|
|
3
|
-
"version": "1.0.
|
|
3
|
+
"version": "1.0.761",
|
|
4
4
|
"description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
|
|
5
5
|
"main": "index.js",
|
|
6
6
|
"scripts": {
|
package/svf/lib/Util/ExtAPI.cpp
CHANGED
|
@@ -129,7 +129,8 @@ bool ExtAPI::is_ext(const SVFFunction* F)
|
|
|
129
129
|
assert(F && "Null SVFFunction* pointer");
|
|
130
130
|
if (F->isDeclaration() || F->isIntrinsic())
|
|
131
131
|
return true;
|
|
132
|
+
else if (hasExtFuncAnnotation(F, "OVERWRITE") && F->getAnnotations().size() == 1)
|
|
133
|
+
return false;
|
|
132
134
|
else
|
|
133
|
-
return
|
|
134
|
-
return false;
|
|
135
|
+
return !F->getAnnotations().empty();
|
|
135
136
|
}
|
|
@@ -185,14 +185,6 @@ void SVFIRBuilder::handleExtCall(const CallBase* cs, const SVFFunction* svfCalle
|
|
|
185
185
|
if(SVFUtil::isa<PointerType>(cs->getType()))
|
|
186
186
|
addCopyEdge(getValueNode(cs->getArgOperand(0)), getValueNode(cs));
|
|
187
187
|
}
|
|
188
|
-
else if (svfCallee->getName().find("_ZNSt5arrayIPK1ALm2EE4backEv") != std::string::npos)
|
|
189
|
-
{
|
|
190
|
-
NodeID dummy = pag->addDummyValNode();
|
|
191
|
-
AccessPath ap1(0);
|
|
192
|
-
addNormalGepEdge(getValueNode(cs->getArgOperand(0)), dummy, ap1);
|
|
193
|
-
AccessPath ap2(0);
|
|
194
|
-
addNormalGepEdge(dummy, getValueNode(cs), ap2);
|
|
195
|
-
}
|
|
196
188
|
else if(svfCallee->getName().compare("dlsym") == 0)
|
|
197
189
|
{
|
|
198
190
|
const Value* src = cs->getArgOperand(1);
|