svf-tools 1.0.518 → 1.0.521
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/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/CFLAlias_8h_source.html +13 -10
- package/SVF-doxygen/html/html/CFLGrammar_8txt.html +57 -21
- package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +19 -19
- package/SVF-doxygen/html/html/ExtAPI_8h_source.html +49 -48
- package/SVF-doxygen/html/html/GrammarBuilder_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/GrammarBuilder_8h_source.html +3 -3
- package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +17 -7
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias-members.html +118 -75
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +168 -58
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +29 -28
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +94 -91
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +45 -42
- package/SVF-doxygen/html/html/functions_e.html +4 -1
- package/SVF-doxygen/html/html/functions_eval_e.html +3 -0
- package/SVF-doxygen/html/html/functions_func_g.html +11 -9
- package/SVF-doxygen/html/html/functions_func_p.html +1 -1
- package/SVF-doxygen/html/html/functions_g.html +12 -10
- package/SVF-doxygen/html/html/functions_o.html +3 -3
- package/SVF-doxygen/html/html/functions_p.html +7 -7
- package/SVF-doxygen/html/html/functions_r.html +3 -3
- package/SVF-doxygen/html/html/functions_s.html +7 -9
- package/SVF-doxygen/html/html/functions_t.html +3 -1
- package/SVF-doxygen/html/html/functions_w.html +11 -11
- package/SVF-doxygen/html/html/globals_g.html +7 -4
- package/SVF-doxygen/html/html/globals_v.html +4 -1
- package/SVF-doxygen/html/html/globals_vars.html +11 -5
- package/SVF-doxygen/html/html/hierarchy.html +6 -6
- package/SVF-doxygen/html/html/search/all_10.js +5 -5
- package/SVF-doxygen/html/html/search/all_11.js +2 -2
- package/SVF-doxygen/html/html/search/all_12.js +9 -9
- package/SVF-doxygen/html/html/search/all_13.js +4 -4
- package/SVF-doxygen/html/html/search/all_14.js +1 -1
- package/SVF-doxygen/html/html/search/all_15.js +3 -2
- package/SVF-doxygen/html/html/search/all_16.js +2 -2
- package/SVF-doxygen/html/html/search/all_5.js +1 -0
- package/SVF-doxygen/html/html/search/all_7.js +5 -3
- package/SVF-doxygen/html/html/search/all_c.js +1 -1
- package/SVF-doxygen/html/html/search/all_e.js +1 -1
- package/SVF-doxygen/html/html/search/all_f.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_4.js +1 -0
- package/SVF-doxygen/html/html/search/functions_6.js +2 -1
- package/SVF-doxygen/html/html/search/functions_f.js +1 -1
- package/SVF-doxygen/html/html/search/variables_13.js +4 -4
- package/SVF-doxygen/html/html/search/variables_14.js +1 -1
- package/SVF-doxygen/html/html/search/variables_15.js +2 -1
- package/SVF-doxygen/html/html/search/variables_7.js +3 -2
- package/SVF-doxygen/html/html/search/variables_e.js +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
- package/codecov.yml +21 -0
- package/include/CFL/CFLAlias.h +9 -7
- package/include/CFL/CFLGrammar.txt +10 -9
- package/include/Util/ExtAPI.h +2 -0
- package/include/Util/ExtAPI.json +5 -0
- package/lib/CFL/CFLAlias.cpp +2 -2
- package/lib/CFL/GrammarBuilder.cpp +4 -2
- package/lib/MemoryModel/PointerAnalysisImpl.cpp +1 -1
- package/lib/SVF-FE/SVFIRBuilder.cpp +16 -0
- package/package.json +1 -1
|
Binary file
|
|
@@ -112,34 +112,35 @@ $(function() {
|
|
|
112
112
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094acfb80bb18d5cc826c04a57517b9d723a">EXT_COPY_MN</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
113
113
|
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094a16fe812578afb8f018b6dd503c7bad49">EXT_COPY_N</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
114
114
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094ab6db72191d9b7d667fb6f7bd5b200d24">EXT_FUNPTR</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
115
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
116
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
117
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
118
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
119
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
120
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
121
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
122
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
123
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
124
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
125
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
126
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
127
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
128
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
129
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
130
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
131
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
132
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
133
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
134
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
135
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
136
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
137
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
138
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
139
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
140
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
141
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
142
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#
|
|
115
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094af5e672eee0c7b2ceb7f0f87ca9962dd8">EXT_GEPGEP</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
116
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094ab21117e18dd413220f4a331629d32bd8">EXT_LOAD</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
117
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094a9b961a2cf28f4ae48e8a120a65721669">EXT_LOADSTORE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
118
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094a894fdba1a423fe49fa357f87ea69cf69">EXT_OTHER</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
119
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094a501a7dadb95aa1a97b8fe111c7838900">EXT_STORE</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
120
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb">ExtAPI</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
121
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094">extf_t</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
122
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75">extOp</a></td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
|
|
123
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199ca">extType</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
124
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a68939c789d0530151a4e79e79317531a">get_alloc_arg_pos</a>(const SVFFunction *F)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
125
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#ab61fbc80acc89e26df2b451cbab81246">get_FunJson</a>(const std::string &funName)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
126
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#ac3e34227968d6a2835d63b1052da3c1a">get_name</a>(const SVFFunction *F)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
127
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a906a3728bbcfb7a43ac0938ffcb3df23">get_opArgs</a>(const cJSON *value)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
128
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a6298f765cd73e9d71fc6b3b55fb7e56f">get_opName</a>(std::string s)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
129
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a411a034f872afcf62ce5456e408ccf41">get_type</a>(const SVF::SVFFunction *callee)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
130
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a02380d22fd6021ebce1e54723d695c99">getExtAPI</a>(const std::string &="")</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
131
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#ae20ea24cce02de87d89a2d0b773a2357">has_static</a>(const SVFFunction *F)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
132
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#ad3eefa086aa514e4d245a975ea3d45b5">has_static2</a>(const SVFFunction *F)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
133
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a0d865c55681a3b4a9bb965fd0200029d">is_alloc</a>(const SVFFunction *F)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
134
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a158e7da51d45b746e067dc40e912c477">is_arg_alloc</a>(const SVFFunction *F)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
135
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#aeef27a358ba1815760c893bd2d2335b1">is_dealloc</a>(const SVFFunction *F)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
136
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a21f45c806672255c044d39490990eae2">is_ext</a>(const SVFFunction *F)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
137
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a82ebf71c5214f891f17e842e0b133b4f">is_noop</a>(const SVFFunction *F)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
138
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4">is_realloc</a>(const SVFFunction *F)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
139
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a5ef7edb1664ab87f00418e7808d00258">isOverwrittenAppFunction</a>(const SVF::SVFFunction *callee)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
140
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a934e293bd4050cb1ab5c19e8ad391ebe">no_struct_alloc</a>(const SVFFunction *F)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
|
|
141
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a495b6db60a6266b83cf511965a57f6a3">op_pair</a></td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
142
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a835fda8fb934d1cd040d1b3fb2dd0270">root</a></td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
|
|
143
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a95ac45d2367b3d3124d5d98958e74cc5">type_pair</a></td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
143
144
|
</table></div><!-- contents -->
|
|
144
145
|
<!-- start footer part -->
|
|
145
146
|
<hr class="footer"/><address class="footer"><small>
|