svf-tools 1.0.781 → 1.0.783

package/SVF-doxygen/html/html/functions_h.html

@@ -249,7 +249,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CDG.html#a965a30b1323fa9c9013760d410516e0e">SVF::CDG</a>
 </li>
 <li>hasCFBasicBlockEdge()
-: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a154d9dae860b441b1653e0afb90f1da3">SVF::CFBasicBlockGraph</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a8e41d155ded9f4527adf8f1644600839">SVF::CFBasicBlockGraph</a>
+</li>
+<li>hasCFBasicBlockNode()
+: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#aa2110611126556090763024828dbc516">SVF::CFBasicBlockGraph</a>
 </li>
 <li>hasCHI()
 : <a class="el" href="classSVF_1_1MemSSA.html#abfb338ce36ad46a9654d50dd6e2b07f1">SVF::MemSSA</a>
@@ -350,18 +353,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1RelExeState.html#a021da964784427cfb9f4353e2678ce73">SVF::RelExeState</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a631cb7cee0e1f9b7204b9293f4e516a9">SVF::Z3Expr</a>
 </li>
-<li>hasICFGEdgeWrapper()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a16402dd1135a149c28bcfc9860b73357">SVF::ICFGWrapper</a>
-</li>
 <li>hasICFGNode()
 : <a class="el" href="classSVF_1_1ICFG.html#a16c2ed1f9e28c84669b14dc48fb3c01a">SVF::ICFG</a>
 </li>
-<li>hasICFGNodeWrapper()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#ab582fdf8a332db97c3414e013c11181c">SVF::ICFGWrapper</a>
-</li>
 <li>hasIncomingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#acdd899bad767f9351961b64ad0af6ccb">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ac468c52cc443f1137f6d5fb510a8ac46">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>hasIncomingEdges()
 : <a class="el" href="classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc">SVF::SVFVar</a>
@@ -434,8 +431,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a7d2072c3c0ae571077a2aa2c3586451d">SVF::LockAnalysis</a>
 </li>
 <li>hasOutgoingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a8257838748dae3fe2f6e1c329213ce06">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a802b138a587dae6eaf2787eb2fd30f21">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>hasOutgoingEdges()
 : <a class="el" href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">SVF::SVFVar</a>
@@ -509,7 +506,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64">SVF::ICFG</a>
 </li>
 <li>hasThreadJoinEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a5f7c92af1a4ce33e4746f5b65c9c8421">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a98214e970762f43d0e9ad719961b4021">SVF::ThreadCallGraph</a>
 </li>
 <li>hasThreadStmtSet()
 : <a class="el" href="classSVF_1_1MHP.html#a27d031e9c7c4706d7ee1750668e83b99">SVF::MHP</a>

package/SVF-doxygen/html/html/functions_i.html

@@ -103,14 +103,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#a20ea3e37e9c3c7d3138ff593041a8e47">SVF::ICFG</a>
 , <a class="el" href="classSVF_1_1ICFGEdge.html#a85a07d5b3c293e684a12fafbd4e579a3">SVF::ICFGEdge</a>
 </li>
-<li>ICFGEdgeWrapper()
-: <a class="el" href="classSVF_1_1ICFGEdgeWrapper.html#a7d2ded0d73605918c73b48eba7d54d6f">SVF::ICFGEdgeWrapper</a>
-</li>
-<li>ICFGEdgeWrapperSetTy
-: <a class="el" href="classSVF_1_1ICFGEdgeWrapper.html#a2bd030cf4dbeaeabcd3635ab46412eed">SVF::ICFGEdgeWrapper</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a65f2eff24af3cc79d07b3af571045092">SVF::ICFGNodeWrapper</a>
-, <a class="el" href="classSVF_1_1ICFGWrapper.html#ac8ad7d4ac97b1ad2244204a14056dad0">SVF::ICFGWrapper</a>
-</li>
 <li>ICFGNode()
 : <a class="el" href="classSVF_1_1ICFGNode.html#ae6fe836e269ac36f14b2d2b1499a11e6">SVF::ICFGNode</a>
 </li>
