svf-tools 1.0.897 → 1.0.899

package/SVF-doxygen/html/ObjTypeInference_8cpp_source.html

@@ -909,14 +909,14 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_acf40310917909e4234282c0695a43160"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">SVF::LLVMModuleSet::getLLVMModuleSet</a></div><div class="ttdeci">static LLVMModuleSet * getLLVMModuleSet()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00105">LLVMModule.h:105</a></div></div>
 <div class="ttc" id="aObjTypeInference_8cpp_html_ac48ef12f2a6f605d6fa5d31e7623a826"><div class="ttname"><a href="ObjTypeInference_8cpp.html#ac48ef12f2a6f605d6fa5d31e7623a826">WARN_MSG</a></div><div class="ttdeci">#define WARN_MSG(msg)</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00071">ObjTypeInference.cpp:71</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a7655b13bbfe720ca2b8a25e0a72528e6"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7655b13bbfe720ca2b8a25e0a72528e6">SVF::SVFUtil::errMsg</a></div><div class="ttdeci">std::string errMsg(const std::string &amp;msg)</div><div class="ttdoc">Print error message by converting a string into red string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00076">SVFUtil.cpp:76</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00105">GeneralType.h:105</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00109">GeneralType.h:109</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_af44dd44401384a8e50b0cbe288152ab5"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#af44dd44401384a8e50b0cbe288152ab5">SVF::ObjTypeInference::fwFindClsNameSources</a></div><div class="ttdeci">Set&lt; const CallBase * &gt; &amp; fwFindClsNameSources(const Value *startValue)</div><div class="ttdoc">forward find class name sources starting from an allocation</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00833">ObjTypeInference.cpp:833</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ab696aab940eb187dc81217efe8649af5"><div class="ttname"><a href="namespaceSVF.html#ab696aab940eb187dc81217efe8649af5">SVF::StoreInst</a></div><div class="ttdeci">llvm::StoreInst StoreInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00148">BasicTypes.h:148</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_aca11801ed6ef6ff8d2a1e85bc0fc5794"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#aca11801ed6ef6ff8d2a1e85bc0fc5794">SVF::LLVMUtil::isObject</a></div><div class="ttdeci">bool isObject(const Value *ref)</div><div class="ttdoc">Return true if this value refers to a object.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00069">LLVMUtil.cpp:69</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a86c0a0cb4ada72bd4f42c77558e6a350"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a86c0a0cb4ada72bd4f42c77558e6a350">SVF::LLVMUtil::dumpValueAndDbgInfo</a></div><div class="ttdeci">std::string dumpValueAndDbgInfo(const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00917">LLVMUtil.cpp:917</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_aaf9b679407f12b93afc53c157d37b444"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#aaf9b679407f12b93afc53c157d37b444">SVF::LLVMModuleSet::getLLVMValue</a></div><div class="ttdeci">const Value * getLLVMValue(const SVFValue *value) const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00198">LLVMModule.h:198</a></div></div>
 <div class="ttc" id="aLLVMUtil_8h_html"><div class="ttname"><a href="LLVMUtil_8h.html">LLVMUtil.h</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1cppUtil_html_a4e1785295e2695fae72758d8bbe4f7ac"><div class="ttname"><a href="namespaceSVF_1_1cppUtil.html#a4e1785295e2695fae72758d8bbe4f7ac">SVF::cppUtil::classTyHasVTable</a></div><div class="ttdeci">bool classTyHasVTable(const StructType *ty)</div><div class="ttdef"><b>Definition:</b> <a href="CppUtil_8cpp_source.html#l00504">CppUtil.cpp:504</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_aa962cc1d782cc46553251e96b64a754b"><div class="ttname"><a href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">SVF::PointerType</a></div><div class="ttdeci">llvm::PointerType PointerType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00096">BasicTypes.h:96</a></div></div>
