svf-tools 1.0.596 → 1.0.598

package/SVF-doxygen/html/html/namespacemembers_c.html

@@ -89,13 +89,13 @@ $(function() {
 : <a class="el" href="namespaceSVF.html#a1f730acb8da8187da732631ca6bbff01">SVF</a>
 </li>
 <li>children()
-: <a class="el" href="namespacellvm.html#a77e0432868a8d88e98b2fdb383790e4a">llvm</a>
+: <a class="el" href="namespaceSVF.html#a67f454fa9341632d195fd5da619130f0">SVF</a>
 </li>
 <li>children_edges()
-: <a class="el" href="namespacellvm.html#aa7827c4f1bc6c4c3e21161da5bee01db">llvm</a>
+: <a class="el" href="namespaceSVF.html#ab485076115c46b3e009cc5c4d252adae">SVF</a>
 </li>
 <li>CIRCO
-: <a class="el" href="namespacellvm_1_1GraphProgram.html#a0ad4685976f8c4d4a697a53fbe05d10bab89542c270041afd91cb19369af6dc31">llvm::GraphProgram</a>
+: <a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a88732178df8f5804ab976cc48e584674">SVF::GraphProgram</a>
 </li>
 <li>CmpInst
 : <a class="el" href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4">SVF</a>

package/SVF-doxygen/html/html/namespacemembers_d.html

@@ -116,7 +116,7 @@ $(function() {
 : <a class="el" href="namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89">SVF</a>
 </li>
 <li>DOT
-: <a class="el" href="namespacellvm_1_1GraphProgram.html#a0ad4685976f8c4d4a697a53fbe05d10baa979410a6f3129644e1be86fb488e455">llvm::GraphProgram</a>
+: <a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ae09e3feb3996d73e682cf2a5077c090c">SVF::GraphProgram</a>
 </li>
 <li>dump()
 : <a class="el" href="namespaceSVF.html#aae350f79ebcb9efd22ec9efa6678cd13">SVF</a>

package/SVF-doxygen/html/html/namespacemembers_e.html

@@ -83,7 +83,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVF::SVFUtil</a>
 </li>
 <li>EscapeStr()
-: <a class="el" href="namespacellvm_1_1DOT.html#a31e5d80aa888e96643a4150bfedaa917">llvm::DOT</a>
+: <a class="el" href="namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7">SVF::DOT</a>
 </li>
 <li>ExtractElementInst
 : <a class="el" href="namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356">SVF</a>

package/SVF-doxygen/html/html/namespacemembers_enum.html

@@ -66,7 +66,7 @@ $(function() {
 : <a class="el" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844">SVF</a>
 </li>
 <li>Name
-: <a class="el" href="namespacellvm_1_1GraphProgram.html#a0ad4685976f8c4d4a697a53fbe05d10b">llvm::GraphProgram</a>
+: <a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37">SVF::GraphProgram</a>
 </li>
 <li>ZeroBehavior
 : <a class="el" href="namespaceSVF.html#af5b6ec9770091c42227a45491b00b349">SVF</a>

package/SVF-doxygen/html/html/namespacemembers_eval.html

@@ -60,13 +60,13 @@ $(function() {
 <div class="contents">
 &#160;<ul>
 <li>CIRCO
-: <a class="el" href="namespacellvm_1_1GraphProgram.html#a0ad4685976f8c4d4a697a53fbe05d10bab89542c270041afd91cb19369af6dc31">llvm::GraphProgram</a>
+: <a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a88732178df8f5804ab976cc48e584674">SVF::GraphProgram</a>
 </li>
 <li>DOT
-: <a class="el" href="namespacellvm_1_1GraphProgram.html#a0ad4685976f8c4d4a697a53fbe05d10baa979410a6f3129644e1be86fb488e455">llvm::GraphProgram</a>
+: <a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ae09e3feb3996d73e682cf2a5077c090c">SVF::GraphProgram</a>
 </li>
 <li>FDP
-: <a class="el" href="namespacellvm_1_1GraphProgram.html#a0ad4685976f8c4d4a697a53fbe05d10ba369c1aafe1a79637a098d1ac61c3c940">llvm::GraphProgram</a>
+: <a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac3a20ad67d8b23a37a2c81ef793323a9">SVF::GraphProgram</a>
 </li>
 <li>MayAlias
 : <a class="el" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">SVF</a>
@@ -81,7 +81,7 @@ $(function() {
 : <a class="el" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">SVF</a>
 </li>
 <li>NEATO
-: <a class="el" href="namespacellvm_1_1GraphProgram.html#a0ad4685976f8c4d4a697a53fbe05d10ba5f97d56ae6699c2775313a0b5cd6badb">llvm::GraphProgram</a>
+: <a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a280cacd79d09366b6832ebc6e54b5a9c">SVF::GraphProgram</a>
 </li>
 <li>NoAlias
 : <a class="el" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF</a>
@@ -96,7 +96,7 @@ $(function() {
 : <a class="el" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76">SVF</a>
 </li>
 <li>TWOPI
-: <a class="el" href="namespacellvm_1_1GraphProgram.html#a0ad4685976f8c4d4a697a53fbe05d10ba3af922b814bd0960a3c12abbe6b87a0d">llvm::GraphProgram</a>
+: <a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac6a6eaaa34322cf54953ba390895f0c5">SVF::GraphProgram</a>
 </li>
 <li>ZB_Max
 : <a class="el" href="namespaceSVF.html#af5b6ec9770091c42227a45491b00b349aac378e728f7d53b2d96be1d33c63afb1">SVF</a>

package/SVF-doxygen/html/html/namespacemembers_f.html

@@ -62,7 +62,7 @@ $(function() {
 
 <h3><a id="index_f"></a>- f -</h3><ul>
 <li>FDP
-: <a class="el" href="namespacellvm_1_1GraphProgram.html#a0ad4685976f8c4d4a697a53fbe05d10ba369c1aafe1a79637a098d1ac61c3c940">llvm::GraphProgram</a>
+: <a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac3a20ad67d8b23a37a2c81ef793323a9">SVF::GraphProgram</a>
 </li>
 <li>FenceInst
 : <a class="el" href="namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b">SVF</a>

package/SVF-doxygen/html/html/namespacemembers_func_c.html

@@ -65,10 +65,10 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a0d100868bf63b968d387eb50e9603f7c">SVF::SVFUtil</a>
 </li>
 <li>children()
-: <a class="el" href="namespacellvm.html#a77e0432868a8d88e98b2fdb383790e4a">llvm</a>
+: <a class="el" href="namespaceSVF.html#a67f454fa9341632d195fd5da619130f0">SVF</a>
 </li>
 <li>children_edges()
-: <a class="el" href="namespacellvm.html#aa7827c4f1bc6c4c3e21161da5bee01db">llvm</a>
+: <a class="el" href="namespaceSVF.html#ab485076115c46b3e009cc5c4d252adae">SVF</a>
 </li>
 <li>cmpNodeBS()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a8f749354b7e882ef3e5bf5081fa715b5">SVF::SVFUtil</a>

package/SVF-doxygen/html/html/namespacemembers_func_e.html

@@ -68,7 +68,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVF::SVFUtil</a>
 </li>
 <li>EscapeStr()
-: <a class="el" href="namespacellvm_1_1DOT.html#a31e5d80aa888e96643a4150bfedaa917">llvm::DOT</a>
+: <a class="el" href="namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7">SVF::DOT</a>
 </li>
 </ul>
 </div><!-- contents -->

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

@@ -68,10 +68,10 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7">SVF::SVFUtil</a>
 </li>
 <li>inverse_children()
-: <a class="el" href="namespacellvm.html#a271d439f063099eb81b7e8549fec97a7">llvm</a>
+: <a class="el" href="namespaceSVF.html#a155eb379cf271ac550333afb13cb36fa">SVF</a>
 </li>
 <li>inverse_nodes()
-: <a class="el" href="namespacellvm.html#a83fd30d5d8e023c6f35d5a5e998d6810">llvm</a>
+: <a class="el" href="namespaceSVF.html#a6506af0b08e86390c0e4786b6ee294ae">SVF</a>
 </li>
 <li>isa()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5c8cbc986cccb9d84f87aae162df3737">SVF::SVFUtil</a>
@@ -102,6 +102,9 @@ $(function() {
 <li>isCmpConstantExpr()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#aa0b3e34188f721ff7145e47cb607c79a">SVF::LLVMUtil</a>
 </li>
+<li>isConstantObjSym()
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#ad8ee8de153df3f1bbdebb67185a2731c">SVF::LLVMUtil</a>
+</li>
 <li>isConstDataOrAggData()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a8a77403306e97ab4cb31a56d38bba5be">SVF::LLVMUtil</a>
 </li>
@@ -127,7 +130,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#ab5fc50624b5fe83b676b14bec4b99685">SVF::LLVMUtil</a>
 </li>
 <li>isHareParForCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ad8340531cfb109c792de4edee34d44db">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a28fbb7cc51eb7e25d88f43e3eb1f30fb">SVF::SVFUtil</a>
 </li>
 <li>isHeapAllocExtCall()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a93ac673b885633849fa484938405ca75">SVF::SVFUtil</a>
@@ -197,7 +200,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>
@@ -209,7 +212,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#ae59b0dc7f29dbd2018e819f77465f66e">SVF::LLVMUtil</a>
 </li>
 <li>isStaticExtCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ae62938f722543d6d7fc201b685be1abf">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a9236e11e62bde33d6ab1f309300c488a">SVF::SVFUtil</a>
 </li>
 <li>isStaticExtFun()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">SVF::SVFUtil</a>

package/SVF-doxygen/html/html/namespacemembers_func_m.html

@@ -62,16 +62,16 @@ $(function() {
 
 <h3><a id="index_m"></a>- m -</h3><ul>
 <li>make_pointee_range()
-: <a class="el" href="namespacellvm.html#aec01581c3275a7fab5a18b88a02c96b7">llvm</a>
+: <a class="el" href="namespaceSVF.html#a41ca7c140a3b61d946e8c6338102986e">SVF</a>
 </li>
 <li>make_pointer_range()
-: <a class="el" href="namespacellvm.html#af8941b8ce2fe4581623e4962b287cc5c">llvm</a>
+: <a class="el" href="namespaceSVF.html#a7a436778318d16678992a3173988afc2">SVF</a>
 </li>
 <li>make_range()
-: <a class="el" href="namespacellvm.html#a205378e83b002bbbf3cbfa232b2cf0a7">llvm</a>
+: <a class="el" href="namespaceSVF.html#a323872e7b86d109057b3ccbdedee7c86">SVF</a>
 </li>
 <li>map_iter()
-: <a class="el" href="namespacellvm.html#a5c9e26cd5f9790cad19af6af0d0e2925">llvm</a>
+: <a class="el" href="namespaceSVF.html#a809dcd83e295c61bb54710ba545d8d96">SVF</a>
 </li>
 <li>mergePtsOccMaps()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a36c91f952a69875c33d4bd0b05a27ff2">SVF::SVFUtil</a>

package/SVF-doxygen/html/html/namespacemembers_func_n.html

@@ -62,7 +62,7 @@ $(function() {
 
 <h3><a id="index_n"></a>- n -</h3><ul>
 <li>nodes()
-: <a class="el" href="namespacellvm.html#ad615816ca25b07333f9a7495cbcb8029">llvm</a>
+: <a class="el" href="namespaceSVF.html#ae6c7046834fe00382052ece7d06eb0ac">SVF</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/namespacemembers_func_v.html

@@ -71,7 +71,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a2abbe4ed46b2031a981d93b3ba9d3fbd">SVF::LLVMUtil</a>
 </li>
 <li>ViewGraph()
-: <a class="el" href="namespacellvm.html#a470c5592e4cd36a22901d15832b9c41b">llvm</a>
+: <a class="el" href="namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e">SVF</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/namespacemembers_func_w.html

@@ -62,7 +62,7 @@ $(function() {
 
 <h3><a id="index_w"></a>- w -</h3><ul>
 <li>WriteGraph()
-: <a class="el" href="namespacellvm.html#adc0ea9d5e23d0277eda65041e33fee55">llvm</a>
+: <a class="el" href="namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd">SVF</a>
 </li>
 <li>writeWrnMsg()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a077caa1b10ab84d101d79fc7ea50db2d">SVF::SVFUtil</a>

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

@@ -262,7 +262,7 @@ $(function() {
 : <a class="el" href="namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e">SVF</a>
 </li>
 <li>GraphPrinter
-: <a class="el" href="namespaceSVF.html#a2eae2d6648dd6715421bd7af67d57637">SVF</a>
+: <a class="el" href="namespaceSVF.html#ac8f90a58fd0d8e775e290b31f8ea9ce9">SVF</a>
 </li>
 </ul>
 </div><!-- contents -->

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

@@ -92,10 +92,10 @@ $(function() {
 : <a class="el" href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">SVF</a>
 </li>
 <li>inverse_children()
-: <a class="el" href="namespacellvm.html#a271d439f063099eb81b7e8549fec97a7">llvm</a>
+: <a class="el" href="namespaceSVF.html#a155eb379cf271ac550333afb13cb36fa">SVF</a>
 </li>
 <li>inverse_nodes()
-: <a class="el" href="namespacellvm.html#a83fd30d5d8e023c6f35d5a5e998d6810">llvm</a>
+: <a class="el" href="namespaceSVF.html#a6506af0b08e86390c0e4786b6ee294ae">SVF</a>
 </li>
 <li>InvokeInst
 : <a class="el" href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f">SVF</a>
@@ -132,6 +132,9 @@ $(function() {
 <li>isCmpConstantExpr()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#aa0b3e34188f721ff7145e47cb607c79a">SVF::LLVMUtil</a>
 </li>
+<li>isConstantObjSym()
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#ad8ee8de153df3f1bbdebb67185a2731c">SVF::LLVMUtil</a>
+</li>
 <li>isConstDataOrAggData()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a8a77403306e97ab4cb31a56d38bba5be">SVF::LLVMUtil</a>
 </li>
@@ -245,7 +248,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">SVF::SVFUtil</a>
 </li>
 <li>isThreadExitCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a916f308f05ef0711f0aa32a8e6f96986">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a3af5073a1cdc000678f7e4bbc943f5d5">SVF::SVFUtil</a>
 </li>
 <li>isThreadForkCall()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5c2abeb363081381c3dc939ab511e3f0">SVF::SVFUtil</a>

package/SVF-doxygen/html/html/namespacemembers_m.html

@@ -62,19 +62,19 @@ $(function() {
 
 <h3><a id="index_m"></a>- m -</h3><ul>
 <li>make_pointee_range()
-: <a class="el" href="namespacellvm.html#aec01581c3275a7fab5a18b88a02c96b7">llvm</a>
+: <a class="el" href="namespaceSVF.html#a41ca7c140a3b61d946e8c6338102986e">SVF</a>
 </li>
 <li>make_pointer_range()
-: <a class="el" href="namespacellvm.html#af8941b8ce2fe4581623e4962b287cc5c">llvm</a>
+: <a class="el" href="namespaceSVF.html#a7a436778318d16678992a3173988afc2">SVF</a>
 </li>
 <li>make_range()
-: <a class="el" href="namespacellvm.html#a205378e83b002bbbf3cbfa232b2cf0a7">llvm</a>
+: <a class="el" href="namespaceSVF.html#a323872e7b86d109057b3ccbdedee7c86">SVF</a>
 </li>
 <li>Map
 : <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF</a>
 </li>
 <li>map_iter()
-: <a class="el" href="namespacellvm.html#a5c9e26cd5f9790cad19af6af0d0e2925">llvm</a>
+: <a class="el" href="namespaceSVF.html#a809dcd83e295c61bb54710ba545d8d96">SVF</a>
 </li>
 <li>MayAlias
 : <a class="el" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">SVF</a>

package/SVF-doxygen/html/html/namespacemembers_n.html

@@ -62,13 +62,13 @@ $(function() {
 
 <h3><a id="index_n"></a>- n -</h3><ul>
 <li>Name
-: <a class="el" href="namespacellvm_1_1GraphProgram.html#a0ad4685976f8c4d4a697a53fbe05d10b">llvm::GraphProgram</a>
+: <a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37">SVF::GraphProgram</a>
 </li>
 <li>NamedMDNode
 : <a class="el" href="namespaceSVF.html#a3011dbac9102f044ad5f36a4ad3d4a71">SVF</a>
 </li>
 <li>NEATO
-: <a class="el" href="namespacellvm_1_1GraphProgram.html#a0ad4685976f8c4d4a697a53fbe05d10ba5f97d56ae6699c2775313a0b5cd6badb">llvm::GraphProgram</a>
+: <a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a280cacd79d09366b6832ebc6e54b5a9c">SVF::GraphProgram</a>
 </li>
 <li>NoAlias
 : <a class="el" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF</a>
@@ -95,7 +95,7 @@ $(function() {
 : <a class="el" href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">SVF</a>
 </li>
 <li>nodes()
-: <a class="el" href="namespacellvm.html#ad615816ca25b07333f9a7495cbcb8029">llvm</a>
+: <a class="el" href="namespaceSVF.html#ae6c7046834fe00382052ece7d06eb0ac">SVF</a>
 </li>
 <li>NodeSet
 : <a class="el" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF</a>

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

@@ -65,7 +65,7 @@ $(function() {
 : <a class="el" href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba">SVF</a>
 </li>
 <li>raw_pointer_iterator
-: <a class="el" href="namespacellvm.html#aca4a1c40c795d723338628e5e405757c">llvm</a>
+: <a class="el" href="namespaceSVF.html#af3b0c055d852656a062bf784222a4fea">SVF</a>
 </li>
 <li>Ref
 : <a class="el" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76">SVF</a>

package/SVF-doxygen/html/html/namespacemembers_t.html

@@ -68,7 +68,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9">SVF::SVFUtil</a>
 </li>
 <li>TWOPI
-: <a class="el" href="namespacellvm_1_1GraphProgram.html#a0ad4685976f8c4d4a697a53fbe05d10ba3af922b814bd0960a3c12abbe6b87a0d">llvm::GraphProgram</a>
+: <a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac6a6eaaa34322cf54953ba390895f0c5">SVF::GraphProgram</a>
 </li>
 <li>Type
 : <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">SVF</a>

package/SVF-doxygen/html/html/namespacemembers_type_g.html

@@ -149,7 +149,7 @@ $(function() {
 : <a class="el" href="namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e">SVF</a>
 </li>
 <li>GraphPrinter
-: <a class="el" href="namespaceSVF.html#a2eae2d6648dd6715421bd7af67d57637">SVF</a>
+: <a class="el" href="namespaceSVF.html#ac8f90a58fd0d8e775e290b31f8ea9ce9">SVF</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/namespacemembers_type_r.html

@@ -65,7 +65,7 @@ $(function() {
 : <a class="el" href="namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba">SVF</a>
 </li>
 <li>raw_pointer_iterator
-: <a class="el" href="namespacellvm.html#aca4a1c40c795d723338628e5e405757c">llvm</a>
+: <a class="el" href="namespaceSVF.html#af3b0c055d852656a062bf784222a4fea">SVF</a>
 </li>
 <li>ResumeInst
 : <a class="el" href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa">SVF</a>

package/SVF-doxygen/html/html/namespacemembers_v.html

@@ -104,7 +104,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a2abbe4ed46b2031a981d93b3ba9d3fbd">SVF::LLVMUtil</a>
 </li>
 <li>ViewGraph()
-: <a class="el" href="namespacellvm.html#a470c5592e4cd36a22901d15832b9c41b">llvm</a>
+: <a class="el" href="namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e">SVF</a>
 </li>
 <li>VTableSet
 : <a class="el" href="namespaceSVF.html#a340a9e77adc2bbfdee79e22da9ead234">SVF</a>

package/SVF-doxygen/html/html/namespacemembers_w.html

@@ -68,7 +68,7 @@ $(function() {
 : <a class="el" href="namespaceSVF.html#a221270d70aa99a37738c0f919519a73d">SVF</a>
 </li>
 <li>WriteGraph()
-: <a class="el" href="namespacellvm.html#a8532ada875ed55f0d803315ae7c39f39">llvm</a>
+: <a class="el" href="namespaceSVF.html#a587614f74cb00a35a423559265239798">SVF</a>
 </li>
 <li>writeWrnMsg()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a077caa1b10ab84d101d79fc7ea50db2d">SVF::SVFUtil</a>

package/SVF-doxygen/html/html/namespaces.html

@@ -64,14 +64,14 @@ $(function() {
 <div class="contents">
 <div class="textblock">Here is a list of all namespaces with brief descriptions:</div><div class="directory">
 <div class="levels">[detail level <span onclick="javascript:toggleLevel(1);">1</span><span onclick="javascript:toggleLevel(2);">2</span><span onclick="javascript:toggleLevel(3);">3</span>]</div><table class="directory">
-<tr id="row_0_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_0_" class="arrow" onclick="toggleFolder('0_')">&#9660;</span><span class="icona"><span class="icon">N</span></span><a class="el" href="namespacellvm.html" target="_self">llvm</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">N</span></span><a class="el" href="namespacellvm_1_1DOT.html" target="_self">DOT</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">N</span></span><a class="el" href="namespacellvm_1_1GraphProgram.html" target="_self">GraphProgram</a></td><td class="desc"></td></tr>
+<tr id="row_0_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">N</span></span><a class="el" href="namespacellvm.html" target="_self">llvm</a></td><td class="desc"></td></tr>
 <tr id="row_1_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_1_" class="arrow" onclick="toggleFolder('1_')">&#9660;</span><span class="icona"><span class="icon">N</span></span><a class="el" href="namespaceSVF.html" target="_self">SVF</a></td><td class="desc">For isBitcode </td></tr>
 <tr id="row_1_0_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_1_0_" class="arrow" onclick="toggleFolder('1_0_')">&#9660;</span><span class="icona"><span class="icon">N</span></span><a class="el" href="namespaceSVF_1_1cppUtil.html" target="_self">cppUtil</a></td><td class="desc"></td></tr>
 <tr id="row_1_0_0_"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">N</span></span><a class="el" href="namespaceSVF_1_1cppUtil_1_1ctir.html" target="_self">ctir</a></td><td class="desc"></td></tr>
-<tr id="row_1_1_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">N</span></span><a class="el" href="namespaceSVF_1_1LLVMUtil.html" target="_self">LLVMUtil</a></td><td class="desc"></td></tr>
-<tr id="row_1_2_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">N</span></span><a class="el" href="namespaceSVF_1_1SVFUtil.html" target="_self">SVFUtil</a></td><td class="desc"></td></tr>
+<tr id="row_1_1_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">N</span></span><a class="el" href="namespaceSVF_1_1DOT.html" target="_self">DOT</a></td><td class="desc"></td></tr>
+<tr id="row_1_2_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">N</span></span><a class="el" href="namespaceSVF_1_1GraphProgram.html" target="_self">GraphProgram</a></td><td class="desc"></td></tr>
+<tr id="row_1_3_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">N</span></span><a class="el" href="namespaceSVF_1_1LLVMUtil.html" target="_self">LLVMUtil</a></td><td class="desc"></td></tr>
+<tr id="row_1_4_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">N</span></span><a class="el" href="namespaceSVF_1_1SVFUtil.html" target="_self">SVFUtil</a></td><td class="desc"></td></tr>
 </table>
 </div><!-- directory -->
 </div><!-- contents -->

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

@@ -68,7 +68,7 @@ $(function() {
 <div class="contents">
 <a href="saber_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="comment">//===- saber.cpp -- Source-sink bug checker------------------------------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment">//                     SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-2017&gt;  &lt;Yulei Sui&gt;</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;</div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment">// This program is free software: you can redistribute it and/or modify</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="comment">// it under the terms of the GNU General Public License as published by</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment">// GNU General Public License for more details.</span></div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="comment">// You should have received a copy of the GNU General Public License</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="comment">// along with this program.  If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="comment">//===-----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="comment"> // Saber: Software Bug Check.</span></div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="comment"> //</span></div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="comment"> // Author: Yulei Sui,</span></div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="LLVMUtil_8h.html">SVF-LLVM/LLVMUtil.h</a>&quot;</span></div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SVFIRBuilder_8h.html">SVF-LLVM/SVFIRBuilder.h</a>&quot;</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="LeakChecker_8h.html">SABER/LeakChecker.h</a>&quot;</span></div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="FileChecker_8h.html">SABER/FileChecker.h</a>&quot;</span></div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="DoubleFreeChecker_8h.html">SABER/DoubleFreeChecker.h</a>&quot;</span></div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="Options_8h.html">Util/Options.h</a>&quot;</span></div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="Z3Expr_8h.html">Util/Z3Expr.h</a>&quot;</span></div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespacellvm.html">llvm</a>;</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespaceSVF.html">SVF</a>;</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;<span class="keyword">static</span> llvm::cl::opt&lt;std::string&gt; <a class="code" href="saber_8cpp.html#a2d332c504284f0bc181289ee67479845">InputFilename</a>(cl::Positional,</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;        llvm::cl::desc(<span class="stringliteral">&quot;&lt;input bitcode&gt;&quot;</span>), llvm::cl::init(<span class="stringliteral">&quot;-&quot;</span>));</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;<span class="keyword">static</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="saber_8cpp.html#a3bebf1fb890054c49ae16f9706fa38d2">LEAKCHECKER</a>(<span class="stringliteral">&quot;leak&quot;</span>, llvm::cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;                                       llvm::cl::desc(<span class="stringliteral">&quot;Memory Leak Detection&quot;</span>));</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;<span class="keyword">static</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="saber_8cpp.html#ae054770c30aa9b9ef72d5bc84084b472">FILECHECKER</a>(<span class="stringliteral">&quot;fileck&quot;</span>, llvm::cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;                                       llvm::cl::desc(<span class="stringliteral">&quot;File Open/Close Detection&quot;</span>));</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;<span class="keyword">static</span> llvm::cl::opt&lt;bool&gt; <a class="code" href="saber_8cpp.html#ae783b2330e99490ef5d366605d1098cf">DFREECHECKER</a>(<span class="stringliteral">&quot;dfree&quot;</span>, llvm::cl::init(<span class="keyword">false</span>),</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;                                        llvm::cl::desc(<span class="stringliteral">&quot;Double Free Detection&quot;</span>));</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;</div><div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">   53</a></span>&#160;<span class="keywordtype">int</span> <a class="code" href="saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a>(<span class="keywordtype">int</span> argc, <span class="keywordtype">char</span> ** argv)</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;{</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;    <span class="keywordtype">int</span> arg_num = 0;</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    <span class="keywordtype">char</span> **arg_value = <span class="keyword">new</span> <span class="keywordtype">char</span>*[argc];</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;    std::vector&lt;std::string&gt; moduleNameVec;</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    <a class="code" href="namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732">LLVMUtil::processArguments</a>(argc, argv, arg_num, arg_value, moduleNameVec);</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    cl::ParseCommandLineOptions(arg_num, arg_value,</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;                                <span class="stringliteral">&quot;Source-Sink Bug Detector\n&quot;</span>);</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    <span class="keywordflow">if</span> (Options::WriteAnder == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;    {</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;        LLVMModuleSet::getLLVMModuleSet()-&gt;preProcessBCs(moduleNameVec);</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    }</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* svfModule = LLVMModuleSet::getLLVMModuleSet()-&gt;buildSVFModule(moduleNameVec);</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    <a class="code" href="classSVF_1_1SVFIRBuilder.html">SVFIRBuilder</a> builder(svfModule);</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = builder.<a class="code" href="classSVF_1_1SVFIRBuilder.html#a5ecf1deb5646ccb46b0b3101417f4689">build</a>();</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;    <a class="code" href="classSVF_1_1LeakChecker.html">LeakChecker</a> *saber;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="saber_8cpp.html#a3bebf1fb890054c49ae16f9706fa38d2">LEAKCHECKER</a>)</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;        saber = <span class="keyword">new</span> <a class="code" href="classSVF_1_1LeakChecker.html">LeakChecker</a>();</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="saber_8cpp.html#ae054770c30aa9b9ef72d5bc84084b472">FILECHECKER</a>)</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;        saber = <span class="keyword">new</span> <a class="code" href="classSVF_1_1FileChecker.html">FileChecker</a>();</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="saber_8cpp.html#ae783b2330e99490ef5d366605d1098cf">DFREECHECKER</a>)</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        saber = <span class="keyword">new</span> <a class="code" href="classSVF_1_1DoubleFreeChecker.html">DoubleFreeChecker</a>();</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        saber = <span class="keyword">new</span> <a class="code" href="classSVF_1_1LeakChecker.html">LeakChecker</a>();  <span class="comment">// if no checker is specified, we use leak checker as the default one.</span></div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    saber-&gt;<a class="code" href="classSVF_1_1LeakChecker.html#a1a4e10da2b2265a5d1aca6d54e622fda">runOnModule</a>(pag);</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;}</div><div class="ttc" id="classSVF_1_1LeakChecker_html"><div class="ttname"><a href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></div><div class="ttdef"><b>Definition:</b> <a href="LeakChecker_8h_source.html#l00042">LeakChecker.h:42</a></div></div>
 <div class="ttc" id="classSVF_1_1DoubleFreeChecker_html"><div class="ttname"><a href="classSVF_1_1DoubleFreeChecker.html">SVF::DoubleFreeChecker</a></div><div class="ttdef"><b>Definition:</b> <a href="DoubleFreeChecker_8h_source.html#l00042">DoubleFreeChecker.h:42</a></div></div>
-<div class="ttc" id="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00192">CFLGraph.h:192</a></div></div>
+<div class="ttc" id="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00013">GEPTypeBridgeIterator.h:13</a></div></div>
 <div class="ttc" id="classSVF_1_1LeakChecker_html_a1a4e10da2b2265a5d1aca6d54e622fda"><div class="ttname"><a href="classSVF_1_1LeakChecker.html#a1a4e10da2b2265a5d1aca6d54e622fda">SVF::LeakChecker::runOnModule</a></div><div class="ttdeci">virtual bool runOnModule(SVFIR *pag)</div><div class="ttdoc">We start from here. </div><div class="ttdef"><b>Definition:</b> <a href="LeakChecker_8h_source.html#l00068">LeakChecker.h:68</a></div></div>
 <div class="ttc" id="classSVF_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#l00051">SVFIRBuilder.cpp:51</a></div></div>
 <div class="ttc" id="saber_8cpp_html_a2d332c504284f0bc181289ee67479845"><div class="ttname"><a href="saber_8cpp.html#a2d332c504284f0bc181289ee67479845">InputFilename</a></div><div class="ttdeci">static llvm::cl::opt&lt; std::string &gt; InputFilename(cl::Positional, llvm::cl::desc(&quot;&lt;input bitcode&gt;&quot;), llvm::cl::init(&quot;-&quot;))</div></div>

package/SVF-doxygen/html/html/search/all_1.js

@@ -88,7 +88,7 @@ var searchData=
   ['addcptstocallsiterefs',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a94ce7ceff7cee90d672e9f3a4f3aa4e8',1,'SVF::MRGenerator']]],
   ['addcptstoload',['addCPtsToLoad',['../classSVF_1_1MRGenerator.html#a79a3032b50f7ef905213b770b12e0967',1,'SVF::MRGenerator']]],
   ['addcptstostore',['addCPtsToStore',['../classSVF_1_1MRGenerator.html#af50efed3af17806a3ba3f668e4466d3e',1,'SVF::MRGenerator']]],
-  ['addcustomgraphfeatures',['addCustomGraphFeatures',['../structllvm_1_1DefaultDOTGraphTraits.html#ae2bdfe5fa774a3dc5aad9a8465b50011',1,'llvm::DefaultDOTGraphTraits']]],
+  ['addcustomgraphfeatures',['addCustomGraphFeatures',['../structSVF_1_1DefaultDOTGraphTraits.html#a47ee60dc78e3f869ce4e808e73437ddf',1,'SVF::DefaultDOTGraphTraits']]],
   ['addcxtlock',['addCxtLock',['../classSVF_1_1LockAnalysis.html#a6b8d03d75751635e492dbda47e2d543e',1,'SVF::LockAnalysis']]],
   ['addcxtofcxtthread',['addCxtOfCxtThread',['../classSVF_1_1TCT.html#a2978381d69a9fd1fcee6a1258bc3bb5c',1,'SVF::TCT']]],
   ['addcxtstmttospan',['addCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a718d6f2f55c1e2e7eb619c3e056ab458',1,'SVF::LockAnalysis']]],