npm - svf-tools - Versions diffs - 1.0.533 → 1.0.536 - Mend

svf-tools 1.0.533 → 1.0.536

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.

Files changed (198) hide show

package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html CHANGED Viewed

@@ -805,7 +805,7 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85a0ab6564c48897595c9d23382a026e0a8"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a0ab6564c48897595c9d23382a026e0a8">SVF::PointerAnalysis::Cxt_DDA</a></div><div class="ttdoc">context sensitive DDA </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00086">PointerAnalysis.h:86</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a118dabc50024b5cd91095814ade47166"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a118dabc50024b5cd91095814ade47166">SVF::PointerAnalysis::finalize</a></div><div class="ttdeci">virtual void finalize()</div><div class="ttdoc">Finalization of a pointer analysis, including checking alias correctness. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00192">PointerAnalysis.cpp:192</a></div></div>
 <div class="ttc" id="classSVF_1_1DDAPass_html_a8bb61315bc5d1816f4e07140864af47f"><div class="ttname"><a href="classSVF_1_1DDAPass.html#a8bb61315bc5d1816f4e07140864af47f">SVF::DDAPass::_client</a></div><div class="ttdeci">DDAClient * _client</div><div class="ttdoc">DDA client used. </div><div class="ttdef"><b>Definition:</b> <a href="DDAPass_8h_source.html#l00074">DDAPass.h:74</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIRBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00046">SVFIRBuilder.h:46</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIRBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00045">SVFIRBuilder.h:45</a></div></div>
 <div class="ttc" id="classSVF_1_1Options_html_aabfcfcd67df527cdf587aff5ecc26a10"><div class="ttname"><a href="classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10">SVF::Options::PrintQueryPts</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PrintQueryPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00101">Options.h:101</a></div></div>
 <div class="ttc" id="classSVF_1_1Options_html_aee5e47ee3ca9bacb514f9dfbcb3abf24"><div class="ttname"><a href="classSVF_1_1Options.html#aee5e47ee3ca9bacb514f9dfbcb3abf24">SVF::Options::PrintCPts</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PrintCPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00100">Options.h:100</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_ad409cbf61271743394b9e5868f3fd197"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ad409cbf61271743394b9e5868f3fd197">SVF::PointerAnalysis::dumpCPts</a></div><div class="ttdeci">virtual void dumpCPts()</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00259">PointerAnalysis.h:259</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html CHANGED Viewed

@@ -113,24 +113,26 @@ $(function() {
   <tr><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>
   <tr class="even"><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>
   <tr><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>
-  <tr class="even"><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>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094acc6ac00f0ce70874f3a624927b6257fa">EXT_GEP</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
   <tr><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>
-  <tr class="even"><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>
-  <tr><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>
-  <tr class="even"><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>
-  <tr><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>
-  <tr class="even"><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>
-  <tr><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>
-  <tr class="even"><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>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#aa98b80dc86d0549183ec69b44b391bd7">extType_toString</a>(extType type)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
-  <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>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#ab61fbc80acc89e26df2b451cbab81246">get_FunJson</a>(const std::string &amp;funName)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
-  <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>
-  <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>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a1832c19de2fd7ff01793e75a051d3f24">get_opName</a>(const std::string &amp;s)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
-  <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>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#accdb0b7f3ae8d4028bd09f3d861aa2be">get_type</a>(const std::string &amp;funName)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a02380d22fd6021ebce1e54723d695c99">getExtAPI</a>(const std::string &amp;=&quot;&quot;)</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>
+  <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>
+  <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>
+  <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>
+  <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>
+  <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>
+  <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>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#aa98b80dc86d0549183ec69b44b391bd7">extType_toString</a>(extType type)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
+  <tr><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>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#ab61fbc80acc89e26df2b451cbab81246">get_FunJson</a>(const std::string &amp;funName)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
+  <tr><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>
+  <tr class="even"><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>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a1832c19de2fd7ff01793e75a051d3f24">get_opName</a>(const std::string &amp;s)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
+  <tr class="even"><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>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#accdb0b7f3ae8d4028bd09f3d861aa2be">get_type</a>(const std::string &amp;funName)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#aaca305f9ab8ede457a525379235a58f9">getAllOperations</a>(std::string funName)</td><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html">SVF::ExtAPI</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a848ec5976f48f84274bb6a295160fb04">getArgPos</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>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a02380d22fd6021ebce1e54723d695c99">getExtAPI</a>(const std::string &amp;=&quot;&quot;)</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>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExtAPI.html#a148f8105b7db6985bd1c715f793135ad">getNodeIDType</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>
   <tr class="even"><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>
   <tr><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>
   <tr class="even"><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>