svf-tools 1.0.581 → 1.0.583

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

@@ -64,6 +64,9 @@ $(function() {
 <li>e
 : <a class="el" href="classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041">SVF::Z3Expr</a>
 </li>
+<li>EBNFSigns
+: <a class="el" href="classSVF_1_1GrammarBase.html#a7909a5f90ed1678a178f18259f0b66a9">SVF::GrammarBase</a>
+</li>
 <li>edge2pts
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a1c0de33bba2f05f14140d872c345ab38">SVF::MTASVFGBuilder</a>
 </li>

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

@@ -124,6 +124,9 @@ $(function() {
 <li>INCDFPTData
 : <a class="el" href="classSVF_1_1Options.html#a5896e2aaf59305441a74ede0dfb85845">SVF::Options</a>
 </li>
+<li>inCFLEdges
+: <a class="el" href="classSVF_1_1CFLNode.html#a3a7d1ea890272e9905406638b12bdc30">SVF::CFLNode</a>
+</li>
 <li>incycle
 : <a class="el" href="classSVF_1_1CxtThread.html#a97d876697e682b23211a8f930fed7f32">SVF::CxtThread</a>
 </li>

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

@@ -195,6 +195,10 @@ $(function() {
 <li>numOfCallNodes
 : <a class="el" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">SVF::ICFGStat</a>
 </li>
+<li>numOfChecks
+: <a class="el" href="classSVF_1_1CFLBase.html#a49b12231195521d2b53b045962f0a3f6">SVF::CFLBase</a>
+, <a class="el" href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">SVF::CFLSolver</a>
+</li>
 <li>numOfCopy
 : <a class="el" href="classSVF_1_1SVFGStat.html#ac86d6d7cb0090ab665729b56111ca464">SVF::SVFGStat</a>
 </li>
@@ -259,7 +263,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e">SVF::ICFGStat</a>
 </li>
 <li>numOfIteration
-: <a class="el" href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">SVF::WPASolver&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1CFLBase.html#a6f1f4ae5ad06fb4f669c9bdb21f207a3">SVF::CFLBase</a>
+, <a class="el" href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>numOfLoad
 : <a class="el" href="classSVF_1_1SVFGStat.html#a7c80f2332b97a3228e2ad7621162167a">SVF::SVFGStat</a>

package/SVF-doxygen/html/html/functions_vars_o.html

@@ -136,6 +136,9 @@ $(function() {
 <li>OriginalSbvNumWords
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a639b887e30115c2a6cd108c65f18fcc1">SVF::NodeIDAllocator::Clusterer</a>
 </li>
+<li>outCFLEdges
+: <a class="el" href="classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33">SVF::CFLNode</a>
+</li>
 <li>OutEdgeKindToSetMap
 : <a class="el" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">SVF::SVFVar</a>
 </li>

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

@@ -85,39 +85,39 @@ $(function() {
 <li>WordSize
 : <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_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">SVF::CFLSolver</a>
-, <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</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>
 </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_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>
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039">SVF::SaberSVFGBuilder</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a">SVF::SrcSnkDDA</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</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_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
+: <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_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
-, <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>
+: <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>WorkStack
 : <a class="el" href="classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e">SVF::CSC</a>

package/SVF-doxygen/html/html/globals_a.html

@@ -73,12 +73,8 @@ $(function() {
 <li>add_item_to_object()
 : <a class="el" href="cJSON_8cpp.html#acc48bef0e1b495898d9489e577b91d5c">cJSON.cpp</a>
 </li>
-<li>addr
-: <a class="el" href="CFLGrammar_8txt.html#aae7baac9bf1fe49869f5ab76e07bfd05">CFLGrammar.txt</a>
-</li>
 <li>addrbar
 : <a class="el" href="PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87">PEGGrammar.txt</a>
-, <a class="el" href="CFLGrammar_8txt.html#aaaa1a1b432fa23f6a02aab2fbd2ef7f5">CFLGrammar.txt</a>
 </li>
 <li>AddressMask
 : <a class="el" href="ExeState_8h.html#a9c5bf91d8f58ded0fd8f57c04f26b56f">ExeState.h</a>

package/SVF-doxygen/html/html/globals_c.html

@@ -195,23 +195,22 @@ $(function() {
 : <a class="el" href="BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1">BreakConstantExpr.cpp</a>
 </li>
 <li>copy
-: <a class="el" href="CFLGrammar_8txt.html#a7669ee67a0563250c1efaa24d130e1ac">CFLGrammar.txt</a>
-, <a class="el" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">cJSON.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">cJSON.cpp</a>
 </li>
 <li>count
-: <a class="el" href="cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#ad43c3812e6d13e0518d9f8b8f463ffcf">cJSON.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#ad43c3812e6d13e0518d9f8b8f463ffcf">cJSON.cpp</a>
+, <a class="el" href="cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf">cJSON.h</a>
 </li>
 <li>create_reference()
 : <a class="el" href="cJSON_8cpp.html#ac06bbc307a6f39fe58aafbcb82fbf4b3">cJSON.cpp</a>
 </li>
 <li>cutree_cdist()
-: <a class="el" href="fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.cpp</a>
-, <a class="el" href="fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.h</a>
+: <a class="el" href="fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.h</a>
+, <a class="el" href="fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.cpp</a>
 </li>
 <li>cutree_k()
-: <a class="el" href="fastcluster_8cpp.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.cpp</a>
-, <a class="el" href="fastcluster_8h.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.h</a>
+: <a class="el" href="fastcluster_8h.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.h</a>
+, <a class="el" href="fastcluster_8cpp.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.cpp</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/globals_e.html

@@ -81,8 +81,7 @@ $(function() {
 : <a class="el" href="cJSON_8cpp.html#a3faa1600bc8001eaed05f16060668ce6">cJSON.cpp</a>
 </li>
 <li>epsilon
-: <a class="el" href="CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">CFLGrammar.txt</a>
-, <a class="el" href="VFG_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757">VFG.txt</a>
+: <a class="el" href="VFG_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757">VFG.txt</a>
 </li>
 <li>EXTAPI_JSON_PATH
 : <a class="el" href="ExtAPI_8h.html#ad9bef4304f41728bb3edf259c6b67668">ExtAPI.h</a>

package/SVF-doxygen/html/html/globals_f.html

@@ -61,15 +61,11 @@ $(function() {
 <div class="textblock">Here is a list of all file members with links to the files they belong to:</div>
 
 <h3><a id="index_f"></a>- f -</h3><ul>
-<li>F
-: <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">CFLGrammar.txt</a>
-</li>
 <li>false
 : <a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">cJSON.cpp</a>
 </li>
 <li>Fbar
 : <a class="el" href="PEGGrammar_8txt.html#a1e8b28eb87d57c33c5c45731db639c91">PEGGrammar.txt</a>
-, <a class="el" href="CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2">CFLGrammar.txt</a>
 </li>
 <li>fc_isnan()
 : <a class="el" href="fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0">fastcluster.cpp</a>
@@ -81,15 +77,15 @@ $(function() {
 : <a class="el" href="ExeState_8h.html#aec682540f2c8aa9deb79f610e4399411">ExeState.h</a>
 </li>
 <li>fmt
-: <a class="el" href="cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.cpp</a>
+, <a class="el" href="cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.h</a>
 </li>
 <li>for()
 : <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">cJSON.cpp</a>
 </li>
 <li>format
-: <a class="el" href="cJSON_8cpp.html#a6122748ab66fdcaed151288ac056a1d1">cJSON.cpp</a>
-, <a class="el" href="cJSON_8h.html#a6122748ab66fdcaed151288ac056a1d1">cJSON.h</a>
+: <a class="el" href="cJSON_8h.html#a6122748ab66fdcaed151288ac056a1d1">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#a6122748ab66fdcaed151288ac056a1d1">cJSON.cpp</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/globals_g.html

@@ -62,22 +62,18 @@ $(function() {
 
 <h3><a id="index_g"></a>- g -</h3><ul>
 <li>gep_0
-: <a class="el" href="CFLGrammar_8txt.html#a6ee570f12a515fbe082cd58b4fed1556">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">PEGGrammar.txt</a>
+: <a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">PEGGrammar.txt</a>
 </li>
 <li>gep_1
-: <a class="el" href="CFLGrammar_8txt.html#aea5ba88546e9986acc645ae45372e621">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a9a4e1871fa395956be13e1d7a5089719">CFLGrammar.txt</a>
 </li>
 <li>gep_i
-: <a class="el" href="CFLGrammar_8txt.html#a717bc437ac0cf29d051c8affc5b865ec">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a">CFLGrammar.txt</a>
 </li>
 <li>gepbar_0
-: <a class="el" href="CFLGrammar_8txt.html#add91b668073700b532153fd7f8fd4cda">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a2bd2d1614b7b4f376c61366b17c0637d">CFLGrammar.txt</a>
 , <a class="el" href="PEGGrammar_8txt.html#a32ac366bb4f2b6561e1aad6ec61b65d2">PEGGrammar.txt</a>
 </li>
-<li>gepbar_i
-: <a class="el" href="CFLGrammar_8txt.html#a6e01259893f22cb0da6728f279ccd3e7">CFLGrammar.txt</a>
-</li>
 <li>gepNodeNumIndex
 : <a class="el" href="PAGBuilderFromFile_8cpp.html#a1af3947dbaf1ad4364bc4818f70ead40">PAGBuilderFromFile.cpp</a>
 </li>

package/SVF-doxygen/html/html/globals_l.html

@@ -65,14 +65,8 @@ $(function() {
 : <a class="el" href="saber_8cpp.html#a3bebf1fb890054c49ae16f9706fa38d2">saber.cpp</a>
 </li>
 <li>length
-: <a class="el" href="cJSON_8h.html#a9f237f17f4e79d5b89149e09152edabe">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#a9f237f17f4e79d5b89149e09152edabe">cJSON.cpp</a>
-</li>
-<li>load
-: <a class="el" href="CFLGrammar_8txt.html#af94ae7efab42c57589a313f6cc7ada63">CFLGrammar.txt</a>
-</li>
-<li>loadbar
-: <a class="el" href="CFLGrammar_8txt.html#a2c36e7a55e36ff3a2f5a4c55d4e1cf18">CFLGrammar.txt</a>
+: <a class="el" href="cJSON_8cpp.html#a9f237f17f4e79d5b89149e09152edabe">cJSON.cpp</a>
+, <a class="el" href="cJSON_8h.html#a9f237f17f4e79d5b89149e09152edabe">cJSON.h</a>
 </li>
 </ul>
 </div><!-- contents -->

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

@@ -64,14 +64,11 @@ $(function() {
 <li>main()
 : <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="wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">wpa.cpp</a>
 , <a class="el" href="saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">saber.cpp</a>
+, <a class="el" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">mta.cpp</a>
 , <a class="el" href="svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">svf-ex.cpp</a>
 </li>
-<li>Memflow
-: <a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">CFLGrammar.txt</a>
-</li>
 <li>minify_string()
 : <a class="el" href="cJSON_8cpp.html#a569f331078de59d01dee9351fa106e3b">cJSON.cpp</a>
 </li>

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

@@ -83,15 +83,12 @@ $(function() {
 <li>STATISTIC()
 : <a class="el" href="BreakConstantExpr_8cpp.html#a53fcf89c33901a1e4bf09351eb612a6a">BreakConstantExpr.cpp</a>
 </li>
-<li>store
-: <a class="el" href="CFLGrammar_8txt.html#a92d5a256d74eadeb5bfa131b84067f0d">CFLGrammar.txt</a>
-</li>
 <li>storebar
-: <a class="el" href="CFLGrammar_8txt.html#a48eaeeebe78c32844d92122831012be2">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a07b9538bf6c870253aed4d379891604c">CFLGrammar.txt</a>
 </li>
 <li>string
-: <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">cJSON.cpp</a>
-, <a class="el" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">cJSON.h</a>
+: <a class="el" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">cJSON.cpp</a>
 </li>
 <li>structName
 : <a class="el" href="CPPUtil_8cpp.html#a4f0d10054cce04a0f4dec52a337cdf3c">CPPUtil.cpp</a>

package/SVF-doxygen/html/html/globals_v.html

@@ -74,11 +74,8 @@ $(function() {
 <li>vfunPreLabel
 : <a class="el" href="CPPUtil_8cpp.html#a74958d1db4b08e58aee58557d386c24b">CPPUtil.cpp</a>
 </li>
-<li>vgep
-: <a class="el" href="CFLGrammar_8txt.html#a3c0f58fdc2a0351764cef84c2a761477">CFLGrammar.txt</a>
-</li>
 <li>vgepbar
-: <a class="el" href="CFLGrammar_8txt.html#a5cb31e8d975de240d0e0c173cb7f407f">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a05d200d7269d0c361b89b3c235275f7b">CFLGrammar.txt</a>
 </li>
 <li>vtblLabelAfterDemangle
 : <a class="el" href="CPPUtil_8cpp.html#ac43d67cde6cc257e442b3ac2ae8fb3f9">CPPUtil.cpp</a>

package/SVF-doxygen/html/html/globals_vars.html

@@ -77,12 +77,8 @@ $(function() {
 <li>a
 : <a class="el" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">cJSON.cpp</a>
 </li>
-<li>addr
-: <a class="el" href="CFLGrammar_8txt.html#aae7baac9bf1fe49869f5ab76e07bfd05">CFLGrammar.txt</a>
-</li>
 <li>addrbar
-: <a class="el" href="CFLGrammar_8txt.html#aaaa1a1b432fa23f6a02aab2fbd2ef7f5">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87">PEGGrammar.txt</a>
+: <a class="el" href="PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87">PEGGrammar.txt</a>
 </li>
 <li>after_inserted
 : <a class="el" href="cJSON_8cpp.html#a38b1dcebd0d04ad6f2ee1872ec39d53d">cJSON.cpp</a>
@@ -96,16 +92,16 @@ $(function() {
 , <a class="el" href="cJSON_8cpp.html#a1a175e87536301df98c805ac0636ad7c">cJSON.cpp</a>
 </li>
 <li>boolean
-: <a class="el" href="cJSON_8h.html#a08f076c86f430b6f0e301fcf94223b38">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#a08f076c86f430b6f0e301fcf94223b38">cJSON.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#a08f076c86f430b6f0e301fcf94223b38">cJSON.cpp</a>
+, <a class="el" href="cJSON_8h.html#a08f076c86f430b6f0e301fcf94223b38">cJSON.h</a>
 </li>
 <li>buffer
 : <a class="el" href="cJSON_8h.html#a503753140aa27b00f99a3501280b2746">cJSON.h</a>
 , <a class="el" href="cJSON_8cpp.html#a503753140aa27b00f99a3501280b2746">cJSON.cpp</a>
 </li>
 <li>buffer_length
-: <a class="el" href="cJSON_8h.html#a7beaf9b4ef5e4c7254cc3298a3424354">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#a7beaf9b4ef5e4c7254cc3298a3424354">cJSON.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#a7beaf9b4ef5e4c7254cc3298a3424354">cJSON.cpp</a>
+, <a class="el" href="cJSON_8h.html#a7beaf9b4ef5e4c7254cc3298a3424354">cJSON.h</a>
 </li>
 </ul>
 
@@ -124,8 +120,7 @@ $(function() {
 : <a class="el" href="cJSON_8cpp.html#a7886d4c98c027896a652ad0ada741709">cJSON.cpp</a>
 </li>
 <li>copy
-: <a class="el" href="CFLGrammar_8txt.html#a7669ee67a0563250c1efaa24d130e1ac">CFLGrammar.txt</a>
-, <a class="el" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">cJSON.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">cJSON.cpp</a>
 </li>
 <li>count
 : <a class="el" href="cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf">cJSON.h</a>
@@ -143,19 +138,14 @@ $(function() {
 : <a class="el" href="cJSON_8cpp.html#a0544c3fe466e421738dae463968b70ba">cJSON.cpp</a>
 </li>
 <li>epsilon
-: <a class="el" href="CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">CFLGrammar.txt</a>
-, <a class="el" href="VFG_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757">VFG.txt</a>
+: <a class="el" href="VFG_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757">VFG.txt</a>
 </li>
 </ul>
 
 
 <h3><a id="index_f"></a>- f -</h3><ul>
-<li>F
-: <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">CFLGrammar.txt</a>
-</li>
 <li>Fbar
-: <a class="el" href="CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#a1e8b28eb87d57c33c5c45731db639c91">PEGGrammar.txt</a>
+: <a class="el" href="PEGGrammar_8txt.html#a1e8b28eb87d57c33c5c45731db639c91">PEGGrammar.txt</a>
 </li>
 <li>fmt
 : <a class="el" href="cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.h</a>
@@ -170,22 +160,18 @@ $(function() {
 
 <h3><a id="index_g"></a>- g -</h3><ul>
 <li>gep_0
-: <a class="el" href="CFLGrammar_8txt.html#a6ee570f12a515fbe082cd58b4fed1556">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">PEGGrammar.txt</a>
+: <a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">PEGGrammar.txt</a>
 </li>
 <li>gep_1
-: <a class="el" href="CFLGrammar_8txt.html#aea5ba88546e9986acc645ae45372e621">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a9a4e1871fa395956be13e1d7a5089719">CFLGrammar.txt</a>
 </li>
 <li>gep_i
-: <a class="el" href="CFLGrammar_8txt.html#a717bc437ac0cf29d051c8affc5b865ec">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a">CFLGrammar.txt</a>
 </li>
 <li>gepbar_0
-: <a class="el" href="CFLGrammar_8txt.html#add91b668073700b532153fd7f8fd4cda">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a2bd2d1614b7b4f376c61366b17c0637d">CFLGrammar.txt</a>
 , <a class="el" href="PEGGrammar_8txt.html#a32ac366bb4f2b6561e1aad6ec61b65d2">PEGGrammar.txt</a>
 </li>
-<li>gepbar_i
-: <a class="el" href="CFLGrammar_8txt.html#a6e01259893f22cb0da6728f279ccd3e7">CFLGrammar.txt</a>
-</li>
 <li>gepNodeNumIndex
 : <a class="el" href="PAGBuilderFromFile_8cpp.html#a1af3947dbaf1ad4364bc4818f70ead40">PAGBuilderFromFile.cpp</a>
 </li>
@@ -242,19 +228,6 @@ $(function() {
 : <a class="el" href="cJSON_8h.html#a9f237f17f4e79d5b89149e09152edabe">cJSON.h</a>
 , <a class="el" href="cJSON_8cpp.html#a9f237f17f4e79d5b89149e09152edabe">cJSON.cpp</a>
 </li>
-<li>load
-: <a class="el" href="CFLGrammar_8txt.html#af94ae7efab42c57589a313f6cc7ada63">CFLGrammar.txt</a>
-</li>
-<li>loadbar
-: <a class="el" href="CFLGrammar_8txt.html#a2c36e7a55e36ff3a2f5a4c55d4e1cf18">CFLGrammar.txt</a>
-</li>
-</ul>
-
-
-<h3><a id="index_m"></a>- m -</h3><ul>
-<li>Memflow
-: <a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">CFLGrammar.txt</a>
-</li>
 </ul>
 
 
@@ -307,8 +280,8 @@ $(function() {
 : <a class="el" href="cJSON_8cpp.html#a1c3580b00311725af8eb560f18555e0a">cJSON.cpp</a>
 </li>
 <li>prebuffer
-: <a class="el" href="cJSON_8h.html#a039dc262c2ae63f95cfe193245f8ee7e">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#a039dc262c2ae63f95cfe193245f8ee7e">cJSON.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#a039dc262c2ae63f95cfe193245f8ee7e">cJSON.cpp</a>
+, <a class="el" href="cJSON_8h.html#a039dc262c2ae63f95cfe193245f8ee7e">cJSON.h</a>
 </li>
 <li>prev
 : <a class="el" href="cJSON_8cpp.html#a8f132000c2609a05d1bfd83e25db97d5">cJSON.cpp</a>
@@ -325,8 +298,8 @@ $(function() {
 , <a class="el" href="cJSON_8cpp.html#a788db922597cf2fb6389e278f822e59f">cJSON.cpp</a>
 </li>
 <li>recurse
-: <a class="el" href="cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6">cJSON.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6">cJSON.cpp</a>
+, <a class="el" href="cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6">cJSON.h</a>
 </li>
 <li>replacement
 : <a class="el" href="cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791">cJSON.h</a>
@@ -337,18 +310,15 @@ $(function() {
 , <a class="el" href="cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130">cJSON.cpp</a>
 </li>
 <li>return_parse_end
-: <a class="el" href="cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9">cJSON.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9">cJSON.cpp</a>
+, <a class="el" href="cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a">cJSON.h</a>
 </li>
 </ul>
 
 
 <h3><a id="index_s"></a>- s -</h3><ul>
-<li>store
-: <a class="el" href="CFLGrammar_8txt.html#a92d5a256d74eadeb5bfa131b84067f0d">CFLGrammar.txt</a>
-</li>
 <li>storebar
-: <a class="el" href="CFLGrammar_8txt.html#a48eaeeebe78c32844d92122831012be2">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a07b9538bf6c870253aed4d379891604c">CFLGrammar.txt</a>
 </li>
 <li>string
 : <a class="el" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">cJSON.h</a>
@@ -378,17 +348,14 @@ $(function() {
 : <a class="el" href="cJSON_8cpp.html#a467a5974a6eae3b3059a89ba909c2a9c">cJSON.cpp</a>
 </li>
 <li>valuestring
-: <a class="el" href="cJSON_8h.html#a7dc61ad7586ca3231e691514bad7cbc4">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#a7dc61ad7586ca3231e691514bad7cbc4">cJSON.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#a7dc61ad7586ca3231e691514bad7cbc4">cJSON.cpp</a>
+, <a class="el" href="cJSON_8h.html#a7dc61ad7586ca3231e691514bad7cbc4">cJSON.h</a>
 </li>
 <li>vfunPreLabel
 : <a class="el" href="CPPUtil_8cpp.html#a74958d1db4b08e58aee58557d386c24b">CPPUtil.cpp</a>
 </li>
-<li>vgep
-: <a class="el" href="CFLGrammar_8txt.html#a3c0f58fdc2a0351764cef84c2a761477">CFLGrammar.txt</a>
-</li>
 <li>vgepbar
-: <a class="el" href="CFLGrammar_8txt.html#a5cb31e8d975de240d0e0c173cb7f407f">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a05d200d7269d0c361b89b3c235275f7b">CFLGrammar.txt</a>
 </li>
 <li>vtblLabelAfterDemangle
 : <a class="el" href="CPPUtil_8cpp.html#ac43d67cde6cc257e442b3ac2ae8fb3f9">CPPUtil.cpp</a>

package/SVF-doxygen/html/html/menudata.js

@@ -278,7 +278,6 @@ var menudata={children:[
 {text:"j",url:"globals_vars.html#index_j"},
 {text:"k",url:"globals_vars.html#index_k"},
 {text:"l",url:"globals_vars.html#index_l"},
-{text:"m",url:"globals_vars.html#index_m"},
 {text:"n",url:"globals_vars.html#index_n"},
 {text:"o",url:"globals_vars.html#index_o"},
 {text:"p",url:"globals_vars.html#index_p"},

package/SVF-doxygen/html/html/mta_8cpp_source.html

@@ -66,7 +66,7 @@ $(function() {
 <div class="title">mta.cpp</div>  </div>
 </div><!--header-->
 <div class="contents">
-<a href="mta_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="LLVMUtil_8h.html">SVF-FE/LLVMUtil.h</a>&quot;</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="MTA_8h.html">MTA/MTA.h</a>&quot;</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="Options_8h.html">Util/Options.h</a>&quot;</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;</div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespacellvm.html">llvm</a>;</div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespacestd.html">std</a>;</div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespaceSVF.html">SVF</a>;</div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;</div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="keyword">static</span> llvm::cl::opt&lt;std::string&gt; <a class="code" href="mta_8cpp.html#a139199e1f33675df72b018c31e0be35c">InputFilename</a>(llvm::cl::Positional,</div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;        llvm::cl::desc(<span class="stringliteral">&quot;&lt;input bitcode&gt;&quot;</span>), llvm::cl::init(<span class="stringliteral">&quot;-&quot;</span>));</div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;</div><div class="line"><a name="l00012"></a><span class="lineno"><a class="line" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">   12</a></span>&#160;<span class="keywordtype">int</span> <a class="code" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a>(<span class="keywordtype">int</span> argc, <span class="keywordtype">char</span> ** argv)</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;{</div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;</div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;    <span class="keywordtype">int</span> arg_num = 0;</div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;    <span class="keywordtype">char</span> **arg_value = <span class="keyword">new</span> <span class="keywordtype">char</span>*[argc];</div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;    std::vector&lt;std::string&gt; moduleNameVec;</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;    <a class="code" href="namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732">LLVMUtil::processArguments</a>(argc, argv, arg_num, arg_value, moduleNameVec);</div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;    cl::ParseCommandLineOptions(arg_num, arg_value,</div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;                                <span class="stringliteral">&quot;MTA Analysis\n&quot;</span>);</div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;</div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;    <span class="keywordflow">if</span> (Options::WriteAnder == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;    {</div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;        LLVMModuleSet::getLLVMModuleSet()-&gt;preProcessBCs(moduleNameVec);</div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;    }</div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;</div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* svfModule = LLVMModuleSet::getLLVMModuleSet()-&gt;buildSVFModule(moduleNameVec);</div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;    svfModule-&gt;<a class="code" href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">buildSymbolTableInfo</a>();</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;    <a class="code" href="classSVF_1_1MTA.html">MTA</a> *mta = <span class="keyword">new</span> <a class="code" href="classSVF_1_1MTA.html">MTA</a>();</div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;    mta-&gt;<a class="code" href="classSVF_1_1MTA.html#a9c4b9eb2c04de305a30114019c3b1dae">runOnModule</a>(svfModule);</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;    <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;}</div><div class="ttc" id="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00123">CFLGraph.h:123</a></div></div>
+<a href="mta_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="LLVMUtil_8h.html">SVF-FE/LLVMUtil.h</a>&quot;</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="MTA_8h.html">MTA/MTA.h</a>&quot;</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="Options_8h.html">Util/Options.h</a>&quot;</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;</div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespacellvm.html">llvm</a>;</div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespacestd.html">std</a>;</div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespaceSVF.html">SVF</a>;</div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;</div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="keyword">static</span> llvm::cl::opt&lt;std::string&gt; <a class="code" href="mta_8cpp.html#a139199e1f33675df72b018c31e0be35c">InputFilename</a>(llvm::cl::Positional,</div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;        llvm::cl::desc(<span class="stringliteral">&quot;&lt;input bitcode&gt;&quot;</span>), llvm::cl::init(<span class="stringliteral">&quot;-&quot;</span>));</div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;</div><div class="line"><a name="l00012"></a><span class="lineno"><a class="line" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">   12</a></span>&#160;<span class="keywordtype">int</span> <a class="code" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a>(<span class="keywordtype">int</span> argc, <span class="keywordtype">char</span> ** argv)</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;{</div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;</div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;    <span class="keywordtype">int</span> arg_num = 0;</div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;    <span class="keywordtype">char</span> **arg_value = <span class="keyword">new</span> <span class="keywordtype">char</span>*[argc];</div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;    std::vector&lt;std::string&gt; moduleNameVec;</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;    <a class="code" href="namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732">LLVMUtil::processArguments</a>(argc, argv, arg_num, arg_value, moduleNameVec);</div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;    cl::ParseCommandLineOptions(arg_num, arg_value,</div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;                                <span class="stringliteral">&quot;MTA Analysis\n&quot;</span>);</div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;</div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;    <span class="keywordflow">if</span> (Options::WriteAnder == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;    {</div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;        LLVMModuleSet::getLLVMModuleSet()-&gt;preProcessBCs(moduleNameVec);</div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;    }</div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;</div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* svfModule = LLVMModuleSet::getLLVMModuleSet()-&gt;buildSVFModule(moduleNameVec);</div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;    svfModule-&gt;<a class="code" href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">buildSymbolTableInfo</a>();</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;    <a class="code" href="classSVF_1_1MTA.html">MTA</a> *mta = <span class="keyword">new</span> <a class="code" href="classSVF_1_1MTA.html">MTA</a>();</div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;    mta-&gt;<a class="code" href="classSVF_1_1MTA.html#a9c4b9eb2c04de305a30114019c3b1dae">runOnModule</a>(svfModule);</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;    <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;}</div><div class="ttc" id="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00192">CFLGraph.h:192</a></div></div>
 <div class="ttc" id="mta_8cpp_html_a3c04138a5bfe5d72780bb7e82a18e627"><div class="ttname"><a href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a></div><div class="ttdeci">int main(int argc, char **argv)</div><div class="ttdef"><b>Definition:</b> <a href="mta_8cpp_source.html#l00012">mta.cpp:12</a></div></div>
 <div class="ttc" id="namespacestd_html"><div class="ttname"><a href="namespacestd.html">std</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>

package/SVF-doxygen/html/html/namespaceSVF.html

@@ -1132,7 +1132,7 @@ Functions</h2></td></tr>
 <tr class="memitem:aec4534b227e8f43b9077e708b74817fa"><td class="memItemLeft" align="right" valign="top">std::ostream &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aec4534b227e8f43b9077e708b74817fa">operator&lt;&lt;</a> (std::ostream &amp;o, const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> &amp;mrver)</td></tr>
 <tr class="separator:aec4534b227e8f43b9077e708b74817fa"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:af83f5c5c68cdb80576cdc1d62c01b207"><td class="memTemplParams" colspan="2">template&lt;typename F , typename S &gt; </td></tr>
-<tr class="memitem:af83f5c5c68cdb80576cdc1d62c01b207"><td class="memTemplItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a> &amp;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#af83f5c5c68cdb80576cdc1d62c01b207">operator&lt;&lt;</a> (<a class="el" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a> &amp;o, const std::pair&lt; <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a>, S &gt; &amp;var)</td></tr>
+<tr class="memitem:af83f5c5c68cdb80576cdc1d62c01b207"><td class="memTemplItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a> &amp;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#af83f5c5c68cdb80576cdc1d62c01b207">operator&lt;&lt;</a> (<a class="el" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a> &amp;o, const std::pair&lt; F, S &gt; &amp;var)</td></tr>
 <tr class="separator:af83f5c5c68cdb80576cdc1d62c01b207"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5cb5811bab8e04773dfa21ad919df461"><td class="memTemplParams" colspan="2">template&lt;typename T &gt; </td></tr>
 <tr class="memitem:a5cb5811bab8e04773dfa21ad919df461"><td class="memTemplItemLeft" align="right" valign="top">unsigned&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a5cb5811bab8e04773dfa21ad919df461">countTrailingZeros</a> (T Val, <a class="el" href="namespaceSVF.html#af5b6ec9770091c42227a45491b00b349">ZeroBehavior</a> ZB=<a class="el" href="namespaceSVF.html#af5b6ec9770091c42227a45491b00b349afdacc59903d2677ef91777d78c7b80a7">ZB_Width</a>)</td></tr>
@@ -2357,7 +2357,7 @@ Functions</h2></td></tr>
 
 <p>Edge-labeled graph for CFL Reachability analysis. </p>
 
-<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00085">85</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00154">154</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
 
 </div>
 </div>
@@ -2373,7 +2373,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00073">73</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00075">75</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
 
 </div>
 </div>
@@ -4916,7 +4916,7 @@ template&lt;typename F , typename S &gt; </div>
         <tr>
           <td class="paramkey"></td>
           <td></td>
-          <td class="paramtype">const std::pair&lt; <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a>, S &gt; &amp;&#160;</td>
+          <td class="paramtype">const std::pair&lt; F, S &gt; &amp;&#160;</td>
           <td class="paramname"><em>var</em>&#160;</td>
         </tr>
         <tr>