@@ -158,30 +150,12 @@ $(function() {
 <li>ICFGNodeVector
 : <a class="el" href="classSVF_1_1CDG.html#ae886ef8618ac9b16490270f6eb83a210">SVF::CDG</a>
 </li>
-<li>ICFGNodeWrapper()
-: <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#aeba5968ce7ab2859e69bb78ffc4de975">SVF::ICFGNodeWrapper</a>
-</li>
-<li>ICFGNodeWrapperPairVector
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a3803dc8e1f590f1abc2ef8763eab0004">SVF::ICFGWrapper</a>
-</li>
-<li>ICFGNodeWrapperVector
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#adb175502284b568799a1d0cb2736b390">SVF::ICFGWrapper</a>
-</li>
 <li>icfgReader
 : <a class="el" href="classSVF_1_1SVFIRReader.html#aa1100e216d94eb445f59125e94815fd7">SVF::SVFIRReader</a>
 </li>
 <li>ICFGStat()
 : <a class="el" href="classSVF_1_1ICFGStat.html#a3bbad3d1c0ab0cad3cc4b7aa069d1f9f">SVF::ICFGStat</a>
 </li>
-<li>ICFGWrapper()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a7a7a1a8f9aba659a9fe5ae58c84fd1cd">SVF::ICFGWrapper</a>
-</li>
-<li>ICFGWrapperBuilder()
-: <a class="el" href="classSVF_1_1ICFGWrapperBuilder.html#af3c30eab15cb08ec459ac76a64af2577">SVF::ICFGWrapperBuilder</a>
-</li>
-<li>ICFGWrapperNodeIDToNodeMapTy
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#aae9335337421fe0fbabd1a7b2d074f40">SVF::ICFGWrapper</a>
-</li>
 <li>ICFGWriter()
 : <a class="el" href="classSVF_1_1ICFGWriter.html#af1e7410c278b429e8466afc8bd8551be">SVF::ICFGWriter</a>
 </li>
@@ -372,19 +346,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGStat.html#adcb30427bb220dc122ad22030e10eb21">SVF::SVFGStat</a>
 </li>
 <li>InEdgeBegin()
-: <a class="el" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#ac6a9670cb97922875a7db0f3cbee2b0b">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a36e13381f80af68ba51a038314ae8b39">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>InEdgeEnd()
-: <a class="el" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#aebccce8861260f448dee3826cfbabf5f">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a8a9df60ba644f5387506c8bec1fea61d">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>InEdgeKindToSetMap
 : <a class="el" href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">SVF::SVFVar</a>
 </li>
 <li>InEdges
-: <a class="el" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a694296e00a86936cfe1bd5be059eca43">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>inEdgesBegin()
 : <a class="el" href="classSVF_1_1SVFLoop.html#ad23cbd43efdf66427f489cc602ae84cf">SVF::SVFLoop</a>
@@ -645,12 +619,12 @@ $(function() {
 <li>InstToCxtStmt
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a5f573ae9b14b8a8aa8489867e48640a7">SVF::LockAnalysis</a>
 </li>
-<li>instToCxtStmtSet
-: <a class="el" href="classSVF_1_1LockAnalysis.html#ae8715683c7dfddc7b30caf6bf2b78296">SVF::LockAnalysis</a>
-</li>
 <li>InstToCxtStmtSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a159943d09e0498b4569b2245adc91a15">SVF::LockAnalysis</a>
 </li>
+<li>instToCxtStmtSet
+: <a class="el" href="classSVF_1_1LockAnalysis.html#ae8715683c7dfddc7b30caf6bf2b78296">SVF::LockAnalysis</a>
+</li>
 <li>InstToInstSetMap
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a0062c7bbfff6d16db6334d9ecda4209c">SVF::LockAnalysis</a>
 </li>
@@ -1102,7 +1076,7 @@ $(function() {
 , <a class="el" href="classOptionMap.html#a9efba3b88013aa1745f47ab42d71c726">OptionMap&lt; T &gt;</a>
 </li>
 <li>isFClose()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a534bfe077af19b111c1b7bc3c5a065e6">SVF::SaberCheckerAPI</a>
 </li>
 <li>isFieldInsenCondMemObj()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -1329,7 +1303,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#ab6c2beac6b9f1e4fc1fdd4d657232389">SVF::TCT</a>
 </li>
 <li>isMemAlloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#acd2486bcf4cf413e63afed7884a0719e">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a71cbe5fbf582d0801f604595d3dfb416">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemcpy()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
@@ -1370,7 +1344,6 @@ $(function() {
 : <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#ae73ba55d72d5df1f70a2bfa2e12958f3">SVF::DefaultDOTGraphTraits</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#aa89ef1fbbc6ff785a933f45201054af6">SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a4157da89f5224f90d19a505131e5a8bf">SVF::DOTGraphTraits&lt; IRGraph * &gt;</a>
-, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html#abf7abdeb19d067867dacbf5384f91488">SVF::DOTGraphTraits&lt; SVF::ICFGWrapper * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#aafa70c57c0bbad9c2334b83d88eb1a89">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
 , <a class="el" href="classSVF_1_1GraphWriter.html#a8b1d80caf226c3a619c5fb03f8724f74">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
@@ -1601,7 +1574,7 @@ $(function() {
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab8376e0cbdff101b7b981141637e3da3">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a742161b465774d74306df68a2bbe95e8">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
@@ -1737,7 +1710,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;::ReferenceProxy</a>
 </li>
 <li>iter_range()
-: <a class="el" href="classSVF_1_1iter__range.html#ac3a12d857b57fbe7b81987f56655cb3b">SVF::iter_range&lt; IteratorT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__range.html#aa4d5bc9762f2d7686b9ab36078e0a319">SVF::iter_range&lt; IteratorT &gt;</a>
 </li>
 <li>iterationForPrintStat
 : <a class="el" href="classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859">SVF::WPASolver&lt; GraphType &gt;</a>
@@ -1745,13 +1718,15 @@ $(function() {
 <li>iterator
 : <a class="el" href="classSVF_1_1CDG.html#a2d92bee17875c2959a7fc657fd3498c8">SVF::CDG</a>
 , <a class="el" href="classSVF_1_1CDGNode.html#a3fa53ec2c78c57d8c5853c5b223c43f0">SVF::CDGNode</a>
+, <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a00cb890f5d3b51654bc7fe98d19406a4">SVF::CFBasicBlockEdge</a>
 </li>
 <li>Iterator
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac767b7bdc3ee6f7e73fc36fa2d1e2745">SVF::CFBasicBlockGWTO</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html#af4f9d44087dceb6c028abf585b5a6d5b">SVF::CFBasicBlockGWTOCycle</a>
 </li>
 <li>iterator
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#a76d4c06b04161738351a813ae406aa83">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ad33fdf14d9334bd468d9eb541e0e8a31">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1CondPointsToSet.html#a76d4c06b04161738351a813ae406aa83">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a6d82b5ddafa28542ce65adb0cc56cdce">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1ConstraintNode.html#a19ebc316f4fa0246debb1ca61c2b2f3f">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#a624ebc80d138fbf2b015bf557d2891a6">SVF::CoreBitVector</a>
@@ -1759,10 +1734,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1ICFG.html#a498f84068ef643a94970aeb171607e31">SVF::ICFG</a>
-, <a class="el" href="classSVF_1_1ICFGEdgeWrapper.html#a9dc48d242ad9e4c265ab827922d60f6d">SVF::ICFGEdgeWrapper</a>
 , <a class="el" href="classSVF_1_1ICFGNode.html#a5a148eccec266a67e4ff5364d7268fff">SVF::ICFGNode</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#aec04926ac971feec1465d66acf3dbb06">SVF::ICFGNodeWrapper</a>
-, <a class="el" href="classSVF_1_1ICFGWrapper.html#a84a6f4b7f962aa950d14c5a5c0cb678f">SVF::ICFGWrapper</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#ae856f07441da3988d6a31eea1e30a7d9">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1POCRSolver.html#a5541b15444355d6c2e1012ef8bbd34e3">SVF::POCRSolver</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#ab0493cc85f97abeea5b86dee488e5a7f">SVF::PointsTo</a>

package/SVF-doxygen/html/html/functions_n.html

@@ -217,7 +217,6 @@ $(function() {
 , <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html#a5cb946aa10005bc7605528bd09006090">SVF::GenericGraphTraits&lt; SVF::ConstraintGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html#aab14259075b96fab09dde300fbeff390">SVF::GenericGraphTraits&lt; SVF::DCHGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html#a34dfeab39b3cd90b44c10b4e4b02f63c">SVF::GenericGraphTraits&lt; SVF::ICFG * &gt;</a>
-, <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html#aa2a0f0e4f26640e7be7f136911556ab9">SVF::GenericGraphTraits&lt; SVF::ICFGWrapper * &gt;</a>
 , <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html#a7a2a2ab036bfeffdeb7d3328fe9c7c50">SVF::GenericGraphTraits&lt; SVF::IRGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html#a4226541df4a405048579a94ec0573296">SVF::GenericGraphTraits&lt; SVF::PTACallGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html#a0e3ed0946d46830533f184f12428bbb0">SVF::GenericGraphTraits&lt; SVF::SVFG * &gt;</a>
@@ -282,24 +281,24 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab075a7c7fbc60f678b3fee8bbc06194d">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1">SVF::SaberSVFGBuilder</a>
 </li>
-<li>nodeToRepMap
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2">SVF::ConstraintGraph</a>
-</li>
 <li>NodeToRepMap
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#afe34ca6bdbb22b188799a4297fd19004">SVF::ConstraintGraph</a>
 </li>
-<li>nodeToSubsMap
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60">SVF::ConstraintGraph</a>
+<li>nodeToRepMap
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2">SVF::ConstraintGraph</a>
 </li>
 <li>NodeToSubsMap
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139">SVF::ConstraintGraph</a>
 </li>
 <li>nodeToSubsMap
-: <a class="el" href="classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b">SVF::Steensgaard</a>
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60">SVF::ConstraintGraph</a>
 </li>
 <li>NodeToSubsMap
 : <a class="el" href="classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453">SVF::Steensgaard</a>
 </li>
+<li>nodeToSubsMap
+: <a class="el" href="classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b">SVF::Steensgaard</a>
+</li>
 <li>NodeType
 : <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a853ab084e6697910121f897ab43bca04">SVF::DOTGraphTraits&lt; CFLGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#aa655d045996275ad355298fb23d5ffc2">SVF::DOTGraphTraits&lt; CHGraph * &gt;</a>
@@ -309,7 +308,6 @@ $(function() {
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a2d2d962ff64827e29a6ad917b611b258">SVF::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html#a07002cad1d9399f1626d5b965b259f2b">SVF::DOTGraphTraits&lt; SVF::CDG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a10af45bcbdbb34263454107c0e5184d4">SVF::DOTGraphTraits&lt; SVF::CFBasicBlockGraph * &gt;</a>
-, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html#ad3b90b5f85400e0f435236f5a15f8f8d">SVF::DOTGraphTraits&lt; SVF::ICFGWrapper * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ae492abd880bf714538ffc0ede187f6d7">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#aa3077dc4ff70cb2cf07dd5d4ad96c224">SVF::DOTGraphTraits&lt; TCT * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#af92c90b3ed1895cdb345472ee928ea75">SVF::DOTGraphTraits&lt; VFG * &gt;</a>

package/SVF-doxygen/html/html/functions_o.html

@@ -128,18 +128,18 @@ $(function() {
 <li>OpCache
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a896bab5039f4bf2d0da71045e2c63ad7">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
-<li>OpCode
-: <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6">SVF::BinaryOPStmt</a>
-</li>
 <li>opcode
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a">SVF::BinaryOPStmt</a>
 </li>
 <li>OpCode
-: <a class="el" href="classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742">SVF::UnaryOPStmt</a>
+: <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6">SVF::BinaryOPStmt</a>
 </li>
 <li>opcode
 : <a class="el" href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">SVF::UnaryOPStmt</a>
 </li>
+<li>OpCode
+: <a class="el" href="classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742">SVF::UnaryOPStmt</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>
@@ -248,6 +248,7 @@ $(function() {
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html#a7854984f902d9a42c6d4e095de8464a7">std::hash&lt; SVF::SVFGNodeLockSpan &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1SymState_01_4.html#aa1155bb32072fdffe0f7f28ee57eb36f">std::hash&lt; SVF::SymState &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html#a5f22ba479b6e05b6d3932d65c7034ade">std::hash&lt; SVF::Z3Expr &gt;</a>
+, <a class="el" href="structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge.html#a98d11fc92ce13e41762ad33cddd77e07">SVF::CFBasicBlockEdge::equalCFBBEdge</a>
 , <a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html#ac4654da03578f3ab8183b10f98a27f62">SVF::GenericEdge&lt; NodeTy &gt;::equalGEdge</a>
 , <a class="el" href="classSVF_1_1GrammarBase_1_1SymbolHash.html#a9213c70ec0cb74fbd7559db8fb45fd54">SVF::GrammarBase::SymbolHash</a>
 , <a class="el" href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html#a321f570e916c56fc0b9789662069481e">SVF::GrammarBase::SymbolVectorHash</a>
@@ -255,7 +256,6 @@ $(function() {
 , <a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html#ad54ea05fd0e03af862a5d72f8c4db411">SVF::Hash&lt; CoreBitVector &gt;</a>
 , <a class="el" href="structSVF_1_1Hash_3_01NodePair_01_4.html#a57f65bc02efb8b1d4905030ef437df3e">SVF::Hash&lt; NodePair &gt;</a>
 , <a class="el" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be">SVF::Hash&lt; std::pair&lt; S, T &gt; &gt;</a>
-, <a class="el" href="structSVF_1_1ICFGEdgeWrapper_1_1equalICFGEdgeWrapper.html#a643cf99beb6c5c5a06af7862286609b2">SVF::ICFGEdgeWrapper::equalICFGEdgeWrapper</a>
 , <a class="el" href="structSVF_1_1MemRegion_1_1equalMemRegion.html#a3cd8165dfa543312d2b3bfa798b6154b">SVF::MemRegion::equalMemRegion</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1equalNodeBS.html#a023a5352ff198ab9f2e0dbc2a5eadc9e">SVF::SVFUtil::equalNodeBS</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1equalPointsTo.html#a4a7e42b2cca7e54766ce7657fefb91f9">SVF::SVFUtil::equalPointsTo</a>
@@ -465,6 +465,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1AddressValue.html#a8dd76412c39640fa71f9512b0136e30f">SVF::AddressValue</a>
 , <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a98662c8823a81602fb00cb2be74b578d">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1CallSite.html#aa9b62205a5b63384042d9431a01f03ec">SVF::CallSite</a>
+, <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a8dcfa5b748916c61392f340c68c769a8">SVF::CFBasicBlockEdge</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ab069959f9b4b2a0e1441281acb666a60">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#abe02e0bdcfddde7251b7d35e916c8f02">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a6697d9c3d1107db2be430b8e8b670cb5">SVF::CondStdSet&lt; Element &gt;</a>
@@ -484,7 +485,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">SVF::ExeState</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="classSVF_1_1ICFGEdgeWrapper.html#aa23ace3554cff8fcf86e70f0d7169486">SVF::ICFGEdgeWrapper</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a92b846d3cd77ab12a35cb81815e22ee3">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#a3ac2a92a9d67dec907fa7ae4181dc171">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1iter__adaptor__base.html#a0cfce21cb7aa24062dd921a9a5bace3a">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
@@ -607,12 +607,12 @@ $(function() {
 <li>opVarBegin()
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9">SVF::MultiOpndStmt</a>
 </li>
-<li>OPVars
-: <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">SVF::MultiOpndStmt</a>
-</li>
 <li>opVars
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt</a>
 </li>
+<li>OPVars
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">SVF::MultiOpndStmt</a>
+</li>
 <li>opVer
 : <a class="el" href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">SVF::MSSACHI&lt; Cond &gt;</a>
 </li>
@@ -635,38 +635,34 @@ $(function() {
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20">SVF::PHIVFGNode</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c">SVF::UnaryOPVFGNode</a>
 </li>
-<li>opVers
-: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc">SVF::BinaryOPVFGNode</a>
-</li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990">SVF::BinaryOPVFGNode</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
+: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc">SVF::BinaryOPVFGNode</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode</a>
-, <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
+: <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
+, <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
 <li>OPVers
-: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
+: <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
+: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
+, <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</a>
+, <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
 </li>
 <li>opVers
 : <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode</a>
 </li>
-<li>OPVers
-: <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
-</li>
 <li>Or
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe">SVF::BinaryOPStmt</a>
 </li>
@@ -692,19 +688,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33">SVF::CFLNode</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_1ICFGNodeWrapper.html#a8223c3e3d30f17b69933099227ecad93">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ad37525807d9c8d7c12e7166af068134e">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">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>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#aa60bbe936063a5b5fb52559dd9cbd902">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#aad38e58364301dafed7a3ee46f812cd9">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeKindToSetMap
 : <a class="el" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">SVF::SVFVar</a>
 </li>
 <li>OutEdges
-: <a class="el" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a4441d57e784b94ada205c0dbafd09547">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>outgoingAddrEdges()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#ae5acdc3bd73974b6972b60fb3df5e0ea">SVF::ConstraintNode</a>

package/SVF-doxygen/html/html/functions_p.html

@@ -175,12 +175,12 @@ $(function() {
 <li>PAGPrint
 : <a class="el" href="classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e">SVF::Options</a>
 </li>
-<li>pagReadFromTxt
-: <a class="el" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule</a>
-</li>
 <li>pagReadFromTXT()
 : <a class="el" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule</a>
 </li>
+<li>pagReadFromTxt
+: <a class="el" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule</a>
+</li>
 <li>pairheadmap
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e">SVF::MTASVFGBuilder</a>
 </li>
@@ -528,12 +528,12 @@ $(function() {
 <li>predBBs
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c">SVF::SVFBasicBlock</a>
 </li>
-<li>predicate
-: <a class="el" href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">SVF::CmpStmt</a>
-</li>
 <li>Predicate
 : <a class="el" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338ac">SVF::CmpStmt</a>
 </li>
+<li>predicate
+: <a class="el" href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">SVF::CmpStmt</a>
+</li>
 <li>PredictPtOcc
 : <a class="el" href="classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb">SVF::Options</a>
 </li>
@@ -1007,15 +1007,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e">SVF::FlowSensitiveStat</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>ptsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-</li>
-<li>PtsMap
-: <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-</li>
-<li>ptsMap
-: <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>PtsMapConstIter
 : <a class="el" href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>

package/SVF-doxygen/html/html/functions_r.html

@@ -122,7 +122,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#ae1776c9fb7d163153443b1ff2a7350a8">SVF::Options</a>
 </li>
 <li>readJson()
-: <a class="el" href="classSVF_1_1SVFIRReader.html#abdb701b360803217f31baa66ca42d147">SVF::SVFIRReader</a>
+: <a class="el" href="classSVF_1_1SVFIRReader.html#af379c833b8e0c16ed7b41a76bb8e51d6">SVF::SVFIRReader</a>
 </li>
 <li>readPrecision()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36">SVF::MTASVFGBuilder</a>
@@ -233,9 +233,6 @@ $(function() {
 <li>releaseFSWPA()
 : <a class="el" href="classSVF_1_1FlowSensitive.html#ae6aed22a79ac6567446dfcba82cb17b8">SVF::FlowSensitive</a>
 </li>
-<li>releaseICFGWrapper()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#aac34548409f5722182c7a0a585a62c0b">SVF::ICFGWrapper</a>
-</li>
 <li>releaseLLVMModuleSet()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936">SVF::LLVMModuleSet</a>
 </li>
@@ -299,6 +296,12 @@ $(function() {
 <li>removeCDGNode()
 : <a class="el" href="classSVF_1_1CDG.html#a260507920498e0d9bd6bf629e6912cdb">SVF::CDG</a>
 </li>
+<li>removeCFBBEdge()
+: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a9d7ebedc25848db79b551cb8a1ef11af">SVF::CFBasicBlockGraph</a>
+</li>
+<li>removeCFBBNode()
+: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a0ed78b8098e84845a500979d52bb8d18">SVF::CFBasicBlockGraph</a>
+</li>
 <li>removeCFLInEdge()
 : <a class="el" href="classSVF_1_1CFLNode.html#a60dfc3e421558eecee5065e8ae5f984a">SVF::CFLNode</a>
 </li>
@@ -329,15 +332,9 @@ $(function() {
 <li>removeICFGEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#a534625b10673efe5b0f344bfebf9b3cf">SVF::ICFG</a>
 </li>
-<li>removeICFGEdgeWrapper()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a2566b0ef4ae6c86aef8f9ac063947509">SVF::ICFGWrapper</a>
-</li>
 <li>removeICFGNode()
 : <a class="el" href="classSVF_1_1ICFG.html#a403cd10f7c01cc879d803a9759e729cb">SVF::ICFG</a>
 </li>
-<li>removeICFGNodeWrapper()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a90bf154ba64f42ba9bf9ac08c8866000">SVF::ICFGWrapper</a>
-</li>
 <li>removeIncomingAddrEdge()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a5a97f47f5a65550dce11341c6f8d9ae6">SVF::ConstraintNode</a>
 </li>
@@ -345,8 +342,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a7946aea5584d124f6c83fd91ab497500">SVF::ConstraintNode</a>
 </li>
 <li>removeIncomingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#aaca796cf612ae68edeb949b8e20364f4">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a1595d3b9c142ae3bfeb144b3deb88935">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>removeIncomingLoadEdge()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#aa1f60c884d007524641d1a786410d41b">SVF::ConstraintNode</a>
@@ -361,7 +358,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#aa4bca2422049413439cb0c3400f2ce28">SVF::ConstraintGraph</a>
 </li>
 <li>removeMDTag()
-: <a class="el" href="classSVF_1_1Annotator.html#a676a5c9b425e13f17fa73879c72787a6">SVF::Annotator</a>
+: <a class="el" href="classSVF_1_1Annotator.html#a35dabd3a84615e730b34f568623ad8f5">SVF::Annotator</a>
+</li>
+<li>removeNode()
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a772a7259fa9ef0eae1ec2ba30b17587f">SVF::CFBasicBlockNode</a>
 </li>
 <li>removeOutEdges()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#ae85391a5f0828362c61d55e162eef04d">SVF::SVFGOPT</a>
@@ -373,8 +373,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a73b8c0967cde518a2ea7dfea2a7dc32f">SVF::ConstraintNode</a>
 </li>
 <li>removeOutgoingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#ab5e10f79dcdbbf82d0326fac224c206c">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a2e09d431bbe6a9a70c04db17d89eda2c">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>removeOutgoingLoadEdge()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a7d810ec9abc8817a938a557ac78dc8c0">SVF::ConstraintNode</a>
@@ -573,7 +573,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c">SVF::RetCFGEdge</a>
 </li>
 <li>RetPE()
-: <a class="el" href="classSVF_1_1RetPE.html#aa6378c78b2cc253ab036d54aaca11f85">SVF::RetPE</a>
+: <a class="el" href="classSVF_1_1RetPE.html#a80129364e04411956caf75077bdbd89a">SVF::RetPE</a>
 </li>
 <li>retPEBegin()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132">SVF::FormalRetVFGNode</a>
@@ -590,7 +590,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a367413b90de8a382190ffa9f0c742e01">SVF::VFGNode</a>
 </li>
 <li>RetPN()
-: <a class="el" href="classSVF_1_1RetPN.html#abeb65c2fe30da157e63dc43f628bab23">SVF::RetPN</a>
+: <a class="el" href="classSVF_1_1RetPN.html#ac551c1aaf9ec3cb77814aa4664d61a23">SVF::RetPN</a>
 </li>
 <li>RetSymbol
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba8ac9528bf8b81f7942c1cdc0bf63ec35">SVF::SymbolTableInfo</a>