svf-tools 1.0.317 → 1.0.321

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

@@ -128,17 +128,14 @@ $(function() {
 <li>addBackwardVisited()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#aa061e2d72d3045c9712512c6df002544">SVF::SrcSnkDDA</a>
 </li>
-<li>addBinaryNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#ad1a64553b9291d9bd05d89728c686d44">SVF::SVFIR</a>
-</li>
 <li>addBinaryOPEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a9a470a38227ba07e62c0c812a4ec2f81">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#aa939418b3f4727fb7ec84057dd97ba66">SVF::SVFIRBuilder</a>
 </li>
 <li>addBinaryOPPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a1b04aece8eb719555982bd947840947d">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a1d6d9dbc5cd43eb8af776f5a1b373507">SVF::SVFIR</a>
 </li>
 <li>addBinaryOPVFGNode()
-: <a class="el" href="classSVF_1_1VFG.html#aa6c2ec65e990fcf7f2d77b75c6f0f9a3">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#afb440e02353766c2a2541005dd29fb24">SVF::VFG</a>
 </li>
 <li>addBlackHoleAddrEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a3e80511758692d2ad4e5dbee15beb719">SVF::SVFIRBuilder</a>
@@ -152,6 +149,13 @@ $(function() {
 <li>addBlackholePtrNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a2b1de62f88588b068d4eed125049ed8d">SVF::SVFIR</a>
 </li>
+<li>addBranchStmt()
+: <a class="el" href="classSVF_1_1SVFIR.html#a4f0d318deff3b97a4bd5e7b9d53e42fd">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#ae0a1f66dee058f6af0f6b074db38db8e">SVF::SVFIRBuilder</a>
+</li>
+<li>addBranchVFGNode()
+: <a class="el" href="classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5">SVF::VFG</a>
+</li>
 <li>addCallEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#abde033687317d47909ee45db7501723f">SVF::ICFG</a>
 , <a class="el" href="classSVF_1_1SVFIRBuilder.html#af4ff212d09284eb377eefd14f60d2f14">SVF::SVFIRBuilder</a>
@@ -205,16 +209,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a16ad9c601a044731b982305a177dbda3">SVF::TypeBasedHeapCloning</a>
 </li>
 <li>addCmpEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a724ba7c0c43efec7d7fd171640dfd0f9">SVF::SVFIRBuilder</a>
-</li>
-<li>addCmpNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a2f33717b2b9bb3de30791f4ae55dbe49">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6636324fa8135f2be841e0d06d5e5f54">SVF::SVFIRBuilder</a>
 </li>
 <li>addCmpPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#ac655a9b115fb6a48a74d794847858aef">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#afbb721dfd574c35e3ddb0a8d26f978c7">SVF::SVFIR</a>
 </li>
 <li>addCmpVFGNode()
-: <a class="el" href="classSVF_1_1VFG.html#a4f605ce5604c65ffb816d3be0688bbd3">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#ab4166804d4612c1cf194d1d8710c09a6">SVF::VFG</a>
 </li>
 <li>addComplexConsForExt()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab83a61a519cb0bb6fed823a938cf0602">SVF::SVFIRBuilder</a>
@@ -294,10 +295,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a4ee79c74a7a2cea5c063fa598ab89532">SVF::SVFIR</a>
 </li>
 <li>addDummyObjNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a3071c94ea72048d74a65a409a906af35">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a18388bc282c5329a837c6a273893c4fb">SVF::SVFIR</a>
 </li>
 <li>addDummyValNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a6b1bb039f068ff2ab486214354df4684">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0">SVF::SVFIR</a>
 </li>
 <li>addDummyVersionPropSVFGNode()
 : <a class="el" href="classSVF_1_1SVFG.html#a8dd513e8e5343beeb5d117c1ff4e45ea">SVF::SVFG</a>
@@ -316,9 +317,6 @@ $(function() {
 <li>AddExtActualParmSVFGNodes()
 : <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7">SVF::SaberSVFGBuilder</a>
 </li>
-<li>addExternalPAG()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a6e8b309508de040504ad4b2ce6a5de28">SVF::ExternalPAG</a>
-</li>
 <li>addFIObjNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a06465449e58e14bfb1c3eee2c97d3242">SVF::SVFIR</a>
 </li>
@@ -359,7 +357,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFModule.html#ae5512e574414dc259daaacaecf8cdf13">SVF::SVFModule</a>
 </li>
 <li>addFuncToFuncVector()
-: <a class="el" href="classSVF_1_1CHGraph.html#a9836450a0f8cc10bf4f2311295c4c404">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a77753749b34b00c18d419057b4757a26">SVF::CHGBuilder</a>
 </li>
 <li>addFunEntryICFGNode()
 : <a class="el" href="classSVF_1_1ICFG.html#a37720720adf125ea4f8c12c4bdf41cdd">SVF::ICFG</a>
@@ -500,7 +498,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a0554abe7c072b66ab24a900284646572">SVF::SVFG</a>
 </li>
 <li>addIntraPHIVFGNode()
-: <a class="el" href="classSVF_1_1VFG.html#a8ed810b95bdb58a12d2c24aad3e588ae">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#aba0389fbcac1efab08339b53d149bf84">SVF::VFG</a>
 </li>
 <li>addJoinsite()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#ae72e4e29bfda892f059f719454f6fcd2">SVF::ThreadCallGraph</a>
@@ -584,6 +582,9 @@ $(function() {
 <li>addObjNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a83bc8ecf4c5d10af10af3c8c44b9882d">SVF::SVFIR</a>
 </li>
+<li>addOpVar()
+: <a class="el" href="classSVF_1_1PhiPE.html#a046dc179515df629e079092827e25036">SVF::PhiPE</a>
+</li>
 <li>addOutEdge()
 : <a class="el" href="classSVF_1_1SVFVar.html#a21a44c7a30e4e3743f6c3186fd7dbe8f">SVF::SVFVar</a>
 </li>
@@ -621,7 +622,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19">SVF::VFPathCond</a>
 </li>
 <li>addPhiNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#aa20b26d03ffb6920046f6c532d42e68a">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a3da8a2168e33f49708cdcc79f9e311a4">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab6c80be878f5e9d888d8532a633a2566">SVF::SVFIRBuilder</a>
 </li>
 <li>addPointsTo()
 : <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53">SVF::IndirectSVFGEdge</a>
@@ -631,8 +633,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#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_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_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>
@@ -641,7 +643,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VersionedPTData.html#ae00316730227769a39b22d3df1b6d38a">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
 <li>AddrCGEdge()
-: <a class="el" href="classSVF_1_1AddrCGEdge.html#a9c8da69a469e51d83c5009ba2685bcf6">SVF::AddrCGEdge</a>
+: <a class="el" href="classSVF_1_1AddrCGEdge.html#a131779667553499b85423e1932664252">SVF::AddrCGEdge</a>
 </li>
 <li>addRefLoadEdge()
 : <a class="el" href="classSVF_1_1OfflineConsG.html#a6c8afd3dc37fc60aecc6efd238312940">SVF::OfflineConsG</a>
@@ -680,10 +682,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>AddrPE()
-: <a class="el" href="classSVF_1_1AddrPE.html#aeebea7899e9ae4501421d9d66d8c9fb9">SVF::AddrPE</a>
+: <a class="el" href="classSVF_1_1AddrPE.html#afba53cf476a19e95acb0ebae08731fcb">SVF::AddrPE</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>
@@ -716,7 +718,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0">SVF::ConstraintGraph</a>
 </li>
 <li>AddStoreCHI()
-: <a class="el" href="classSVF_1_1MemSSA.html#a71fe305891acfaad16d510dc11a764fc">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a0b3314736ed1d9a8ac0ba8c437fad211">SVF::MemSSA</a>
 </li>
 <li>addStoreEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a7e518bfc56c34dfbaaafbd78b85143b7">SVF::SVFIRBuilder</a>
@@ -819,26 +821,26 @@ $(function() {
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#acdffb63fd5ae67306640bfe2fcfc3a79">SVF::SrcSnkDDA</a>
 , <a class="el" href="classSVF_1_1SVFGStat.html#a59585ec387e8cc30a85eeec99a97e968">SVF::SVFGStat</a>
 </li>
+<li>addToStmt2TypeMap()
+: <a class="el" href="classSVF_1_1SVFIR.html#a292b5a477c1f87777730b591c271e523">SVF::SVFIR</a>
+</li>
 <li>addTypedef()
 : <a class="el" href="classSVF_1_1DCHNode.html#a9d1016e3da3462664198b1125dfc8f6e">SVF::DCHNode</a>
 </li>
 <li>addTypeForGepObjNode()
 : <a class="el" href="classSVF_1_1Andersen.html#a85cc81a4f9399e9a23372fa2658325a6">SVF::Andersen</a>
 </li>
-<li>addUnaryNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a3a3cf0f247024ffd73caf75d63ed04d2">SVF::SVFIR</a>
-</li>
 <li>addUnaryOPEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a78d85371f9ddca90bcd311eca9ecf639">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a2020793d5013abd1300331302f0514d4">SVF::SVFIRBuilder</a>
 </li>
 <li>addUnaryOPPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a3c167ee7cdf012306acef6149a874c3e">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a30409c96194976713b6b7728c072b8a5">SVF::SVFIR</a>
 </li>
 <li>addUnaryOPVFGNode()
-: <a class="el" href="classSVF_1_1VFG.html#a0a7c8a1e8a85ab815161497113435e4a">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#ae746db691e5c96dff1d590b109bffb7f">SVF::VFG</a>
 </li>
 <li>addValNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a3face8a526a33d82ef7cde7602030bc9">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a93bc14960cdd4eb345c64e9b79757ccf">SVF::SVFIR</a>
 </li>
 <li>addVarargNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538">SVF::SVFIR</a>
@@ -876,17 +878,17 @@ $(function() {
 </li>
 <li>alias()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a949533e5c99698c7f9862aae5de23687">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a8e48e9fe6f7e21da49a155f8f6893944">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a171918ada9b679b0114b27476caa5ee6">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1DDAPass.html#a242575c5bd8a8f17fdc802e5ba80e7b0">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#af339db8bffc554be7dd5cb6b100649e7">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#a6c01f259ad2379a422d7106ce0255eb8">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a5a71ab4d4bd993ff52da60c730d7b57f">SVF::WPAPass</a>
 </li>
 <li>alias_begin()
 : <a class="el" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">SVF::SVFModule</a>
 </li>
 <li>alias_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">SVF::SVFModule</a>
 </li>
 <li>AliasDDAClient()
 : <a class="el" href="classSVF_1_1AliasDDAClient.html#af55b1ccfa6cfaa6ec079b19d62288cb6">SVF::AliasDDAClient</a>
@@ -953,7 +955,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#aa8b97a2cbd2de56b3c6c5c0e2e0a2211">SVF::ObjTypeInfo</a>
 </li>
 <li>analyzeVTables()
-: <a class="el" href="classSVF_1_1CHGraph.html#a0685bd653851a903f765e21aec0fdbd1">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a2828eb6b2bd86d6f279967c34da8e7e4">SVF::CHGBuilder</a>
 </li>
 <li>AND()
 : <a class="el" href="classSVF_1_1BranchCondManager.html#a739f4206abf4f367dc796e9fd35d4d04">SVF::BranchCondManager</a>

package/SVF-doxygen/html/html/functions_func_0x7e.html

@@ -187,9 +187,6 @@ $(function() {
 <li>~EntryCHI()
 : <a class="el" href="classSVF_1_1EntryCHI.html#ac198f01dd7ebac778367b63081ae487b">SVF::EntryCHI&lt; Cond &gt;</a>
 </li>
-<li>~ExternalPAG()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a4ede253f0e34780aa56ee884924f76f9">SVF::ExternalPAG</a>
-</li>
 <li>~FIFOWorkList()
 : <a class="el" href="classSVF_1_1FIFOWorkList.html#a1471fb927833748ab34fe0ef3cf0eada">SVF::FIFOWorkList&lt; Data &gt;</a>
 </li>

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

@@ -138,6 +138,12 @@ $(function() {
 <li>branchStat()
 : <a class="el" href="classSVF_1_1PTAStat.html#ada838d9e03f2be4fb3ceffab3983b564">SVF::PTAStat</a>
 </li>
+<li>BranchStmt()
+: <a class="el" href="classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd">SVF::BranchStmt</a>
+</li>
+<li>BranchVFGNode()
+: <a class="el" href="classSVF_1_1BranchVFGNode.html#ad1aa629eae4006a68a1e6e8a7621a494">SVF::BranchVFGNode</a>
+</li>
 <li>BreakConstantGEPs()
 : <a class="el" href="classSVF_1_1BreakConstantGEPs.html#a5397ce21e78d09c8d1cdc3f912d53a7f">SVF::BreakConstantGEPs</a>
 </li>
@@ -159,20 +165,20 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a1973126243ff619033a78a3782944278">SVF::ConstraintGraph</a>
 </li>
 <li>buildCHG()
-: <a class="el" href="classSVF_1_1CHGraph.html#ae6b620ead0f214e72fbef9c26da3d5a0">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#aa5c672ac426ad4085d64d97f8cb14ace">SVF::CHGBuilder</a>
 , <a class="el" href="classSVF_1_1DCHGraph.html#a710c6b87fd475552eddb425e38de8889">SVF::DCHGraph</a>
 </li>
 <li>buildCHGEdges()
-: <a class="el" href="classSVF_1_1CHGraph.html#a57062fb6b3d22d98e5ef564eaff84b2e">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a7420a3a4858ebe861aaa47d76f49ab1f">SVF::CHGBuilder</a>
 </li>
 <li>buildCHGNodes()
-: <a class="el" href="classSVF_1_1CHGraph.html#a185d0eae7e361128e8dbbe47fc18051b">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a51a07b2bd7cccf7c9ab24eb87db17216">SVF::CHGBuilder</a>
 </li>
 <li>buildClassNameToAncestorsDescendantsMap()
-: <a class="el" href="classSVF_1_1CHGraph.html#a3468ae9cbcff4c525c627ddb7a416cda">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb">SVF::CHGBuilder</a>
 </li>
 <li>buildCSToCHAVtblsAndVfnsMap()
-: <a class="el" href="classSVF_1_1CHGraph.html#a71e74fc9c9a27cd354aa113801ed416f">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#abab6d95945a43fbe4c73ac12550f5d8c">SVF::CHGBuilder</a>
 </li>
 <li>buildDeltaMaps()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a3407cc82ef9806e26b79edb677979014">SVF::VersionedFlowSensitive</a>
@@ -190,7 +196,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#aaab03cb6ff665bc008c67b866ba81e47">SVF::LLVMModuleSet</a>
 </li>
 <li>buildInternalMaps()
-: <a class="el" href="classSVF_1_1CHGraph.html#ab55b057a7be74ad03514dc15b6f01131">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#ad9f1c51ba6dc279f22aa671f29257a50">SVF::CHGBuilder</a>
 </li>
 <li>buildIsStoreLoadMaps()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a8da4b9bd9d0c640a6857b4dc4991817c">SVF::VersionedFlowSensitive</a>
@@ -225,7 +231,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFGOPT.html#af4d2c6d2e3b316b256f860801fe3b178">SVF::SVFGOPT</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>buildSymbolTableInfo()
 : <a class="el" href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">SVF::SVFModule</a>
@@ -234,7 +240,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ThreadCallGraphBuilder.html#a0f5bf24257858919c10af0e076d87ef7">SVF::ThreadCallGraphBuilder</a>
 </li>
 <li>buildVirtualFunctionToIDMap()
-: <a class="el" href="classSVF_1_1CHGraph.html#aa54643023932a31697840cbb79be52e4">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#aa677ac2c640ee7fc0dab1d4fe508ead8">SVF::CHGBuilder</a>
 </li>
 <li>buildVTables()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a0c873ab28d5967991e636696fae8c67f">SVF::DCHGraph</a>

package/SVF-doxygen/html/html/functions_func_c.html

@@ -144,6 +144,9 @@ $(function() {
 <li>CHEdge()
 : <a class="el" href="classSVF_1_1CHEdge.html#af01c14c28db231b7bfae39344d1ae8ee">SVF::CHEdge</a>
 </li>
+<li>CHGBuilder()
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a436e4f8b1e1cad85f0c7df938afe8c78">SVF::CHGBuilder</a>
+</li>
 <li>CHGraph()
 : <a class="el" href="classSVF_1_1CHGraph.html#afacd7d35dad4344a5c2551d951acb442">SVF::CHGraph</a>
 </li>
@@ -159,7 +162,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHNode.html#a1f2c496e378d01841e4dc164942dc145">SVF::CHNode</a>
 </li>
 <li>classof()
-: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#aae28a748413002046d02a4003229fc88">SVF::ActualINSVFGNode</a>
+: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#a73ccbee2a81439e70ea0c096d113a89b">SVF::ActualINSVFGNode</a>
 , <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a810b526c35918ed894c8dc2f95d44cb3">SVF::ActualOUTSVFGNode</a>
 , <a class="el" href="classSVF_1_1ActualParmVFGNode.html#a5d0c195ba42dc0dd48a360cba326d502">SVF::ActualParmVFGNode</a>
 , <a class="el" href="classSVF_1_1ActualRetVFGNode.html#ab814b942e8ba02ed51f11ea6fcadd608">SVF::ActualRetVFGNode</a>
@@ -168,10 +171,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1AddrVFGNode.html#a5ad9c37ae429e0ac4c4fae224364f177">SVF::AddrVFGNode</a>
 , <a class="el" href="classSVF_1_1Andersen.html#aaec53980b25ed769fa9a985860f810b5">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1AndersenBase.html#afa4d710b093a6c7a33cb1aef823781f0">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1ArgumentVFGNode.html#aef245c92b68e42d5a74bcc98fc026ac2">SVF::ArgumentVFGNode</a>
+, <a class="el" href="classSVF_1_1ArgumentVFGNode.html#ab6179be01a029e52df59480c20a92ef2">SVF::ArgumentVFGNode</a>
 , <a class="el" href="classSVF_1_1BinaryOPPE.html#a0af37a5e796d728bf91d8417c96b488e">SVF::BinaryOPPE</a>
 , <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a74266197f0ac969746c0be4175e70c17">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1BranchCondExpr.html#a466d24de131d064a74d53783a6664b5e">SVF::BranchCondExpr</a>
+, <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_1CallBlockNode.html#a1c688ff81489957e775cb2463c59d1ef">SVF::CallBlockNode</a>
 , <a class="el" href="classSVF_1_1CallCFGEdge.html#a38b56212fb58934ee50079b1e69ad5ff">SVF::CallCFGEdge</a>
@@ -185,7 +190,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CloneFIObjPN.html#a25d870401deedea23c29523b02be9357">SVF::CloneFIObjPN</a>
 , <a class="el" href="classSVF_1_1CloneGepObjPN.html#ae4a5fbdb8e39aeac18c03f275ad4f0ff">SVF::CloneGepObjPN</a>
 , <a class="el" href="classSVF_1_1CmpPE.html#ab5f04e2bf9ba9fae32771fa62755409f">SVF::CmpPE</a>
-, <a class="el" href="classSVF_1_1CmpVFGNode.html#a3230ae3a4a7f10e0486f000b92b87713">SVF::CmpVFGNode</a>
+, <a class="el" href="classSVF_1_1CmpVFGNode.html#ab1248b063654318677471fb10af16fd7">SVF::CmpVFGNode</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#ae76fb767c13ca39baa0fbec55a7780fe">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ConstraintEdge.html#a2c2a62e61022bb936a903846e0aacdd3">SVF::ConstraintEdge</a>
 , <a class="el" href="classSVF_1_1CopyCGEdge.html#a321ccd6048312a570acbb8a217269434">SVF::CopyCGEdge</a>
@@ -195,7 +200,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1DFPTData.html#a1b09e85de5cc187958dd8fb1aa5edfcd">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1DiffPTData.html#a09f6aa3d329f8adcd4928344720cff0f">SVF::DiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1DirectSVFGEdge.html#a200f8722e39d0267cd5d0212871e16bf">SVF::DirectSVFGEdge</a>
-, <a class="el" href="classSVF_1_1DummyObjPN.html#a6b241ddcbe32a27b46c3c7c3d92e4c3c">SVF::DummyObjPN</a>
+, <a class="el" href="classSVF_1_1DummyObjPN.html#a2f05d6a98837ade60ff4c008ee086409">SVF::DummyObjPN</a>
 , <a class="el" href="classSVF_1_1DummyValPN.html#a4ae220021a948c2755f7dc4947458d8f">SVF::DummyValPN</a>
 , <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#ac997d06e133d698a5aa29c2af55a624e">SVF::DummyVersionPropSVFGNode</a>
 , <a class="el" href="classSVF_1_1EntryCHI.html#ad9c86f7cf28fe22584b94416803639aa">SVF::EntryCHI&lt; Cond &gt;</a>
@@ -203,7 +208,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowSensitive.html#ac76934c9ba15742e470a785af54bd958">SVF::FlowSensitive</a>
 , <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#afe46af7ca4f735e500b35f4f4bb8d910">SVF::FlowSensitiveTBHC</a>
 , <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a049c4760e5d0ea2e31fc84ec32850310">SVF::FormalINSVFGNode</a>
-, <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#ac29004272d47ad58ea1e05fbfc1ac639">SVF::FormalOUTSVFGNode</a>
+, <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#a3b1387416f3ca61eed5581c9112cfcde">SVF::FormalOUTSVFGNode</a>
 , <a class="el" href="classSVF_1_1FormalParmVFGNode.html#af91ecca224b99cd6dd3b9b17ad0d8e6f">SVF::FormalParmVFGNode</a>
 , <a class="el" href="classSVF_1_1FormalRetVFGNode.html#af90572e9ac08cb2fffc9c63d51d5a129">SVF::FormalRetVFGNode</a>
 , <a class="el" href="classSVF_1_1FunEntryBlockNode.html#a7a3c08df6a65f82ecda01d3f547aa158">SVF::FunEntryBlockNode</a>
@@ -220,7 +225,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#a62c0f4f98a42fe65f1dd570ec277b13f">SVF::InterMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1InterPHIVFGNode.html#af05335676298acd6ad0bf2f445c8105b">SVF::InterPHIVFGNode</a>
 , <a class="el" href="classSVF_1_1IntraBlockNode.html#afec0f1abe96e4f6e0e3f9e4d075bf308">SVF::IntraBlockNode</a>
-, <a class="el" href="classSVF_1_1IntraCFGEdge.html#aea905f535696918ed63cd5ce04b7e0fb">SVF::IntraCFGEdge</a>
+, <a class="el" href="classSVF_1_1IntraCFGEdge.html#a70bdadf898a10c6db89e9f432529092c">SVF::IntraCFGEdge</a>
 , <a class="el" href="classSVF_1_1IntraDirSVFGEdge.html#a66c199063471c5b3fcbe6a8cce47a1fe">SVF::IntraDirSVFGEdge</a>
 , <a class="el" href="classSVF_1_1IntraIndSVFGEdge.html#ae1e57e6cc223a06f957c4d6761c35402">SVF::IntraIndSVFGEdge</a>
 , <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#ae1fef4865427f59811fde241d4ac80cc">SVF::IntraMSSAPHISVFGNode</a>
@@ -229,13 +234,14 @@ $(function() {
 , <a class="el" href="classSVF_1_1LoadMU.html#a675192a60c5afa6e1d5f9b7dae5953b5">SVF::LoadMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1LoadPE.html#a80b5301d008c271a7381e66f9ad501d4">SVF::LoadPE</a>
 , <a class="el" href="classSVF_1_1LoadVFGNode.html#a4f8125b671b65b106b82fa7f555a0627">SVF::LoadVFGNode</a>
-, <a class="el" href="classSVF_1_1MRSVFGNode.html#a9b843265a6f95eea56a5a62eede8893c">SVF::MRSVFGNode</a>
+, <a class="el" href="classSVF_1_1MRSVFGNode.html#a22e28a37a013d14964ce832fa23dfb84">SVF::MRSVFGNode</a>
 , <a class="el" href="classSVF_1_1MSSACHI.html#a49cf6b7e0cb38acfeb2eb2e1273c506d">SVF::MSSACHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSAPHI.html#adab25ebd69f699c019118bc1e099d4f9">SVF::MSSAPHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#ac55ddd2788fff5bcff8afc5c0b49ad2d">SVF::MSSAPHISVFGNode</a>
+, <a class="el" href="classSVF_1_1MultiOpndStmt.html#aa0d9a26d3ad17432505b1f5bb36368d9">SVF::MultiOpndStmt</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a5baa6fffedfd0ac356590f9a0b222ee0">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a1b2d520d24a8d19de00e26237e5cd098">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a89f65d37096c82fcdddb1c324ec206d2">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableIncDFPTData.html#aa4c262f0d62e902912d4cd7999731d3d">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a589d71ff881e53133e5c688f1c616ab3">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableVersionedPTData.html#a6be54447671288a666af5d48972e2ccf">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a79033645683ead9a7404cd35fd936092">SVF::NormalGepCGEdge</a>
@@ -247,6 +253,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_1PhiPE.html#a94cd29c0820595436d0a39f4be74699f">SVF::PhiPE</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_1RetBlockNode.html#abd3a2b54fdb7e1339f765b3e5ab86947">SVF::RetBlockNode</a>
@@ -276,9 +283,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a01a9b0fd0189462e37ff51e232a5cda8">SVF::UnaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1ValPN.html#a18a9bf26bb76893f0530d484dd0861ae">SVF::ValPN</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_1VariantGepCGEdge.html#aba0cc74af291252bc8911c81832bef68">SVF::VariantGepCGEdge</a>
 , <a class="el" href="classSVF_1_1VariantGepPE.html#a36ab4c6979ed0e5470882cb1c391f2ea">SVF::VariantGepPE</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()
@@ -342,7 +349,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#afa828c0db9c030584e379e86cf0a25a9">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ae4b558e119c7e3fae25a0b4509422c87">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#aff3437089686869faa772c44bca753b6">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a5c31a5faad444bd19005d06ba28d0185">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a78f2b0ee440ed5b358928ee775e95564">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PTData.html#a877888f12d9f8048002cc0e6b83d45ac">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a4bfd083fae6ff689945ed34632e208e9">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
@@ -407,7 +414,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CmpPE.html#ac84eb2426a312cb2a890b0805a99e7f8">SVF::CmpPE</a>
 </li>
 <li>CmpVFGNode()
-: <a class="el" href="classSVF_1_1CmpVFGNode.html#ae7029edffae3f64899bf640fc0842258">SVF::CmpVFGNode</a>
+: <a class="el" href="classSVF_1_1CmpVFGNode.html#adcb91fca3c1cd9e23c8996dd825504ac">SVF::CmpVFGNode</a>
 </li>
 <li>collapseField()
 : <a class="el" href="classSVF_1_1Andersen.html#af4a0d960ef198047517bb32ee1e24a61">SVF::Andersen</a>
@@ -646,9 +653,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFG.html#a0cebc2ba5ae81a6d45b224a4f94fc8b4">SVF::SVFG</a>
 , <a class="el" href="classSVF_1_1VFG.html#aa1e09df7b3724bf18e450b16735998ab">SVF::VFG</a>
 </li>
-<li>connectCallsiteToExternalPAG()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a7a82128508395830433145977dbe37c0">SVF::ExternalPAG</a>
-</li>
 <li>connectDirectVFGEdges()
 : <a class="el" href="classSVF_1_1VFG.html#adedaba0713164e10ce6273b2947535e0">SVF::VFG</a>
 </li>
@@ -670,10 +674,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a164a3df08fc24bacc0b97aee8b6eec38">SVF::SVFG</a>
 </li>
 <li>connectInheritEdgeViaCall()
-: <a class="el" href="classSVF_1_1CHGraph.html#aba5986ebcbba17f76202d5d14f35585f">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a06db89019c094ad35bea97be1d3b452a">SVF::CHGBuilder</a>
 </li>
 <li>connectInheritEdgeViaStore()
-: <a class="el" href="classSVF_1_1CHGraph.html#a9b7ecdcab366627a2dd636430f0a3b4b">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#acbdf97de6a24cec8d0ae020e3bfb79e6">SVF::CHGBuilder</a>
 </li>
 <li>connectMHPEdges()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a1010ef4fc52e312f2b22867a63a5810d">SVF::MTASVFGBuilder</a>
@@ -713,25 +717,25 @@ $(function() {
 , <a class="el" href="classSVF_1_1PointsTo.html#ab31a53693fe070767b8de74e88091cd8">SVF::PointsTo</a>
 </li>
 <li>ContextCond()
-: <a class="el" href="classSVF_1_1ContextCond.html#a9b81bf11679645d32d50b91bdb6d2dc1">SVF::ContextCond</a>
+: <a class="el" href="classSVF_1_1ContextCond.html#a5f31275f74ff9eb5734481f36275c6d9">SVF::ContextCond</a>
 </li>
 <li>ContextDDA()
 : <a class="el" href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA</a>
 </li>
 <li>CopyCGEdge()
-: <a class="el" href="classSVF_1_1CopyCGEdge.html#a0e950b306ec8d45e38f0320c63681ecd">SVF::CopyCGEdge</a>
+: <a class="el" href="classSVF_1_1CopyCGEdge.html#ac82949d49688f428d09842bda0ba1d53">SVF::CopyCGEdge</a>
 </li>
 <li>CopyPE()
-: <a class="el" href="classSVF_1_1CopyPE.html#a452b0b5c27b15808c7599325c9b6412d">SVF::CopyPE</a>
+: <a class="el" href="classSVF_1_1CopyPE.html#aabb6ea2c6f8561e42933b5da45544e5f">SVF::CopyPE</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#a93f42d767c99bdf788dc4df4881751c5">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
-: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#abe0289ad45158397b6950afc920f34ef">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a66b4a85853791c4e1537a4bdbc7a2f90">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
 <li>count()
 : <a class="el" href="classSVF_1_1CondStdSet.html#aa19e82905537f3ae41f64fce070ee555">SVF::CondStdSet&lt; Element &gt;</a>
@@ -746,7 +750,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">SVF::ICFGStat</a>
 </li>
 <li>cptsBegin()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cptsEnd()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#aa4c47630b9a06d70375daf5e9237303d">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -803,7 +807,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a695adf83e8c40b9628b1866053f68033">SVF::MemSSA</a>
 </li>
 <li>createNode()
-: <a class="el" href="classSVF_1_1CHGraph.html#a39a7a8f6a4b9bb03523f190ce7b91e58">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a8e915f257224b1d8e40d0e4c9b5e1df0">SVF::CHGBuilder</a>
 </li>
 <li>createObjTypeInfo()
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a31190ba1934f945abe8a1b4fcbb636b3">SVF::SymbolTableBuilder</a>
@@ -841,7 +845,7 @@ $(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#ac11734a3e0db8415fdf55157b20b56a4">SVF::CxtStmt</a>
 </li>
 <li>CxtStmtDPItem()
 : <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
@@ -850,10 +854,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThread.html#a7f842879cad19328575f33220491352a">SVF::CxtThread</a>
 </li>
 <li>CxtThreadProc()
-: <a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">SVF::CxtThreadProc</a>
+: <a class="el" href="classSVF_1_1CxtThreadProc.html#acce14996e41ae55ae8e27b29408ef7c8">SVF::CxtThreadProc</a>
 </li>
 <li>CxtThreadStmt()
-: <a class="el" href="classSVF_1_1CxtThreadStmt.html#ab5487e3f330bb18685281c5effcecfbb">SVF::CxtThreadStmt</a>
+: <a class="el" href="classSVF_1_1CxtThreadStmt.html#adeef75dbfd24665521931780c70aa5f9">SVF::CxtThreadStmt</a>
 </li>
 <li>cxtToStr()
 : <a class="el" href="classSVF_1_1CxtProc.html#ac53f22f1e9547b15b8998d83290f4281">SVF::CxtProc</a>

package/SVF-doxygen/html/html/functions_func_d.html

@@ -285,9 +285,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#ae7d61becd14123f60976fd7261d0c84d">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1TCT.html#aa86c4422e17cf00408444f18687d555b">SVF::TCT</a>
 </li>
-<li>dumpFunctions()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#acee9fa409f3649dcf2c0f5e6da66ceb0">SVF::ExternalPAG</a>
-</li>
 <li>dumpGraph()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a3fd44d3cfc3f4ab18506870c65df32f5">SVF::PointerAnalysis</a>
 </li>

package/SVF-doxygen/html/html/functions_func_e.html

@@ -164,9 +164,6 @@ $(function() {
 <li>extendTo()
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a73e5b15854f4f56f50992ed0d0cc7349">SVF::CoreBitVector</a>
 </li>
-<li>ExternalPAG()
-: <a class="el" href="classSVF_1_1ExternalPAG.html#a7401db95a642fc218e6337dce61b98e1">SVF::ExternalPAG</a>
-</li>
 <li>extractSubConds()
 : <a class="el" href="classSVF_1_1BranchCondManager.html#aa241ee8c9d8ef17029dba67b737d8beb">SVF::BranchCondManager</a>
 , <a class="el" href="classSVF_1_1CondManager.html#acd773bd9dbf5161e488c827b0b71481d">SVF::CondManager</a>