svf-tools 1.0.627 → 1.0.628
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/Dockerfile +1 -1
- package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/DCHG_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +49 -48
- package/SVF-doxygen/html/html/LLVMModule_8h_source.html +63 -61
- package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +10 -10
- package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +6 -6
- package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +2 -2
- package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +2 -2
- package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +4 -4
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/cfl_8cpp.html +1 -1
- package/SVF-doxygen/html/html/cfl_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet-members.html +11 -10
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +235 -218
- package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1RaceValidator.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +54 -54
- package/SVF-doxygen/html/html/classSVF_1_1SVFType.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +19 -19
- package/SVF-doxygen/html/html/functions_c.html +1 -1
- package/SVF-doxygen/html/html/functions_func_c.html +1 -1
- package/SVF-doxygen/html/html/functions_func_n.html +1 -1
- package/SVF-doxygen/html/html/functions_i.html +6 -6
- package/SVF-doxygen/html/html/functions_l.html +5 -5
- package/SVF-doxygen/html/html/functions_m.html +1 -1
- package/SVF-doxygen/html/html/functions_n.html +3 -3
- package/SVF-doxygen/html/html/functions_o.html +3 -5
- package/SVF-doxygen/html/html/functions_p.html +20 -20
- package/SVF-doxygen/html/html/functions_s.html +19 -16
- package/SVF-doxygen/html/html/functions_t.html +1 -1
- package/SVF-doxygen/html/html/functions_type_t.html +1 -1
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_vars_s.html +3 -0
- package/SVF-doxygen/html/html/include_2MTA_2MTAResultValidator_8h_source.html +3 -3
- package/SVF-doxygen/html/html/search/all_10.js +8 -8
- package/SVF-doxygen/html/html/search/all_12.js +6 -5
- package/SVF-doxygen/html/html/search/all_13.js +3 -3
- package/SVF-doxygen/html/html/search/all_15.js +2 -2
- package/SVF-doxygen/html/html/search/all_16.js +1 -1
- package/SVF-doxygen/html/html/search/all_3.js +1 -1
- package/SVF-doxygen/html/html/search/all_9.js +2 -2
- package/SVF-doxygen/html/html/search/all_b.js +1 -1
- package/SVF-doxygen/html/html/search/all_c.js +5 -5
- package/SVF-doxygen/html/html/search/all_d.js +1 -1
- package/SVF-doxygen/html/html/search/all_e.js +3 -3
- package/SVF-doxygen/html/html/search/all_f.js +2 -2
- package/SVF-doxygen/html/html/search/functions_11.js +1 -1
- package/SVF-doxygen/html/html/search/functions_2.js +1 -1
- package/SVF-doxygen/html/html/search/functions_d.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_11.js +1 -1
- package/SVF-doxygen/html/html/search/variables_12.js +1 -0
- package/SVF-doxygen/html/html/search/variables_13.js +2 -2
- package/SVF-doxygen/html/html/search/variables_e.js +1 -1
- package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
- package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/tools_2MTA_2MTAResultValidator_8h_source.html +3 -3
- package/include/SVF-LLVM/LLVMModule.h +3 -2
- package/lib/SVF-LLVM/LLVMModule.cpp +11 -18
- package/package.json +1 -1
|
@@ -86,7 +86,7 @@ $(function() {
|
|
|
86
86
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ae919327019b5014f64b754dbdeb07f75">buildSVFModule</a>(Module &mod)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
87
87
|
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f8e769251c89433311eeb6f98d115e9">buildSVFModule</a>(const std::vector< std::string > &moduleNameVec)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
88
88
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aa8de934358332505d4805db137d8ec29">collectArrayInfo</a>(const ArrayType *T)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
89
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
89
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a52853bd34a394882c6fd0fc73739c9f2">collectSimpleTypeInfo</a>(const Type *T)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
90
90
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a93315673be515ce5c2fabd36fa927128">collectStructInfo</a>(const StructType *T, u32_t &nf)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
91
91
|
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f6cc76c996a0577b20b8cedd83fff92">collectTypeInfo</a>(const Type *ty)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
92
92
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a4ca8c4678a7fefe26372fc1f4b2880fd">createSVFDataStructure</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
@@ -141,8 +141,8 @@ $(function() {
|
|
|
141
141
|
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a9fd7f0170bffa7c1b927cdb0de98fd15">LLVMFunc2SVFFunc</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
142
142
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a42439790c217254ce5404622b197b3d0">LLVMInst2SVFInst</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
143
143
|
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a05945e0122ce56bb13710bbed34fea3f">LLVMInst2SVFInstMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
144
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
145
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
144
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aaa23ad390e9148ba6302fea8d4595080">LLVMModuleSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
145
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63">llvmModuleSet</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
|
|
146
146
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a067661e0049314779a44c9600420820f">LLVMType2SVFType</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
147
147
|
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#af070cf782594a939c4a0a6de9a724a69">LLVMType2SVFTypeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
148
148
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ac3e70bd338be3a54330be5dc10321eb3">LLVMValue2SVFOtherValue</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
@@ -155,13 +155,14 @@ $(function() {
|
|
|
155
155
|
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a14b0b55d397d6f8a5dfe3b574021f801">preProcessed</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
156
156
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936">releaseLLVMModuleSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
157
157
|
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a7d61f479f52e1dc71a4ae7a4d62f3b6a">setValueAttr</a>(const Value *val, SVFValue *value)</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
158
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
159
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
160
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
161
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
162
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
163
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
164
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#
|
|
158
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#ad13302dd3e5585e8feba4b0cb31991a2">StInfos</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
159
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a3e14bbb3ae0acc74775ac3233a84d379">svfModule</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
160
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a7f8e61cf5d838d7a2e862bc6955f16be">SVFValue2LLVMValue</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
161
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#aa872d7a6b6bf3ec944bd9077de51b259">SVFValue2LLVMValueMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
162
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a5552135a27684cbe4d2a5ed346f64644">symInfo</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
163
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486">Type2TypeInfo</a></td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
164
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a3c2eb10a20604bf794d2d10f2cffb116">Type2TypeInfoMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"></td></tr>
|
|
165
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html#a57b4faba42847323d31cd5216146a7ec">~LLVMModuleSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
165
166
|
</table></div><!-- contents -->
|
|
166
167
|
<!-- start footer part -->
|
|
167
168
|
<hr class="footer"/><address class="footer"><small>
|