svf-tools 1.0.442 → 1.0.445

package/SVF-doxygen/html/html/functions_vars_c.html

@@ -220,6 +220,9 @@ $(function() {
 <li>cfInfoBuilder
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a4949fb25fe4cd461de8aec90756b1fea">SVF::PathCondAllocator</a>
 </li>
+<li>cflEdgeSet
+: <a class="el" href="classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe">SVF::CFLGraph</a>
+</li>
 <li>chaFFMap
 : <a class="el" href="classSVF_1_1DCHGraph.html#abe8d313b501182ab62f2276a19d670a4">SVF::DCHGraph</a>
 </li>
@@ -476,6 +479,9 @@ $(function() {
 <li>curPtr
 : <a class="el" href="classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb">SVF::DDAClient</a>
 </li>
+<li>current
+: <a class="el" href="classSVF_1_1CFLGraph.html#a4ae1d3576cfef62444087e321dc110b2">SVF::CFLGraph</a>
+</li>
 <li>currentBestNodeMapping
 : <a class="el" href="classSVF_1_1PointsTo.html#a98781dd444ada40af7eef9aefe76123d">SVF::PointsTo</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_e.html

@@ -123,6 +123,9 @@ $(function() {
 <li>epsilon
 : <a class="el" href="structDdManager.html#ad495ea9a4104c2be5b4ca850a1da8c28">DdManager</a>
 </li>
+<li>epsilonProds
+: <a class="el" href="classSVF_1_1CFLGrammar.html#a2cc6beafd16acba439bc748287b598fa">SVF::CFLGrammar</a>
+</li>
 <li>equivalentObject
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a2d451d89f99a4bff828b682723df477f">SVF::VersionedFlowSensitive</a>
 </li>
@@ -149,6 +152,9 @@ $(function() {
 <li>extended
 : <a class="el" href="classSVF_1_1DCHGraph.html#aa6f49dfc9e3580d3f2d8c257395eb11e">SVF::DCHGraph</a>
 </li>
+<li>externMap
+: <a class="el" href="classSVF_1_1CFLGraph.html#a24ac3a18cb65431cd337a0f4326bff54">SVF::CFLGraph</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/functions_vars_f.html

@@ -80,6 +80,9 @@ $(function() {
 <li>file
 : <a class="el" href="classSVF_1_1PAGBuilderFromFile.html#a9ce304b448de65fbde586655dce885a4">SVF::PAGBuilderFromFile</a>
 </li>
+<li>fileName
+: <a class="el" href="classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704">SVF::GrammarBuilder</a>
+</li>
 <li>filterFun
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a70cdb993b3e90c70cc083fb8ed93fb91">SVF::LockResultValidator</a>
 </li>
@@ -95,6 +98,9 @@ $(function() {
 <li>FirstFieldEqBase
 : <a class="el" href="classSVF_1_1Options.html#a8dc477d83a142a62b63207f6f240f224">SVF::Options</a>
 </li>
+<li>firstRHS2Prods
+: <a class="el" href="classSVF_1_1CFLGrammar.html#ab83b803c3407a5776bd28c076c030968">SVF::CFLGrammar</a>
+</li>
 <li>fja
 : <a class="el" href="classSVF_1_1MHP.html#a98857a1837cef5519c938d07bb771a60">SVF::MHP</a>
 </li>
@@ -121,6 +127,9 @@ $(function() {
 <li>fldIdxVec
 : <a class="el" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">SVF::StInfo</a>
 </li>
+<li>FlexSymMap
+: <a class="el" href="classSVF_1_1Options.html#a79dff5235e82e1313fa4b053f866f357">SVF::Options</a>
+</li>
 <li>FlowBudget
 : <a class="el" href="classSVF_1_1Options.html#a53b1a1ec4e5bbd9696ed9b680aa0c3c7">SVF::Options</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_g.html

@@ -133,8 +133,24 @@ $(function() {
 <li>globSVFStmtSet
 : <a class="el" href="classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323">SVF::SVFIR</a>
 </li>
+<li>grammar
+: <a class="el" href="classSVF_1_1CFLAlias.html#a31ffa49b8e0995b6ee9b8a1f5ecab7be">SVF::CFLAlias</a>
+, <a class="el" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">SVF::CFLSolver</a>
+, <a class="el" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">SVF::GrammarBuilder</a>
+</li>
+<li>GrammarFilename
+: <a class="el" href="classSVF_1_1Options.html#aa929e2ae2c0a78181c3a1311bfe73596">SVF::Options</a>
+</li>
+<li>GrammarIsEBNF
+: <a class="el" href="classSVF_1_1Options.html#a5bbbe648c96c9600e9c825dd31585785">SVF::Options</a>
+</li>
 <li>graph
-: <a class="el" href="classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d">SVF::SVFGStat</a>
+: <a class="el" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">SVF::CFLAlias</a>
+, <a class="el" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">SVF::CFLSolver</a>
+, <a class="el" href="classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d">SVF::SVFGStat</a>
+</li>
+<li>GraphIsFromDot
+: <a class="el" href="classSVF_1_1Options.html#a0d099b268241f4658eb06a14ef598888">SVF::Options</a>
 </li>
 <li>Graphtxt
 : <a class="el" href="classSVF_1_1Options.html#aa5c4bc8e55a056adcd7a6f8946ad5f38">SVF::Options</a>

package/SVF-doxygen/html/html/functions_vars_i.html

@@ -158,6 +158,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThread.html#a2066520689094db3c4a88f5a7fc4ec0c">SVF::CxtThread</a>
 , <a class="el" href="classSVF_1_1PTASCEV.html#ac6636f0c39ef55e2b5f126532bf2d411">SVF::PTASCEV</a>
 </li>
+<li>InputFilename
+: <a class="el" href="classSVF_1_1Options.html#a322f78488d420e41a648d603f2773c56">SVF::Options</a>
+</li>
 <li>inRecurJoinSites
 : <a class="el" href="classSVF_1_1TCT.html#a1b3872361dc17aaea359db8ce0cc2431">SVF::TCT</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_l.html

@@ -61,6 +61,9 @@ $(function() {
  
 
 <h3><a id="index_l"></a>- l -</h3><ul>
+<li>label2SymMap
+: <a class="el" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">SVF::CFLGraph</a>
+</li>
 <li>LargestRegion
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc">SVF::NodeIDAllocator::Clusterer</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_n.html

@@ -76,6 +76,9 @@ $(function() {
 <li>NewSbvNumWords
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a779446e2fe92518401f1732fb809f066">SVF::NodeIDAllocator::Clusterer</a>
 </li>
+<li>newTerminalSubscript
+: <a class="el" href="classSVF_1_1CFLGrammar.html#a505980f327852aca64bb372f1f87b1cd">SVF::CFLGrammar</a>
+</li>
 <li>next
 : <a class="el" href="structDdHashItem.html#a8552215a502b76f939920236cf86a20f">DdHashItem</a>
 , <a class="el" href="structDdHook.html#af30b5d30fbe9fe96c61bf418c75f1038">DdHook</a>
@@ -150,6 +153,9 @@ $(function() {
 <li>nonCandidateFuncMHPRelMap
 : <a class="el" href="classSVF_1_1MHP.html#a1f057ef082484a1997cb02287e063f00">SVF::MHP</a>
 </li>
+<li>nonterminals
+: <a class="el" href="classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff">SVF::GrammarBase</a>
+</li>
 <li>normalized
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#ab4115f25e2e477bfd73d01f069f47241">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_r.html

@@ -64,6 +64,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>

package/SVF-doxygen/html/html/functions_vars_s.html

@@ -106,6 +106,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>selectedValidationScenarios
 : <a class="el" href="classSVF_1_1RaceResultValidator.html#a1294cb90b073ba25a8ffc06180c09419">SVF::RaceResultValidator</a>
 </li>
@@ -146,6 +149,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>
@@ -176,6 +182,9 @@ $(function() {
 <li>solveAll
 : <a class="el" href="classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8">SVF::DDAClient</a>
 </li>
+<li>solver
+: <a class="el" href="classSVF_1_1CFLAlias.html#aa61c3683c9b759b6eca65b1f88e00b35">SVF::CFLAlias</a>
+</li>
 <li>solveTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a4202f837e863a48712765cc346d8b514">SVF::FlowSensitive</a>
 </li>
@@ -208,6 +217,10 @@ $(function() {
 <li>start
 : <a class="el" href="classSVF_1_1PTASCEV.html#a0de1531fc72f5aa0bafc59101faae68d">SVF::PTASCEV</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>
@@ -326,6 +339,9 @@ $(function() {
 <li>SVFGWithIndirectCall
 : <a class="el" href="classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2">SVF::Options</a>
 </li>
+<li>svfir
+: <a class="el" href="classSVF_1_1CFLAlias.html#a0bf4ce7e4fb3d1d95608c06420cc65dc">SVF::CFLAlias</a>
+</li>
 <li>SVFMain
 : <a class="el" href="classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385">SVF::Options</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_t.html

@@ -128,6 +128,9 @@ $(function() {
 <li>templateNameToInstancesMap
 : <a class="el" href="classSVF_1_1CHGraph.html#acd022005e2191bc3bcb265805abee4f8">SVF::CHGraph</a>
 </li>
+<li>terminals
+: <a class="el" href="classSVF_1_1GrammarBase.html#af9e8e7bf4239a04002ff41885f9e5e91">SVF::GrammarBase</a>
+</li>
 <li>TheoreticalNumWords
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a2a70b98363303cb33d96732f44b4c5c3">SVF::NodeIDAllocator::Clusterer</a>
 </li>
@@ -259,6 +262,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>

package/SVF-doxygen/html/html/functions_vars_w.html

@@ -71,7 +71,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">SVF::CoreBitVector</a>
 </li>
 <li>worklist
-: <a class="el" href="classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">SVF::CFLSolver</a>
+, <a class="el" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>

package/SVF-doxygen/html/html/functions_w.html

@@ -80,9 +80,21 @@ $(function() {
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">SVF::CoreBitVector</a>
 </li>
 <li>WorkList
+: <a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">SVF::CFLSolver</a>
+</li>
+<li>worklist
+: <a class="el" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">SVF::CFLSolver</a>
+</li>
+<li>WorkList
 : <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>
+</li>
+<li>worklist
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+</li>
+<li>WorkList
+: <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>
@@ -100,11 +112,13 @@ $(function() {
 </li>
 <li>WorkList
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
-, <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
+<li>WorkList
+: <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
+</li>
 <li>WorkStack
 : <a class="el" href="classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e">SVF::CSC</a>
 </li>

package/SVF-doxygen/html/html/globals_func_i.html

@@ -62,7 +62,7 @@ $(function() {
 
 <h3><a id="index_i"></a>- i -</h3><ul>
 <li>if()
-: <a class="el" href="tools_2DDA_2CMakeLists_8txt.html#a7686df215f6da6fdcfa2c20950c96939">CMakeLists.txt</a>
+: <a class="el" href="tools_2CFL_2CMakeLists_8txt.html#aff8b1edecee3d7c397afcfe02e05d0c7">CMakeLists.txt</a>
 </li>
 <li>indent()
 : <a class="el" href="DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269">DCHG.cpp</a>
@@ -70,13 +70,6 @@ $(function() {
 <li>initSymmInfo()
 : <a class="el" href="cuddInt_8c.html#a16251e8ba5d258ae683665b47d2112e9">cuddInt.c</a>
 </li>
-<li>InputFilename()
-: <a class="el" href="svf-ex_8cpp.html#a2d332c504284f0bc181289ee67479845">svf-ex.cpp</a>
-, <a class="el" href="mta_8cpp.html#a2d332c504284f0bc181289ee67479845">mta.cpp</a>
-, <a class="el" href="saber_8cpp.html#a2d332c504284f0bc181289ee67479845">saber.cpp</a>
-, <a class="el" href="wpa_8cpp.html#a2d332c504284f0bc181289ee67479845">wpa.cpp</a>
-, <a class="el" href="dda_8cpp.html#a17d2e24d913aaa7484a3e226255019b7">dda.cpp</a>
-</li>
 <li>isAliasTestFunction()
 : <a class="el" href="TypeBasedHeapCloning_8cpp.html#a2be9728908f88e4e16b1e6218801fa06">TypeBasedHeapCloning.cpp</a>
 </li>
@@ -85,8 +78,8 @@ $(function() {
 , <a class="el" href="epd_8c.html#aeda4ed6e719d13f84d757c9709f02ceb">epd.c</a>
 </li>
 <li>IsNanDouble()
-: <a class="el" href="epd_8c.html#a1208453615d2a105e5d8d55b2c4f3c37">epd.c</a>
-, <a class="el" href="epd_8h.html#a1208453615d2a105e5d8d55b2c4f3c37">epd.h</a>
+: <a class="el" href="epd_8h.html#a1208453615d2a105e5d8d55b2c4f3c37">epd.h</a>
+, <a class="el" href="epd_8c.html#a1208453615d2a105e5d8d55b2c4f3c37">epd.c</a>
 </li>
 <li>IsNanOrInfDouble()
 : <a class="el" href="epd_8h.html#aaf0d5247a708131ca7664c74e43d87c9">epd.h</a>

package/SVF-doxygen/html/html/globals_func_m.html

@@ -62,11 +62,12 @@ $(function() {
 
 <h3><a id="index_m"></a>- m -</h3><ul>
 <li>main()
-: <a class="el" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">dda.cpp</a>
-, <a class="el" href="svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">svf-ex.cpp</a>
+: <a class="el" href="cfl_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">cfl.cpp</a>
+, <a class="el" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">dda.cpp</a>
+, <a class="el" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">mta.cpp</a>
 , <a class="el" href="saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">saber.cpp</a>
+, <a class="el" href="svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">svf-ex.cpp</a>
 , <a class="el" href="wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">wpa.cpp</a>
-, <a class="el" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">mta.cpp</a>
 </li>
 <li>make_random()
 : <a class="el" href="cuddInt_8c.html#ab9aad1b09fd466fd971fba854332d7d8">cuddInt.c</a>
@@ -93,8 +94,8 @@ $(function() {
 : <a class="el" href="util_8h.html#a311babf232e543aa49200c238d683486">util.h</a>
 </li>
 <li>MMalloc()
-: <a class="el" href="util_8h.html#a2953fa50b9fc185d81128574151f317f">util.h</a>
-, <a class="el" href="util_8c.html#a001c3a26d8e4b9e339eafb51172bba88">util.c</a>
+: <a class="el" href="util_8c.html#a001c3a26d8e4b9e339eafb51172bba88">util.c</a>
+, <a class="el" href="util_8h.html#a2953fa50b9fc185d81128574151f317f">util.h</a>
 </li>
 <li>MMout_of_memory()
 : <a class="el" href="util_8h.html#a91fa18c33c4b7591e0479bad4f455017">util.h</a>
@@ -117,8 +118,8 @@ $(function() {
 , <a class="el" href="mtr_8c.html#affc778ae15cfca3b58c1a61a0462e439">mtr.c</a>
 </li>
 <li>Mtr_FindGroup()
-: <a class="el" href="mtr_8c.html#a1a20cb9542dc607dd7e35f8e4d7561d3">mtr.c</a>
-, <a class="el" href="mtr_8h.html#a52d3c42ad10029d1dfdf5f66fae937e9">mtr.h</a>
+: <a class="el" href="mtr_8h.html#a52d3c42ad10029d1dfdf5f66fae937e9">mtr.h</a>
+, <a class="el" href="mtr_8c.html#a1a20cb9542dc607dd7e35f8e4d7561d3">mtr.c</a>
 </li>
 <li>Mtr_FreeTree()
 : <a class="el" href="mtr_8h.html#a671ef677efc74ca81519aa279d02f1c9">mtr.h</a>
@@ -141,12 +142,12 @@ $(function() {
 , <a class="el" href="mtr_8c.html#ae1215eb2863f66fd4ea81dbbe7217903">mtr.c</a>
 </li>
 <li>Mtr_PrintGroups()
-: <a class="el" href="mtr_8c.html#a2d9c3174966e8acd78d0d0664065c472">mtr.c</a>
-, <a class="el" href="mtr_8h.html#a2d9c3174966e8acd78d0d0664065c472">mtr.h</a>
+: <a class="el" href="mtr_8h.html#a2d9c3174966e8acd78d0d0664065c472">mtr.h</a>
+, <a class="el" href="mtr_8c.html#a2d9c3174966e8acd78d0d0664065c472">mtr.c</a>
 </li>
 <li>Mtr_PrintTree()
-: <a class="el" href="mtr_8c.html#a2b74ec8b38ff7acb55691cb2a476bfe9">mtr.c</a>
-, <a class="el" href="mtr_8h.html#a2b74ec8b38ff7acb55691cb2a476bfe9">mtr.h</a>
+: <a class="el" href="mtr_8h.html#a2b74ec8b38ff7acb55691cb2a476bfe9">mtr.h</a>
+, <a class="el" href="mtr_8c.html#a2b74ec8b38ff7acb55691cb2a476bfe9">mtr.c</a>
 </li>
 <li>Mtr_ReorderGroups()
 : <a class="el" href="mtr_8c.html#a92aa3faee3fcf01276d2a74314e2589e">mtr.c</a>

package/SVF-doxygen/html/html/globals_func_s.html

@@ -140,6 +140,7 @@ $(function() {
 </li>
 <li>StandardCompileOpts()
 : <a class="el" href="dda_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e">dda.cpp</a>
+, <a class="el" href="cfl_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e">cfl.cpp</a>
 </li>
 <li>STATISTIC()
 : <a class="el" href="BreakConstantExpr_8cpp.html#a53fcf89c33901a1e4bf09351eb612a6a">BreakConstantExpr.cpp</a>

package/SVF-doxygen/html/html/globals_i.html

@@ -68,7 +68,7 @@ $(function() {
 : <a class="el" href="epd_8h.html#a6bcc381f10c8368cabcd2bb6ccde5985">epd.h</a>
 </li>
 <li>if()
-: <a class="el" href="tools_2Example_2CMakeLists_8txt.html#a99a811bf6e0c9c244f0663f312a3ee41">CMakeLists.txt</a>
+: <a class="el" href="tools_2DDA_2CMakeLists_8txt.html#a7686df215f6da6fdcfa2c20950c96939">CMakeLists.txt</a>
 </li>
 <li>indent()
 : <a class="el" href="DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269">DCHG.cpp</a>
@@ -76,13 +76,6 @@ $(function() {
 <li>initSymmInfo()
 : <a class="el" href="cuddInt_8c.html#a16251e8ba5d258ae683665b47d2112e9">cuddInt.c</a>
 </li>
-<li>InputFilename()
-: <a class="el" href="dda_8cpp.html#a17d2e24d913aaa7484a3e226255019b7">dda.cpp</a>
-, <a class="el" href="svf-ex_8cpp.html#a2d332c504284f0bc181289ee67479845">svf-ex.cpp</a>
-, <a class="el" href="mta_8cpp.html#a2d332c504284f0bc181289ee67479845">mta.cpp</a>
-, <a class="el" href="saber_8cpp.html#a2d332c504284f0bc181289ee67479845">saber.cpp</a>
-, <a class="el" href="wpa_8cpp.html#a2d332c504284f0bc181289ee67479845">wpa.cpp</a>
-</li>
 <li>InsertElementInst
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#aca8159b0dbaf5b71dc69b9d9c7b200ec">BasicTypes.h</a>
 </li>
@@ -99,8 +92,8 @@ $(function() {
 : <a class="el" href="TypeBasedHeapCloning_8cpp.html#a2be9728908f88e4e16b1e6218801fa06">TypeBasedHeapCloning.cpp</a>
 </li>
 <li>IsInfDouble()
-: <a class="el" href="epd_8c.html#aeda4ed6e719d13f84d757c9709f02ceb">epd.c</a>
-, <a class="el" href="epd_8h.html#aeda4ed6e719d13f84d757c9709f02ceb">epd.h</a>
+: <a class="el" href="epd_8h.html#aeda4ed6e719d13f84d757c9709f02ceb">epd.h</a>
+, <a class="el" href="epd_8c.html#aeda4ed6e719d13f84d757c9709f02ceb">epd.c</a>
 </li>
 <li>IsNanDouble()
 : <a class="el" href="epd_8h.html#a1208453615d2a105e5d8d55b2c4f3c37">epd.h</a>

package/SVF-doxygen/html/html/globals_m.html

@@ -62,11 +62,12 @@ $(function() {
 
 <h3><a id="index_m"></a>- m -</h3><ul>
 <li>main()
-: <a class="el" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">dda.cpp</a>
-, <a class="el" href="svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">svf-ex.cpp</a>
+: <a class="el" href="cfl_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">cfl.cpp</a>
+, <a class="el" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">dda.cpp</a>
+, <a class="el" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">mta.cpp</a>
 , <a class="el" href="saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">saber.cpp</a>
+, <a class="el" href="svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">svf-ex.cpp</a>
 , <a class="el" href="wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">wpa.cpp</a>
-, <a class="el" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">mta.cpp</a>
 </li>
 <li>make_random()
 : <a class="el" href="cuddInt_8c.html#ab9aad1b09fd466fd971fba854332d7d8">cuddInt.c</a>
@@ -133,8 +134,8 @@ $(function() {
 : <a class="el" href="cuddInt_8h.html#a5ed3609998001d0a3c8c0e625809a89b">cuddInt.h</a>
 </li>
 <li>Mtr_AllocNode()
-: <a class="el" href="mtr_8h.html#a7c96a1def339aef3a5a8c2640dca2ca4">mtr.h</a>
-, <a class="el" href="mtr_8c.html#a7c96a1def339aef3a5a8c2640dca2ca4">mtr.c</a>
+: <a class="el" href="mtr_8c.html#a7c96a1def339aef3a5a8c2640dca2ca4">mtr.c</a>
+, <a class="el" href="mtr_8h.html#a7c96a1def339aef3a5a8c2640dca2ca4">mtr.h</a>
 </li>
 <li>Mtr_CopyTree()
 : <a class="el" href="mtr_8h.html#aac5a8d0fc9e75da460866c2443cafff4">mtr.h</a>
@@ -159,8 +160,8 @@ $(function() {
 , <a class="el" href="mtr_8c.html#a671ef677efc74ca81519aa279d02f1c9">mtr.c</a>
 </li>
 <li>Mtr_InitGroupTree()
-: <a class="el" href="mtr_8h.html#a645819e1eca23ccb71ee08a2715c2bed">mtr.h</a>
-, <a class="el" href="mtr_8c.html#a645819e1eca23ccb71ee08a2715c2bed">mtr.c</a>
+: <a class="el" href="mtr_8c.html#a645819e1eca23ccb71ee08a2715c2bed">mtr.c</a>
+, <a class="el" href="mtr_8h.html#a645819e1eca23ccb71ee08a2715c2bed">mtr.h</a>
 </li>
 <li>Mtr_InitTree()
 : <a class="el" href="mtr_8h.html#a6181c65bac3532e528a336050b0a09cc">mtr.h</a>
@@ -180,12 +181,12 @@ $(function() {
 : <a class="el" href="mtr_8h.html#acf089626f0a2fbc9c115c05cb7f31b4a">mtr.h</a>
 </li>
 <li>Mtr_PrintGroupedOrder()
-: <a class="el" href="mtr_8h.html#ae1215eb2863f66fd4ea81dbbe7217903">mtr.h</a>
-, <a class="el" href="mtr_8c.html#ae1215eb2863f66fd4ea81dbbe7217903">mtr.c</a>
+: <a class="el" href="mtr_8c.html#ae1215eb2863f66fd4ea81dbbe7217903">mtr.c</a>
+, <a class="el" href="mtr_8h.html#ae1215eb2863f66fd4ea81dbbe7217903">mtr.h</a>
 </li>
 <li>Mtr_PrintGroups()
-: <a class="el" href="mtr_8h.html#a2d9c3174966e8acd78d0d0664065c472">mtr.h</a>
-, <a class="el" href="mtr_8c.html#a2d9c3174966e8acd78d0d0664065c472">mtr.c</a>
+: <a class="el" href="mtr_8c.html#a2d9c3174966e8acd78d0d0664065c472">mtr.c</a>
+, <a class="el" href="mtr_8h.html#a2d9c3174966e8acd78d0d0664065c472">mtr.h</a>
 </li>
 <li>Mtr_PrintTree()
 : <a class="el" href="mtr_8h.html#a2b74ec8b38ff7acb55691cb2a476bfe9">mtr.h</a>
@@ -211,8 +212,8 @@ $(function() {
 : <a class="el" href="mtr_8h.html#aa19cf1765b27d83e4a6a27cdd85fa065">mtr.h</a>
 </li>
 <li>MTR_UNUSED
-: <a class="el" href="mtr_8h.html#a30f1e5aa1918fd1edd2902c9f57e7804">mtr.h</a>
-, <a class="el" href="mtr_8c.html#a71385e18c061c8783c806fedd390bb6a">mtr.c</a>
+: <a class="el" href="mtr_8c.html#a71385e18c061c8783c806fedd390bb6a">mtr.c</a>
+, <a class="el" href="mtr_8h.html#a30f1e5aa1918fd1edd2902c9f57e7804">mtr.h</a>
 </li>
 <li>MtrHalfWord
 : <a class="el" href="mtr_8h.html#aabc0c043957025b1b114d6ce88bb59e9">mtr.h</a>

package/SVF-doxygen/html/html/globals_s.html

@@ -119,13 +119,13 @@ $(function() {
 <li>ST_DEFAULT_REORDER_FLAG
 : <a class="el" href="st_8h.html#a933aaa48b6a156a000befde073a24e4c">st.h</a>
 </li>
-<li>ST_DELETE
-: <a class="el" href="st_8h.html#a0c6a172fd99de7928916e65034ed8b1fa64ab176f8e8b9719bcd9b5297ccda9c7">st.h</a>
-</li>
 <li>st_delete()
 : <a class="el" href="st_8h.html#aeac35fa92942958472a69117777ec90d">st.h</a>
 , <a class="el" href="st_8c.html#a2d8405879414ed73f3ff6a935f3fc269">st.c</a>
 </li>
+<li>ST_DELETE
+: <a class="el" href="st_8h.html#a0c6a172fd99de7928916e65034ed8b1fa64ab176f8e8b9719bcd9b5297ccda9c7">st.h</a>
+</li>
 <li>st_foreach()
 : <a class="el" href="st_8h.html#a5341675ff925b7a670ab4705735ceb38">st.h</a>
 , <a class="el" href="st_8c.html#a4d18e5a6949c772c9ff8c3c70ec00b57">st.c</a>
@@ -189,13 +189,13 @@ $(function() {
 : <a class="el" href="st_8h.html#a65b35768bcf5b6f173b063b441a493db">st.h</a>
 , <a class="el" href="st_8c.html#a0ba60ae98aae8e6dd21bbe3b485bcfbe">st.c</a>
 </li>
+<li>ST_NUMHASH
+: <a class="el" href="st_8c.html#a76573cced143d429f99bfb5e286c621e">st.c</a>
+</li>
 <li>st_numhash()
 : <a class="el" href="st_8h.html#a487317ef8c55ab34fb58ddfe47163b9e">st.h</a>
 , <a class="el" href="st_8c.html#aede320ef4713f295a335b4da6e1d8358">st.c</a>
 </li>
-<li>ST_NUMHASH
-: <a class="el" href="st_8c.html#a76573cced143d429f99bfb5e286c621e">st.c</a>
-</li>
 <li>ST_OUT_OF_MEM
 : <a class="el" href="st_8h.html#a1276d6ae80c20ae2ec082db7c502ef75">st.h</a>
 </li>
@@ -242,9 +242,10 @@ $(function() {
 </li>
 <li>StandardCompileOpts()
 : <a class="el" href="dda_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e">dda.cpp</a>
+, <a class="el" href="cfl_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e">cfl.cpp</a>
 </li>
 <li>STATISTIC()
-: <a class="el" href="BreakConstantExpr_8cpp.html#a53fcf89c33901a1e4bf09351eb612a6a">BreakConstantExpr.cpp</a>
+: <a class="el" href="BreakConstantExpr_8cpp.html#a908d11ca6b0a342e6ddcdcced200cab3">BreakConstantExpr.cpp</a>
 </li>
 <li>statLine
 : <a class="el" href="cuddInt_8h.html#a94289b59164b0be08fdb041e6f847fd4">cuddInt.h</a>