npm - svf-tools - Versions diffs - 1.0.577 → 1.0.579 - Mend

svf-tools 1.0.577 → 1.0.579

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (166) hide show

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

@@ -118,11 +118,13 @@ $(function() {
 </li>
 <li>SCC
 : <a class="el" href="classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>scc
 : <a class="el" href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
+<li>SCC
+: <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
+</li>
 <li>sccCandidates
 : <a class="el" href="classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40">SVF::AndersenSCD</a>
 </li>
@@ -561,7 +563,9 @@ $(function() {
 : <a class="el" href="structSVF_1_1SparseBitVectorElement.html#ad9e38352db094adcdfb2964f325d9e53">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
 </li>
 <li>solve()
-: <a class="el" href="classSVF_1_1CFLSolver.html#a2ee3436c26ebdb2aaf790c25b1d8b5a6">SVF::CFLSolver</a>
+: <a class="el" href="classSVF_1_1CFLAlias.html#a5b7d65e7e74d596d61a1aad75e53cf27">SVF::CFLAlias</a>
+, <a class="el" href="classSVF_1_1CFLBase.html#a2d1f2e2c7f8cbe07e0dda759a7424e6e">SVF::CFLBase</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>
@@ -569,8 +573,7 @@ $(function() {
 : <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>
-, <a class="el" href="classSVF_1_1CFLVF.html#ab7ff36646da4c568d160ca2563b9b087">SVF::CFLVF</a>
+: <a class="el" href="classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17">SVF::CFLBase</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a2f0cf6549d9bc6fc1d4be46976ad0f0e">SVF::Z3Expr</a>
 </li>
 <li>solveTime
@@ -632,7 +635,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
@@ -707,7 +710,6 @@ $(function() {
 </li>
 <li>statNullPtr()
 : <a class="el" href="classSVF_1_1AndersenStat.html#a898f091cd9aeed4b0cf5b338b8a3b1d3">SVF::AndersenStat</a>
-, <a class="el" href="classSVF_1_1CFLStat.html#a6bcca58ff4481dee06b06eb17ed603ea">SVF::CFLStat</a>
 , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a36f7be42772b2df6f7594c51b7dc4770">SVF::FlowSensitiveStat</a>
 </li>
 <li>statPtsSize()
@@ -793,7 +795,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#acbea1ddbde90259b668b21f80f56cfbb">SVF::StoreStmt</a>
+: <a class="el" href="classSVF_1_1StoreStmt.html#a39ee0d8cc951aff0d6418a3d743fb3ae">SVF::StoreStmt</a>
 </li>
 <li>StoresToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
@@ -801,12 +803,12 @@ $(function() {
 <li>storesToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
 </li>
-<li>storesToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
-</li>
 <li>StoresToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
 </li>
+<li>storesToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
+</li>
 <li>storeTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7">SVF::FlowSensitive</a>
 </li>
@@ -820,7 +822,7 @@ $(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>str2Kind()
 : <a class="el" href="classSVF_1_1GrammarBase.html#ad2d56d8cdc4539d4201d1995fb36e772">SVF::GrammarBase</a>
@@ -828,12 +830,12 @@ $(function() {
 <li>str2Symbol()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a5c081c6ff0501fc91b71352995d6d9dc">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>Strategy
+: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
+</li>
 <li>stride
 : <a class="el" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo</a>
 </li>
@@ -964,12 +966,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#adaf0bb2e3104c9d86d997b2e7c93275e">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#adaf0bb2e3104c9d86d997b2e7c93275e">SVF::ProgSlice</a>
+</li>
 <li>SVFGNodeToCSIDMap
 : <a class="el" href="classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700">SVF::LeakChecker</a>
 </li>
@@ -1015,8 +1017,7 @@ $(function() {
 : <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>
-, <a class="el" href="classSVF_1_1CFLVF.html#a32b774f456dc6ca596cfe2fcd77efbc9">SVF::CFLVF</a>
+: <a class="el" href="classSVF_1_1CFLBase.html#a9e6cbab31612da4a1f8f660d1fabc4c0">SVF::CFLBase</a>
 </li>
 <li>SVFIR()
 : <a class="el" href="classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636">SVF::SVFIR</a>
@@ -1089,7 +1090,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a36c5b874527e7694f7fb2fd7291da0da">SVF::CFLGraphBuilder</a>
 , <a class="el" href="classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd">SVF::CFLSolver</a>
 , <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">SVF::GrammarBase</a>
-, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">SVF::GrammarBase::Symbol</a>
+, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767">SVF::GrammarBase::Symbol</a>
 </li>
 <li>SymbolInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo</a>
@@ -1118,7 +1119,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c">SVF::SymbolTableInfo</a>
 </li>
 <li>SymState()
-: <a class="el" href="classSVF_1_1SymState.html#a74011f042d561221c30fcd176490abad">SVF::SymState</a>
+: <a class="el" href="classSVF_1_1SymState.html#aee986d8fbccf71a606284d8467f450e4">SVF::SymState</a>
 </li>
 <li>SymTabPrint
 : <a class="el" href="classSVF_1_1Options.html#abbfd1d7e985483c486394d8db85b6a85">SVF::Options</a>

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

@@ -184,18 +184,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#a7acbb76087b863393e0214c77bb934b2">SVF::SaberCheckerAPI</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_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2">SVF::SaberCheckerAPI</a>
 </li>
 <li>tdAPIMap
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
 </li>
+<li>TDAPIMap
+: <a class="el" href="classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144">SVF::ThreadAPI</a>
+</li>
 <li>TDDead
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4">SVF::ForkJoinAnalysis</a>
 </li>
@@ -316,6 +316,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969">SVF::CxtThreadProc</a>
 , <a class="el" href="classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269">SVF::CxtThreadStmt</a>
 </li>
+<li>timeOfBuildCFLGrammar
+: <a class="el" href="classSVF_1_1CFLBase.html#a0d3217f4c3796b58a98add5c92298ad2">SVF::CFLBase</a>
+</li>
+<li>timeOfBuildCFLGraph
+: <a class="el" href="classSVF_1_1CFLBase.html#a9453bf479ccd00bacb3b371fa6383a9c">SVF::CFLBase</a>
+</li>
 <li>timeOfBuildingLLVMModule
 : <a class="el" href="classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5">SVF::SVFStat</a>
 </li>
@@ -327,7 +333,6 @@ $(function() {
 </li>
 <li>timeOfCollapse
 : <a class="el" href="classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#a1615a97f72dfa8f979c429b3d4f3463b">SVF::CFLAlias</a>
 </li>
 <li>timeOfCreateMUCHI
 : <a class="el" href="classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198">SVF::MemSSA</a>
@@ -347,21 +352,23 @@ $(function() {
 <li>TimeOfInsertingPHI
 : <a class="el" href="classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b">SVF::MemSSAStat</a>
 </li>
+<li>timeOfNormalizeGrammar
+: <a class="el" href="classSVF_1_1CFLBase.html#ad4d65dd4c3e173d014199ac6b08a5261">SVF::CFLBase</a>
+</li>
 <li>timeOfProcessCopyGep
 : <a class="el" href="classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#a2339baef879400c3abceaa6cd710438f">SVF::CFLAlias</a>
 </li>
 <li>timeOfProcessLoadStore
 : <a class="el" href="classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#ab8a98cf58afbc7fd00bd42b312073012">SVF::CFLAlias</a>
 </li>
 <li>timeOfSCCDetection
 : <a class="el" href="classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#ad72796a2cdd2fbfad0ea79c4bf4e0fc9">SVF::CFLAlias</a>
 </li>
 <li>timeOfSCCMerges
 : <a class="el" href="classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#ad2528dbf000ff2c85722fd8c95df5d86">SVF::CFLAlias</a>
+</li>
+<li>timeOfSolving
+: <a class="el" href="classSVF_1_1CFLBase.html#a88e40af43705550a78837b8589bbf3f8">SVF::CFLBase</a>
 </li>
 <li>timeOfSSARenaming
 : <a class="el" href="classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd">SVF::MemSSA</a>
@@ -371,7 +378,6 @@ $(function() {
 </li>
 <li>timeOfUpdateCallGraph
 : <a class="el" href="classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#ac94c14718ca0dbae6cddd8a0e093e111">SVF::CFLAlias</a>
 </li>
 <li>timeStatMap
 : <a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat</a>
@@ -580,13 +586,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>type_pair
 : <a class="el" href="classSVF_1_1ExtAPI.html#a95ac45d2367b3d3124d5d98958e74cc5">SVF::ExtAPI</a>
 </li>

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

@@ -117,7 +117,6 @@ $(function() {
 <li>CallSite2DummyValPN
 : <a class="el" href="classSVF_1_1Andersen.html#a0f65f1881111167bffe1cb2ad05c0a51">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#af8424cab679dae62320c6dec6253036a">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CFLVF.html#a2cb0e830ee529c6debd9c95a8f6299e6">SVF::CFLVF</a>
 </li>
 <li>CallSitePair
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a178d9971028e8ce26ab8894c5c6b5784">SVF::PTACallGraph</a>

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

@@ -131,12 +131,12 @@ $(function() {
 <li>valuestring
 : <a class="el" href="structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1">cJSON</a>
 </li>
-<li>valueToEdgeMap
-: <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
-</li>
 <li>ValueToEdgeMap
 : <a class="el" href="classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24">SVF::IRGraph</a>
 </li>
+<li>valueToEdgeMap
+: <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
+</li>
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e">SVF::SymbolTableInfo</a>
 </li>

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

@@ -157,11 +157,9 @@ $(function() {
 </li>
 <li>_MaxNumOfNodesInSCC
 : <a class="el" href="classSVF_1_1AndersenStat.html#ac16491cbf4bcd22dc1a8acd25db20e10">SVF::AndersenStat</a>
-, <a class="el" href="classSVF_1_1CFLStat.html#a3601b07709f1eef4c4685cc90a1648e2">SVF::CFLStat</a>
 </li>
 <li>_MaxPtsSize
 : <a class="el" href="classSVF_1_1AndersenStat.html#a85960b98981d0514a72b40306a7f08d3">SVF::AndersenStat</a>
-, <a class="el" href="classSVF_1_1CFLStat.html#aab012b94d23df8f5c78e74934aebf024">SVF::CFLStat</a>
 , <a class="el" href="classSVF_1_1DDAStat.html#a2197491d64e5cf18f8cfa7bbd19edf86">SVF::DDAStat</a>
 , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a737d955e3707cf758a5580eab2e60e96">SVF::FlowSensitiveStat</a>
 , <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#a99a7d0bbea0f015f5a656c33ee3ab88d">SVF::VersionedFlowSensitiveStat</a>
@@ -199,7 +197,6 @@ $(function() {
 </li>
 <li>_NumOfBlackholePtr
 : <a class="el" href="classSVF_1_1AndersenStat.html#a27d4e2bf145226f3c2b4d46fee2311e7">SVF::AndersenStat</a>
-, <a class="el" href="classSVF_1_1CFLStat.html#af4a3e4fded0ea25bf29f91b08b335236">SVF::CFLStat</a>
 , <a class="el" href="classSVF_1_1DDAStat.html#af3f359ca7c620695b124573377bda407">SVF::DDAStat</a>
 , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a74ab9e235e08e4840223ddf0599a9da7">SVF::FlowSensitiveStat</a>
 </li>
@@ -208,13 +205,11 @@ $(function() {
 </li>
 <li>_NumOfConstantPtr
 : <a class="el" href="classSVF_1_1AndersenStat.html#ab8f8152b5e6127f2d9bdcbd22083da67">SVF::AndersenStat</a>
-, <a class="el" href="classSVF_1_1CFLStat.html#a4e0b174c9387ffa3bca0eb1976e489fb">SVF::CFLStat</a>
 , <a class="el" href="classSVF_1_1DDAStat.html#a967b0def2602a596538973703ffaad5d">SVF::DDAStat</a>
 , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a767a935ec5bacd97f4fa79a05c165cc2">SVF::FlowSensitiveStat</a>
 </li>
 <li>_NumOfCycles
 : <a class="el" href="classSVF_1_1AndersenStat.html#a6e58c88a4118d368955dee5bbb0ccd21">SVF::AndersenStat</a>
-, <a class="el" href="classSVF_1_1CFLStat.html#ab6a95a6c55e582958cae3327e482ef7f">SVF::CFLStat</a>
 </li>
 <li>_NumOfDPM
 : <a class="el" href="classSVF_1_1DDAStat.html#a5ad94d2109b293d306f67741effc73aa">SVF::DDAStat</a>
@@ -242,17 +237,14 @@ $(function() {
 </li>
 <li>_NumOfNodesInCycles
 : <a class="el" href="classSVF_1_1AndersenStat.html#aa2e3a589d376de12a1cbfb0d1ebcacb9">SVF::AndersenStat</a>
-, <a class="el" href="classSVF_1_1CFLStat.html#a404decd93db2bbcd36682cfdc3e5549c">SVF::CFLStat</a>
 </li>
 <li>_NumOfNullPtr
 : <a class="el" href="classSVF_1_1AndersenStat.html#a38dfd00f384eea7899a29b2ec32a0ded">SVF::AndersenStat</a>
-, <a class="el" href="classSVF_1_1CFLStat.html#ab3e6256784b06ef36c0f93a88c7d8590">SVF::CFLStat</a>
 , <a class="el" href="classSVF_1_1DDAStat.html#aaa9a3e110cb291530154e733428cd904">SVF::DDAStat</a>
 , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#aea1cb2baea2f3c4d2ef62656a56bd077">SVF::FlowSensitiveStat</a>
 </li>
 <li>_NumOfPWCCycles
 : <a class="el" href="classSVF_1_1AndersenStat.html#afbd6b36ac1b0addb902fe8eb5643df83">SVF::AndersenStat</a>
-, <a class="el" href="classSVF_1_1CFLStat.html#a9866844333afd0bfffd336778e97ae02">SVF::CFLStat</a>
 </li>
 <li>_NumOfStep
 : <a class="el" href="classSVF_1_1DDAStat.html#a674248754300d58fcef8eaf09436249e">SVF::DDAStat</a>

package/SVF-doxygen/html/html/functions_vars_a.html CHANGED Viewed

@@ -232,7 +232,6 @@ $(function() {
 </li>
 <li>AveragePointsToSetSize
 : <a class="el" href="classSVF_1_1AndersenBase.html#adaf738bee77a4b1fbb8d42911fabdb49">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#ab30e7513dd0d743c59b38448a45a8ff8">SVF::CFLAlias</a>
 </li>
 <li>avgInDegree
 : <a class="el" href="classSVF_1_1SVFGStat.html#a4328f75f379e692901b95bacdf8dd413">SVF::SVFGStat</a>

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

@@ -121,7 +121,6 @@ $(function() {
 <li>callsite2DummyValPN
 : <a class="el" href="classSVF_1_1Andersen.html#a2f88b6035ecb480f7d11afe6bc666541">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#ae879c990852862e5ed4e4e7da76dda05">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CFLVF.html#a8449ed8950c983cabe92c74139ebef70">SVF::CFLVF</a>
 </li>
 <li>callSiteArgsListMap
 : <a class="el" href="classSVF_1_1SVFIR.html#aa0920f5f967efdb89e23f12d31b112a2">SVF::SVFIR</a>
@@ -258,7 +257,6 @@ $(function() {
 </li>
 <li>CollapseTime
 : <a class="el" href="classSVF_1_1AndersenStat.html#a3f5739454b1f4e03b4388a4ba5730e15">SVF::AndersenStat</a>
-, <a class="el" href="classSVF_1_1CFLStat.html#a1038d77be761d3033237724330631d3e">SVF::CFLStat</a>
 </li>
 <li>complementCache
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#adef498f8a0d4c75023382e6312a85a58">SVF::PersistentPointsToCache&lt; Data &gt;</a>

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

@@ -110,18 +110,19 @@ $(function() {
 : <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_1CFLBase.html#af7b0e90b8f8998ab6cf4e05155c7a503">SVF::CFLBase</a>
 , <a class="el" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">SVF::CFLSolver</a>
-, <a class="el" href="classSVF_1_1CFLVF.html#a7ba9ca8cbafa6f799278c33fe5edd4fb">SVF::CFLVF</a>
 , <a class="el" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">SVF::GrammarBuilder</a>
 </li>
+<li>grammarBase
+: <a class="el" href="classSVF_1_1CFLBase.html#aef3da4ce970597586757cafd2a435c1f">SVF::CFLBase</a>
+</li>
 <li>GrammarFilename
 : <a class="el" href="classSVF_1_1Options.html#aa929e2ae2c0a78181c3a1311bfe73596">SVF::Options</a>
 </li>
 <li>graph
-: <a class="el" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">SVF::CFLAlias</a>
+: <a class="el" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">SVF::CFLBase</a>
 , <a class="el" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">SVF::CFLSolver</a>
-, <a class="el" href="classSVF_1_1CFLVF.html#a30732e01e523dc5e2fc4c9d1ea83d414">SVF::CFLVF</a>
 , <a class="el" href="classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d">SVF::SVFGStat</a>
 </li>
 <li>Graphtxt

package/SVF-doxygen/html/html/functions_vars_m.html CHANGED Viewed

@@ -123,7 +123,6 @@ $(function() {
 </li>
 <li>MaxPointsToSetSize
 : <a class="el" href="classSVF_1_1AndersenBase.html#abd73e930450b7c605f478672bdf9bdae">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#a593d1b7b7380629ec8194d3a7b970ab5">SVF::CFLAlias</a>
 </li>
 <li>maxSCCSize
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4">SVF::FlowSensitive</a>

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

@@ -224,7 +224,6 @@ $(function() {
 </li>
 <li>numOfFieldExpand
 : <a class="el" href="classSVF_1_1AndersenBase.html#a9f453ec1b4236b8194ae590981217259">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#a46b3d4d12aa4fbf38038ce68e4e77096">SVF::CFLAlias</a>
 </li>
 <li>numOfFlattenElements
 : <a class="el" href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">SVF::StInfo</a>
@@ -311,6 +310,9 @@ $(function() {
 <li>numOfNonLocalSt
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a3c07f9964623b3895b1bab59a63dccfb">SVF::MTAAnnotator</a>
 </li>
+<li>numOfNonterminalEdges
+: <a class="el" href="classSVF_1_1CFLBase.html#a4c03b83cb2a3c0c166d96550d6771a1b">SVF::CFLBase</a>
+</li>
 <li>numOfPhi
 : <a class="el" href="classSVF_1_1SVFGStat.html#a0e1fcb9154aad266406c4da4861ba020">SVF::SVFGStat</a>
 </li>
@@ -319,12 +321,10 @@ $(function() {
 </li>
 <li>numOfProcessedAddr
 : <a class="el" href="classSVF_1_1AndersenBase.html#a4acad18a6eb585ba9e3d2276dd591067">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#acd6070559826ef7983a828852ac93331">SVF::CFLAlias</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#ae4253bc632ffffe2498263c90f456ca7">SVF::FlowSensitive</a>
 </li>
 <li>numOfProcessedCopy
 : <a class="el" href="classSVF_1_1AndersenBase.html#a04acd871bd1b98cd9e83e395334ac130">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#a320eed3b2074070c5a58a97d24e379db">SVF::CFLAlias</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a19e017f3ed6429fa30687018e64dae54">SVF::FlowSensitive</a>
 </li>
 <li>numOfProcessedFormalRet
@@ -332,12 +332,10 @@ $(function() {
 </li>
 <li>numOfProcessedGep
 : <a class="el" href="classSVF_1_1AndersenBase.html#aa1246b392aeae1fd10c8a9ebedcc2dd9">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#aa6a5ed4632eeef28f35910514b9e8a66">SVF::CFLAlias</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a88a111b6bc347d6562db7af8bd8f2f0e">SVF::FlowSensitive</a>
 </li>
 <li>numOfProcessedLoad
 : <a class="el" href="classSVF_1_1AndersenBase.html#a69aae96fc1c99bf108075e5061f50f9e">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#a35356e309560c939ca47bccf47d2ba50">SVF::CFLAlias</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a0e1a0bdbf4f81a3600ac26ac011ac268">SVF::FlowSensitive</a>
 </li>
 <li>numOfProcessedMSSANode
@@ -348,7 +346,6 @@ $(function() {
 </li>
 <li>numOfProcessedStore
 : <a class="el" href="classSVF_1_1AndersenBase.html#a2b763519509ce21cf40893c01f8357b6">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#afc529c27f0e572948de13c319435b415">SVF::CFLAlias</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a669e8f1dd8572b7dcff373c9787a923d">SVF::FlowSensitive</a>
 </li>
 <li>numOfRemovedPTS
@@ -374,11 +371,12 @@ $(function() {
 </li>
 <li>numOfSCCDetection
 : <a class="el" href="classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#abde85bf1f0f4ff2cf01e05b2f645a876">SVF::CFLAlias</a>
 </li>
 <li>numOfSfrs
 : <a class="el" href="classSVF_1_1AndersenBase.html#a25b00d9ca71cbdd27530fc5d0dc84ee5">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#a7f63c7509ac67a697b248dd28e9c2409">SVF::CFLAlias</a>
+</li>
+<li>numOfStartEdges
+: <a class="el" href="classSVF_1_1CFLBase.html#a25a593cb2a855a93d3593efba382a58c">SVF::CFLBase</a>
 </li>
 <li>numOfStore
 : <a class="el" href="classSVF_1_1SVFGStat.html#a4d15f2de3f226c26cb2af57176444ec9">SVF::SVFGStat</a>
@@ -389,6 +387,12 @@ $(function() {
 <li>NumOfStoreHasChi
 : <a class="el" href="classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f">SVF::MemSSAStat</a>
 </li>
+<li>numOfTemporaryNonterminalEdges
+: <a class="el" href="classSVF_1_1CFLBase.html#ac3b408acb295e2c319e3542539e6df47">SVF::CFLBase</a>
+</li>
+<li>numOfTerminalEdges
+: <a class="el" href="classSVF_1_1CFLBase.html#abc5502f15583f0546bbc2a678d2f2ed9">SVF::CFLBase</a>
+</li>
 <li>numOfTotalQueries
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ad648ad9cda4070f9aec1addef0067627">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a26ae18993915d76b704232cded9811c2">SVF::MHP</a>

package/SVF-doxygen/html/html/functions_vars_p.html CHANGED Viewed

@@ -263,7 +263,7 @@ $(function() {
 </li>
 <li>pta
 : <a class="el" href="classSVF_1_1AndersenStat.html#a8af8dd60987c4c99ea3727d9db87c187">SVF::AndersenStat</a>
-, <a class="el" href="classSVF_1_1CFLStat.html#a23c6ba004928f8ac6c9b12bd7ad49881">SVF::CFLStat</a>
+, <a class="el" href="classSVF_1_1CFLStat.html#a6fc506f947be6c9309cc8914c6a8c3e0">SVF::CFLStat</a>
 , <a class="el" href="classSVF_1_1MemSSA.html#a468e1481926df6865678b7232bb79bf3">SVF::MemSSA</a>
 , <a class="el" href="classSVF_1_1MRGenerator.html#afb7ce3a24edda14895999eb15231daff">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1PCG.html#adb917fc3adc3b0c3aedd57e9c77eae05">SVF::PCG</a>

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

@@ -142,8 +142,7 @@ $(function() {
 : <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>
-, <a class="el" href="classSVF_1_1CFLVF.html#ab7ff36646da4c568d160ca2563b9b087">SVF::CFLVF</a>
+: <a class="el" href="classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17">SVF::CFLBase</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a2f0cf6549d9bc6fc1d4be46976ad0f0e">SVF::Z3Expr</a>
 </li>
 <li>solveTime
@@ -282,8 +281,7 @@ $(function() {
 : <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>
-, <a class="el" href="classSVF_1_1CFLVF.html#a32b774f456dc6ca596cfe2fcd77efbc9">SVF::CFLVF</a>
+: <a class="el" href="classSVF_1_1CFLBase.html#a9e6cbab31612da4a1f8f660d1fabc4c0">SVF::CFLBase</a>
 </li>
 <li>SVFMain
 : <a class="el" href="classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385">SVF::Options</a>

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

@@ -132,6 +132,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969">SVF::CxtThreadProc</a>
 , <a class="el" href="classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269">SVF::CxtThreadStmt</a>
 </li>
+<li>timeOfBuildCFLGrammar
+: <a class="el" href="classSVF_1_1CFLBase.html#a0d3217f4c3796b58a98add5c92298ad2">SVF::CFLBase</a>
+</li>
+<li>timeOfBuildCFLGraph
+: <a class="el" href="classSVF_1_1CFLBase.html#a9453bf479ccd00bacb3b371fa6383a9c">SVF::CFLBase</a>
+</li>
 <li>timeOfBuildingLLVMModule
 : <a class="el" href="classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5">SVF::SVFStat</a>
 </li>
@@ -143,7 +149,6 @@ $(function() {
 </li>
 <li>timeOfCollapse
 : <a class="el" href="classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#a1615a97f72dfa8f979c429b3d4f3463b">SVF::CFLAlias</a>
 </li>
 <li>timeOfCreateMUCHI
 : <a class="el" href="classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198">SVF::MemSSA</a>
@@ -163,21 +168,23 @@ $(function() {
 <li>TimeOfInsertingPHI
 : <a class="el" href="classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b">SVF::MemSSAStat</a>
 </li>
+<li>timeOfNormalizeGrammar
+: <a class="el" href="classSVF_1_1CFLBase.html#ad4d65dd4c3e173d014199ac6b08a5261">SVF::CFLBase</a>
+</li>
 <li>timeOfProcessCopyGep
 : <a class="el" href="classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#a2339baef879400c3abceaa6cd710438f">SVF::CFLAlias</a>
 </li>
 <li>timeOfProcessLoadStore
 : <a class="el" href="classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#ab8a98cf58afbc7fd00bd42b312073012">SVF::CFLAlias</a>
 </li>
 <li>timeOfSCCDetection
 : <a class="el" href="classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#ad72796a2cdd2fbfad0ea79c4bf4e0fc9">SVF::CFLAlias</a>
 </li>
 <li>timeOfSCCMerges
 : <a class="el" href="classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#ad2528dbf000ff2c85722fd8c95df5d86">SVF::CFLAlias</a>
+</li>
+<li>timeOfSolving
+: <a class="el" href="classSVF_1_1CFLBase.html#a88e40af43705550a78837b8589bbf3f8">SVF::CFLBase</a>
 </li>
 <li>timeOfSSARenaming
 : <a class="el" href="classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd">SVF::MemSSA</a>
@@ -187,7 +194,6 @@ $(function() {
 </li>
 <li>timeOfUpdateCallGraph
 : <a class="el" href="classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#ac94c14718ca0dbae6cddd8a0e093e111">SVF::CFLAlias</a>
 </li>
 <li>timeStatMap
 : <a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat</a>