svf-tools 1.0.758 → 1.0.760

package/SVF-doxygen/html/html/namespaceSVF.html

@@ -1633,6 +1633,7 @@ Functions</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><p>for isBitcode </p>
+<p>For a more detailed explanation of how External APIs are handled in <a class="el" href="namespaceSVF.html" title="for isBitcode">SVF</a>, please refer to the <a class="el" href="namespaceSVF.html" title="for isBitcode">SVF</a> Wiki: <a href="https://github.com/SVF-tools/SVF/wiki/Handling-External-APIs-with-extapi.c">https://github.com/SVF-tools/SVF/wiki/Handling-External-APIs-with-extapi.c</a>.</p>
 <p>Validate the result of context-sensitive analysis, including context-sensitive thread detection and thread interleaving.</p>
 <p>Contains abstract classes for: <a class="el" href="classSVF_1_1PTData.html">PTData</a>: basic points-to data structure derived by all others. <a class="el" href="classSVF_1_1DiffPTData.html">DiffPTData</a>: <a class="el" href="classSVF_1_1PTData.html">PTData</a> which only propagates new changes, not entire points-to sets. <a class="el" href="classSVF_1_1DFPTData.html">DFPTData</a>: flow-sensitive <a class="el" href="classSVF_1_1PTData.html">PTData</a> as defined by Hardekopf and Lin (CGO '11).</p>
 <p>Hierarchy (square brackets indicate abstract class): </p><pre class="fragment">  +------------&gt; [PTData] &lt;----------------+---------------------+
@@ -5476,7 +5477,7 @@ template&lt;typename T &gt; </div>
 <div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;        <span class="keywordflow">case</span> SVFValue::SVFVal:</div>
 <div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;            <a class="code" href="SVFFileSystem_8h.html#a499ce9b5ddc1be98376f5a5791b38c86">ABORT_MSG</a>(<span class="stringliteral">&quot;Creation of RAW SVFValue isn&#39;t allowed&quot;</span>);</div>
 <div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;        <span class="keywordflow">case</span> SVFValue::SVFFunc:</div>
-<div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">new</span> SVFFunction(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>, {}, {}, {}, {}, {}, {});</div>
+<div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">new</span> SVFFunction(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>, {}, {}, {}, {}, {}, {}, {});</div>
 <div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;        <span class="keywordflow">case</span> SVFValue::SVFBB:</div>
 <div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">new</span> SVFBasicBlock(<a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>, {});</div>
 <div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;        <span class="keywordflow">case</span> SVFValue::SVFInst:</div>
@@ -5658,10 +5659,10 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00951">951</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00952"></a><span class="lineno">  952</span>&#160;{</div>
-<div class="line"><a name="l00953"></a><span class="lineno">  953</span>&#160;    <span class="keywordflow">return</span> cJSON_AddItemToArray(array, <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
-<div class="line"><a name="l00954"></a><span class="lineno">  954</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00952">952</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00953"></a><span class="lineno">  953</span>&#160;{</div>
+<div class="line"><a name="l00954"></a><span class="lineno">  954</span>&#160;    <span class="keywordflow">return</span> cJSON_AddItemToArray(array, <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
+<div class="line"><a name="l00955"></a><span class="lineno">  955</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -5697,11 +5698,11 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00945">945</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00946"></a><span class="lineno">  946</span>&#160;{</div>
-<div class="line"><a name="l00947"></a><span class="lineno">  947</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84">humanReadableOption</a>() ? cJSON_AddItemToObject(obj, <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>, <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>)</div>
-<div class="line"><a name="l00948"></a><span class="lineno">  948</span>&#160;           : cJSON_AddItemToArray(obj, <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
-<div class="line"><a name="l00949"></a><span class="lineno">  949</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00946">946</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00947"></a><span class="lineno">  947</span>&#160;{</div>
+<div class="line"><a name="l00948"></a><span class="lineno">  948</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84">humanReadableOption</a>() ? cJSON_AddItemToObject(obj, <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>, <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>)</div>
+<div class="line"><a name="l00949"></a><span class="lineno">  949</span>&#160;           : cJSON_AddItemToArray(obj, <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
+<div class="line"><a name="l00950"></a><span class="lineno">  950</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -5739,11 +5740,11 @@ template&lt;class GraphType &gt; </div>
 
 <p>Helper function to write a number to a JSON object. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00794">794</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00795"></a><span class="lineno">  795</span>&#160;{</div>
-<div class="line"><a name="l00796"></a><span class="lineno">  796</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a>* node = cJSON_CreateNumber(<a class="code" href="cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7">number</a>);</div>
-<div class="line"><a name="l00797"></a><span class="lineno">  797</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3">jsonAddItemToObject</a>(obj, <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>, node);</div>
-<div class="line"><a name="l00798"></a><span class="lineno">  798</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00795">795</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00796"></a><span class="lineno">  796</span>&#160;{</div>
+<div class="line"><a name="l00797"></a><span class="lineno">  797</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a>* node = cJSON_CreateNumber(<a class="code" href="cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7">number</a>);</div>
+<div class="line"><a name="l00798"></a><span class="lineno">  798</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3">jsonAddItemToObject</a>(obj, <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>, node);</div>
+<div class="line"><a name="l00799"></a><span class="lineno">  799</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -5779,14 +5780,14 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00936">936</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00937"></a><span class="lineno">  937</span>&#160;{</div>
-<div class="line"><a name="l00938"></a><span class="lineno">  938</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a>* pair = cJSON_CreateArray();</div>
-<div class="line"><a name="l00939"></a><span class="lineno">  939</span>&#160;    <a class="code" href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">jsonAddItemToArray</a>(pair, key);</div>
-<div class="line"><a name="l00940"></a><span class="lineno">  940</span>&#160;    <a class="code" href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">jsonAddItemToArray</a>(pair, value);</div>
-<div class="line"><a name="l00941"></a><span class="lineno">  941</span>&#160;    <a class="code" href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">jsonAddItemToArray</a>(mapObj, pair);</div>
-<div class="line"><a name="l00942"></a><span class="lineno">  942</span>&#160;    <span class="keywordflow">return</span> pair;</div>
-<div class="line"><a name="l00943"></a><span class="lineno">  943</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00937">937</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00938"></a><span class="lineno">  938</span>&#160;{</div>
+<div class="line"><a name="l00939"></a><span class="lineno">  939</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a>* pair = cJSON_CreateArray();</div>
+<div class="line"><a name="l00940"></a><span class="lineno">  940</span>&#160;    <a class="code" href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">jsonAddItemToArray</a>(pair, key);</div>
+<div class="line"><a name="l00941"></a><span class="lineno">  941</span>&#160;    <a class="code" href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">jsonAddItemToArray</a>(pair, value);</div>
+<div class="line"><a name="l00942"></a><span class="lineno">  942</span>&#160;    <a class="code" href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">jsonAddItemToArray</a>(mapObj, pair);</div>
+<div class="line"><a name="l00943"></a><span class="lineno">  943</span>&#160;    <span class="keywordflow">return</span> pair;</div>
+<div class="line"><a name="l00944"></a><span class="lineno">  944</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -5822,11 +5823,11 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00800">800</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00801"></a><span class="lineno">  801</span>&#160;{</div>
-<div class="line"><a name="l00802"></a><span class="lineno">  802</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a>* node = cJSON_CreateStringReference(str);</div>
-<div class="line"><a name="l00803"></a><span class="lineno">  803</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3">jsonAddItemToObject</a>(obj, <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>, node);</div>
-<div class="line"><a name="l00804"></a><span class="lineno">  804</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00801">801</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00802"></a><span class="lineno">  802</span>&#160;{</div>
+<div class="line"><a name="l00803"></a><span class="lineno">  803</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a>* node = cJSON_CreateStringReference(str);</div>
+<div class="line"><a name="l00804"></a><span class="lineno">  804</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3">jsonAddItemToObject</a>(obj, <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>, node);</div>
+<div class="line"><a name="l00805"></a><span class="lineno">  805</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -5862,10 +5863,10 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00806">806</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00807"></a><span class="lineno">  807</span>&#160;{</div>
-<div class="line"><a name="l00808"></a><span class="lineno">  808</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#ac2917bc796cc783e838d9fcca83b9631">jsonAddStringToObject</a>(obj, <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>, s.c_str());</div>
-<div class="line"><a name="l00809"></a><span class="lineno">  809</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00807">807</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00808"></a><span class="lineno">  808</span>&#160;{</div>
+<div class="line"><a name="l00809"></a><span class="lineno">  809</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#ac2917bc796cc783e838d9fcca83b9631">jsonAddStringToObject</a>(obj, <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>, s.c_str());</div>
+<div class="line"><a name="l00810"></a><span class="lineno">  810</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -5884,10 +5885,10 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00901">901</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00902"></a><span class="lineno">  902</span>&#160;{</div>
-<div class="line"><a name="l00903"></a><span class="lineno">  903</span>&#160;    <span class="keywordflow">return</span> cJSON_CreateArray();</div>
-<div class="line"><a name="l00904"></a><span class="lineno">  904</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00902">902</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00903"></a><span class="lineno">  903</span>&#160;{</div>
+<div class="line"><a name="l00904"></a><span class="lineno">  904</span>&#160;    <span class="keywordflow">return</span> cJSON_CreateArray();</div>
+<div class="line"><a name="l00905"></a><span class="lineno">  905</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -5907,11 +5908,11 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00925">925</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00926"></a><span class="lineno">  926</span>&#160;{</div>
-<div class="line"><a name="l00927"></a><span class="lineno">  927</span>&#160;    <span class="keywordtype">bool</span> hr = <a class="code" href="SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84">humanReadableOption</a>();</div>
-<div class="line"><a name="l00928"></a><span class="lineno">  928</span>&#160;    <span class="keywordflow">return</span> hr ? cJSON_CreateBool(flag) : cJSON_CreateNumber(flag);</div>
-<div class="line"><a name="l00929"></a><span class="lineno">  929</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00926">926</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00927"></a><span class="lineno">  927</span>&#160;{</div>
+<div class="line"><a name="l00928"></a><span class="lineno">  928</span>&#160;    <span class="keywordtype">bool</span> hr = <a class="code" href="SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84">humanReadableOption</a>();</div>
+<div class="line"><a name="l00929"></a><span class="lineno">  929</span>&#160;    <span class="keywordflow">return</span> hr ? cJSON_CreateBool(flag) : cJSON_CreateNumber(flag);</div>
+<div class="line"><a name="l00930"></a><span class="lineno">  930</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -5931,13 +5932,13 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00917">917</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00918"></a><span class="lineno">  918</span>&#160;{</div>
-<div class="line"><a name="l00919"></a><span class="lineno">  919</span>&#160;    constexpr <span class="keywordtype">size_t</span> maxPreciseIntInDouble = (1ull &lt;&lt; 53);</div>
-<div class="line"><a name="l00920"></a><span class="lineno">  920</span>&#160;    (void)maxPreciseIntInDouble; <span class="comment">// silence unused warning</span></div>
-<div class="line"><a name="l00921"></a><span class="lineno">  921</span>&#160;    assert(<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> &lt;= maxPreciseIntInDouble);</div>
-<div class="line"><a name="l00922"></a><span class="lineno">  922</span>&#160;    <span class="keywordflow">return</span> cJSON_CreateNumber(<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>);</div>
-<div class="line"><a name="l00923"></a><span class="lineno">  923</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00918">918</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00919"></a><span class="lineno">  919</span>&#160;{</div>
+<div class="line"><a name="l00920"></a><span class="lineno">  920</span>&#160;    constexpr <span class="keywordtype">size_t</span> maxPreciseIntInDouble = (1ull &lt;&lt; 53);</div>
+<div class="line"><a name="l00921"></a><span class="lineno">  921</span>&#160;    (void)maxPreciseIntInDouble; <span class="comment">// silence unused warning</span></div>
+<div class="line"><a name="l00922"></a><span class="lineno">  922</span>&#160;    assert(<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> &lt;= maxPreciseIntInDouble);</div>
+<div class="line"><a name="l00923"></a><span class="lineno">  923</span>&#160;    <span class="keywordflow">return</span> cJSON_CreateNumber(<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>);</div>
+<div class="line"><a name="l00924"></a><span class="lineno">  924</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -5956,11 +5957,11 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00906">906</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00907"></a><span class="lineno">  907</span>&#160;{</div>
-<div class="line"><a name="l00908"></a><span class="lineno">  908</span>&#160;    <span class="comment">// Don&#39;t use cJSON_CreateObject() here, because it only allows string keys.</span></div>
-<div class="line"><a name="l00909"></a><span class="lineno">  909</span>&#160;    <span class="keywordflow">return</span> cJSON_CreateArray();</div>
-<div class="line"><a name="l00910"></a><span class="lineno">  910</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00907">907</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00908"></a><span class="lineno">  908</span>&#160;{</div>
+<div class="line"><a name="l00909"></a><span class="lineno">  909</span>&#160;    <span class="comment">// Don&#39;t use cJSON_CreateObject() here, because it only allows string keys.</span></div>
+<div class="line"><a name="l00910"></a><span class="lineno">  910</span>&#160;    <span class="keywordflow">return</span> cJSON_CreateArray();</div>
+<div class="line"><a name="l00911"></a><span class="lineno">  911</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -5979,11 +5980,11 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00890">890</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00891"></a><span class="lineno">  891</span>&#160;{</div>
-<div class="line"><a name="l00892"></a><span class="lineno">  892</span>&#160;    <span class="comment">// TODO: optimize</span></div>
-<div class="line"><a name="l00893"></a><span class="lineno">  893</span>&#160;    <span class="keywordflow">return</span> cJSON_CreateNull();</div>
-<div class="line"><a name="l00894"></a><span class="lineno">  894</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00891">891</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00892"></a><span class="lineno">  892</span>&#160;{</div>
+<div class="line"><a name="l00893"></a><span class="lineno">  893</span>&#160;    <span class="comment">// TODO: optimize</span></div>
+<div class="line"><a name="l00894"></a><span class="lineno">  894</span>&#160;    <span class="keywordflow">return</span> cJSON_CreateNull();</div>
+<div class="line"><a name="l00895"></a><span class="lineno">  895</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -6003,10 +6004,10 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00931">931</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00932"></a><span class="lineno">  932</span>&#160;{</div>
-<div class="line"><a name="l00933"></a><span class="lineno">  933</span>&#160;    <span class="keywordflow">return</span> cJSON_CreateNumber(num);</div>
-<div class="line"><a name="l00934"></a><span class="lineno">  934</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00932">932</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00933"></a><span class="lineno">  933</span>&#160;{</div>
+<div class="line"><a name="l00934"></a><span class="lineno">  934</span>&#160;    <span class="keywordflow">return</span> cJSON_CreateNumber(num);</div>
+<div class="line"><a name="l00935"></a><span class="lineno">  935</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -6025,10 +6026,10 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00896">896</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00897"></a><span class="lineno">  897</span>&#160;{</div>
-<div class="line"><a name="l00898"></a><span class="lineno">  898</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84">humanReadableOption</a>() ? cJSON_CreateObject() : cJSON_CreateArray();</div>
-<div class="line"><a name="l00899"></a><span class="lineno">  899</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00897">897</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00898"></a><span class="lineno">  898</span>&#160;{</div>
+<div class="line"><a name="l00899"></a><span class="lineno">  899</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84">humanReadableOption</a>() ? cJSON_CreateObject() : cJSON_CreateArray();</div>
+<div class="line"><a name="l00900"></a><span class="lineno">  900</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -6048,10 +6049,10 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00912">912</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00913"></a><span class="lineno">  913</span>&#160;{</div>
-<div class="line"><a name="l00914"></a><span class="lineno">  914</span>&#160;    <span class="keywordflow">return</span> cJSON_CreateStringReference(str);</div>
-<div class="line"><a name="l00915"></a><span class="lineno">  915</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00913">913</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00914"></a><span class="lineno">  914</span>&#160;{</div>
+<div class="line"><a name="l00915"></a><span class="lineno">  915</span>&#160;    <span class="keywordflow">return</span> cJSON_CreateStringReference(str);</div>
+<div class="line"><a name="l00916"></a><span class="lineno">  916</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -6071,11 +6072,11 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00884">884</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00885"></a><span class="lineno">  885</span>&#160;{</div>
-<div class="line"><a name="l00886"></a><span class="lineno">  886</span>&#160;    <a class="code" href="SVFFileSystem_8h.html#a3b65d8dd2f9077c4036304ea0ca474ef">ABORT_IFNOT</a>(<a class="code" href="namespaceSVF.html#a33124cbc57355f15793da18e69f6b9d7">jsonIsNumber</a>(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>), <span class="stringliteral">&quot;Expected number for &quot;</span> &lt;&lt; <a class="code" href="SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da">JSON_KEY</a>(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>));</div>
-<div class="line"><a name="l00887"></a><span class="lineno">  887</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>-&gt;<a class="code" href="structcJSON.html#a4b21817d0fd2919901abadac73214e7f">valuedouble</a>;</div>
-<div class="line"><a name="l00888"></a><span class="lineno">  888</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00885">885</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00886"></a><span class="lineno">  886</span>&#160;{</div>
+<div class="line"><a name="l00887"></a><span class="lineno">  887</span>&#160;    <a class="code" href="SVFFileSystem_8h.html#a3b65d8dd2f9077c4036304ea0ca474ef">ABORT_IFNOT</a>(<a class="code" href="namespaceSVF.html#a33124cbc57355f15793da18e69f6b9d7">jsonIsNumber</a>(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>), <span class="stringliteral">&quot;Expected number for &quot;</span> &lt;&lt; <a class="code" href="SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da">JSON_KEY</a>(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>));</div>
+<div class="line"><a name="l00888"></a><span class="lineno">  888</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>-&gt;<a class="code" href="structcJSON.html#a4b21817d0fd2919901abadac73214e7f">valuedouble</a>;</div>
+<div class="line"><a name="l00889"></a><span class="lineno">  889</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -6095,10 +6096,10 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00853">853</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00854"></a><span class="lineno">  854</span>&#160;{</div>
-<div class="line"><a name="l00855"></a><span class="lineno">  855</span>&#160;    <span class="keywordflow">return</span> cJSON_IsArray(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
-<div class="line"><a name="l00856"></a><span class="lineno">  856</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00854">854</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00855"></a><span class="lineno">  855</span>&#160;{</div>
+<div class="line"><a name="l00856"></a><span class="lineno">  856</span>&#160;    <span class="keywordflow">return</span> cJSON_IsArray(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
+<div class="line"><a name="l00857"></a><span class="lineno">  857</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -6118,13 +6119,13 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00811">811</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00812"></a><span class="lineno">  812</span>&#160;{</div>
-<div class="line"><a name="l00813"></a><span class="lineno">  813</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84">humanReadableOption</a>()</div>
-<div class="line"><a name="l00814"></a><span class="lineno">  814</span>&#160;           ? cJSON_IsBool(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>)</div>
-<div class="line"><a name="l00815"></a><span class="lineno">  815</span>&#160;           : cJSON_IsNumber(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>) &amp;&amp;</div>
-<div class="line"><a name="l00816"></a><span class="lineno">  816</span>&#160;           (<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>-&gt;<a class="code" href="cJSON_8cpp.html#a6ea693e884dae57fb36b03a8ba6cad27">valuedouble</a> == 0 || <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>-&gt;<a class="code" href="cJSON_8cpp.html#a6ea693e884dae57fb36b03a8ba6cad27">valuedouble</a> == 1);</div>
-<div class="line"><a name="l00817"></a><span class="lineno">  817</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00812">812</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00813"></a><span class="lineno">  813</span>&#160;{</div>
+<div class="line"><a name="l00814"></a><span class="lineno">  814</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84">humanReadableOption</a>()</div>
+<div class="line"><a name="l00815"></a><span class="lineno">  815</span>&#160;           ? cJSON_IsBool(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>)</div>
+<div class="line"><a name="l00816"></a><span class="lineno">  816</span>&#160;           : cJSON_IsNumber(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>) &amp;&amp;</div>
+<div class="line"><a name="l00817"></a><span class="lineno">  817</span>&#160;           (<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>-&gt;<a class="code" href="cJSON_8cpp.html#a6ea693e884dae57fb36b03a8ba6cad27">valuedouble</a> == 0 || <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>-&gt;<a class="code" href="cJSON_8cpp.html#a6ea693e884dae57fb36b03a8ba6cad27">valuedouble</a> == 1);</div>
+<div class="line"><a name="l00818"></a><span class="lineno">  818</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -6154,23 +6155,23 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00819">819</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00820"></a><span class="lineno">  820</span>&#160;{</div>
-<div class="line"><a name="l00821"></a><span class="lineno">  821</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84">humanReadableOption</a>())</div>
-<div class="line"><a name="l00822"></a><span class="lineno">  822</span>&#160;    {</div>
-<div class="line"><a name="l00823"></a><span class="lineno">  823</span>&#160;        <span class="keywordflow">if</span> (!cJSON_IsBool(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>))</div>
-<div class="line"><a name="l00824"></a><span class="lineno">  824</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
-<div class="line"><a name="l00825"></a><span class="lineno">  825</span>&#160;        flag = cJSON_IsTrue(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
-<div class="line"><a name="l00826"></a><span class="lineno">  826</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
-<div class="line"><a name="l00827"></a><span class="lineno">  827</span>&#160;    }</div>
-<div class="line"><a name="l00828"></a><span class="lineno">  828</span>&#160;    <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00829"></a><span class="lineno">  829</span>&#160;    {</div>
-<div class="line"><a name="l00830"></a><span class="lineno">  830</span>&#160;        <span class="keywordflow">if</span> (!cJSON_IsNumber(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>))</div>
-<div class="line"><a name="l00831"></a><span class="lineno">  831</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
-<div class="line"><a name="l00832"></a><span class="lineno">  832</span>&#160;        flag = <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>-&gt;<a class="code" href="structcJSON.html#a4b21817d0fd2919901abadac73214e7f">valuedouble</a> == 1;</div>
-<div class="line"><a name="l00833"></a><span class="lineno">  833</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
-<div class="line"><a name="l00834"></a><span class="lineno">  834</span>&#160;    }</div>
-<div class="line"><a name="l00835"></a><span class="lineno">  835</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00820">820</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00821"></a><span class="lineno">  821</span>&#160;{</div>
+<div class="line"><a name="l00822"></a><span class="lineno">  822</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84">humanReadableOption</a>())</div>
+<div class="line"><a name="l00823"></a><span class="lineno">  823</span>&#160;    {</div>
+<div class="line"><a name="l00824"></a><span class="lineno">  824</span>&#160;        <span class="keywordflow">if</span> (!cJSON_IsBool(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>))</div>
+<div class="line"><a name="l00825"></a><span class="lineno">  825</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
+<div class="line"><a name="l00826"></a><span class="lineno">  826</span>&#160;        flag = cJSON_IsTrue(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
+<div class="line"><a name="l00827"></a><span class="lineno">  827</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
+<div class="line"><a name="l00828"></a><span class="lineno">  828</span>&#160;    }</div>
+<div class="line"><a name="l00829"></a><span class="lineno">  829</span>&#160;    <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00830"></a><span class="lineno">  830</span>&#160;    {</div>
+<div class="line"><a name="l00831"></a><span class="lineno">  831</span>&#160;        <span class="keywordflow">if</span> (!cJSON_IsNumber(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>))</div>
+<div class="line"><a name="l00832"></a><span class="lineno">  832</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
+<div class="line"><a name="l00833"></a><span class="lineno">  833</span>&#160;        flag = <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>-&gt;<a class="code" href="structcJSON.html#a4b21817d0fd2919901abadac73214e7f">valuedouble</a> == 1;</div>
+<div class="line"><a name="l00834"></a><span class="lineno">  834</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
+<div class="line"><a name="l00835"></a><span class="lineno">  835</span>&#160;    }</div>
+<div class="line"><a name="l00836"></a><span class="lineno">  836</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -6190,10 +6191,10 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00858">858</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00859"></a><span class="lineno">  859</span>&#160;{</div>
-<div class="line"><a name="l00860"></a><span class="lineno">  860</span>&#160;    <span class="keywordflow">return</span> cJSON_IsArray(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
-<div class="line"><a name="l00861"></a><span class="lineno">  861</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00859">859</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00860"></a><span class="lineno">  860</span>&#160;{</div>
+<div class="line"><a name="l00861"></a><span class="lineno">  861</span>&#160;    <span class="keywordflow">return</span> cJSON_IsArray(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
+<div class="line"><a name="l00862"></a><span class="lineno">  862</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -6213,11 +6214,11 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00847">847</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00848"></a><span class="lineno">  848</span>&#160;{</div>
-<div class="line"><a name="l00849"></a><span class="lineno">  849</span>&#160;    <span class="comment">// TODO: optimize</span></div>
-<div class="line"><a name="l00850"></a><span class="lineno">  850</span>&#160;    <span class="keywordflow">return</span> cJSON_IsNull(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
-<div class="line"><a name="l00851"></a><span class="lineno">  851</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00848">848</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00849"></a><span class="lineno">  849</span>&#160;{</div>
+<div class="line"><a name="l00850"></a><span class="lineno">  850</span>&#160;    <span class="comment">// TODO: optimize</span></div>
+<div class="line"><a name="l00851"></a><span class="lineno">  851</span>&#160;    <span class="keywordflow">return</span> cJSON_IsNull(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
+<div class="line"><a name="l00852"></a><span class="lineno">  852</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -6237,10 +6238,10 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00837">837</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00838"></a><span class="lineno">  838</span>&#160;{</div>
-<div class="line"><a name="l00839"></a><span class="lineno">  839</span>&#160;    <span class="keywordflow">return</span> cJSON_IsNumber(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
-<div class="line"><a name="l00840"></a><span class="lineno">  840</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00838">838</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00839"></a><span class="lineno">  839</span>&#160;{</div>
+<div class="line"><a name="l00840"></a><span class="lineno">  840</span>&#160;    <span class="keywordflow">return</span> cJSON_IsNumber(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
+<div class="line"><a name="l00841"></a><span class="lineno">  841</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -6260,10 +6261,10 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00863">863</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00864"></a><span class="lineno">  864</span>&#160;{</div>
-<div class="line"><a name="l00865"></a><span class="lineno">  865</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84">humanReadableOption</a>() ? cJSON_IsObject(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>) : cJSON_IsArray(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
-<div class="line"><a name="l00866"></a><span class="lineno">  866</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00864">864</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00865"></a><span class="lineno">  865</span>&#160;{</div>
+<div class="line"><a name="l00866"></a><span class="lineno">  866</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84">humanReadableOption</a>() ? cJSON_IsObject(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>) : cJSON_IsArray(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
+<div class="line"><a name="l00867"></a><span class="lineno">  867</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -6283,10 +6284,10 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00842">842</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00843"></a><span class="lineno">  843</span>&#160;{</div>
-<div class="line"><a name="l00844"></a><span class="lineno">  844</span>&#160;    <span class="keywordflow">return</span> cJSON_IsString(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
-<div class="line"><a name="l00845"></a><span class="lineno">  845</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00843">843</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00844"></a><span class="lineno">  844</span>&#160;{</div>
+<div class="line"><a name="l00845"></a><span class="lineno">  845</span>&#160;    <span class="keywordflow">return</span> cJSON_IsString(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
+<div class="line"><a name="l00846"></a><span class="lineno">  846</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -6316,10 +6317,10 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00868">868</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00869"></a><span class="lineno">  869</span>&#160;{</div>
-<div class="line"><a name="l00870"></a><span class="lineno">  870</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a> &amp;&amp; !(<a class="code" href="SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84">humanReadableOption</a>() &amp;&amp; std::strcmp(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>-&gt;<a class="code" href="structcJSON.html#aa6b47e9a4b0e0a26f519b1a2b6739983">string</a>, key));</div>
-<div class="line"><a name="l00871"></a><span class="lineno">  871</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00869">869</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00870"></a><span class="lineno">  870</span>&#160;{</div>
+<div class="line"><a name="l00871"></a><span class="lineno">  871</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a> &amp;&amp; !(<a class="code" href="SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84">humanReadableOption</a>() &amp;&amp; std::strcmp(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>-&gt;<a class="code" href="structcJSON.html#aa6b47e9a4b0e0a26f519b1a2b6739983">string</a>, key));</div>
+<div class="line"><a name="l00872"></a><span class="lineno">  872</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -6339,16 +6340,16 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00873">873</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00874"></a><span class="lineno">  874</span>&#160;{</div>
-<div class="line"><a name="l00875"></a><span class="lineno">  875</span>&#160;    <a class="code" href="SVFFileSystem_8h.html#a3b65d8dd2f9077c4036304ea0ca474ef">ABORT_IFNOT</a>(<a class="code" href="namespaceSVF.html#a708e67ca4653f2e7b07a08cae850c33d">jsonIsArray</a>(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>), <span class="stringliteral">&quot;Expected array as pair&quot;</span>);</div>
-<div class="line"><a name="l00876"></a><span class="lineno">  876</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a>* child1 = <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>-&gt;<a class="code" href="structcJSON.html#a401b274c2da358dac5c23ab8b2c71f85">child</a>;</div>
-<div class="line"><a name="l00877"></a><span class="lineno">  877</span>&#160;    <a class="code" href="SVFFileSystem_8h.html#a3b65d8dd2f9077c4036304ea0ca474ef">ABORT_IFNOT</a>(child1, <span class="stringliteral">&quot;Missing first child of pair&quot;</span>);</div>
-<div class="line"><a name="l00878"></a><span class="lineno">  878</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a>* child2 = child1-&gt;<a class="code" href="structcJSON.html#ade862b880379b5e2a591f7326401fa8d">next</a>;</div>
-<div class="line"><a name="l00879"></a><span class="lineno">  879</span>&#160;    <a class="code" href="SVFFileSystem_8h.html#a3b65d8dd2f9077c4036304ea0ca474ef">ABORT_IFNOT</a>(child2, <span class="stringliteral">&quot;Missing first child of pair&quot;</span>);</div>
-<div class="line"><a name="l00880"></a><span class="lineno">  880</span>&#160;    <a class="code" href="SVFFileSystem_8h.html#a3b65d8dd2f9077c4036304ea0ca474ef">ABORT_IFNOT</a>(!child2-&gt;<a class="code" href="structcJSON.html#ade862b880379b5e2a591f7326401fa8d">next</a>, <span class="stringliteral">&quot;Pair has more than two children&quot;</span>);</div>
-<div class="line"><a name="l00881"></a><span class="lineno">  881</span>&#160;    <span class="keywordflow">return</span> {child1, child2};</div>
-<div class="line"><a name="l00882"></a><span class="lineno">  882</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFFileSystem_8cpp_source.html#l00874">874</a> of file <a class="el" href="SVFFileSystem_8cpp_source.html">SVFFileSystem.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00875"></a><span class="lineno">  875</span>&#160;{</div>
+<div class="line"><a name="l00876"></a><span class="lineno">  876</span>&#160;    <a class="code" href="SVFFileSystem_8h.html#a3b65d8dd2f9077c4036304ea0ca474ef">ABORT_IFNOT</a>(<a class="code" href="namespaceSVF.html#a708e67ca4653f2e7b07a08cae850c33d">jsonIsArray</a>(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>), <span class="stringliteral">&quot;Expected array as pair&quot;</span>);</div>
+<div class="line"><a name="l00877"></a><span class="lineno">  877</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a>* child1 = <a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>-&gt;<a class="code" href="structcJSON.html#a401b274c2da358dac5c23ab8b2c71f85">child</a>;</div>
+<div class="line"><a name="l00878"></a><span class="lineno">  878</span>&#160;    <a class="code" href="SVFFileSystem_8h.html#a3b65d8dd2f9077c4036304ea0ca474ef">ABORT_IFNOT</a>(child1, <span class="stringliteral">&quot;Missing first child of pair&quot;</span>);</div>
+<div class="line"><a name="l00879"></a><span class="lineno">  879</span>&#160;    <a class="code" href="structcJSON.html">cJSON</a>* child2 = child1-&gt;<a class="code" href="structcJSON.html#ade862b880379b5e2a591f7326401fa8d">next</a>;</div>
+<div class="line"><a name="l00880"></a><span class="lineno">  880</span>&#160;    <a class="code" href="SVFFileSystem_8h.html#a3b65d8dd2f9077c4036304ea0ca474ef">ABORT_IFNOT</a>(child2, <span class="stringliteral">&quot;Missing first child of pair&quot;</span>);</div>
+<div class="line"><a name="l00881"></a><span class="lineno">  881</span>&#160;    <a class="code" href="SVFFileSystem_8h.html#a3b65d8dd2f9077c4036304ea0ca474ef">ABORT_IFNOT</a>(!child2-&gt;<a class="code" href="structcJSON.html#ade862b880379b5e2a591f7326401fa8d">next</a>, <span class="stringliteral">&quot;Pair has more than two children&quot;</span>);</div>
+<div class="line"><a name="l00882"></a><span class="lineno">  882</span>&#160;    <span class="keywordflow">return</span> {child1, child2};</div>
+<div class="line"><a name="l00883"></a><span class="lineno">  883</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -7540,11 +7541,11 @@ template&lt;typename F , typename S &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01168">1168</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01169"></a><span class="lineno"> 1169</span>&#160;{</div>
-<div class="line"><a name="l01170"></a><span class="lineno"> 1170</span>&#160;    o &lt;&lt; <span class="stringliteral">&quot;&lt;&quot;</span> &lt;&lt; var.first &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; var.second &lt;&lt; <span class="stringliteral">&quot;&gt;&quot;</span>;</div>
-<div class="line"><a name="l01171"></a><span class="lineno"> 1171</span>&#160;    <span class="keywordflow">return</span> o;</div>
-<div class="line"><a name="l01172"></a><span class="lineno"> 1172</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01174">1174</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01175"></a><span class="lineno"> 1175</span>&#160;{</div>
+<div class="line"><a name="l01176"></a><span class="lineno"> 1176</span>&#160;    o &lt;&lt; <span class="stringliteral">&quot;&lt;&quot;</span> &lt;&lt; var.first &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; var.second &lt;&lt; <span class="stringliteral">&quot;&gt;&quot;</span>;</div>
+<div class="line"><a name="l01177"></a><span class="lineno"> 1177</span>&#160;    <span class="keywordflow">return</span> o;</div>
+<div class="line"><a name="l01178"></a><span class="lineno"> 1178</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -8529,31 +8530,31 @@ template&lt;typename GraphType &gt; </div>
 <div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">SVF::MayAlias</a></div><div class="ttdeci">@ MayAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00588">SVFType.h:588</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemRegion_html_adad8c2b08ab6a512f0c3aa90b4416f60"><div class="ttname"><a href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">SVF::MemRegion::dumpStr</a></div><div class="ttdeci">std::string dumpStr() const</div><div class="ttdoc">Dump string.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00093">MemRegion.h:93</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a165cd8904ba9f1ae6e0fa1752ba78caaaac7938d40cfc2307e2bf325d28e7884e"><div class="ttname"><a href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaac7938d40cfc2307e2bf325d28e7884e">SVF::BuildDirection::plain</a></div><div class="ttdeci">@ plain</div></div>
-<div class="ttc" id="anamespaceSVF_html_a33124cbc57355f15793da18e69f6b9d7"><div class="ttname"><a href="namespaceSVF.html#a33124cbc57355f15793da18e69f6b9d7">SVF::jsonIsNumber</a></div><div class="ttdeci">bool jsonIsNumber(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00837">SVFFileSystem.cpp:837</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a33124cbc57355f15793da18e69f6b9d7"><div class="ttname"><a href="namespaceSVF.html#a33124cbc57355f15793da18e69f6b9d7">SVF::jsonIsNumber</a></div><div class="ttdeci">bool jsonIsNumber(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00838">SVFFileSystem.cpp:838</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ae27267f89add1338fd5afe3a38f61ebd"><div class="ttname"><a href="namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd">SVF::WriteGraph</a></div><div class="ttdeci">std::ofstream &amp; WriteGraph(std::ofstream &amp;O, const GraphType &amp;G, bool ShortNames=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00328">GraphWriter.h:328</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_abe7df84818bd194fefc80d766e0998da"><div class="ttname"><a href="SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da">JSON_KEY</a></div><div class="ttdeci">#define JSON_KEY(json)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00064">SVFFileSystem.h:64</a></div></div>
 <div class="ttc" id="astructcJSON_html_ade862b880379b5e2a591f7326401fa8d"><div class="ttname"><a href="structcJSON.html#ade862b880379b5e2a591f7326401fa8d">cJSON::next</a></div><div class="ttdeci">struct cJSON * next</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00106">cJSON.h:106</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8cpp_html_aee01a3d251dee6a05d621f5265d92e84"><div class="ttname"><a href="SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84">humanReadableOption</a></div><div class="ttdeci">static const Option&lt; bool &gt; humanReadableOption(&quot;human-readable&quot;, &quot;Whether to output human-readable JSON&quot;, true)</div></div>
-<div class="ttc" id="anamespaceSVF_html_a0ffc17ff9b5cc328ff112e7f9ff21552"><div class="ttname"><a href="namespaceSVF.html#a0ffc17ff9b5cc328ff112e7f9ff21552">SVF::jsonGetNumber</a></div><div class="ttdeci">double jsonGetNumber(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00884">SVFFileSystem.cpp:884</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a0ffc17ff9b5cc328ff112e7f9ff21552"><div class="ttname"><a href="namespaceSVF.html#a0ffc17ff9b5cc328ff112e7f9ff21552">SVF::jsonGetNumber</a></div><div class="ttdeci">double jsonGetNumber(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00885">SVFFileSystem.cpp:885</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
 <div class="ttc" id="astructcJSON_html_a401b274c2da358dac5c23ab8b2c71f85"><div class="ttname"><a href="structcJSON.html#a401b274c2da358dac5c23ab8b2c71f85">cJSON::child</a></div><div class="ttdeci">struct cJSON * child</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00109">cJSON.h:109</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_af5b6ec9770091c42227a45491b00b349a5cbe6f40e9b49a24bc2d2e4bf6f12d54"><div class="ttname"><a href="namespaceSVF.html#af5b6ec9770091c42227a45491b00b349a5cbe6f40e9b49a24bc2d2e4bf6f12d54">SVF::ZB_Undefined</a></div><div class="ttdeci">@ ZB_Undefined</div><div class="ttdoc">The returned value is undefined.</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00035">SparseBitVector.h:35</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ac2917bc796cc783e838d9fcca83b9631"><div class="ttname"><a href="namespaceSVF.html#ac2917bc796cc783e838d9fcca83b9631">SVF::jsonAddStringToObject</a></div><div class="ttdeci">bool jsonAddStringToObject(cJSON *obj, const char *name, const char *str)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00800">SVFFileSystem.cpp:800</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ac2917bc796cc783e838d9fcca83b9631"><div class="ttname"><a href="namespaceSVF.html#ac2917bc796cc783e838d9fcca83b9631">SVF::jsonAddStringToObject</a></div><div class="ttdeci">bool jsonAddStringToObject(cJSON *obj, const char *name, const char *str)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00801">SVFFileSystem.cpp:801</a></div></div>
 <div class="ttc" id="astructcJSON_html"><div class="ttname"><a href="structcJSON.html">cJSON</a></div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00103">cJSON.h:103</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_af5b6ec9770091c42227a45491b00b349afdacc59903d2677ef91777d78c7b80a7"><div class="ttname"><a href="namespaceSVF.html#af5b6ec9770091c42227a45491b00b349afdacc59903d2677ef91777d78c7b80a7">SVF::ZB_Width</a></div><div class="ttdeci">@ ZB_Width</div><div class="ttdoc">The returned value is numeric_limits&lt;T&gt;::digits.</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00039">SparseBitVector.h:39</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00052">SVFType.h:52</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MSSADEF_html_a4cabef62b821efb0c88efb304fd0a70c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a4cabef62b821efb0c88efb304fd0a70c">SVF::MSSADEF::getType</a></div><div class="ttdeci">DEFTYPE getType() const</div><div class="ttdoc">Return type of this CHI.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00360">MSSAMuChi.h:360</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">SVF::PartialAlias</a></div><div class="ttdeci">@ PartialAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00590">SVFType.h:590</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00670">SVFUtil.h:670</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00655">SVFUtil.h:655</a></div></div>
 <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>
-<div class="ttc" id="anamespaceSVF_html_a708e67ca4653f2e7b07a08cae850c33d"><div class="ttname"><a href="namespaceSVF.html#a708e67ca4653f2e7b07a08cae850c33d">SVF::jsonIsArray</a></div><div class="ttdeci">bool jsonIsArray(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00853">SVFFileSystem.cpp:853</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a9ee7e6892696b97837ca8845663c55e4"><div class="ttname"><a href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">SVF::jsonAddItemToArray</a></div><div class="ttdeci">bool jsonAddItemToArray(cJSON *array, cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00951">SVFFileSystem.cpp:951</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ad0cc661dce7398ffe4f6a4785dd002d3"><div class="ttname"><a href="namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3">SVF::jsonAddItemToObject</a></div><div class="ttdeci">bool jsonAddItemToObject(cJSON *obj, const char *name, cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00945">SVFFileSystem.cpp:945</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a708e67ca4653f2e7b07a08cae850c33d"><div class="ttname"><a href="namespaceSVF.html#a708e67ca4653f2e7b07a08cae850c33d">SVF::jsonIsArray</a></div><div class="ttdeci">bool jsonIsArray(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00854">SVFFileSystem.cpp:854</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a9ee7e6892696b97837ca8845663c55e4"><div class="ttname"><a href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">SVF::jsonAddItemToArray</a></div><div class="ttdeci">bool jsonAddItemToArray(cJSON *array, cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00952">SVFFileSystem.cpp:952</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ad0cc661dce7398ffe4f6a4785dd002d3"><div class="ttname"><a href="namespaceSVF.html#ad0cc661dce7398ffe4f6a4785dd002d3">SVF::jsonAddItemToObject</a></div><div class="ttdeci">bool jsonAddItemToObject(cJSON *obj, const char *name, cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00946">SVFFileSystem.cpp:946</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MRVer_html_a492211105abe8af8ed9ad7b30eabb852"><div class="ttname"><a href="classSVF_1_1MRVer.html#a492211105abe8af8ed9ad7b30eabb852">SVF::MRVer::getDef</a></div><div class="ttdeci">MSSADef * getDef() const</div><div class="ttdoc">Get MSSADef.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00075">MSSAMuChi.h:75</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a3b6bc8132d0fd4902888ab9f77c20124"><div class="ttname"><a href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">SVF::make_range</a></div><div class="ttdeci">iter_range&lt; T &gt; make_range(T x, T y)</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00064">iterator_range.h:64</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_af5b6ec9770091c42227a45491b00b349aac378e728f7d53b2d96be1d33c63afb1"><div class="ttname"><a href="namespaceSVF.html#af5b6ec9770091c42227a45491b00b349aac378e728f7d53b2d96be1d33c63afb1">SVF::ZB_Max</a></div><div class="ttdeci">@ ZB_Max</div><div class="ttdoc">The returned value is numeric_limits&lt;T&gt;::max()</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00037">SparseBitVector.h:37</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_aea1a0f85b05e5149f57ed788ba631e49"><div class="ttname"><a href="namespaceSVF.html#aea1a0f85b05e5149f57ed788ba631e49">SVF::jsonIsString</a></div><div class="ttdeci">bool jsonIsString(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00842">SVFFileSystem.cpp:842</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_aea1a0f85b05e5149f57ed788ba631e49"><div class="ttname"><a href="namespaceSVF.html#aea1a0f85b05e5149f57ed788ba631e49">SVF::jsonIsString</a></div><div class="ttdeci">bool jsonIsString(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00843">SVFFileSystem.cpp:843</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MRVer_html_a170a933f25684bda23321ba05c7a7d88"><div class="ttname"><a href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">SVF::MRVer::getSSAVersion</a></div><div class="ttdeci">MRVERSION getSSAVersion() const</div><div class="ttdoc">Return SSA version.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00069">MSSAMuChi.h:69</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8cpp_html_ab25baccb41e3b67ef0bfdaa1336c9649"><div class="ttname"><a href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a></div><div class="ttdeci">#define F(f)</div></div>
 <div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">SVF::MustAlias</a></div><div class="ttdeci">@ MustAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00589">SVFType.h:589</a></div></div>