svf-tools 1.0.759 → 1.0.760
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/dir_3bbf4ce25bc1411b817b5643b794c8fb.html +2 -0
- package/SVF-doxygen/html/html/dir_fee120689dee99ef16f8bfcaa7a76083.html +0 -2
- package/SVF-doxygen/html/html/extapi_8c.html +2 -2
- package/SVF-doxygen/html/html/extapi_8c_source.html +2 -2
- package/SVF-doxygen/html/html/files.html +38 -38
- 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 → svf-llvm/lib}/extapi.c +0 -0
package/CMakeLists.txt
CHANGED
|
@@ -91,6 +91,6 @@ install(
|
|
|
91
91
|
# Compile extapi.c to extapi.bc
|
|
92
92
|
find_path(LLVM_CLANG_DIR NAMES clang PATH_SUFFIXES bin)
|
|
93
93
|
add_custom_target(extapi_ir ALL
|
|
94
|
-
COMMAND ${LLVM_CLANG_DIR}/clang -w -S -c -Xclang -disable-O0-optnone -fno-discard-value-names -emit-llvm ${PROJECT_SOURCE_DIR}/svf/lib/
|
|
95
|
-
DEPENDS ${PROJECT_SOURCE_DIR}/svf/lib/
|
|
94
|
+
COMMAND ${LLVM_CLANG_DIR}/clang -w -S -c -Xclang -disable-O0-optnone -fno-discard-value-names -emit-llvm ${PROJECT_SOURCE_DIR}/svf-llvm/lib/extapi.c -o ${PROJECT_BINARY_DIR}/svf-llvm/extapi.bc
|
|
95
|
+
DEPENDS ${PROJECT_SOURCE_DIR}/svf-llvm/lib/extapi.c
|
|
96
96
|
)
|
|
@@ -78,6 +78,8 @@ Files</h2></td></tr>
|
|
|
78
78
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
79
79
|
<tr class="memitem:DCHG_8cpp"><td class="memItemLeft" align="right" valign="top">file  </td><td class="memItemRight" valign="bottom"><a class="el" href="DCHG_8cpp.html">DCHG.cpp</a> <a href="DCHG_8cpp_source.html">[code]</a></td></tr>
|
|
80
80
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
81
|
+
<tr class="memitem:extapi_8c"><td class="memItemLeft" align="right" valign="top">file  </td><td class="memItemRight" valign="bottom"><a class="el" href="extapi_8c.html">extapi.c</a> <a href="extapi_8c_source.html">[code]</a></td></tr>
|
|
82
|
+
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
81
83
|
<tr class="memitem:ICFGBuilder_8cpp"><td class="memItemLeft" align="right" valign="top">file  </td><td class="memItemRight" valign="bottom"><a class="el" href="ICFGBuilder_8cpp.html">ICFGBuilder.cpp</a> <a href="ICFGBuilder_8cpp_source.html">[code]</a></td></tr>
|
|
82
84
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
83
85
|
<tr class="memitem:LLVMLoopAnalysis_8cpp"><td class="memItemLeft" align="right" valign="top">file  </td><td class="memItemRight" valign="bottom"><a class="el" href="LLVMLoopAnalysis_8cpp.html">LLVMLoopAnalysis.cpp</a> <a href="LLVMLoopAnalysis_8cpp_source.html">[code]</a></td></tr>
|
|
@@ -82,8 +82,6 @@ Files</h2></td></tr>
|
|
|
82
82
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
83
83
|
<tr class="memitem:CppUtil_8cpp"><td class="memItemLeft" align="right" valign="top">file  </td><td class="memItemRight" valign="bottom"><a class="el" href="CppUtil_8cpp.html">CppUtil.cpp</a> <a href="CppUtil_8cpp_source.html">[code]</a></td></tr>
|
|
84
84
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
85
|
-
<tr class="memitem:extapi_8c"><td class="memItemLeft" align="right" valign="top">file  </td><td class="memItemRight" valign="bottom"><a class="el" href="extapi_8c.html">extapi.c</a> <a href="extapi_8c_source.html">[code]</a></td></tr>
|
|
86
|
-
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
87
85
|
<tr class="memitem:ExtAPI_8cpp"><td class="memItemLeft" align="right" valign="top">file  </td><td class="memItemRight" valign="bottom"><a class="el" href="ExtAPI_8cpp.html">ExtAPI.cpp</a> <a href="ExtAPI_8cpp_source.html">[code]</a></td></tr>
|
|
88
86
|
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
|
|
89
87
|
<tr class="memitem:NodeIDAllocator_8cpp"><td class="memItemLeft" align="right" valign="top">file  </td><td class="memItemRight" valign="bottom"><a class="el" href="NodeIDAllocator_8cpp.html">NodeIDAllocator.cpp</a> <a href="NodeIDAllocator_8cpp_source.html">[code]</a></td></tr>
|
|
@@ -5,7 +5,7 @@
|
|
|
5
5
|
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
|
|
6
6
|
<meta name="generator" content="Doxygen 1.8.17"/>
|
|
7
7
|
<meta name="viewport" content="width=device-width, initial-scale=1"/>
|
|
8
|
-
<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/svf/lib/
|
|
8
|
+
<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/svf-llvm/lib/extapi.c File Reference</title>
|
|
9
9
|
<link href="tabs.css" rel="stylesheet" type="text/css"/>
|
|
10
10
|
<script type="text/javascript" src="jquery.js"></script>
|
|
11
11
|
<script type="text/javascript" src="dynsections.js"></script>
|
|
@@ -61,7 +61,7 @@ $(function() {
|
|
|
61
61
|
|
|
62
62
|
<div id="nav-path" class="navpath">
|
|
63
63
|
<ul>
|
|
64
|
-
<li class="navelem"><a class="el" href="
|
|
64
|
+
<li class="navelem"><a class="el" href="dir_138019085cb31ab29ffbd100a29df36f.html">svf-llvm</a></li><li class="navelem"><a class="el" href="dir_3bbf4ce25bc1411b817b5643b794c8fb.html">lib</a></li> </ul>
|
|
65
65
|
</div>
|
|
66
66
|
</div><!-- top -->
|
|
67
67
|
<div class="header">
|
|
@@ -5,7 +5,7 @@
|
|
|
5
5
|
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
|
|
6
6
|
<meta name="generator" content="Doxygen 1.8.17"/>
|
|
7
7
|
<meta name="viewport" content="width=device-width, initial-scale=1"/>
|
|
8
|
-
<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/svf/lib/
|
|
8
|
+
<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/svf-llvm/lib/extapi.c Source File</title>
|
|
9
9
|
<link href="tabs.css" rel="stylesheet" type="text/css"/>
|
|
10
10
|
<script type="text/javascript" src="jquery.js"></script>
|
|
11
11
|
<script type="text/javascript" src="dynsections.js"></script>
|
|
@@ -61,7 +61,7 @@ $(function() {
|
|
|
61
61
|
|
|
62
62
|
<div id="nav-path" class="navpath">
|
|
63
63
|
<ul>
|
|
64
|
-
<li class="navelem"><a class="el" href="
|
|
64
|
+
<li class="navelem"><a class="el" href="dir_138019085cb31ab29ffbd100a29df36f.html">svf-llvm</a></li><li class="navelem"><a class="el" href="dir_3bbf4ce25bc1411b817b5643b794c8fb.html">lib</a></li> </ul>
|
|
65
65
|
</div>
|
|
66
66
|
</div><!-- top -->
|
|
67
67
|
<div class="header">
|
|
@@ -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 -->
|
|
@@ -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.760",
|
|
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": {
|
|
File without changes
|