@@ -951,7 +951,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFFunction_html_ac4c28c8d205d354f3a982119f29f2aac"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ac4c28c8d205d354f3a982119f29f2aac">SVF::SVFFunction::getExitBB</a></div><div class="ttdeci">const SVFBasicBlock * getExitBB() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00192">SVFValue.cpp:192</a></div></div>
 <div class="ttc" id="aLLVMModule_8h_html"><div class="ttname"><a href="LLVMModule_8h.html">LLVMModule.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_aee4383a13cda421acb034ea147e33a6d"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#aee4383a13cda421acb034ea147e33a6d">SVF::ObjTypeInference::defaultType</a></div><div class="ttdeci">const Type * defaultType(const Value *val)</div><div class="ttdoc">default type</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00114">ObjTypeInference.cpp:114</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a4f21e91ff8eaea5207afe5c60dbd78d7"><div class="ttname"><a href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a></div><div class="ttdeci">std::set&lt; Key, Compare, Allocator &gt; OrderedSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a4f21e91ff8eaea5207afe5c60dbd78d7"><div class="ttname"><a href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a></div><div class="ttdeci">std::set&lt; Key, Compare, Allocator &gt; OrderedSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00105">GeneralType.h:105</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_afe926ee3427bb329d189e0c40bb1cd60"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#afe926ee3427bb329d189e0c40bb1cd60">SVF::ObjTypeInference::validateTypeCheck</a></div><div class="ttdeci">void validateTypeCheck(const CallBase *cs)</div><div class="ttdoc">validate type inference</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00538">ObjTypeInference.cpp:538</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a05dc00b2bd9a8176aae31b6cfffe725d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a05dc00b2bd9a8176aae31b6cfffe725d">SVF::SVFUtil::sucMsg</a></div><div class="ttdeci">std::string sucMsg(const std::string &amp;msg)</div><div class="ttdoc">Returns successful message by converting a string into green string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00053">SVFUtil.cpp:53</a></div></div>

package/SVF-doxygen/html/ObjTypeInference_8h_source.html

@@ -190,7 +190,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_a172d2e9ab858fc7cd145721e175c4deb"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#a172d2e9ab858fc7cd145721e175c4deb">SVF::ObjTypeInference::int8Type</a></div><div class="ttdeci">const IntegerType * int8Type()</div><div class="ttdoc">int8 type</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8h_source.html#l00088">ObjTypeInference.h:88</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_af44dd44401384a8e50b0cbe288152ab5"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#af44dd44401384a8e50b0cbe288152ab5">SVF::ObjTypeInference::fwFindClsNameSources</a></div><div class="ttdeci">Set&lt; const CallBase * &gt; &amp; fwFindClsNameSources(const Value *startValue)</div><div class="ttdoc">forward find class name sources starting from an allocation</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00833">ObjTypeInference.cpp:833</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_a151f6952ad6bcc3356a01542759eaae1"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#a151f6952ad6bcc3356a01542759eaae1">SVF::ObjTypeInference::ObjToClsNameSources</a></div><div class="ttdeci">Map&lt; const Value *, Set&lt; const CallBase * &gt; &gt; ObjToClsNameSources</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8h_source.html#l00051">ObjTypeInference.h:51</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a3d9e7f32dc17fe8d40f8d6a011403b91"><div class="ttname"><a href="namespaceSVF.html#a3d9e7f32dc17fe8d40f8d6a011403b91">SVF::IntegerType</a></div><div class="ttdeci">llvm::IntegerType IntegerType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00097">BasicTypes.h:97</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_afefdc78a399a653f1b408a62eafeaab9"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#afefdc78a399a653f1b408a62eafeaab9">SVF::ObjTypeInference::_valueToAllocOrClsNameSources</a></div><div class="ttdeci">ValueToSources _valueToAllocOrClsNameSources</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8h_source.html#l00059">ObjTypeInference.h:59</a></div></div>
@@ -226,7 +226,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_a72da2d7f06e8fee67dc5b3c451fa5dee"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#a72da2d7f06e8fee67dc5b3c451fa5dee">SVF::ObjTypeInference::getArgPosInCall</a></div><div class="ttdeci">u32_t getArgPosInCall(const CallBase *callBase, const Value *arg)</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00577">ObjTypeInference.cpp:577</a></div></div>
 <div class="ttc" id="aSVFValue_8h_html"><div class="ttname"><a href="SVFValue_8h.html">SVFValue.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html">SVF::ObjTypeInference</a></div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8h_source.html#l00040">ObjTypeInference.h:40</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_ae905a7d3f1b211fbaaf9e703b1f44482"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#ae905a7d3f1b211fbaaf9e703b1f44482">SVF::ObjTypeInference::inferObjType</a></div><div class="ttdeci">const Type * inferObjType(const Value *var)</div><div class="ttdoc">get or infer the type of the object pointed by the value</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00136">ObjTypeInference.cpp:136</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_ad9ceac3c884a08ce0ae4fef4b488a7c5"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#ad9ceac3c884a08ce0ae4fef4b488a7c5">SVF::ObjTypeInference::_valueToType</a></div><div class="ttdeci">ValueToType _valueToType</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8h_source.html#l00056">ObjTypeInference.h:56</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_a172f97ff9c9a7c90dbec6329c89775ad"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#a172f97ff9c9a7c90dbec6329c89775ad">SVF::ObjTypeInference::getLLVMCtx</a></div><div class="ttdeci">LLVMContext &amp; getLLVMCtx()</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00125">ObjTypeInference.cpp:125</a></div></div>

