svf-tools 1.0.442 → 1.0.445

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

@@ -416,12 +416,12 @@ $(function() {
 <li>OpICFGNodeVec
 : <a class="el" href="classSVF_1_1PhiStmt.html#ac505a4fe33e82f555663872e81220ba4">SVF::PhiStmt</a>
 </li>
-<li>OPIncomingBBs
-: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
-</li>
 <li>opIncomingBBs
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
 </li>
+<li>OPIncomingBBs
+: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
+</li>
 <li>OpIt
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>
@@ -437,12 +437,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#a172025849492f4de8f87564ef08f5880">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>opVer
 : <a class="el" href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">SVF::MSSACHI&lt; Cond &gt;</a>
 </li>

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

@@ -451,7 +451,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1MHP.html#ad8d3aa1a12fb1e8668eb4138fbe23b7d">SVF::MHP</a>
 </li>
 <li>popFromWorklist()
-: <a class="el" href="classSVF_1_1SrcSnkSolver.html#aa9e62efa4443fc8a9dfb79d002c5e1ef">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1CFLSolver.html#a95573e91816f426ff7b45afb7b7c821e">SVF::CFLSolver</a>
+, <a class="el" href="classSVF_1_1GraphReachSolver.html#a1638d1ccdcef472f2c54a2e18fc4130b">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#aa9e62efa4443fc8a9dfb79d002c5e1ef">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#a20a14ac31fe23d4fe67da15f5cc498df">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>popRecursiveCallSites()
@@ -735,6 +737,15 @@ $(function() {
 <li>processTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#ae2e58d18abcdddc7a5a87f4edc5f3b72">SVF::FlowSensitive</a>
 </li>
+<li>Production
+: <a class="el" href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">SVF::CFGNormalizer</a>
+, <a class="el" href="classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288">SVF::CFLSolver</a>
+, <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">SVF::GrammarBase</a>
+</li>
+<li>Productions
+: <a class="el" href="classSVF_1_1CFGNormalizer.html#ad7527e1c7f04d34ef45dafb74d14d4f4">SVF::CFGNormalizer</a>
+, <a class="el" href="classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98">SVF::GrammarBase</a>
+</li>
 <li>ProgSlice()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a76b91deacf7a66d142752f5a303386eb">SVF::ProgSlice</a>
 </li>
@@ -864,26 +875,24 @@ $(function() {
 , <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6e4964389f96667bd69354fd4a742720">SVF::VersionedFlowSensitive</a>
 </li>
 <li>PTASCEV()
-: <a class="el" href="classSVF_1_1PTASCEV.html#a6a134ca4f7f50de053805e75431aa856">SVF::PTASCEV</a>
+: <a class="el" href="classSVF_1_1PTASCEV.html#a3f4fbad38457025f35e151e54ab96b70">SVF::PTASCEV</a>
 </li>
 <li>PTAStat()
 : <a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat</a>
 </li>
-<li>PTATY
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis</a>
-</li>
 <li>ptaTy
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
 </li>
+<li>PTATY
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis</a>
+</li>
 <li>PTAVector
 : <a class="el" href="classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a">SVF::DDAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
 </li>
 <li>ptaVector
 : <a class="el" href="classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446">SVF::WPAPass</a>
 </li>
-<li>PTAVector
-: <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
-</li>
 <li>PTBackingType
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a">SVF::BVDataPTAImpl</a>
 </li>
@@ -965,15 +974,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>
@@ -1024,10 +1029,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aaf70954762aa86f835d799994726790e">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a7d9fd3ddcadd84969b57491181983b17">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a67e2d43f0e35cc46eb7680ec66a4fe44">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169">SVF::TCT</a>
+, <a class="el" href="classSVF_1_1TCT.html#afc6d7a91cfc98561bcce13425964a39e">SVF::TCT</a>
 </li>
 <li>pushIntoWorklist()
-: <a class="el" href="classSVF_1_1SrcSnkSolver.html#a4451d97a06bb74223e2dad0ea04265d7">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1CFLSolver.html#afc745dc72fd0572a145a78fe6a93ae5c">SVF::CFLSolver</a>
+, <a class="el" href="classSVF_1_1GraphReachSolver.html#a53564d384938c19980cb138f720e34e9">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a4451d97a06bb74223e2dad0ea04265d7">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#a4af1c3e72f5af96c4facff672108da58">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>pushToCTPWorkList()

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

@@ -67,6 +67,9 @@ $(function() {
 <li>randomizeOrder
 : <a class="el" href="structDdManager.html#a25841e85a14cc64d3764b10687554c89">DdManager</a>
 </li>
+<li>rawProductions
+: <a class="el" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">SVF::GrammarBase</a>
+</li>
 <li>RC_ACCESS
 : <a class="el" href="classSVF_1_1RaceResultValidator.html#ae296de41ead49fcff5ea9e7a5afde1c9">SVF::RaceResultValidator</a>
 </li>
@@ -378,7 +381,7 @@ $(function() {
 </li>
 <li>rep()
 : <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aae671732173cc6f958612ac934a6b503">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
-, <a class="el" href="classSVF_1_1SCCDetection.html#a0495f912a9084b21327f678b47ef7e07">SVF::SCCDetection&lt; GraphType &gt;</a>
+, <a class="el" href="classSVF_1_1SCCDetection.html#ac22aee5fdb22387b5bd0f612faef689c">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>replaceFParamARetWithPHI()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a1fd6d26203d7d574b5664b8fcae54c1a">SVF::SVFGOPT</a>
@@ -528,7 +531,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#ab4da5e54fec989eab5640acc8c4fe215">SVF::RetPE</a>
+: <a class="el" href="classSVF_1_1RetPE.html#a60cb8a19e352547b22f197f4ca8e19d8">SVF::RetPE</a>
 </li>
 <li>retPEBegin()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132">SVF::FormalRetVFGNode</a>
@@ -568,12 +571,14 @@ $(function() {
 <li>reverseNodeMapping
 : <a class="el" href="classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1">SVF::PointsTo</a>
 </li>
+<li>RevPtsMap
+: <a class="el" href="classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
 <li>revPtsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>RevPtsMap
-: <a class="el" href="classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+: <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>revPtsMap
@@ -614,14 +619,14 @@ $(function() {
 </li>
 <li>runOnModule()
 : <a class="el" href="classSVF_1_1BreakConstantGEPs.html#ae99ceb7923161d54e7d0a687f4f68e1a">SVF::BreakConstantGEPs</a>
-, <a class="el" href="classSVF_1_1DDAPass.html#a7bc2c9a62b7d97b8e19bee0c4625aea3">SVF::DDAPass</a>
+, <a class="el" href="classSVF_1_1DDAPass.html#af196994d6ec7f5cead72212407842103">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1DoubleFreeChecker.html#a71c9f9450e369d1196c49b7d9019dbda">SVF::DoubleFreeChecker</a>
 , <a class="el" href="classSVF_1_1FileChecker.html#a98a68536b8ffdb2250bbb01437598ac3">SVF::FileChecker</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a611608ccc9659bd320670f1ec31ad18e">SVF::FlowSensitive</a>
 , <a class="el" href="classSVF_1_1LeakChecker.html#ab3bb79d88d73c8b881d714921e7b5e12">SVF::LeakChecker</a>
 , <a class="el" href="classSVF_1_1MergeFunctionRets.html#a8fe74477a43f80104fb3461d006ad392">SVF::MergeFunctionRets</a>
 , <a class="el" href="classSVF_1_1MTA.html#a32f6beffb47e5c2ac86f5c3b8a1bd9ba">SVF::MTA</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a1f47c1cb5a64bab9a6b8ac38103416ac">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a394dcd976c1ef08d9cadcba8f5d07c75">SVF::WPAPass</a>
 </li>
 <li>runPointerAnalysis()
 : <a class="el" href="classSVF_1_1DDAPass.html#a13ff3107a0e4f8749b166fa9b8165167">SVF::DDAPass</a>

package/SVF-doxygen/html/html/functions_s.html

@@ -98,12 +98,12 @@ $(function() {
 <li>SB_SLICESOURCE
 : <a class="el" href="classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744">SVF::Annotator</a>
 </li>
-<li>SBV
-: <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</a>
-</li>
 <li>sbv
 : <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
 </li>
+<li>SBV
+: <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</a>
+</li>
 <li>sbvIt
 : <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ac13245e140ab7c488c776b8dd97facf4">SVF::PointsTo::PointsToIterator</a>
 </li>
@@ -134,12 +134,12 @@ $(function() {
 <li>SCCDetectionTime
 : <a class="el" href="classSVF_1_1PTAStat.html#ad4c1cf3750341f73987c37745f3bd2aa">SVF::PTAStat</a>
 </li>
-<li>SCCEdgeFlag
-: <a class="el" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c">SVF::ConstraintNode</a>
-</li>
 <li>sccEdgeFlag
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a0fd9fca5ed82cf83dbd825d23c63783a">SVF::ConstraintNode</a>
 </li>
+<li>SCCEdgeFlag
+: <a class="el" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c">SVF::ConstraintNode</a>
+</li>
 <li>SCCMergeTime
 : <a class="el" href="classSVF_1_1PTAStat.html#a8c4101e697057269def501d14a987287">SVF::PTAStat</a>
 </li>
@@ -162,6 +162,9 @@ $(function() {
 <li>scev
 : <a class="el" href="classSVF_1_1PTASCEV.html#af1d494e97cfb2f555d47227ca25172b3">SVF::PTASCEV</a>
 </li>
+<li>secondRHS2Prods
+: <a class="el" href="classSVF_1_1CFLGrammar.html#aa85341b1bac9f80780417c83b83b9f73">SVF::CFLGrammar</a>
+</li>
 <li>Select
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">SVF::SVFStmt</a>
 </li>
@@ -293,7 +296,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a3e2b811dd939c93bcf9fb94e91d553b1">SVF::SVFGOPT</a>
 </li>
 <li>setGraph()
-: <a class="el" href="classSVF_1_1SrcSnkSolver.html#a49cae8f70144639f529956478a8fca2b">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#a0298a692295a8a4eae32ab151aa6ccc3">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a49cae8f70144639f529956478a8fca2b">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#aa04deb39cd024c051f30ac43d1d62b34">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>setICFGNode()
@@ -315,6 +319,9 @@ $(function() {
 <li>setLocVar()
 : <a class="el" href="classSVF_1_1StmtDPItem.html#a3feb4bc8e003cfdd30c1b2cfb2219efb">SVF::StmtDPItem&lt; LocCond &gt;</a>
 </li>
+<li>setMap()
+: <a class="el" href="classSVF_1_1CFLGraph.html#a0048622552a5dff5afdd512ee91490f2">SVF::CFLGraph</a>
+</li>
 <li>setMaxBudget()
 : <a class="el" href="classSVF_1_1DPItem.html#a687ef8944ccb55b826508c47ea5b9240">SVF::DPItem</a>
 </li>
@@ -538,6 +545,9 @@ $(function() {
 <li>SingleLoad
 : <a class="el" href="classSVF_1_1Options.html#a57564c82a2b90b7de837151f65b276f3">SVF::Options</a>
 </li>
+<li>singleRHS2Prods
+: <a class="el" href="classSVF_1_1CFLGrammar.html#acd866f3392952d7d71b51ca21b7e1c91">SVF::CFLGrammar</a>
+</li>
 <li>SingleStride
 : <a class="el" href="classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015">SVF::Options</a>
 </li>
@@ -575,7 +585,8 @@ $(function() {
 , <a class="el" href="structDdSubtable.html#ab01ae39304c9a7ce2236584a78ff5856">DdSubtable</a>
 </li>
 <li>solve()
-: <a class="el" href="classSVF_1_1WPAMinimumSolver.html#afb4c3a86fdb91cbb555669003cf299c2">SVF::WPAMinimumSolver&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1CFLSolver.html#a2ee3436c26ebdb2aaf790c25b1d8b5a6">SVF::CFLSolver</a>
+, <a class="el" href="classSVF_1_1WPAMinimumSolver.html#afb4c3a86fdb91cbb555669003cf299c2">SVF::WPAMinimumSolver&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1WPASCCSolver.html#ac37c1063fbdff394c9a313c8d131d893">SVF::WPASCCSolver&lt; GraphType &gt;</a>
 </li>
 <li>solveAll
@@ -584,6 +595,9 @@ $(function() {
 <li>solveOfflineSCC()
 : <a class="el" href="classSVF_1_1OfflineConsG.html#ab7d06ed7e5e186b97452391c1162b181">SVF::OfflineConsG</a>
 </li>
+<li>solver
+: <a class="el" href="classSVF_1_1CFLAlias.html#aa61c3683c9b759b6eca65b1f88e00b35">SVF::CFLAlias</a>
+</li>
 <li>solveRep()
 : <a class="el" href="classSVF_1_1OfflineConsG.html#aeb069df3700dafcf365f11d697501c8f">SVF::OfflineConsG</a>
 </li>
@@ -643,7 +657,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a8dcd94e8f996fdb2197159ea95226817">SVF::PCG</a>
 </li>
 <li>split()
-: <a class="el" href="classSVF_1_1LockResultValidator.html#ab8a6935e1ea6f99d60ead862a7b1782f">SVF::LockResultValidator</a>
+: <a class="el" href="classSVF_1_1LockResultValidator.html#ad26006e14c866d694bc6e2ebaa41ded9">SVF::LockResultValidator</a>
 , <a class="el" href="classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6">SVF::MTAResultValidator</a>
 </li>
 <li>src
@@ -692,6 +706,10 @@ $(function() {
 <li>startNewPTCompFromStoreDst()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#aff744e724dcf06a2b1cdd7ba2b1093f1">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
+<li>startSymbol
+: <a class="el" href="classSVF_1_1CFLGraph.html#ab678bb152e60a8b67d6a703792c8af84">SVF::CFLGraph</a>
+, <a class="el" href="classSVF_1_1GrammarBase.html#a48c738beefe73184f7aed8b1ed5afb53">SVF::GrammarBase</a>
+</li>
 <li>startTime
 : <a class="el" href="structDdManager.html#a7436169471f7648c313c0c4a3674942c">DdManager</a>
 , <a class="el" href="classSVF_1_1PTAStat.html#a59e0fe6fa506f1cf319b5acaf9d28be9">SVF::PTAStat</a>
@@ -746,7 +764,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTASCEV.html#aead435732fbb492627f746b3d0654ce2">SVF::PTASCEV</a>
 </li>
 <li>StInfo()
-: <a class="el" href="classSVF_1_1StInfo.html#acf028061b5a83c339766c30b19e8fc65">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#a72dd2114d61e1489676a524b83ebb5ac">SVF::StInfo</a>
 </li>
 <li>StmtDPItem()
 : <a class="el" href="classSVF_1_1StmtDPItem.html#aed9239e5558569f6e957e691fa1872d7">SVF::StmtDPItem&lt; LocCond &gt;</a>
@@ -816,7 +834,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a">SVF::MTAAnnotator</a>
 </li>
 <li>StoreStmt()
-: <a class="el" href="classSVF_1_1StoreStmt.html#a39ee0d8cc951aff0d6418a3d743fb3ae">SVF::StoreStmt</a>
+: <a class="el" href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">SVF::StoreStmt</a>
 </li>
 <li>StoresToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
@@ -843,14 +861,17 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>StoreVFGNode()
-: <a class="el" href="classSVF_1_1StoreVFGNode.html#ae7ee09f0e965b6487a38a58c4f51b20b">SVF::StoreVFGNode</a>
+: <a class="el" href="classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a">SVF::StoreVFGNode</a>
 </li>
-<li>strategy
-: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
+<li>str2Sym()
+: <a class="el" href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">SVF::GrammarBase</a>
 </li>
 <li>Strategy
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
 </li>
+<li>strategy
+: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
+</li>
 <li>stride
 : <a class="el" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo</a>
 </li>
@@ -866,6 +887,9 @@ $(function() {
 <li>strongUpdateOutFromIn()
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a8ebe4342c1496b906ee1b6450558c3e8">SVF::FlowSensitive</a>
 </li>
+<li>strTrans()
+: <a class="el" href="classSVF_1_1CFGNormalizer.html#a2711dbd73fa56bc9d17f8caeca109680">SVF::CFGNormalizer</a>
+</li>
 <li>subNodes()
 : <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aa2b23b22bb0304ce07ab9b14f0fdc395">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d">SVF::SCCDetection&lt; GraphType &gt;</a>
@@ -977,12 +1001,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd">SVF::ProgSlice</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58">SVF::SrcSnkDDA</a>
 </li>
-<li>SVFGNodeToCondMap
-: <a class="el" href="classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00">SVF::ProgSlice</a>
-</li>
 <li>svfgNodeToCondMap
 : <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
 </li>
+<li>SVFGNodeToCondMap
+: <a class="el" href="classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00">SVF::ProgSlice</a>
+</li>
 <li>SVFGNodeToCSIDMap
 : <a class="el" href="classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700">SVF::LeakChecker</a>
 </li>
@@ -1027,6 +1051,9 @@ $(function() {
 <li>SVFInst
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd">SVF::SVFValue</a>
 </li>
+<li>svfir
+: <a class="el" href="classSVF_1_1CFLAlias.html#a0bf4ce7e4fb3d1d95608c06420cc65dc">SVF::CFLAlias</a>
+</li>
 <li>SVFIR()
 : <a class="el" href="classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636">SVF::SVFIR</a>
 , <a class="el" href="classSVF_1_1SVFVar.html#a6dbb40e8ee92033b77440c44acd8a868">SVF::SVFVar</a>
@@ -1081,6 +1108,15 @@ $(function() {
 <li>SVFVarList
 : <a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVF::SVFIR</a>
 </li>
+<li>sym2Str()
+: <a class="el" href="classSVF_1_1GrammarBase.html#a3638a17caf8596a826b419ec5bc4df2e">SVF::GrammarBase</a>
+</li>
+<li>Symbol
+: <a class="el" href="classSVF_1_1CFGNormalizer.html#a4df66b45b07b7e3dc5bcc839188bd70f">SVF::CFGNormalizer</a>
+, <a class="el" href="classSVF_1_1CFLGraph.html#a9c06fd82f008d44417b1373b4afe40f8">SVF::CFLGraph</a>
+, <a class="el" href="classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd">SVF::CFLSolver</a>
+, <a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">SVF::GrammarBase</a>
+</li>
 <li>SymbolInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo</a>
 </li>

package/SVF-doxygen/html/html/functions_t.html

@@ -196,18 +196,18 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d">SVF::ThreadAPI</a>
 , <a class="el" href="classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f">SVF::ThreadCallGraph</a>
 </li>
-<li>tdAPIMap
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
-</li>
 <li>TDAPIMap
 : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a3115116dc595c4b157f2cfc0a6ea89fc">SVF::SaberCheckerAPI</a>
 </li>
 <li>tdAPIMap
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
 </li>
 <li>TDAPIMap
 : <a class="el" href="classSVF_1_1ThreadAPI.html#ae9721b91bd60d27ae3dd48cb058301b2">SVF::ThreadAPI</a>
 </li>
+<li>tdAPIMap
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
+</li>
 <li>TDDead
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4">SVF::ForkJoinAnalysis</a>
 </li>
@@ -239,6 +239,9 @@ $(function() {
 <li>teq()
 : <a class="el" href="classSVF_1_1DCHGraph.html#acb76ab20da1bfbec00f63d08e48cbddd">SVF::DCHGraph</a>
 </li>
+<li>terminals
+: <a class="el" href="classSVF_1_1GrammarBase.html#af9e8e7bf4239a04002ff41885f9e5e91">SVF::GrammarBase</a>
+</li>
 <li>test()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a1613b690473a4fcbae7bc41c3c5347d7">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a6bf6fafc6f8391dbff08a6bd9d07f4d4">SVF::CondStdSet&lt; Element &gt;</a>
@@ -552,6 +555,9 @@ $(function() {
 <li>totalPTAPAGEdge
 : <a class="el" href="classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27">SVF::IRGraph</a>
 </li>
+<li>totalSymbol
+: <a class="el" href="classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e">SVF::GrammarBase</a>
+</li>
 <li>totalSymNum
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a125faa0295b38d027b35bc3d76b3afdd">SVF::SymbolTableInfo</a>
 </li>
@@ -604,13 +610,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">SVF::MSSAMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d">SVF::ObjTypeInfo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
 </li>
 <li>Type
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e">SVF::PointsTo</a>
 </li>
-<li>type
-: <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
-</li>
 <li>TypeAnalysis()
 : <a class="el" href="classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3">SVF::TypeAnalysis</a>
 </li>

package/SVF-doxygen/html/html/functions_type_c.html

@@ -174,6 +174,9 @@ $(function() {
 <li>CallToInstMap
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#a8c6eef5a291bd0c65cc2f816767795f1">SVF::ThreadCallGraph</a>
 </li>
+<li>CFLEdgeSet
+: <a class="el" href="classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14">SVF::CFLGraph</a>
+</li>
 <li>CFWorkList
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#ac578894f959845164e1343384d60def1">SVF::PathCondAllocator</a>
 , <a class="el" href="classSVF_1_1ProgSlice.html#ab13cc8f64fed5f06b11f7ca67cbc0dc5">SVF::ProgSlice</a>
@@ -189,7 +192,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFG.html#a60df52c14b303562ff5d73c7836e3495">SVF::SVFG</a>
 </li>
 <li>child_iterator
-: <a class="el" href="classSVF_1_1SCCDetection.html#ac1274a90ddbea6f1f0b539710505d902">SVF::SCCDetection&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>
 , <a class="el" href="classSVF_1_1WPASCCSolver.html#abec9201d60f0bf2724dbe9ad8a0dfc39">SVF::WPASCCSolver&lt; GraphType &gt;</a>

package/SVF-doxygen/html/html/functions_type_g.html

@@ -62,7 +62,8 @@ $(function() {
 
 <h3><a id="index_g"></a>- g -</h3><ul>
 <li>GEDGE
-: <a class="el" href="classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#a8a42bdbb5987d0a340f9935f09e2acd2">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#ab7de73aabfa092b51b8dbe7b091e4c57">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>GEdgeFlag
@@ -93,7 +94,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a113185086912213257b04daa4590bf13">SVF::VFG</a>
 </li>
 <li>GNODE
-: <a class="el" href="classSVF_1_1SCCDetection.html#a7d7b354d8a7ce69b27dc775ccd192a62">SVF::SCCDetection&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SCCDetection.html#a7d7b354d8a7ce69b27dc775ccd192a62">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPAMinimumSolver.html#ab694f375b6b15991bc6a7c228db3242b">SVF::WPAMinimumSolver&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1WPASCCSolver.html#aa40ff9a4090744e66034f9de38f7f45f">SVF::WPASCCSolver&lt; GraphType &gt;</a>
@@ -110,7 +112,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SCCDetection.html#a84fc3aef6f950471a539b7d9fa3c1289">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>GTraits
-: <a class="el" href="classSVF_1_1SCCDetection.html#aaee4b4afbfb6efa02c537529e3cebfef">SVF::SCCDetection&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#a2ede2e8b4c0f44d7f1d5ab7684915556">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SCCDetection.html#aaee4b4afbfb6efa02c537529e3cebfef">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#a40c3ad6a16099d14654d6f59a1bae238">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324">SVF::WPAMinimumSolver&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808">SVF::WPASCCSolver&lt; GraphType &gt;</a>

package/SVF-doxygen/html/html/functions_type_i.html

@@ -136,10 +136,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#a8e26b7fe85478eef7b3d0551ab59d9c7">SVF::MTAResultValidator</a>
 </li>
 <li>inv_child_iterator
-: <a class="el" href="classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#a40fe9f5863619ee7c11a630e4fd89a91">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>InvGTraits
-: <a class="el" href="classSVF_1_1SrcSnkSolver.html#ad50e99f38fe6569107d0461d96f735ae">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#aa1542934a87c9edce00355fe2d690b9e">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#ad50e99f38fe6569107d0461d96f735ae">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>iterator
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a76d4c06b04161738351a813ae406aa83">SVF::CondPointsToSet&lt; Cond &gt;</a>

package/SVF-doxygen/html/html/functions_type_n.html

@@ -68,7 +68,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1">SVF::List&lt; Data &gt;</a>
 </li>
 <li>node_iterator
-: <a class="el" href="classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8">SVF::SCCDetection&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#a4e5126b0e97e490ce65804e2017f0084">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#a14a76b28f06e167bf66e15b336570cd3">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>NodeData
@@ -99,7 +100,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#ab715a8e83a4ec45fb86298fef3eda95a">SVF::SVFIR</a>
 </li>
 <li>NodeRef
-: <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html#aea2a657d278919364d2911d92b3e6f5a">llvm::GraphTraits&lt; SVF::CHGraph * &gt;</a>
+: <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html#a6f880b27ee400d73347d77abb7a80f3d">llvm::GraphTraits&lt; SVF::CFLGraph * &gt;</a>
+, <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html#aea2a657d278919364d2911d92b3e6f5a">llvm::GraphTraits&lt; SVF::CHGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html#a3f34a804842ca97e422cb255ff670b5c">llvm::GraphTraits&lt; SVF::ConstraintGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html#a7f54c1b4b286ea5b46471741e4c34b54">llvm::GraphTraits&lt; SVF::DCHGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html#a56fc8804dac855c62d6d7d3842b6fff4">llvm::GraphTraits&lt; SVF::ICFG * &gt;</a>
@@ -136,7 +138,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453">SVF::Steensgaard</a>
 </li>
 <li>NodeType
-: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a73928161c8b1427e8150ca68ec48160e">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
+: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a6e417cb13c4cdff831f257a66d031630">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>
+, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a73928161c8b1427e8150ca68ec48160e">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#ad6174f74f7a037a7ffd13df41c5f50f7">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>

package/SVF-doxygen/html/html/functions_type_p.html

@@ -153,6 +153,15 @@ $(function() {
 <li>PointsToList
 : <a class="el" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">SVF::MRGenerator</a>
 </li>
+<li>Production
+: <a class="el" href="classSVF_1_1CFGNormalizer.html#ad7798c3c356f20bb8af18e1a0916da41">SVF::CFGNormalizer</a>
+, <a class="el" href="classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288">SVF::CFLSolver</a>
+, <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">SVF::GrammarBase</a>
+</li>
+<li>Productions
+: <a class="el" href="classSVF_1_1CFGNormalizer.html#ad7527e1c7f04d34ef45dafb74d14d4f4">SVF::CFGNormalizer</a>
+, <a class="el" href="classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98">SVF::GrammarBase</a>
+</li>
 <li>PTACGNodeSet
 : <a class="el" href="classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237">SVF::TCT</a>
 </li>

package/SVF-doxygen/html/html/functions_type_s.html

@@ -177,6 +177,12 @@ $(function() {
 <li>SVFVarList
 : <a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVF::SVFIR</a>
 </li>
+<li>Symbol
+: <a class="el" href="classSVF_1_1CFGNormalizer.html#a4df66b45b07b7e3dc5bcc839188bd70f">SVF::CFGNormalizer</a>
+, <a class="el" href="classSVF_1_1CFLGraph.html#a9c06fd82f008d44417b1373b4afe40f8">SVF::CFLGraph</a>
+, <a class="el" href="classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd">SVF::CFLSolver</a>
+, <a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">SVF::GrammarBase</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/functions_type_w.html

@@ -65,9 +65,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c">SVF::CoreBitVector</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
+: <a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">SVF::CFLSolver</a>
+, <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00">SVF::ConstraintGraph</a>
+, <a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
 , <a class="el" href="classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b">SVF::LeakChecker</a>
 , <a class="el" href="classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc">SVF::MRGenerator</a>

package/SVF-doxygen/html/html/functions_v.html

@@ -329,7 +329,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRVer.html#a394b8c115d01dcf212d453a93a812aab">SVF::MRVer</a>
 </li>
 <li>view()
-: <a class="el" href="classSVF_1_1CHGraph.html#a87a7d8c281490fbd2377d64b0115d262">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CFLGraph.html#a0f1b98e7cecc352a7fa7624b530efe49">SVF::CFLGraph</a>
+, <a class="el" href="classSVF_1_1CHGraph.html#a87a7d8c281490fbd2377d64b0115d262">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1ConstraintGraph.html#a27d8078577d479c84f2a87b44f015d1c">SVF::ConstraintGraph</a>
 , <a class="el" href="classSVF_1_1ICFG.html#a0d16e302515ffa0033e02ee8f6b3b590">SVF::ICFG</a>
 , <a class="el" href="classSVF_1_1IRGraph.html#a3a656bb310ba0f42e525995a480a5b67">SVF::IRGraph</a>

package/SVF-doxygen/html/html/functions_vars.html

@@ -125,7 +125,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 </li>
 <li>_graph
-: <a class="el" href="classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8">SVF::SCCDetection&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#a87242199e12fce5c5978ed0a4baa6b09">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>