svf-tools 1.0.758 → 1.0.760

package/SVF-doxygen/html/html/namespacemembers_func_g.html

@@ -73,9 +73,12 @@ $(function() {
 <li>getBeforeBrackets()
 : <a class="el" href="namespaceSVF_1_1cppUtil.html#a1cf2e4671b16b477cc779c72f2419234">SVF::cppUtil</a>
 </li>
+<li>getCalledFunctions()
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a47d2af43ff12d9e1014fa19256619466">SVF::LLVMUtil</a>
+</li>
 <li>getCallee()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#ad56c48be3ba6ebb95416623256524097">SVF::LLVMUtil</a>
-, <a class="el" href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVF::SVFUtil</a>
+, <a class="el" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">SVF::SVFUtil</a>
 </li>
 <li>getClassNameFromType()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a416bcb6da0650f546cb7d83e6be850b6">SVF::LLVMUtil</a>
@@ -96,7 +99,10 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a3d34fcdfc98add848a34fd5259c11eb2">SVF::LLVMUtil</a>
 </li>
 <li>getForkedFun()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a2790c5289dad1d6e80f7597a2ea458ab">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a40f4fe34203246d99a565930d1240c15">SVF::SVFUtil</a>
+</li>
+<li>getFunAnnotations()
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a8cd4d6410017b9e5f47f2f88450b78d8">SVF::LLVMUtil</a>
 </li>
 <li>getFunction()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a63222955897ba34e921b9cfd8a2a3619">SVF::LLVMUtil</a>
@@ -126,7 +132,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#afbd60d5443c7fa1448813d00bb5d0fa7">SVF::LLVMUtil</a>
 </li>
 <li>getPrevInsts()
-: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a4c94a6c02fb89c1a1604c87414956acd">SVF::LLVMUtil</a>
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a08876cc07f9b9dbe84f87aea09e9824f">SVF::LLVMUtil</a>
 </li>
 <li>getProgEntryFunction()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#aa8017e3e5100b3f63ee338b66118d266">SVF::SVFUtil</a>
@@ -148,7 +154,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a2b32283ee2dbb9cef1d17ab6f2719e0c">SVF::LLVMUtil</a>
 </li>
 <li>getSVFCallSite()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a9815a5b31ac7dc21239d08e5b9f61106">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#af985ceea64e3e61cf1b5c78467248c2d">SVF::SVFUtil</a>
 </li>
 <li>getTaskDataAtHareParForSite()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a2f74db48793a0db76c000ffecf9e1bd2">SVF::SVFUtil</a>
@@ -163,7 +169,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#ae368713463c84425f9a1ad27ff401a47">SVF::LLVMUtil</a>
 </li>
 <li>getTypeSizeInBytes()
-: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a09683d4d88a50fa621809c734465f94d">SVF::LLVMUtil</a>
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a2b5fdf455c5dd40c0baa60185e5e41c6">SVF::LLVMUtil</a>
 </li>
 <li>getUniqueUseViaCastInst()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a837d19c740902c419206287bdb21273b">SVF::LLVMUtil</a>

package/SVF-doxygen/html/html/namespacemembers_func_i.html

@@ -117,23 +117,17 @@ $(function() {
 <li>isCPPThunkFunction()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a47bbc0527ced570d576ccc2f9df409cb">SVF::LLVMUtil</a>
 </li>
-<li>isDeallocExtCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a1f52a7f183f1eec7c4db7e4e54fa5e2c">SVF::SVFUtil</a>
-</li>
-<li>isDeallocExtFun()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a3495236e22e4bc6404b6ac352060439c">SVF::SVFUtil</a>
-</li>
 <li>isDestructor()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a206973624fcc58e6044c884dba23a754">SVF::LLVMUtil</a>
 </li>
 <li>isExtCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#af2979f019d38f3faa5c82c6ddc688b51">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">SVF::SVFUtil</a>
 </li>
 <li>isGepConstantExpr()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#ab5fc50624b5fe83b676b14bec4b99685">SVF::LLVMUtil</a>
 </li>
 <li>isHareParForCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a28fbb7cc51eb7e25d88f43e3eb1f30fb">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ad8340531cfb109c792de4edee34d44db">SVF::SVFUtil</a>
 </li>
 <li>isHeapAllocExtCall()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a93ac673b885633849fa484938405ca75">SVF::SVFUtil</a>
@@ -173,10 +167,13 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5f3ecd0770991b6e84afe47a3934f0d2">SVF::SVFUtil</a>
 </li>
 <li>isLockReleaseCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5b17fb3f5997e269938a368105592cbf">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a1241ef1c19df14f7db0bd62dd68f14f9">SVF::SVFUtil</a>
+</li>
+<li>isMemcpyExtFun()
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a688bd5e1bf36b3e75bfcea9388871dc4">SVF::SVFUtil</a>
 </li>
-<li>isMemSetOrCpyExtFun()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a4c45df04366c21ee47ac251fbac582cc">SVF::SVFUtil</a>
+<li>isMemsetExtFun()
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a54098ea73555caa682287f8e3c9e8fcb">SVF::SVFUtil</a>
 </li>
 <li>isNoCallerFunction()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a17cce1a11e1bfc342a9e3e79fe35deef">SVF::LLVMUtil</a>
@@ -195,7 +192,7 @@ $(function() {
 , <a class="el" href="namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b">SVF::SVFUtil</a>
 </li>
 <li>isProgExitCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a81e9fe00756a3f42395261c87e64de02">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6528edf9a1750df4a84d1a60d4d0bbe4">SVF::SVFUtil</a>
 </li>
 <li>isProgExitFunction()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57">SVF::SVFUtil</a>
@@ -207,7 +204,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a07c785d931cef3c61e3dab4c615770be">SVF::LLVMUtil</a>
 </li>
 <li>isReallocExtCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6740e7686ba111ae525c6c093cbbaf46">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a21eb8acf4b7f876507ff02c65fff0869">SVF::SVFUtil</a>
 </li>
 <li>isReallocExtFun()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">SVF::SVFUtil</a>
@@ -231,7 +228,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#ae3abb438b0182c32abfbd6a625a24041">SVF::SVFUtil</a>
 </li>
 <li>isThreadJoinCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a194a8cf292726bd6cd54307b555c068a">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ad96e4550fca39e3edb362326a4cf1913">SVF::SVFUtil</a>
 </li>
 <li>isTruncConstantExpr()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a946a2b51b848c45c6c52f03581ee05b8">SVF::LLVMUtil</a>

package/SVF-doxygen/html/html/namespacemembers_func_r.html

@@ -70,9 +70,15 @@ $(function() {
 <li>readSmallNumber()
 : <a class="el" href="namespaceSVF.html#a1202d15e828377e9bec5164f76c48096">SVF</a>
 </li>
+<li>removeFunAnnotations()
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a523a8c3f9bfaea178733822ac598d552">SVF::LLVMUtil</a>
+</li>
 <li>removeKey()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#aa59af7fc01a534662b3b1524186ef97e">SVF::SVFUtil</a>
 </li>
+<li>removeUnusedFuncsAndAnnotations()
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a74ed17168bf5946cfb3f17495ec6db99">SVF::LLVMUtil</a>
+</li>
 <li>reportMemoryUsageKB()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6cfe12afa463d0ceddeee11540c33ab3">SVF::SVFUtil</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_g.html

@@ -160,6 +160,9 @@ $(function() {
 <li>getBeforeBrackets()
 : <a class="el" href="namespaceSVF_1_1cppUtil.html#a1cf2e4671b16b477cc779c72f2419234">SVF::cppUtil</a>
 </li>
+<li>getCalledFunctions()
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a47d2af43ff12d9e1014fa19256619466">SVF::LLVMUtil</a>
+</li>
 <li>getCallee()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#ad56c48be3ba6ebb95416623256524097">SVF::LLVMUtil</a>
 , <a class="el" href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVF::SVFUtil</a>
@@ -188,6 +191,9 @@ $(function() {
 <li>getForkedFun()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a2790c5289dad1d6e80f7597a2ea458ab">SVF::SVFUtil</a>
 </li>
+<li>getFunAnnotations()
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a8cd4d6410017b9e5f47f2f88450b78d8">SVF::LLVMUtil</a>
+</li>
 <li>getFunction()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a63222955897ba34e921b9cfd8a2a3619">SVF::LLVMUtil</a>
 </li>
@@ -213,10 +219,10 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a630ff9c47f58f9b8df7c8a2b3711477c">SVF::SVFUtil</a>
 </li>
 <li>getNextInsts()
-: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#afbd60d5443c7fa1448813d00bb5d0fa7">SVF::LLVMUtil</a>
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a7fa1f910598426330f08da19e9efdfa3">SVF::LLVMUtil</a>
 </li>
 <li>getPrevInsts()
-: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a08876cc07f9b9dbe84f87aea09e9824f">SVF::LLVMUtil</a>
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a4c94a6c02fb89c1a1604c87414956acd">SVF::LLVMUtil</a>
 </li>
 <li>getProgEntryFunction()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#aa8017e3e5100b3f63ee338b66118d266">SVF::SVFUtil</a>
@@ -238,13 +244,13 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a2b32283ee2dbb9cef1d17ab6f2719e0c">SVF::LLVMUtil</a>
 </li>
 <li>getSVFCallSite()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#af985ceea64e3e61cf1b5c78467248c2d">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a9815a5b31ac7dc21239d08e5b9f61106">SVF::SVFUtil</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a4ace2d63934e97fd8b8dbbdf378c534c">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a2f74db48793a0db76c000ffecf9e1bd2">SVF::SVFUtil</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5cee46f58bdab3f9b1c698e97290152f">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#aa45cda6380bdd53ba88268aa8cf336e5">SVF::SVFUtil</a>
 </li>
 <li>getThunkTarget()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#aab1cb59036d181e20a477bf1eebd81ff">SVF::LLVMUtil</a>

package/SVF-doxygen/html/html/namespacemembers_i.html

@@ -165,12 +165,6 @@ $(function() {
 <li>isCPPThunkFunction()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a47bbc0527ced570d576ccc2f9df409cb">SVF::LLVMUtil</a>
 </li>
-<li>isDeallocExtCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a1f52a7f183f1eec7c4db7e4e54fa5e2c">SVF::SVFUtil</a>
-</li>
-<li>isDeallocExtFun()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a3495236e22e4bc6404b6ac352060439c">SVF::SVFUtil</a>
-</li>
 <li>isDestructor()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a206973624fcc58e6044c884dba23a754">SVF::LLVMUtil</a>
 </li>
@@ -187,7 +181,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a93ac673b885633849fa484938405ca75">SVF::SVFUtil</a>
 </li>
 <li>isHeapAllocExtCallViaArg()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ac77155f7e19d92292f52944d3fb32277">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#aedfa6e9216c6c788c26aef1967689b76">SVF::SVFUtil</a>
 </li>
 <li>isHeapAllocExtCallViaRet()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#ab2064cb70c76f399ce115f2621adea35">SVF::SVFUtil</a>
@@ -223,8 +217,11 @@ $(function() {
 <li>isLockReleaseCall()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5b17fb3f5997e269938a368105592cbf">SVF::SVFUtil</a>
 </li>
-<li>isMemSetOrCpyExtFun()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a4c45df04366c21ee47ac251fbac582cc">SVF::SVFUtil</a>
+<li>isMemcpyExtFun()
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a688bd5e1bf36b3e75bfcea9388871dc4">SVF::SVFUtil</a>
+</li>
+<li>isMemsetExtFun()
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a54098ea73555caa682287f8e3c9e8fcb">SVF::SVFUtil</a>
 </li>
 <li>isNoCallerFunction()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a17cce1a11e1bfc342a9e3e79fe35deef">SVF::LLVMUtil</a>
@@ -243,7 +240,7 @@ $(function() {
 , <a class="el" href="namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b">SVF::SVFUtil</a>
 </li>
 <li>isProgExitCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a81e9fe00756a3f42395261c87e64de02">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6528edf9a1750df4a84d1a60d4d0bbe4">SVF::SVFUtil</a>
 </li>
 <li>isProgExitFunction()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57">SVF::SVFUtil</a>
@@ -279,7 +276,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5c2abeb363081381c3dc939ab511e3f0">SVF::SVFUtil</a>
 </li>
 <li>isThreadJoinCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a194a8cf292726bd6cd54307b555c068a">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ad96e4550fca39e3edb362326a4cf1913">SVF::SVFUtil</a>
 </li>
 <li>isTruncConstantExpr()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a946a2b51b848c45c6c52f03581ee05b8">SVF::LLVMUtil</a>

package/SVF-doxygen/html/html/namespacemembers_r.html

@@ -79,9 +79,15 @@ $(function() {
 <li>Ref
 : <a class="el" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76">SVF</a>
 </li>
+<li>removeFunAnnotations()
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a523a8c3f9bfaea178733822ac598d552">SVF::LLVMUtil</a>
+</li>
 <li>removeKey()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#aa59af7fc01a534662b3b1524186ef97e">SVF::SVFUtil</a>
 </li>
+<li>removeUnusedFuncsAndAnnotations()
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a74ed17168bf5946cfb3f17495ec6db99">SVF::LLVMUtil</a>
+</li>
 <li>reportMemoryUsageKB()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6cfe12afa463d0ceddeee11540c33ab3">SVF::SVFUtil</a>
 </li>

package/SVF-doxygen/html/html/saber_8cpp.html

@@ -234,7 +234,7 @@ Variables</h2></td></tr>
 <div class="ttc" id="aclassOptionBase_html_a4fb6c6e4a1754d702c6c1730f54457e5"><div class="ttname"><a href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">OptionBase::parseOptions</a></div><div class="ttdeci">static std::vector&lt; std::string &gt; parseOptions(int argc, char *argv[], std::string description, std::string callFormat)</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00075">CommandLine.h:75</a></div></div>
 <div class="ttc" id="asaber_8cpp_html_ab233df6b8c190aa2c26fa20bd1ac7c52"><div class="ttname"><a href="saber_8cpp.html#ab233df6b8c190aa2c26fa20bd1ac7c52">DFREECHECKER</a></div><div class="ttdeci">static Option&lt; bool &gt; DFREECHECKER(&quot;dfree&quot;, &quot;Double Free Detection&quot;, false)</div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00046">SVFIRBuilder.h:46</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
 <div class="ttc" id="asaber_8cpp_html_a040433670c569ad3978a19fb1bf44d5b"><div class="ttname"><a href="saber_8cpp.html#a040433670c569ad3978a19fb1bf44d5b">FILECHECKER</a></div><div class="ttdeci">static Option&lt; bool &gt; FILECHECKER(&quot;fileck&quot;, &quot;File Open/Close Detection&quot;, false)</div></div>
 <!-- start footer part -->

package/SVF-doxygen/html/html/saber_8cpp_source.html

@@ -176,7 +176,7 @@ $(function() {
 <div class="ttc" id="asaber_8cpp_html_ab233df6b8c190aa2c26fa20bd1ac7c52"><div class="ttname"><a href="saber_8cpp.html#ab233df6b8c190aa2c26fa20bd1ac7c52">DFREECHECKER</a></div><div class="ttdeci">static Option&lt; bool &gt; DFREECHECKER(&quot;dfree&quot;, &quot;Double Free Detection&quot;, false)</div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00046">SVFIRBuilder.h:46</a></div></div>
 <div class="ttc" id="aclassOption_html"><div class="ttname"><a href="classOption.html">Option&lt; bool &gt;</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRBuilder_html_a5ecf1deb5646ccb46b0b3101417f4689"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a5ecf1deb5646ccb46b0b3101417f4689">SVF::SVFIRBuilder::build</a></div><div class="ttdeci">virtual SVFIR * build()</div><div class="ttdoc">Start building SVFIR here.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00054">SVFIRBuilder.cpp:54</a></div></div>
 <div class="ttc" id="aDoubleFreeChecker_8h_html"><div class="ttname"><a href="DoubleFreeChecker_8h.html">DoubleFreeChecker.h</a></div></div>