package/SVF-doxygen/html/Options_8cpp_source.html

@@ -923,7 +923,15 @@ $(function() {
 <div class="line"><a name="l00853"></a><span class="lineno">  853</span>&#160;    <span class="stringliteral">&quot;run-uncall-fun&quot;</span>,<span class="stringliteral">&quot;Skip Gep Unknown Index&quot;</span>,<span class="keyword">false</span>);</div>
 <div class="line"><a name="l00854"></a><span class="lineno">  854</span>&#160;<span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a76555ba4522accb66d9d38b700e203e0">Options::ICFGMergeAdjacentNodes</a>(</div>
 <div class="line"><a name="l00855"></a><span class="lineno">  855</span>&#160;    <span class="stringliteral">&quot;icfg-merge-adjnodes&quot;</span>,<span class="stringliteral">&quot;ICFG Simplification - Merge Adjacent Nodes in the Same Basic Block.&quot;</span>,<span class="keyword">false</span>);</div>
-<div class="line"><a name="l00856"></a><span class="lineno">  856</span>&#160;} <span class="comment">// namespace SVF.</span></div>
+<div class="line"><a name="l00856"></a><span class="lineno">  856</span>&#160; </div>
+<div class="line"><a name="l00857"></a><span class="lineno">  857</span>&#160; </div>
+<div class="line"><a name="l00858"></a><span class="lineno">  858</span>&#160;<span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#a922c40a80ef055f7f861948d2158f8a7">Options::AEPrecision</a>(</div>
+<div class="line"><a name="l00859"></a><span class="lineno">  859</span>&#160;    <span class="stringliteral">&quot;precision&quot;</span>,</div>
+<div class="line"><a name="l00860"></a><span class="lineno">  860</span>&#160;    <span class="stringliteral">&quot;symbolic abstraction precision for float&quot;</span>,</div>
+<div class="line"><a name="l00861"></a><span class="lineno">  861</span>&#160;    0</div>
+<div class="line"><a name="l00862"></a><span class="lineno">  862</span>&#160;);</div>
+<div class="line"><a name="l00863"></a><span class="lineno">  863</span>&#160; </div>
+<div class="line"><a name="l00864"></a><span class="lineno">  864</span>&#160;} <span class="comment">// namespace SVF.</span></div>
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1Options_html_a6237da3f4e264fa8b63c11d621f39e71"><div class="ttname"><a href="classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71">SVF::Options::MaxContextLen</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; MaxContextLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00085">Options.h:85</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_ab7741246d969021c9afc448b084699af"><div class="ttname"><a href="classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af">SVF::Options::OPTSVFG</a></div><div class="ttdeci">static Option&lt; bool &gt; OPTSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00149">Options.h:149</a></div></div>
@@ -1043,6 +1051,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1Options_html_a4f022e2f997d25ec50842b4248147336"><div class="ttname"><a href="classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336">SVF::Options::FSAnno</a></div><div class="ttdeci">static const Option&lt; bool &gt; FSAnno</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00169">Options.h:169</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a28af43961cb29a7dea50be2ab332cc75"><div class="ttname"><a href="classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75">SVF::Options::ClockType</a></div><div class="ttdeci">static const OptionMap&lt; enum PTAStat::ClockType &gt; ClockType</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00024">Options.h:24</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_aaa27474452c68545e883d02a334cab70"><div class="ttname"><a href="classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70">SVF::Options::AllPairMHP</a></div><div class="ttdeci">static const Option&lt; bool &gt; AllPairMHP</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00179">Options.h:179</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Options_html_a922c40a80ef055f7f861948d2158f8a7"><div class="ttname"><a href="classSVF_1_1Options.html#a922c40a80ef055f7f861948d2158f8a7">SVF::Options::AEPrecision</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; AEPrecision</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00279">Options.h:279</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a7ef3e2cd417646e9d06e0da16ff6c516"><div class="ttname"><a href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516">SVF::Options::CFLSVFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; CFLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00255">Options.h:255</a></div></div>
 <div class="ttc" id="afastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115">HCLUST_METHOD_AVERAGE</a></div><div class="ttdeci">@ HCLUST_METHOD_AVERAGE</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00072">fastcluster.h:72</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a2f4f7e10e3f4f11645aafe63edeef26c"><div class="ttname"><a href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c">SVF::Options::POCRAlias</a></div><div class="ttdeci">static const Option&lt; bool &gt; POCRAlias</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00256">Options.h:256</a></div></div>

package/SVF-doxygen/html/Options_8h_source.html

@@ -316,10 +316,13 @@ $(function() {
 <div class="line"><a name="l00274"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abbdf86ddc2fb37d03b7ef7a9bcc4ce29">  274</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#abbdf86ddc2fb37d03b7ef7a9bcc4ce29">RunUncallFuncs</a>;</div>
 <div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160; </div>
 <div class="line"><a name="l00276"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a76555ba4522accb66d9d38b700e203e0">  276</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a76555ba4522accb66d9d38b700e203e0">ICFGMergeAdjacentNodes</a>;</div>
-<div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;};</div>
-<div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;}  <span class="comment">// namespace SVF</span></div>
-<div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160; </div>
-<div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;<span class="preprocessor">#endif  // ifdef OPTIONS_H_</span></div>
+<div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160; </div>
+<div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;    <span class="comment">// float precision for symbolic abstraction</span></div>
+<div class="line"><a name="l00279"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a922c40a80ef055f7f861948d2158f8a7">  279</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#a922c40a80ef055f7f861948d2158f8a7">AEPrecision</a>;</div>
+<div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;};</div>
+<div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;}  <span class="comment">// namespace SVF</span></div>
+<div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160; </div>
+<div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;<span class="preprocessor">#endif  // ifdef OPTIONS_H_</span></div>
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1Options_html_a6237da3f4e264fa8b63c11d621f39e71"><div class="ttname"><a href="classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71">SVF::Options::MaxContextLen</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; MaxContextLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00085">Options.h:85</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_ab7741246d969021c9afc448b084699af"><div class="ttname"><a href="classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af">SVF::Options::OPTSVFG</a></div><div class="ttdeci">static Option&lt; bool &gt; OPTSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00149">Options.h:149</a></div></div>
@@ -429,6 +432,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1Options_html_a28af43961cb29a7dea50be2ab332cc75"><div class="ttname"><a href="classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75">SVF::Options::ClockType</a></div><div class="ttdeci">static const OptionMap&lt; enum PTAStat::ClockType &gt; ClockType</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00024">Options.h:24</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_aaa27474452c68545e883d02a334cab70"><div class="ttname"><a href="classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70">SVF::Options::AllPairMHP</a></div><div class="ttdeci">static const Option&lt; bool &gt; AllPairMHP</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00179">Options.h:179</a></div></div>
 <div class="ttc" id="aNodeIDAllocator_8h_html"><div class="ttname"><a href="NodeIDAllocator_8h.html">NodeIDAllocator.h</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Options_html_a922c40a80ef055f7f861948d2158f8a7"><div class="ttname"><a href="classSVF_1_1Options.html#a922c40a80ef055f7f861948d2158f8a7">SVF::Options::AEPrecision</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; AEPrecision</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00279">Options.h:279</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a7ef3e2cd417646e9d06e0da16ff6c516"><div class="ttname"><a href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516">SVF::Options::CFLSVFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; CFLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00255">Options.h:255</a></div></div>
 <div class="ttc" id="aMemSSA_8h_html"><div class="ttname"><a href="MemSSA_8h.html">MemSSA.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a2f4f7e10e3f4f11645aafe63edeef26c"><div class="ttname"><a href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c">SVF::Options::POCRAlias</a></div><div class="ttdeci">static const Option&lt; bool &gt; POCRAlias</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00256">Options.h:256</a></div></div>