svf-tools 1.0.755 → 1.0.756

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 (6) hide show
  1. package/SVF-doxygen/html/html/IRGraph_8h_source.html +1 -1
  2. package/SVF-doxygen/html/html/SVFFileSystem_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +3 -3
  4. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +1 -1
  5. package/package.json +1 -1
  6. package/svf/include/Graphs/IRGraph.h +1 -1
package/SVF-doxygen/html/html/IRGraph_8h_source.html CHANGED
@@ -365,7 +365,7 @@ $(function() {
365
365
  <div class="ttc" id="aclassSVF_1_1IRGraph_html_a3de9a2a565c303f68a90c32dc59febd5"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a3de9a2a565c303f68a90c32dc59febd5">SVF::IRGraph::getNullPtr</a></div><div class="ttdeci">NodeID getNullPtr() const</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00174">IRGraph.h:174</a></div></div>
366
366
  <div class="ttc" id="aclassSVF_1_1IRGraph_html_a8b10c318674a47035d617b3ade4f069b"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a8b10c318674a47035d617b3ade4f069b">SVF::IRGraph::getVarargNode</a></div><div class="ttdeci">NodeID getVarargNode(const SVFFunction *func) const</div><div class="ttdoc">getVarargNode - Return the unique node representing the variadic argument of a variadic function.</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00158">IRGraph.h:158</a></div></div>
367
367
  <div class="ttc" id="aclassSVF_1_1IRGraph_html_a41423da58a07b344bc7ca8dd96d48f98"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a41423da58a07b344bc7ca8dd96d48f98">SVF::IRGraph::isBuiltFromFile</a></div><div class="ttdeci">bool isBuiltFromFile()</div><div class="ttdoc">Whether this SVFIR built from a txt file.</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00120">IRGraph.h:120</a></div></div>
368
- <div class="ttc" id="aclassSVF_1_1IRGraph_html_a1308b5d3001c6676e8a8be6a8b118704"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph::valueToEdgeMap</a></div><div class="ttdeci">ValueToEdgeMap valueToEdgeMap</div><div class="ttdoc">Map llvm::Values to all corresponding PAGEdges.</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00065">IRGraph.h:65</a></div></div>
368
+ <div class="ttc" id="aclassSVF_1_1IRGraph_html_a1308b5d3001c6676e8a8be6a8b118704"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph::valueToEdgeMap</a></div><div class="ttdeci">ValueToEdgeMap valueToEdgeMap</div><div class="ttdoc">Map SVFValues (e.g., SVFInstruction) to all corresponding PAGEdges.</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00065">IRGraph.h:65</a></div></div>
369
369
  <div class="ttc" id="aclassSVF_1_1IRGraph_html_a6247c1b1f6b92ce684c39af760878bbc"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">SVF::IRGraph::ValueToEdgeMap</a></div><div class="ttdeci">Map&lt; const SVFValue *, SVFStmtSet &gt; ValueToEdgeMap</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00057">IRGraph.h:57</a></div></div>
370
370
  <div class="ttc" id="aclassSVF_1_1IRGraph_html_aceae1e4e49a1d2e63ef3d71a7e5ef3eb"><div class="ttname"><a href="classSVF_1_1IRGraph.html#aceae1e4e49a1d2e63ef3d71a7e5ef3eb">SVF::IRGraph::getConstantObj</a></div><div class="ttdeci">const MemObj * getConstantObj() const</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00182">IRGraph.h:182</a></div></div>
371
371
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a929a20dc8f2eb4d82e93938b8339d697"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a929a20dc8f2eb4d82e93938b8339d697">SVF::SymbolTableInfo::idToObjMap</a></div><div class="ttdeci">IDToMemMapTy &amp; idToObjMap()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00270">SymbolTableInfo.h:270</a></div></div>
package/SVF-doxygen/html/html/SVFFileSystem_8cpp_source.html CHANGED
@@ -2835,7 +2835,7 @@ $(function() {
2835
2835
  <div class="ttc" id="aclassSVF_1_1SVFIRReader_html_a68729347f89307b71fa97475883c6741"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html#a68729347f89307b71fa97475883c6741">SVF::SVFIRReader::readJson</a></div><div class="ttdeci">static void readJson(const cJSON *obj, bool &amp;flag)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l01525">SVFFileSystem.cpp:1525</a></div></div>
2836
2836
  <div class="ttc" id="anamespaceSVF_html_a6a3370bf787b65503cf69802da14cbac"><div class="ttname"><a href="namespaceSVF.html#a6a3370bf787b65503cf69802da14cbac">SVF::jsonIsMap</a></div><div class="ttdeci">bool jsonIsMap(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00858">SVFFileSystem.cpp:858</a></div></div>
2837
2837
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a412c24cf17c977b9337eca9d25a0ec0d"><div class="ttname"><a href="classSVF_1_1ICFG.html#a412c24cf17c977b9337eca9d25a0ec0d">SVF::ICFG::getIcfgNodeToSVFLoopVec</a></div><div class="ttdeci">const ICFGNodeToSVFLoopVec &amp; getIcfgNodeToSVFLoopVec() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00145">ICFG.h:145</a></div></div>
2838
- <div class="ttc" id="aclassSVF_1_1IRGraph_html_a1308b5d3001c6676e8a8be6a8b118704"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph::valueToEdgeMap</a></div><div class="ttdeci">ValueToEdgeMap valueToEdgeMap</div><div class="ttdoc">Map llvm::Values to all corresponding PAGEdges.</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00065">IRGraph.h:65</a></div></div>
2838
+ <div class="ttc" id="aclassSVF_1_1IRGraph_html_a1308b5d3001c6676e8a8be6a8b118704"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph::valueToEdgeMap</a></div><div class="ttdeci">ValueToEdgeMap valueToEdgeMap</div><div class="ttdoc">Map SVFValues (e.g., SVFInstruction) to all corresponding PAGEdges.</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00065">IRGraph.h:65</a></div></div>
2839
2839
  <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html">SVF::UnaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01016">SVFStatements.h:1016</a></div></div>
2840
2840
  <div class="ttc" id="aSVFFileSystem_8h_html_a499ce9b5ddc1be98376f5a5791b38c86"><div class="ttname"><a href="SVFFileSystem_8h.html#a499ce9b5ddc1be98376f5a5791b38c86">ABORT_MSG</a></div><div class="ttdeci">#define ABORT_MSG(reason)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00032">SVFFileSystem.h:32</a></div></div>
2841
2841
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_a8bfa675eed3c60a21134faa8e0b9e6b9"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a8bfa675eed3c60a21134faa8e0b9e6b9">SVF::SVFIR::svfModule</a></div><div class="ttdeci">SVFModule * svfModule</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00096">SVFIR.h:96</a></div></div>
package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html CHANGED
@@ -250,7 +250,7 @@ Protected Attributes</h2></td></tr>
250
250
  <tr class="memitem:a9f68ffe75e3d9457092ac2368aa08a27"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27">totalPTAPAGEdge</a></td></tr>
251
251
  <tr class="separator:a9f68ffe75e3d9457092ac2368aa08a27"><td class="memSeparator" colspan="2">&#160;</td></tr>
252
252
  <tr class="memitem:a1308b5d3001c6676e8a8be6a8b118704"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">ValueToEdgeMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">valueToEdgeMap</a></td></tr>
253
- <tr class="memdesc:a1308b5d3001c6676e8a8be6a8b118704"><td class="mdescLeft">&#160;</td><td class="mdescRight">Map llvm::Values to all corresponding PAGEdges. <a href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">More...</a><br /></td></tr>
253
+ <tr class="memdesc:a1308b5d3001c6676e8a8be6a8b118704"><td class="mdescLeft">&#160;</td><td class="mdescRight">Map SVFValues (e.g., <a class="el" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>) to all corresponding PAGEdges. <a href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">More...</a><br /></td></tr>
254
254
  <tr class="separator:a1308b5d3001c6676e8a8be6a8b118704"><td class="memSeparator" colspan="2">&#160;</td></tr>
255
255
  <tr class="memitem:a679145e7bf818b0a19005dc8e2845fe1"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SymbolTableInfo.html">SymbolTableInfo</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#a679145e7bf818b0a19005dc8e2845fe1">symInfo</a></td></tr>
256
256
  <tr class="separator:a679145e7bf818b0a19005dc8e2845fe1"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -1694,7 +1694,7 @@ Additional Inherited Members</h2></td></tr>
1694
1694
  </table>
1695
1695
  </div><div class="memdoc">
1696
1696
 
1697
- <p>Map llvm::Values to all corresponding PAGEdges. </p>
1697
+ <p>Map SVFValues (e.g., <a class="el" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>) to all corresponding PAGEdges. </p>
1698
1698
 
1699
1699
  <p class="definition">Definition at line <a class="el" href="IRGraph_8h_source.html#l00065">65</a> of file <a class="el" href="IRGraph_8h_source.html">IRGraph.h</a>.</p>
1700
1700
 
@@ -1731,7 +1731,7 @@ Additional Inherited Members</h2></td></tr>
1731
1731
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00081">SymbolTableInfo.cpp:81</a></div></div>
1732
1732
  <div class="ttc" id="aclassSVF_1_1SVFVar_html_a9376133075b0d44ff09876af933c8618"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618">SVF::SVFVar::addInEdge</a></div><div class="ttdeci">void addInEdge(SVFStmt *inEdge)</div><div class="ttdoc">add methods of the components</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00212">SVFVariables.h:212</a></div></div>
1733
1733
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a6b0e0b41f3dbc095e8dd8472bbbb5baf"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a6b0e0b41f3dbc095e8dd8472bbbb5baf">SVF::SymbolTableInfo::getVarargSym</a></div><div class="ttdeci">SymID getVarargSym(const SVFFunction *val) const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00237">SymbolTableInfo.h:237</a></div></div>
1734
- <div class="ttc" id="aclassSVF_1_1IRGraph_html_a1308b5d3001c6676e8a8be6a8b118704"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph::valueToEdgeMap</a></div><div class="ttdeci">ValueToEdgeMap valueToEdgeMap</div><div class="ttdoc">Map llvm::Values to all corresponding PAGEdges.</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00065">IRGraph.h:65</a></div></div>
1734
+ <div class="ttc" id="aclassSVF_1_1IRGraph_html_a1308b5d3001c6676e8a8be6a8b118704"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph::valueToEdgeMap</a></div><div class="ttdeci">ValueToEdgeMap valueToEdgeMap</div><div class="ttdoc">Map SVFValues (e.g., SVFInstruction) to all corresponding PAGEdges.</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00065">IRGraph.h:65</a></div></div>
1735
1735
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a929a20dc8f2eb4d82e93938b8339d697"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a929a20dc8f2eb4d82e93938b8339d697">SVF::SymbolTableInfo::idToObjMap</a></div><div class="ttdeci">IDToMemMapTy &amp; idToObjMap()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00270">SymbolTableInfo.h:270</a></div></div>
1736
1736
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a2fbc96de5f066469c2739229307bcc0c"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;::edgeNum</a></div><div class="ttdeci">u32_t edgeNum</div><div class="ttdoc">total num of node</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00455">GenericGraph.h:455</a></div></div>
1737
1737
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a1689fa03795200b501ae3887906e7e72"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a1689fa03795200b501ae3887906e7e72">SVF::SymbolTableInfo::blkPtrSymID</a></div><div class="ttdeci">SymID blkPtrSymID() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00183">SymbolTableInfo.h:183</a></div></div>
package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html CHANGED
@@ -702,7 +702,7 @@ Additional Inherited Members</h2></td></tr>
702
702
  <tr class="memitem:a9f68ffe75e3d9457092ac2368aa08a27 inherit pro_attribs_classSVF_1_1IRGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27">totalPTAPAGEdge</a></td></tr>
703
703
  <tr class="separator:a9f68ffe75e3d9457092ac2368aa08a27 inherit pro_attribs_classSVF_1_1IRGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
704
704
  <tr class="memitem:a1308b5d3001c6676e8a8be6a8b118704 inherit pro_attribs_classSVF_1_1IRGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">ValueToEdgeMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">valueToEdgeMap</a></td></tr>
705
- <tr class="memdesc:a1308b5d3001c6676e8a8be6a8b118704 inherit pro_attribs_classSVF_1_1IRGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Map llvm::Values to all corresponding PAGEdges. <a href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">More...</a><br /></td></tr>
705
+ <tr class="memdesc:a1308b5d3001c6676e8a8be6a8b118704 inherit pro_attribs_classSVF_1_1IRGraph"><td class="mdescLeft">&#160;</td><td class="mdescRight">Map SVFValues (e.g., <a class="el" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>) to all corresponding PAGEdges. <a href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">More...</a><br /></td></tr>
706
706
  <tr class="separator:a1308b5d3001c6676e8a8be6a8b118704 inherit pro_attribs_classSVF_1_1IRGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
707
707
  <tr class="memitem:a679145e7bf818b0a19005dc8e2845fe1 inherit pro_attribs_classSVF_1_1IRGraph"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SymbolTableInfo.html">SymbolTableInfo</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html#a679145e7bf818b0a19005dc8e2845fe1">symInfo</a></td></tr>
708
708
  <tr class="separator:a679145e7bf818b0a19005dc8e2845fe1 inherit pro_attribs_classSVF_1_1IRGraph"><td class="memSeparator" colspan="2">&#160;</td></tr>
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-tools",
3
- "version": "1.0.755",
3
+ "version": "1.0.756",
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/include/Graphs/IRGraph.h CHANGED
@@ -62,7 +62,7 @@ protected:
62
62
  bool fromFile; ///< Whether the SVFIR is built according to user specified data from a txt file
63
63
  NodeID nodeNumAfterPAGBuild; ///< initial node number after building SVFIR, excluding later added nodes, e.g., gepobj nodes
64
64
  u32_t totalPTAPAGEdge;
65
- ValueToEdgeMap valueToEdgeMap; ///< Map llvm::Values to all corresponding PAGEdges
65
+ ValueToEdgeMap valueToEdgeMap; ///< Map SVFValues (e.g., SVFInstruction) to all corresponding PAGEdges
66
66
  SymbolTableInfo* symInfo;
67
67
 
68
68
  /// Add a node into the graph