svf-tools 1.0.595 → 1.0.596

package/SVF-doxygen/html/html/functions_c.html

@@ -415,12 +415,12 @@ $(function() {
 <li>CFLEdgeDataTy
 : <a class="el" href="classSVF_1_1CFLNode.html#ade95ad99cb4d89e5eeb5ce7043e80852">SVF::CFLNode</a>
 </li>
-<li>CFLEdgeSet
-: <a class="el" href="classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14">SVF::CFLGraph</a>
-</li>
 <li>cflEdgeSet
 : <a class="el" href="classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe">SVF::CFLGraph</a>
 </li>
+<li>CFLEdgeSet
+: <a class="el" href="classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14">SVF::CFLGraph</a>
+</li>
 <li>CFLEdgeSetTy
 : <a class="el" href="classSVF_1_1CFLEdge.html#ab9bf30450121917228deca8a83a64ac0">SVF::CFLEdge</a>
 </li>
@@ -551,7 +551,8 @@ $(function() {
 , <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#af7353e7790e6d4828d76fc16bea16212">llvm::GraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;</a>
 </li>
 <li>child_iterator
-: <a class="el" href="classSVF_1_1GraphReachSolver.html#ad3fb81ac5017c6c3dc4b2b3b65b3ca04">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classllvm_1_1GraphWriter.html#a72ce38d44134ece4a898bc84c0c3a278">llvm::GraphWriter&lt; GraphType &gt;</a>
+, <a class="el" href="classSVF_1_1GraphReachSolver.html#ad3fb81ac5017c6c3dc4b2b3b65b3ca04">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#ac1274a90ddbea6f1f0b539710505d902">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#a78684539084301715a665f0aece23c8e">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPAMinimumSolver.html#ab16212294f1dab31215fe113b02f09c6">SVF::WPAMinimumSolver&lt; GraphType &gt;</a>
@@ -562,8 +563,8 @@ $(function() {
 : <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a03a1edb4d4b703eff1bdad004179c1ec">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a38abf60604b5f9b4bc992cb1d65a447b">llvm::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a73a500d1bdff303590f9dc8786e1f8c0">llvm::DOTGraphTraits&lt; TCT * &gt;</a>
-, <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a5c8f971fb6ca3682a9a0cd9694edc48b">llvm::GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;</a>
-, <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aec22c38e9fb74816d84a84e402ca562d">llvm::GraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;</a>
+, <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a62d135bf75ae93de38cf6f7f326967e6">llvm::GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;</a>
+, <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#adcfe8b2d350b25cfe9bf9fc6fa55fa03">llvm::GraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;</a>
 </li>
 <li>CHISet
 : <a class="el" href="classSVF_1_1MemSSA.html#af9cf084e3070456d8cca491e1391b0c4">SVF::MemSSA</a>
@@ -646,7 +647,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1BranchStmt.html#a750ffca6648fafedfb271fb90d975847">SVF::BranchStmt</a>
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#abaeefcd88c47e21065947f7587af2181">SVF::BranchVFGNode</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a6ba68138c10d1fbe5be6346c8dfeca74">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CallCFGEdge.html#a2d06b1b7913887fa0b147a5ec3098678">SVF::CallCFGEdge</a>
+, <a class="el" href="classSVF_1_1CallCFGEdge.html#a38b56212fb58934ee50079b1e69ad5ff">SVF::CallCFGEdge</a>
 , <a class="el" href="classSVF_1_1CallCHI.html#a7c0708ad9a2aa6278b1e7404340ca2ad">SVF::CallCHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CallDirSVFGEdge.html#a977cb840fbed0b89b445a1b7384d3352">SVF::CallDirSVFGEdge</a>
 , <a class="el" href="classSVF_1_1CallICFGNode.html#afb8bed9242cea8c927d14028526c19b9">SVF::CallICFGNode</a>
@@ -717,7 +718,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a656434f7b67aabf25f6dba400d95f2bb">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a174c3cac13c839863171621ea25e609f">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a28a8bf95351e295e65360bf16241a5da">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
-, <a class="el" href="classSVF_1_1PhiStmt.html#a904591799ce401e8d3ee6aa634325ba3">SVF::PhiStmt</a>
+, <a class="el" href="classSVF_1_1PhiStmt.html#ae547394a731d29b44565d3e56a326354">SVF::PhiStmt</a>
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#a522b90297d1a34858c9ae830cc24f1aa">SVF::PHIVFGNode</a>
 , <a class="el" href="classSVF_1_1PTACallGraphEdge.html#adb10c32eff8a794d9f2b1b4a47d85d21">SVF::PTACallGraphEdge</a>
 , <a class="el" href="classSVF_1_1RetCFGEdge.html#aa26fbdb6a5fc801eef8a7f59ea28bc3a">SVF::RetCFGEdge</a>
@@ -763,13 +764,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadForkEdge.html#a4d2c3601a3fd530d178ec00ee3e1bc5d">SVF::ThreadForkEdge</a>
 , <a class="el" href="classSVF_1_1ThreadJoinEdge.html#a0fb671c87fecd2fd9c2dab4187a47d37">SVF::ThreadJoinEdge</a>
 , <a class="el" href="classSVF_1_1ThreadMHPIndSVFGEdge.html#a4f7b0802389ce183635d5be2a40128bc">SVF::ThreadMHPIndSVFGEdge</a>
-, <a class="el" href="classSVF_1_1TypeAnalysis.html#a62f4d86457baa516e0fc5db0721dab5f">SVF::TypeAnalysis</a>
+, <a class="el" href="classSVF_1_1TypeAnalysis.html#ae14733ac9763b07a84ed9b5e297badf3">SVF::TypeAnalysis</a>
 , <a class="el" href="classSVF_1_1UnaryOPStmt.html#abb10688145fa76629916ec3df61b6c95">SVF::UnaryOPStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a01a9b0fd0189462e37ff51e232a5cda8">SVF::UnaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1ValVar.html#adbbf3c9ff5dcb10ac528d3eb4b69750c">SVF::ValVar</a>
 , <a class="el" href="classSVF_1_1VarArgPN.html#acaecf9e9d98c4a14fecee0877a72839c">SVF::VarArgPN</a>
 , <a class="el" href="classSVF_1_1VariantGepCGEdge.html#a5afc61b0781b222c70707a0ea765a4bd">SVF::VariantGepCGEdge</a>
-, <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#abe1874f12ba05b4f453604c6d91598d6">SVF::VersionedFlowSensitive</a>
+, <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#afd1e0d4445e1e50e95f816e51f8de3c8">SVF::VersionedFlowSensitive</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a385133d44ac2b5fcef007040da8c2fd6">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
 <li>cleanConsCG()
@@ -949,7 +950,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae03db88ef0ad0da2c31cf1623b32165f">SVF::LockAnalysis</a>
 </li>
 <li>collectCxtThreadTargets()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a430c03371b2b5b7300c5c3a68d633909">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a63ec4f6251cc95ee96aff15b4924abdc">SVF::MTAResultValidator</a>
 </li>
 <li>collectCycleInfo()
 : <a class="el" href="classSVF_1_1AndersenStat.html#ae35507bebe6a1a9a64ab379473c85cad">SVF::AndersenStat</a>
@@ -1059,7 +1060,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">SVF::LocationSet</a>
 </li>
 <li>computeDDAPts()
-: <a class="el" href="classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5">SVF::ContextDDA</a>
+: <a class="el" href="classSVF_1_1ContextDDA.html#ae0f3b07267ded5f0ee879c39effff864">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#a113faa56ee75eff39da19fd4b47a47e0">SVF::FlowDDA</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d">SVF::PointerAnalysis</a>
 </li>
@@ -1137,7 +1138,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SaberCondAllocator.html#a2e4c3f5149a5085a5c8bb7547eae8161">SVF::SaberCondAllocator</a>
 </li>
 <li>CondPointsToSet()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#a7217769c21c50c44f139006ec44d3a6f">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#a3670dc2bb046f2d3e0d27dc02b32e62f">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CondPosMap
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#aa330cc6a1a3c38601ebeb325ffd87221">SVF::SaberCondAllocator</a>
@@ -1158,10 +1159,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a8a3d10d0aaf4708e7e44bedc6be077e0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 </li>
 <li>CondStdSet()
-: <a class="el" href="classSVF_1_1CondStdSet.html#a3f1885562bb34c3ccbd15117788725e0">SVF::CondStdSet&lt; Element &gt;</a>
+: <a class="el" href="classSVF_1_1CondStdSet.html#a1f3e8aa09ca8e7f252525e35c4886c5b">SVF::CondStdSet&lt; Element &gt;</a>
 </li>
 <li>CondVar()
-: <a class="el" href="classSVF_1_1CondVar.html#a93101c4401ed4ced33d64b5726e9cd69">SVF::CondVar&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondVar.html#afd729e068419ed45bb9da8d5920f8674">SVF::CondVar&lt; Cond &gt;</a>
 </li>
 <li>connectAInAndFIn()
 : <a class="el" href="classSVF_1_1SVFG.html#ac9ab2a95cd7a09bbe4b4aa3e6fafaf62">SVF::SVFG</a>
@@ -1282,7 +1283,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a6443b9fadd2d34e00832b2215a120ebd">SVF::ObjTypeInfo</a>
 </li>
 <li>constant_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#ac088d7ffb9319033308b7aaee78f364d">SVF::SVFModule</a>
 </li>
 <li>constant_end()
 : <a class="el" href="classSVF_1_1SVFModule.html#abd37790149389fe1fd3bf93196b302e0">SVF::SVFModule</a>
@@ -1387,7 +1388,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b">SVF::VFGNode</a>
 </li>
 <li>CopyCGEdge()
-: <a class="el" href="classSVF_1_1CopyCGEdge.html#a90cbb8b4085648811f95afde4175a168">SVF::CopyCGEdge</a>
+: <a class="el" href="classSVF_1_1CopyCGEdge.html#ac82949d49688f428d09842bda0ba1d53">SVF::CopyCGEdge</a>
 </li>
 <li>copyInEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">SVF::ConstraintNode</a>
@@ -1402,10 +1403,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb">SVF::FlowSensitive</a>
 </li>
 <li>CopyVFGNode()
-: <a class="el" href="classSVF_1_1CopyVFGNode.html#ac04930bac7b31563ce761779ff1dbf91">SVF::CopyVFGNode</a>
+: <a class="el" href="classSVF_1_1CopyVFGNode.html#a0f3f697a0053bf5847db95f526bec1e7">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
-: <a class="el" href="classSVF_1_1CoreBitVector.html#adb5b13df8bc76f00ceb145711cfb77e1">SVF::CoreBitVector</a>
+: <a class="el" href="classSVF_1_1CoreBitVector.html#a57b3db689583b652ab1426c04a66c4ae">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
 : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#abe0289ad45158397b6950afc920f34ef">SVF::CoreBitVector::CoreBitVectorIterator</a>
@@ -1447,7 +1448,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba">SVF::MRSVFGNode</a>
 </li>
 <li>cptsBegin()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cptsEnd()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#aa4c47630b9a06d70375daf5e9237303d">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -1546,7 +1547,7 @@ $(function() {
 <li>csHasVtblsBasedonCHA()
 : <a class="el" href="classSVF_1_1CHGraph.html#acd4907aa926a4c7fdc3964700d721f79">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1CommonCHGraph.html#aff7363feebc20267dad7230666b583b1">SVF::CommonCHGraph</a>
-, <a class="el" href="classSVF_1_1DCHGraph.html#a2fef8f7209f100c7a266cf3102b1219b">SVF::DCHGraph</a>
+, <a class="el" href="classSVF_1_1DCHGraph.html#afc7235305640be3d6dbae8199d5c8611">SVF::DCHGraph</a>
 </li>
 <li>csId
 : <a class="el" href="classSVF_1_1CallDirSVFGEdge.html#a2cbaf86c3e65eb9d02d3843706fc178b">SVF::CallDirSVFGEdge</a>
@@ -1682,7 +1683,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874">SVF::Options</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#a1c2b14fd60bd4902bfc520c9ba08c6e8">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#ab2adb60f776ed2cde73253ff367e14cf">SVF::CxtDPItem</a>
 </li>
 <li>cxtJoinInLoop
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707">SVF::ForkJoinAnalysis</a>
@@ -1702,12 +1703,12 @@ $(function() {
 <li>CxtLockProcVec
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0">SVF::LockAnalysis</a>
 </li>
-<li>CxtLockSet
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
-</li>
 <li>cxtLockset
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d">SVF::LockAnalysis</a>
 </li>
+<li>CxtLockSet
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
+</li>
 <li>cxtLockSet
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9">SVF::LockResultValidator</a>
 </li>
@@ -1717,14 +1718,14 @@ $(function() {
 <li>CxtLockToLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22">SVF::LockAnalysis</a>
 </li>
-<li>CxtLockToSpan
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826">SVF::LockAnalysis</a>
-</li>
 <li>cxtLocktoSpan
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0">SVF::LockAnalysis</a>
 </li>
+<li>CxtLockToSpan
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826">SVF::LockAnalysis</a>
+</li>
 <li>CxtProc()
-: <a class="el" href="classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc">SVF::CxtProc</a>
+: <a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">SVF::CxtProc</a>
 </li>
 <li>cxts
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ad06a92bf8bc556de742e0ffdf79ffafe">SVF::LLVMModuleSet</a>
@@ -1733,10 +1734,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
 </li>
 <li>CxtStmt()
-: <a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">SVF::CxtStmt</a>
+: <a class="el" href="classSVF_1_1CxtStmt.html#a1fa357ea71dee45deac94141ef8cdd32">SVF::CxtStmt</a>
 </li>
 <li>CxtStmtDPItem()
-: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>cxtStmtList
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916">SVF::ForkJoinAnalysis</a>
@@ -1755,14 +1756,12 @@ $(function() {
 <li>CxtStmtToCxtLockS
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a284e4c4d5d84da5ebe0938cad8490dfc">SVF::LockResultValidator</a>
 </li>
-<li>cxtStmtToCxtLockSet
-: <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
-</li>
 <li>CxtStmtToCxtLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7">SVF::LockAnalysis</a>
 </li>
 <li>cxtStmtToCxtLockSet
-: <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
+, <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
 </li>
 <li>CxtStmtToLockFlagMap
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9">SVF::LockAnalysis</a>
@@ -1781,7 +1780,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3">SVF::CxtThread</a>
 </li>
 <li>CxtThreadProc()
-: <a class="el" href="classSVF_1_1CxtThreadProc.html#acce14996e41ae55ae8e27b29408ef7c8">SVF::CxtThreadProc</a>
+: <a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">SVF::CxtThreadProc</a>
 </li>
 <li>CxtThreadProcSet
 : <a class="el" href="classSVF_1_1TCT.html#a09493a428c0ebe7f67847b48f0481f40">SVF::TCT</a>
@@ -1790,7 +1789,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e">SVF::TCT</a>
 </li>
 <li>CxtThreadStmt()
-: <a class="el" href="classSVF_1_1CxtThreadStmt.html#ab5487e3f330bb18685281c5effcecfbb">SVF::CxtThreadStmt</a>
+: <a class="el" href="classSVF_1_1CxtThreadStmt.html#a5a4392f444e5fe64a1387c134935893d">SVF::CxtThreadStmt</a>
 </li>
 <li>CxtThreadStmtSet
 : <a class="el" href="classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32">SVF::MHP</a>

package/SVF-doxygen/html/html/functions_d.html

@@ -139,6 +139,9 @@ $(function() {
 <li>Default_PTA
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adb3d4cbd8c38c1c498bc51198626a790">SVF::PointerAnalysis</a>
 </li>
+<li>DefaultDOTGraphTraits()
+: <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a8a0585a182245d87b224f4a26a41cf16">llvm::DefaultDOTGraphTraits</a>
+</li>
 <li>defNodes
 : <a class="el" href="classSVF_1_1SVFGOPT.html#abd524dca72261bbcc7ebb1103b693a2b">SVF::SVFGOPT</a>
 </li>
@@ -247,7 +250,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a03a155517b9587d79c3f0b6dc3b72447">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>difference_type
-: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aeabc3acd9ce15b8beff0db8a49d8781f">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classllvm_1_1iterator__adaptor__base.html#afddc7f6db019bdab6daa810e83d78de3">llvm::iterator_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+, <a class="el" href="classllvm_1_1iterator__facade__base.html#a7e07dfa56b74ed115bdddd442e8184e6">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+, <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aeabc3acd9ce15b8beff0db8a49d8781f">SVF::CoreBitVector::CoreBitVectorIterator</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a79da80a016d68d70b63bcaa884cf53cb">SVF::PointsTo::PointsToIterator</a>
 </li>
 <li>DiffPTData()
@@ -375,7 +380,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#a342f2825d6b7e3289d0f0f4b7ee8247c">SVF::SVFLoopAndDomInfo</a>
 </li>
 <li>DOTGraphTraits()
-: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a0a47c58da5bab4b282856a0c7616388e">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>
+: <a class="el" href="structllvm_1_1DOTGraphTraits.html#a44b9192cea3ca9e59ab71c502c21a352">llvm::DOTGraphTraits&lt; Ty &gt;</a>
+, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a0a47c58da5bab4b282856a0c7616388e">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a9ed844169fc8d8f3e42d25dfcc6f451f">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a007736227bec42182208176006b7d83d">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a72d303201f61fdec14f08bddabf649e5">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
@@ -385,6 +391,9 @@ $(function() {
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a1c96cefb862ef290819e689104b18280">llvm::DOTGraphTraits&lt; TCT * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a0ae94170a4f95bfc7e89d0149ff67882">llvm::DOTGraphTraits&lt; VFG * &gt;</a>
 </li>
+<li>DOTTraits
+: <a class="el" href="classllvm_1_1GraphWriter.html#aeec6e5ec72e25776f32f269ef33b2a42">llvm::GraphWriter&lt; GraphType &gt;</a>
+</li>
 <li>DoubleFreeChecker()
 : <a class="el" href="classSVF_1_1DoubleFreeChecker.html#ac9d147b16442bb4746f66cffe46a070a">SVF::DoubleFreeChecker</a>
 </li>
@@ -430,6 +439,9 @@ $(function() {
 <li>dtBBsMap
 : <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#a34296b98ee8dd1bfc0b1ae7fe327cde3">SVF::SVFLoopAndDomInfo</a>
 </li>
+<li>DTraits
+: <a class="el" href="classllvm_1_1GraphWriter.html#aed76f440aab643d1af5dbfda1a3f9c78">llvm::GraphWriter&lt; GraphType &gt;</a>
+</li>
 <li>DummyObjNode
 : <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVF::SVFVar</a>
 </li>
@@ -451,7 +463,7 @@ $(function() {
 <li>dump()
 : <a class="el" href="classSVF_1_1CallCHI.html#ac6a1f2f1c897c647d9b070cb56c61a41">SVF::CallCHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CallMU.html#af08ecc9c2b75737e88690fb2319fcf57">SVF::CallMU&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1CFLGrammar.html#aa5b093d8363a473a79fd7f071a70bc81">SVF::CFLGrammar</a>
+, <a class="el" href="classSVF_1_1CFLGrammar.html#aa663563ea03e11371d67ff4673e98a54">SVF::CFLGrammar</a>
 , <a class="el" href="classSVF_1_1CFLGraph.html#ab32869931e46babcfaa6791efe2ba91e">SVF::CFLGraph</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#a29351163649618332394fc72cc35212f">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#a52392deae4011c4353a259c873efc0d6">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -525,7 +537,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#aea29a835c54fab800117e57de00e0b1e">SVF::Options</a>
 </li>
 <li>dumpInterlev()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a1af033b5742fa9cc1e4f9873184775b7">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#af88ed1c0aefc313eb50f7d6755c03be4">SVF::MTAResultValidator</a>
 </li>
 <li>dumpLocVersionMaps()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a032acdcd8b84523a7ac2f0e46d21c62f">SVF::VersionedFlowSensitive</a>

package/SVF-doxygen/html/html/functions_e.html

@@ -115,6 +115,9 @@ $(function() {
 <li>edgeNum
 : <a class="el" href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 </li>
+<li>edgeTargetsEdgeSource()
+: <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a89ab1cad8814ece47ef2b4cff3045532">llvm::DefaultDOTGraphTraits</a>
+</li>
 <li>EdgeType
 : <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a279f6f463a31f98fe8e1d5f4c78f9e6d">llvm::GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;</a>
 , <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a57c4c711251842dd9d969428ba5966f2">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
@@ -250,11 +253,18 @@ $(function() {
 <li>elemNum
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a5fdcd5f3b7550e7bdc30c8c030c6226d">SVF::ObjTypeInfo</a>
 </li>
+<li>emitEdge()
+: <a class="el" href="classllvm_1_1GraphWriter.html#ad621d196f82bd8898a0840c045920ea3">llvm::GraphWriter&lt; GraphType &gt;</a>
+</li>
+<li>emitSimpleNode()
+: <a class="el" href="classllvm_1_1GraphWriter.html#a5f409f860e49edb941120a2908613c43">llvm::GraphWriter&lt; GraphType &gt;</a>
+</li>
 <li>emplacePts()
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>empty()
-: <a class="el" href="classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f">SVF::CFLFIFOWorkList&lt; Data &gt;</a>
+: <a class="el" href="classllvm_1_1iterator__range.html#a06fff5bdd2bdf6d2c200e281787dc284">llvm::iterator_range&lt; IteratorT &gt;</a>
+, <a class="el" href="classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f">SVF::CFLFIFOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#aca84f0f9e09686d9f30f309d36267aff">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a0305cbf452b4e858e464023727417d76">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#a98b9795b4fdc74d9d2efa9a3f2ecb62f">SVF::CoreBitVector</a>
@@ -287,6 +297,7 @@ $(function() {
 </li>
 <li>end()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a4f13b7cccd69bdac2a4f5feff5625f01">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
+, <a class="el" href="classllvm_1_1iterator__range.html#aa0344673da91896d39f1b35755ee5d4e">llvm::iterator_range&lt; IteratorT &gt;</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#a5ead697952ada3fbb07da3459a2b1b86">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a93c232ef7e5dea652622da7f994e1dc3">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1ContextCond.html#a4b56b54896a1241032d7614309829399">SVF::ContextCond</a>
@@ -296,7 +307,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 , <a class="el" href="classSVF_1_1SVFBasicBlock.html#ab65173c2668b80643cb96e8133e5ea0a">SVF::SVFBasicBlock</a>
 , <a class="el" href="classSVF_1_1SVFFunction.html#a2f274c3af098ae6a5919246b1b88e7b7">SVF::SVFFunction</a>
-, <a class="el" href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">SVF::SVFModule</a>
+, <a class="el" href="classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc">SVF::SVFModule</a>
+</li>
+<li>end_iterator
+: <a class="el" href="classllvm_1_1iterator__range.html#a823f166661c0251fc90181a2d9fc13fa">llvm::iterator_range&lt; IteratorT &gt;</a>
 </li>
 <li>endClk()
 : <a class="el" href="classSVF_1_1SVFStat.html#a1b7f1e3381de87f75f06cddb9c6c1ec1">SVF::SVFStat</a>

package/SVF-doxygen/html/html/functions_eval_b.html

@@ -72,14 +72,14 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0e99fed4f3145668652aad5a3700e337">SVF::VFGNode</a>
 </li>
 <li>BITS_PER_ELEMENT
-: <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2aeb226b2e0dea78fbdbf5b780c3745f6d">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
+: <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0aeb226b2e0dea78fbdbf5b780c3745f6d">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
 </li>
 <li>BITWORD_SIZE
-: <a class="el" href="classSVF_1_1SparseBitVector.html#ae6cdfbedeb260d7fc91d83f7c1523be8a887a4856f51078b02a23348b7331453e">SVF::SparseBitVector&lt; ElementSize &gt;</a>
-, <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3335c07a7225c80110e998246f96d6c4">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
+: <a class="el" href="classSVF_1_1SparseBitVector.html#ab0a250ed14fc688ffb38c8f00aca0bd4a887a4856f51078b02a23348b7331453e">SVF::SparseBitVector&lt; ElementSize &gt;</a>
+, <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
 </li>
 <li>BITWORDS_PER_ELEMENT
-: <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a88e49a140a08313ab4d664774c4957a2a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
+: <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
 </li>
 <li>BlackHole
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba95734ab884566beab5cd3523c250b539">SVF::SymbolTableInfo</a>

package/SVF-doxygen/html/html/functions_eval_i.html

@@ -92,6 +92,12 @@ $(function() {
 <li>IntraIndirectVF
 : <a class="el" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0">SVF::VFGEdge</a>
 </li>
+<li>IsBidirectional
+: <a class="el" href="classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4e1f229fa73b6b5c2f25734ab347c51f">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+</li>
+<li>IsRandomAccess
+: <a class="el" href="classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4f2910ff91c3e559958a66f09bfefe56">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/functions_f.html

@@ -61,18 +61,21 @@ $(function() {
 <div class="textblock">Here is a list of all class members with links to the classes they belong to:</div>
 
 <h3><a id="index_f"></a>- f -</h3><ul>
+<li>F
+: <a class="el" href="classllvm_1_1mapped__iter.html#a9bd10b1c45d544ecba54657f762f8258">llvm::mapped_iter&lt; ItTy, FuncTy, FuncReturnTy &gt;</a>
+</li>
 <li>FastClusterTime
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22">SVF::NodeIDAllocator::Clusterer</a>
 </li>
 <li>fieldExpand()
 : <a class="el" href="classSVF_1_1AndersenSFR.html#aa768e5cd0a762d17e2ec2baaad0486bf">SVF::AndersenSFR</a>
 </li>
-<li>fieldReps
-: <a class="el" href="classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc">SVF::AndersenSFR</a>
-</li>
 <li>FieldReps
 : <a class="el" href="classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d">SVF::AndersenSFR</a>
 </li>
+<li>fieldReps
+: <a class="el" href="classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc">SVF::AndersenSFR</a>
+</li>
 <li>FieldS_DDA
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abe1d8104c77bfe4bbc201a64410c7f61">SVF::PointerAnalysis</a>
 </li>
@@ -128,7 +131,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1FIFOWorkList.html#ab023f3b60ff61d6729d75f4d2942bd83">SVF::FIFOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1FILOWorkList.html#ac91aa65edf221d887be7550a144c5c2d">SVF::FILOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1List.html#a6db4368f5e5767d3e3f0e83f78707b31">SVF::List&lt; Data &gt;</a>
-, <a class="el" href="classSVF_1_1SCCDetection.html#a1d0d98fd1286e71cfae50180cd2b1313">SVF::SCCDetection&lt; GraphType &gt;</a>
+, <a class="el" href="classSVF_1_1SCCDetection.html#a123b5006a6da7053e5e357140da3c5a3">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>find_first()
 : <a class="el" href="classSVF_1_1PointsTo.html#a12883234179873d279e72e5947aad836">SVF::PointsTo</a>
@@ -469,12 +472,12 @@ $(function() {
 <li>FunptrDDAClient()
 : <a class="el" href="classSVF_1_1FunptrDDAClient.html#a5aae3bed289371605ad831ae5a6ad6b5">SVF::FunptrDDAClient</a>
 </li>
-<li>funPtrToCallSitesMap
-: <a class="el" href="classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5">SVF::SVFIR</a>
-</li>
 <li>FunPtrToCallSitesMap
 : <a class="el" href="classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9">SVF::SVFIR</a>
 </li>
+<li>funPtrToCallSitesMap
+: <a class="el" href="classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5">SVF::SVFIR</a>
+</li>
 <li>FunRet
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac8494021a71efb0f6df237ff12561c8d">SVF::VFGNode</a>
 </li>
@@ -499,18 +502,18 @@ $(function() {
 <li>FunToCallGraphNodeMap
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14">SVF::PTACallGraph</a>
 </li>
-<li>FunToEntryChiSetMap
-: <a class="el" href="classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca">SVF::MemSSA</a>
-</li>
 <li>funToEntryChiSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec">SVF::MemSSA</a>
 </li>
-<li>funToExitBBsMap
-: <a class="el" href="classSVF_1_1SaberCondAllocator.html#ad1620cc7482aeb464b53cfce64e17cc3">SVF::SaberCondAllocator</a>
+<li>FunToEntryChiSetMap
+: <a class="el" href="classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca">SVF::MemSSA</a>
 </li>
 <li>FunToExitBBsMap
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a1f13ef0f88ef09e0ee13c61ebc6ae678">SVF::SaberCondAllocator</a>
 </li>
+<li>funToExitBBsMap
+: <a class="el" href="classSVF_1_1SaberCondAllocator.html#ad1620cc7482aeb464b53cfce64e17cc3">SVF::SaberCondAllocator</a>
+</li>
 <li>funToFormalINMap
 : <a class="el" href="classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd">SVF::SVFG</a>
 </li>
@@ -538,24 +541,24 @@ $(function() {
 <li>funToModsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d">SVF::MRGenerator</a>
 </li>
-<li>FunToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b">SVF::MRGenerator</a>
-</li>
 <li>funToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96">SVF::MRGenerator</a>
 </li>
+<li>FunToMRsMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b">SVF::MRGenerator</a>
+</li>
 <li>FunToNodeBSMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d">SVF::MRGenerator</a>
 </li>
 <li>FunToPAGEdgeSetMap
 : <a class="el" href="classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005">SVF::SVFIR</a>
 </li>
-<li>FunToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
-</li>
 <li>funToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b">SVF::MRGenerator</a>
 </li>
+<li>FunToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
+</li>
 <li>FunToPointsTosMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd">SVF::MRGenerator</a>
 </li>

package/SVF-doxygen/html/html/functions_func.html

@@ -297,6 +297,9 @@ $(function() {
 <li>addCPtsToStore()
 : <a class="el" href="classSVF_1_1MRGenerator.html#af50efed3af17806a3ba3f668e4466d3e">SVF::MRGenerator</a>
 </li>
+<li>addCustomGraphFeatures()
+: <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ae2bdfe5fa774a3dc5aad9a8465b50011">llvm::DefaultDOTGraphTraits</a>
+</li>
 <li>addCxtLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a6b8d03d75751635e492dbda47e2d543e">SVF::LockAnalysis</a>
 </li>
@@ -703,8 +706,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#a08037f32b927fe2e6be47a61a060463c">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ab75373d16f57dbbf1e9472e9a27d6b4b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a717c166c5efdf2e1d71be1772fc0898d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutablePTData.html#a8cdeda0ef0e976102d05de3004bd8c8a">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#a00a88cc3e802921c6a0951801ec712a6">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1MutablePTData.html#aab4a2eec11e83beca70b016102431ab1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#af39232f64ff0ede20161c7f265da6cf5">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a95df7d565ba8e990b61b1c932c8d4273">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9f748619f67f3ff9c4c4a429e6614989">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a8d53322eadc657ed88a8b724647070b2">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -750,7 +753,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1AddrStmt.html#a0fa28f3a081cd6d32801ab245b6e95ae">SVF::AddrStmt</a>
 </li>
 <li>AddrVFGNode()
-: <a class="el" href="classSVF_1_1AddrVFGNode.html#ae83e51310f51cfb9cd7e2bb2002d758a">SVF::AddrVFGNode</a>
+: <a class="el" href="classSVF_1_1AddrVFGNode.html#ad44d3d2b21708a472469b08450114f2c">SVF::AddrVFGNode</a>
 </li>
 <li>addSccCandidate()
 : <a class="el" href="classSVF_1_1AndersenSCD.html#ad8530ce52f87c4ea94cac579288e2689">SVF::AndersenSCD</a>
@@ -921,10 +924,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed">SVF::VFG</a>
 </li>
 <li>addValNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#ac792c1f8b385515a8cc0a0303d40f212">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#af298651d6ef2030ca13ae6a9db622eb4">SVF::SVFIR</a>
 </li>
 <li>addVarargNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d">SVF::SVFIR</a>
 </li>
 <li>addVariantGepCGEdge()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f">SVF::ConstraintGraph</a>
@@ -958,10 +961,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>alias()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a25720f154731a8c745da10aa76ab8517">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a949533e5c99698c7f9862aae5de23687">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#ac18e1dc9c6fc8cc952f67a93c2491876">SVF::CondPTAImpl&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1DDAPass.html#a2635769ff8a1e0013b9b8546b18fcfeb">SVF::DDAPass</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#adb1ed3728d53a13c94402392155e9913">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#a92e19b9ddf342d688ff0f1aa6cecc729">SVF::WPAPass</a>
@@ -1006,7 +1009,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d">SVF::LockResultValidator</a>
 , <a class="el" href="classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a13073beef204314602c2dc92ec473484">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1PCG.html#a50b677ec622247a464cee7f0f45c5a53">SVF::PCG</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#ae1e217dc18be0ce70bee5ad930cb54c6">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9">SVF::RaceResultValidator</a>
@@ -1083,7 +1086,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">SVF::ArgumentVFGNode</a>
 </li>
 <li>AssignStmt()
-: <a class="el" href="classSVF_1_1AssignStmt.html#aff4c35109790daed3c6170c985153620">SVF::AssignStmt</a>
+: <a class="el" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">SVF::AssignStmt</a>
 </li>
 <li>atEnd()
 : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ad3af46dcfb0e2846587eb5a71f38161f">SVF::CoreBitVector::CoreBitVectorIterator</a>

package/SVF-doxygen/html/html/functions_func_b.html

@@ -102,6 +102,7 @@ $(function() {
 </li>
 <li>begin()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aabd833b8eca182f681462209c9f24f1a">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
+, <a class="el" href="classllvm_1_1iterator__range.html#af5a020bd9dd7bc8487dd53ce443fdd8f">llvm::iterator_range&lt; IteratorT &gt;</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#a3521ec3be48cc03d9d3f562cb088a9ad">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#adf095111734d81b6ad1908a7f795b038">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1ContextCond.html#a4ae7e2236708b0d205f393cdce75c8d1">SVF::ContextCond</a>
@@ -187,7 +188,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGBuilder.html#a87ad835786fb8fed2a24c122fa839c25">SVF::CHGBuilder</a>
 </li>
 <li>buildCHGNodes()
-: <a class="el" href="classSVF_1_1CHGBuilder.html#abca5a0a010fdb63a3fa8b92ea0dd55e6">SVF::CHGBuilder</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a648e97899c16a5634fc8369aef8a031f">SVF::CHGBuilder</a>
 </li>
 <li>buildClassNameToAncestorsDescendantsMap()
 : <a class="el" href="classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb">SVF::CHGBuilder</a>
@@ -243,7 +244,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a82b29fc1e138e082d7da6e016a5b7eb8">SVF::LLVMLoopAnalysis</a>
 </li>
 <li>buildSVFModule()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f8e769251c89433311eeb6f98d115e9">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#ae919327019b5014f64b754dbdeb07f75">SVF::LLVMModuleSet</a>
 </li>
 <li>buildThreadCallGraph()
 : <a class="el" href="classSVF_1_1ThreadCallGraphBuilder.html#a0f5bf24257858919c10af0e076d87ef7">SVF::ThreadCallGraphBuilder</a>