svf-tools 1.0.489 → 1.0.492

package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html

@@ -1178,7 +1178,7 @@ Friends</h2></td></tr>
 <p>Return the type of a flattened element given a flattened index. </p>
 
 <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00406">406</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;{</div><div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1Options.html#a170426acc0f9d99470fd1bde40d273e2">Options::ModelArrays</a>)</div><div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;    {</div><div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;        <span class="keyword">const</span> std::vector&lt;const Type*&gt;&amp; so = <a class="code" href="classSVF_1_1SymbolTableInfo.html#aeb3f594076c60fc313c29d282f347f08">getStructInfoIter</a>(baseType)-&gt;second-&gt;getFlattenElementTypes();</div><div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a> (flatten_idx &lt;= so.size() &amp;&amp; !so.empty() &amp;&amp; <span class="stringliteral">&quot;element index out of bounds, can&#39;t get element type!&quot;</span>);</div><div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;        <span class="keywordflow">return</span> so[flatten_idx];</div><div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;    }</div><div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;    {</div><div class="line"><a name="l00416"></a><span class="lineno">  416</span>&#160;        <span class="keyword">const</span> std::vector&lt;const Type*&gt;&amp; so = <a class="code" href="classSVF_1_1SymbolTableInfo.html#aeb3f594076c60fc313c29d282f347f08">getStructInfoIter</a>(baseType)-&gt;second-&gt;getFlattenFieldTypes();</div><div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a> (flatten_idx &lt;= so.size() &amp;&amp; !so.empty() &amp;&amp; <span class="stringliteral">&quot;element index out of bounds, can&#39;t get element type!&quot;</span>);</div><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;        <span class="keywordflow">return</span> so[flatten_idx];</div><div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;    }</div><div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160;}</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
+<div class="fragment"><div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;{</div><div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1Options.html#a170426acc0f9d99470fd1bde40d273e2">Options::ModelArrays</a>)</div><div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;    {</div><div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;        <span class="keyword">const</span> std::vector&lt;const Type*&gt;&amp; so = <a class="code" href="classSVF_1_1SymbolTableInfo.html#aeb3f594076c60fc313c29d282f347f08">getStructInfoIter</a>(baseType)-&gt;second-&gt;getFlattenElementTypes();</div><div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a> (flatten_idx &lt;= so.size() &amp;&amp; !so.empty() &amp;&amp; <span class="stringliteral">&quot;element index out of bounds or struct opaque type, can&#39;t get element type!&quot;</span>);</div><div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;        <span class="keywordflow">return</span> so[flatten_idx];</div><div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;    }</div><div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;    {</div><div class="line"><a name="l00416"></a><span class="lineno">  416</span>&#160;        <span class="keyword">const</span> std::vector&lt;const Type*&gt;&amp; so = <a class="code" href="classSVF_1_1SymbolTableInfo.html#aeb3f594076c60fc313c29d282f347f08">getStructInfoIter</a>(baseType)-&gt;second-&gt;getFlattenFieldTypes();</div><div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a> (flatten_idx &lt;= so.size() &amp;&amp; !so.empty() &amp;&amp; <span class="stringliteral">&quot;element index out of bounds or struct opaque type, can&#39;t get element type!&quot;</span>);</div><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;        <span class="keywordflow">return</span> so[flatten_idx];</div><div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;    }</div><div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160;}</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 <div class="ttc" id="classSVF_1_1SymbolTableInfo_html_aeb3f594076c60fc313c29d282f347f08"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#aeb3f594076c60fc313c29d282f347f08">SVF::SymbolTableInfo::getStructInfoIter</a></div><div class="ttdeci">TypeToFieldInfoMap::iterator getStructInfoIter(const Type *T)</div><div class="ttdoc">Get struct info. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00078">SymbolTableInfo.cpp:78</a></div></div>
 <div class="ttc" id="classSVF_1_1Options_html_a170426acc0f9d99470fd1bde40d273e2"><div class="ttname"><a href="classSVF_1_1Options.html#a170426acc0f9d99470fd1bde40d273e2">SVF::Options::ModelArrays</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; ModelArrays</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00217">Options.h:217</a></div></div>
 </div><!-- fragment -->

package/include/Util/ExtAPI.json

@@ -3194,32 +3194,32 @@
     "_ZNSsC1EPKcRKSaIcE":{
         "type": "CPP_EFT_A0R_A1",
         "overwrite_app_function": 0,
-        "store": ["A0", "A1"]
+        "store": ["A1", "A0"]
     },
     "_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1EPKcRKS3_":{
         "type": "CPP_EFT_A0R_A1",
         "overwrite_app_function": 0,
-        "store": ["A0", "A1"]
+        "store": ["A1", "A0"]
     },
     "_ZNSsC1EPKcmRKSaIcE":{
         "type": "CPP_EFT_A0R_A1",
         "overwrite_app_function": 0,
-        "store": ["A0", "A1"]
+        "store": ["A1", "A0"]
     },
     "_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1EPKcmRKS3_":{
         "type": "CPP_EFT_A0R_A1",
         "overwrite_app_function": 0,
-        "store": ["A0", "A1"]
+        "store": ["A1", "A0"]
     },
     "_ZNSsaSEPKc":{
         "type": "CPP_EFT_A0R_A1",
         "overwrite_app_function": 0,
-        "store": ["A0", "A1"]
+        "store": ["A1", "A0"]
     },
     "_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEPKc":{
         "type": "CPP_EFT_A0R_A1",
         "overwrite_app_function": 0,
-        "store": ["A0", "A1"]
+        "store": ["A1", "A0"]
     },
     "_ZNSsC1ERKSs":{
         "type": "CPP_EFT_A0R_A1R",

package/lib/MemoryModel/SymbolTableInfo.cpp

@@ -408,13 +408,13 @@ const Type* SymbolTableInfo::getFlatternedElemType(const Type* baseType, u32_t f
     if(Options::ModelArrays)
     {
         const std::vector<const Type*>& so = getStructInfoIter(baseType)->second->getFlattenElementTypes();
-        assert (flatten_idx <= so.size() && !so.empty() && "element index out of bounds, can't get element type!");
+        assert (flatten_idx <= so.size() && !so.empty() && "element index out of bounds or struct opaque type, can't get element type!");
         return so[flatten_idx];
     }
     else
     {
         const std::vector<const Type*>& so = getStructInfoIter(baseType)->second->getFlattenFieldTypes();
-        assert (flatten_idx <= so.size() && !so.empty() && "element index out of bounds, can't get element type!");
+        assert (flatten_idx <= so.size() && !so.empty() && "element index out of bounds or struct opaque type, can't get element type!");
         return so[flatten_idx];
     }
 }
@@ -590,7 +590,7 @@ bool ObjTypeInfo::isNonPtrFieldObj(const LocationSet& ls)
         ety = AT->getElementType();
     }
 
-    if (SVFUtil::isa<StructType>(ety) || SVFUtil::isa<ArrayType>(ety))
+    if ((SVFUtil::isa<StructType>(ety) && !SVFUtil::cast<StructType>(ety)->isOpaque()) || SVFUtil::isa<ArrayType>(ety))
     {
         const Type* elemTy = SymbolTableInfo::SymbolInfo()->getFlatternedElemType(ety, ls.accumulateConstantFieldIdx());
         if(elemTy->isPointerTy())

package/lib/SVF-FE/SVFIRBuilder.cpp

@@ -1275,9 +1275,9 @@ void SVFIRBuilder::handleExtCall(CallSite cs, const SVFFunction *callee)
                     }
                     case ExtAPI::EXT_LOADSTORE:
                     {
-                        NodeID vnD = parseNode(args[0], cs, inst);
+                        NodeID vnS = parseNode(args[0], cs, inst);
                         NodeID vnV = parseNode(args[1], cs, inst);
-                        NodeID vnS = parseNode(args[2], cs, inst);
+                        NodeID vnD = parseNode(args[2], cs, inst);
                         if (vnD && vnV && vnS)
                         {
                             addLoadEdge(vnS, vnV);

package/lib/Util/ExtAPI.cpp

@@ -172,7 +172,7 @@ cJSON *ExtAPI::get_FunJson(const std::string funName)
         }
         free(jsonStr);
     }
-    return cJSON_GetObjectItem(root, funName.c_str());
+    return cJSON_GetObjectItemCaseSensitive(root, funName.c_str());
 }
 
 // Get arguments of the operation, e.g. ["A1R", "A0", "A2"]

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.489",
+  "version": "1.0.492",
   "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 />",
   "main": "index.js",
   "scripts": {