svf-tools 1.0.595 → 1.0.597

package/SVF-doxygen/html/html/functions_func_o.html

@@ -86,6 +86,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1PointsTo.html#a164aced0d6a19dd7ba8124ec2e77674c">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1SparseBitVector.html#a1f7e6424f8bfc68589a9947b26e0b62f">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 </li>
+<li>operator ReferenceT()
+: <a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#a6889cc9eba9892a3fc372f5353bc4dc6">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;::ReferenceProxy</a>
+</li>
 <li>operator u32_t()
 : <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a7ba35f7585b191a29573a9e116aa927f">SVF::GrammarBase::Symbol</a>
 </li>
@@ -108,6 +111,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CxtThreadStmt.html#ab900fccf35773064aae491d552df3825">SVF::CxtThreadStmt</a>
 , <a class="el" href="classSVF_1_1DPItem.html#add804064ca2bfaa16bcc25503698a1ea">SVF::DPItem</a>
 , <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a0c53c26afedc5ada95b32fa2d3b6e136">SVF::GrammarBase::Symbol</a>
+, <a class="el" href="classSVF_1_1iter__facade__base.html#a84d45b0f8c02a1c892d5e7f5104696ed">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#a888f05fe8da4b95c44226f3c69469c75">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#aa90476b4c0e75a256f8ff855f99ca970">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1SparseBitVector.html#abfb058304c4b174d162a94c0cc26d2f7">SVF::SparseBitVector&lt; ElementSize &gt;</a>
@@ -156,25 +160,45 @@ $(function() {
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aef8babf0bd09f63692e99d3ec563b193">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#aaaed8caef122453b5ff543826e1757e0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 , <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aec0b2c6ebcf16734a69a54613a18b33e">SVF::CoreBitVector::CoreBitVectorIterator</a>
+, <a class="el" href="classSVF_1_1iter__adaptor__base.html#adcb4657aff726d8f7eb0dc3f1dd4ff47">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+, <a class="el" href="classSVF_1_1mapped__iter.html#a1c166c16e98b4bb82d986d459abea89f">SVF::mapped_iter&lt; ItTy, FuncTy, FuncReturnTy &gt;</a>
+, <a class="el" href="structSVF_1_1pointee__iter.html#a3e5e7a02b9af71f37213d12f4f18ceb4">SVF::pointee_iter&lt; WrappedIteratorT, T &gt;</a>
+, <a class="el" href="classSVF_1_1pointer__iterator.html#a12bae66eedebffd73730d091d99e3c9a">SVF::pointer_iterator&lt; WrappedIteratorT, T &gt;</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a06c8e8c242c5de90c307665f589e3180">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#ab1f0f55fdfef6b2d64d0a715483f5da4">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>operator+()
-: <a class="el" href="classSVF_1_1LocationSet.html#a67387c3b42fcc1bb3ee8fe85bda02ba8">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1iter__facade__base.html#aa9d4c4b13e555b7979672c20d9a40a24">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+, <a class="el" href="classSVF_1_1LocationSet.html#a67387c3b42fcc1bb3ee8fe85bda02ba8">SVF::LocationSet</a>
 </li>
 <li>operator++()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a4616da5f93bb639271c23f634e6e647e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#abd22ed3c5dc9f35968c9a179d292b764">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 , <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a0afff5162af357634e7213e85b5371c7">SVF::CoreBitVector::CoreBitVectorIterator</a>
+, <a class="el" href="classSVF_1_1iter__adaptor__base.html#aa7c90c34509467d719ee0d84fe19d764">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+, <a class="el" href="classSVF_1_1iter__facade__base.html#aabe92262cb9990f3c7d92bf2e9997417">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a754d85d463ebdbecfaab41aac106f14f">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6638115d9d80e0f7b0cff50e06ccd891">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
+<li>operator+=()
+: <a class="el" href="classSVF_1_1iter__adaptor__base.html#a086291a49b72cd4705eab444a356d340">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+</li>
+<li>operator-()
+: <a class="el" href="classSVF_1_1iter__adaptor__base.html#aa870b13f5304a62dfd9f5aa535df3e90">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+, <a class="el" href="classSVF_1_1iter__facade__base.html#af12e184fc89401f62c079181ff981475">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+</li>
+<li>operator--()
+: <a class="el" href="classSVF_1_1iter__adaptor__base.html#a1c035596091af80262b234384268e3bc">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+, <a class="el" href="classSVF_1_1iter__facade__base.html#affa36a9a632684c92c334b52f764626d">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+</li>
 <li>operator-=()
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a5b87ae9d4a713483522666c893d7eac9">SVF::CoreBitVector</a>
+, <a class="el" href="classSVF_1_1iter__adaptor__base.html#a6e0780ec078108f693b34c8ecf10d710">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#a21244b7b04d6aa01787a11d116bc9952">SVF::PointsTo</a>
 </li>
 <li>operator-&gt;()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a7407c9a10bc872bcf03a2a4e67c2c188">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
+, <a class="el" href="classSVF_1_1iter__facade__base.html#a7a44b9bf5f2a7c367baad3a3066c2b6b">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 </li>
 <li>operator&lt;()
 : <a class="el" href="classSVF_1_1CallSite.html#ab09ca7986f5b924b6c6b57e492f06c07">SVF::CallSite</a>
@@ -197,6 +221,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1StmtDPItem.html#af92976dc7a8785165cefb047e742cdf6">SVF::StmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#a6640840300cf03186ceb7a2dbc75e875">SVF::SVFGNodeLockSpan</a>
 </li>
+<li>operator&lt;=()
+: <a class="el" href="classSVF_1_1iter__facade__base.html#adee425f22948da744f8aa100719c83cf">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+</li>
 <li>operator=()
 : <a class="el" href="classSVF_1_1ActualRetVFGNode.html#a4549da69c84064b914e9b4df9350ab6f">SVF::ActualRetVFGNode</a>
 , <a class="el" href="classSVF_1_1AddrCGEdge.html#a7f2959e08f010e5c30dcb76c6fbf6732">SVF::AddrCGEdge</a>
@@ -219,15 +246,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1CopyStmt.html#a96205e0ffb3001de306e856090dbf277">SVF::CopyStmt</a>
 , <a class="el" href="classSVF_1_1CopyVFGNode.html#a9029b5166ae4e76a4506050c310a1f3a">SVF::CopyVFGNode</a>
 , <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#adb5a17e5916052f49390d6e99ff47b22">SVF::CoreBitVector::CoreBitVectorIterator</a>
-, <a class="el" href="classSVF_1_1CoreBitVector.html#a3594d997fba0aa6201855199a884d98d">SVF::CoreBitVector</a>
-, <a class="el" href="classSVF_1_1CxtDPItem.html#abe0913f8d672a079fa674dbcc3e1b3db">SVF::CxtDPItem</a>
+, <a class="el" href="classSVF_1_1CoreBitVector.html#ae14cc9ce0abbad20636c51e6ca781305">SVF::CoreBitVector</a>
+, <a class="el" href="classSVF_1_1CxtDPItem.html#a36b56d1dde3eefa8e8197b7ccabff273">SVF::CxtDPItem</a>
 , <a class="el" href="classSVF_1_1CxtProc.html#a617c7ee432ac89cf419dfad47854e3a5">SVF::CxtProc</a>
 , <a class="el" href="classSVF_1_1CxtStmt.html#a4f431c7b6f3434eff34b4cea6853066b">SVF::CxtStmt</a>
 , <a class="el" href="classSVF_1_1CxtStmtDPItem.html#aef8f7d034bdd10730e3ff1a2ae52350c">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1CxtThread.html#a3c22e59962a9c638a0f1b516c25aec8f">SVF::CxtThread</a>
 , <a class="el" href="classSVF_1_1CxtThreadProc.html#a439a27864cb18accba5f8fe706c1e74b">SVF::CxtThreadProc</a>
 , <a class="el" href="classSVF_1_1CxtThreadStmt.html#a894849e24d01f80463a207e0c8f2548f">SVF::CxtThreadStmt</a>
-, <a class="el" href="classSVF_1_1DPItem.html#a3010d11982d57284627fc601ede9d811">SVF::DPItem</a>
+, <a class="el" href="classSVF_1_1DPItem.html#a10226d37dfef045bec9f7cfb78315440">SVF::DPItem</a>
 , <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a599d139a7973dfc09c5db18a60aba3dd">SVF::FormalRetVFGNode</a>
 , <a class="el" href="classSVF_1_1GepCGEdge.html#ab9b230aa38c6fe45914cfb2c52c70e5b">SVF::GepCGEdge</a>
 , <a class="el" href="classSVF_1_1GepStmt.html#aad988829009a31f173e3908461e3a7e8">SVF::GepStmt</a>
@@ -240,7 +267,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MultiOpndStmt.html#afbd0d606112605bf355f4a9de6b44406">SVF::MultiOpndStmt</a>
 , <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a7f3a388e37e497fc5874e9f392901a39">SVF::NormalGepCGEdge</a>
 , <a class="el" href="classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170">SVF::PhiStmt</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#ab06c71c3d1ab7ef2a67fc00b42f4be72">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465">SVF::RetPE</a>
 , <a class="el" href="classSVF_1_1SelectStmt.html#ae3dd9ff3908218082b8c71c0ec7ef252">SVF::SelectStmt</a>
@@ -277,7 +304,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CxtThreadStmt.html#af8f221ea17599dfb678922e1bad37f35">SVF::CxtThreadStmt</a>
 , <a class="el" href="classSVF_1_1DPItem.html#ad67fcd340351360555b0cb88f57b183a">SVF::DPItem</a>
 , <a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">SVF::GenericEdge&lt; NodeTy &gt;</a>
-, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a09f8568b3cdca65069b38879cfe57a53">SVF::GrammarBase::Symbol</a>
+, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a95c544fcb78fd49a7fc753486a71e461">SVF::GrammarBase::Symbol</a>
 , <a class="el" href="classSVF_1_1LocationSet.html#a1b141afb9a38d12423f66b2dfe6bf232">SVF::LocationSet</a>
 , <a class="el" href="classSVF_1_1MemObj.html#a1a8601b72b6e6df211db1fffdd54c48b">SVF::MemObj</a>
 , <a class="el" href="classSVF_1_1MemRegion.html#affa3a8efd91faf5704e514f1e83fead9">SVF::MemRegion</a>
@@ -289,14 +316,21 @@ $(function() {
 , <a class="el" href="classSVF_1_1StmtDPItem.html#afd63ae0d881101d6c61709b9ac25dbf8">SVF::StmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#a880f9eec9d0c4835b7a524eeb801396d">SVF::SVFGNodeLockSpan</a>
 </li>
+<li>operator&gt;()
+: <a class="el" href="classSVF_1_1iter__facade__base.html#a5358c586434e85a8d0989b7d319def2f">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+</li>
+<li>operator&gt;=()
+: <a class="el" href="classSVF_1_1iter__facade__base.html#ab5d48611f6ef4aac65614576ab17b2e6">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+</li>
 <li>operator[]()
 : <a class="el" href="classSVF_1_1ContextCond.html#a62cc1c7c01d454e9cbebd3f7f5f3aa1f">SVF::ContextCond</a>
+, <a class="el" href="classSVF_1_1iter__facade__base.html#a0ebfb2b2165a04b53d6813badb14dc25">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 </li>
 <li>operator|=()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#af8e63360242a49fb63c3ef3d7071503d">SVF::CoreBitVector</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#aa8644057ec182382e3c34e90d7d61ade">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#a687b34cac3c43dd957b86a4833a24871">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1SparseBitVector.html#a48668ff6f168162bd8f13cf860749090">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 </li>
 <li>opPts()
@@ -331,7 +365,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Z3Expr.html#ac063ed06c3495b790c02fe57c781b34e">SVF::Z3Expr</a>
 </li>
 <li>OutEdgeBegin()
-: <a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeEnd()
 : <a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>

package/SVF-doxygen/html/html/functions_func_p.html

@@ -169,6 +169,12 @@ $(function() {
 <li>plainMap()
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a5a8688102f3675cf414b01dc2ae51c6b">SVF::FlowSensitive</a>
 </li>
+<li>pointee_iter()
+: <a class="el" href="structSVF_1_1pointee__iter.html#a99d911b02890643ba8680b140999b59e">SVF::pointee_iter&lt; WrappedIteratorT, T &gt;</a>
+</li>
+<li>pointer_iterator()
+: <a class="el" href="classSVF_1_1pointer__iterator.html#aad755d2a1529f02fa405434df1329236">SVF::pointer_iterator&lt; WrappedIteratorT, T &gt;</a>
+</li>
 <li>PointerAnalysis()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a14e2a209cb594f91a24ef09b12f82f3f">SVF::PointerAnalysis</a>
 </li>
@@ -179,7 +185,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointsTo.html#a05aa807f21f311eb50ff11dde98b8d22">SVF::PointsTo</a>
 </li>
 <li>PointsToIterator()
-: <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a3974dee7680da3a43b58932766e77a16">SVF::PointsTo::PointsToIterator</a>
+: <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a19f371ccb5b1c84fb4adfd5b0c8a3eec">SVF::PointsTo::PointsToIterator</a>
 </li>
 <li>pop()
 : <a class="el" href="classSVF_1_1CFLFIFOWorkList.html#a8ccf884ed6bc0d172f3c2999717f9cff">SVF::CFLFIFOWorkList&lt; Data &gt;</a>
@@ -238,7 +244,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a1e24131ab0a212df00889e32e6ee04f9">SVF::SymbolTableInfo</a>
 </li>
 <li>PrintGraph()
-: <a class="el" href="classllvm_1_1GraphPrinter.html#ad950fc901ea4aabb6d6cdad8f883d381">llvm::GraphPrinter</a>
+: <a class="el" href="classSVF_1_1GraphPrinter.html#adfa13bfbe85566fa5917280c5d2444da">SVF::GraphPrinter</a>
 </li>
 <li>printIndCSTargets()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a84edebc59e29f2cc1b89a699b8641f30">SVF::PointerAnalysis</a>

package/SVF-doxygen/html/html/functions_func_r.html

@@ -100,6 +100,9 @@ $(function() {
 <li>recordRemovingEdge()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a97179139a6395a7062d3200c23d4b69d">SVF::MTASVFGBuilder</a>
 </li>
+<li>ReferenceProxy()
+: <a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aabce5b9a8700ecf1415a92ce45b384a2">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;::ReferenceProxy</a>
+</li>
 <li>regionObjects()
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a7d34542f34a8e8008119c3d61943daa2">SVF::NodeIDAllocator::Clusterer</a>
 </li>
@@ -288,8 +291,11 @@ $(function() {
 <li>RenamePhiRes()
 : <a class="el" href="classSVF_1_1MemSSA.html#a630be375832b1477989af85dce6760f3">SVF::MemSSA</a>
 </li>
+<li>renderGraphFromBottomUp()
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0">SVF::DefaultDOTGraphTraits</a>
+</li>
 <li>rep()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a22079b5877606f469c0f8a851e55215b">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aae671732173cc6f958612ac934a6b503">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a0495f912a9084b21327f678b47ef7e07">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>replaceFParamARetWithPHI()

package/SVF-doxygen/html/html/functions_func_s.html

@@ -238,9 +238,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#a49cae8f70144639f529956478a8fca2b">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#aa04deb39cd024c051f30ac43d1d62b34">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
-<li>setHasName()
-: <a class="el" href="classSVF_1_1SVFValue.html#afe3fb992ad104c32520172ebd92c2588">SVF::SVFValue</a>
-</li>
 <li>setICFG()
 : <a class="el" href="classSVF_1_1SVFIR.html#a756ae2b40ec29f2f92c95919f615e5ec">SVF::SVFIR</a>
 </li>
@@ -516,7 +513,7 @@ $(function() {
 : <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a4ec765790960025d3468866c326ab87b">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
 </li>
 <li>SparseBitVectorIterator()
-: <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5fe4841ca223f13c2aeec4c6e69a7b43">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aa482a56540a5279f71d93884b57f46ef">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>spawneesBegin()
 : <a class="el" href="classSVF_1_1PCG.html#a45932c2f1a05398b4ad8753dcb621a1f">SVF::PCG</a>
@@ -581,25 +578,25 @@ $(function() {
 : <a class="el" href="classSVF_1_1Steensgaard.html#ac79e21396243dfa969136daee5ecdbd4">SVF::Steensgaard</a>
 </li>
 <li>StInfo()
-: <a class="el" href="classSVF_1_1StInfo.html#a8c6d6933ad2c4be044d0a3557736e28d">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#a72dd2114d61e1489676a524b83ebb5ac">SVF::StInfo</a>
 </li>
 <li>StmtDPItem()
-: <a class="el" href="classSVF_1_1StmtDPItem.html#aed9239e5558569f6e957e691fa1872d7">SVF::StmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1StmtDPItem.html#a3882dc175baaccfa1f811dcbfef98f71">SVF::StmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>StmtVFGNode()
 : <a class="el" href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">SVF::StmtVFGNode</a>
 </li>
 <li>StoreCGEdge()
-: <a class="el" href="classSVF_1_1StoreCGEdge.html#afdba4e02b1ccdc19fdc18bbe43363e79">SVF::StoreCGEdge</a>
+: <a class="el" href="classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815">SVF::StoreCGEdge</a>
 </li>
 <li>StoreCHI()
 : <a class="el" href="classSVF_1_1StoreCHI.html#a83f353ef765d6c57b07d9f1996e02444">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
 <li>StoreStmt()
-: <a class="el" href="classSVF_1_1StoreStmt.html#a39ee0d8cc951aff0d6418a3d743fb3ae">SVF::StoreStmt</a>
+: <a class="el" href="classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42">SVF::StoreStmt</a>
 </li>
 <li>StoreVFGNode()
-: <a class="el" href="classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a">SVF::StoreVFGNode</a>
+: <a class="el" href="classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd">SVF::StoreVFGNode</a>
 </li>
 <li>str2Kind()
 : <a class="el" href="classSVF_1_1GrammarBase.html#ad2d56d8cdc4539d4201d1995fb36e772">SVF::GrammarBase</a>
@@ -633,7 +630,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFArrayType.html#a2cbe7feac254dabd3742121bfc871d06">SVF::SVFArrayType</a>
 </li>
 <li>SVFBasicBlock()
-: <a class="el" href="classSVF_1_1SVFBasicBlock.html#aaf00caa4803939dd655b45c349575a19">SVF::SVFBasicBlock</a>
+: <a class="el" href="classSVF_1_1SVFBasicBlock.html#ae87740af3d1d7f9d1342e31b551dc4d7">SVF::SVFBasicBlock</a>
 </li>
 <li>SVFBlackHoleValue()
 : <a class="el" href="classSVF_1_1SVFBlackHoleValue.html#ad45a296930846892ece8e40c90253622">SVF::SVFBlackHoleValue</a>
@@ -642,19 +639,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFCallInst.html#a1f50ddbbe2e2489b2586fcef07cb57f5">SVF::SVFCallInst</a>
 </li>
 <li>SVFConstant()
-: <a class="el" href="classSVF_1_1SVFConstant.html#a8981bda3ca80a7eb07285138d8218ffa">SVF::SVFConstant</a>
+: <a class="el" href="classSVF_1_1SVFConstant.html#a71fcd1abcde6dfc35f2da9fb25227165">SVF::SVFConstant</a>
 </li>
 <li>SVFConstantData()
-: <a class="el" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVF::SVFConstantData</a>
+: <a class="el" href="classSVF_1_1SVFConstantData.html#af2abe8e7f6d994677f4c93e2be11afac">SVF::SVFConstantData</a>
 </li>
 <li>SVFConstantFP()
-: <a class="el" href="classSVF_1_1SVFConstantFP.html#a25657c39dd158866cd5d0958b301573e">SVF::SVFConstantFP</a>
+: <a class="el" href="classSVF_1_1SVFConstantFP.html#a815feae0cca159fb0f3f74731c2cea1f">SVF::SVFConstantFP</a>
 </li>
 <li>SVFConstantInt()
-: <a class="el" href="classSVF_1_1SVFConstantInt.html#ad9338bb99a77d76d1c83275d8a32f7d2">SVF::SVFConstantInt</a>
+: <a class="el" href="classSVF_1_1SVFConstantInt.html#adf494cdb9fc8a4e0241f81c4fc3133c1">SVF::SVFConstantInt</a>
 </li>
 <li>SVFConstantNullPtr()
-: <a class="el" href="classSVF_1_1SVFConstantNullPtr.html#ae853223a57df1816c3d382113b7b7b70">SVF::SVFConstantNullPtr</a>
+: <a class="el" href="classSVF_1_1SVFConstantNullPtr.html#af1f3339ef1e27302e4c9145353774ecd">SVF::SVFConstantNullPtr</a>
 </li>
 <li>SVFFunction()
 : <a class="el" href="classSVF_1_1SVFFunction.html#a6aefcab4d391e4e9c5cbab151895a1e8">SVF::SVFFunction</a>
@@ -687,7 +684,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03">SVF::SVFGStat</a>
 </li>
 <li>SVFInstruction()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#af12f1d63483901bd33a42f04bccddeb8">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVF::SVFInstruction</a>
 </li>
 <li>SVFIntergerType()
 : <a class="el" href="classSVF_1_1SVFIntergerType.html#a4d0548bce2f5cf88d734800d61a6a613">SVF::SVFIntergerType</a>
@@ -705,7 +702,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#a2b5c892437d21ece0a9e0ae7a285b622">SVF::SVFLoopAndDomInfo</a>
 </li>
 <li>SVFMetadataAsValue()
-: <a class="el" href="classSVF_1_1SVFMetadataAsValue.html#adc92d08f450556000a4386294c6c4370">SVF::SVFMetadataAsValue</a>
+: <a class="el" href="classSVF_1_1SVFMetadataAsValue.html#a971ae595fc62da1e4fc49b675c54dee4">SVF::SVFMetadataAsValue</a>
 </li>
 <li>SVFModule()
 : <a class="el" href="classSVF_1_1SVFModule.html#a22b214595dd7841eb974e7c633ed8bb1">SVF::SVFModule</a>
@@ -744,7 +741,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">SVF::GrammarBase</a>
 </li>
 <li>Symbol()
-: <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">SVF::GrammarBase::Symbol</a>
+: <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767">SVF::GrammarBase::Symbol</a>
 </li>
 <li>SymbolInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo</a>

package/SVF-doxygen/html/html/functions_func_w.html

@@ -82,8 +82,29 @@ $(function() {
 <li>WPASolver()
 : <a class="el" href="classSVF_1_1WPASolver.html#a0c5616b0e340955dafc2ab2f21740abd">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
+<li>wrapped()
+: <a class="el" href="classSVF_1_1iter__adaptor__base.html#afa1dc067ea97ae5db1e2618e47be1525">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+</li>
+<li>writeEdge()
+: <a class="el" href="classSVF_1_1GraphWriter.html#a6133d0033363b0e9db156c354da7d7e6">SVF::GraphWriter&lt; GraphType &gt;</a>
+</li>
+<li>writeFooter()
+: <a class="el" href="classSVF_1_1GraphWriter.html#a5c3ce0eba24c71f847676b23b855e44c">SVF::GraphWriter&lt; GraphType &gt;</a>
+</li>
+<li>writeGraph()
+: <a class="el" href="classSVF_1_1GraphWriter.html#ae414407f483b60c9fa49e2f3ae62de30">SVF::GraphWriter&lt; GraphType &gt;</a>
+</li>
 <li>WriteGraphToFile()
-: <a class="el" href="classllvm_1_1GraphPrinter.html#af6ed328e74882d2b5e2b4039cb836928">llvm::GraphPrinter</a>
+: <a class="el" href="classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10">SVF::GraphPrinter</a>
+</li>
+<li>writeHeader()
+: <a class="el" href="classSVF_1_1GraphWriter.html#abd376959cc889e1e387523f38674650f">SVF::GraphWriter&lt; GraphType &gt;</a>
+</li>
+<li>writeNode()
+: <a class="el" href="classSVF_1_1GraphWriter.html#a18c579b53feccbb3b521982c6161f555">SVF::GraphWriter&lt; GraphType &gt;</a>
+</li>
+<li>writeNodes()
+: <a class="el" href="classSVF_1_1GraphWriter.html#ada2363727dc20c2183b8252f3bdf3a04">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
 <li>writePAGgepNode()
 : <a class="el" href="classSVF_1_1IRAnnotator.html#a958e9af846c882ef3eeba4d71ff7ef7d">SVF::IRAnnotator</a>