svf-tools 1.0.539 → 1.0.540

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

@@ -86,12 +86,12 @@ $(function() {
 <li>PAGEdgeSetTy
 : <a class="el" href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">SVF::SVFStmt</a>
 </li>
-<li>PAGEdgeToFunMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31">SVF::MRGenerator</a>
-</li>
 <li>pagEdgeToFunMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58">SVF::MRGenerator</a>
 </li>
+<li>PAGEdgeToFunMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31">SVF::MRGenerator</a>
+</li>
 <li>PAGEdgeToSetMapTy
 : <a class="el" href="classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa">SVF::SVFStmt</a>
 </li>
@@ -172,12 +172,12 @@ $(function() {
 <li>PAGPrint
 : <a class="el" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80">SVF::Options</a>
 </li>
-<li>pagReadFromTxt
-: <a class="el" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule</a>
-</li>
 <li>pagReadFromTXT()
 : <a class="el" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule</a>
 </li>
+<li>pagReadFromTxt
+: <a class="el" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule</a>
+</li>
 <li>pairheadmap
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e">SVF::MTASVFGBuilder</a>
 </li>
@@ -251,6 +251,9 @@ $(function() {
 <li>PEDGEK
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVF::SVFStmt</a>
 </li>
+<li>PEGTransfer
+: <a class="el" href="classSVF_1_1Options.html#a7d566af0280a0c2457947fd426c81c81">SVF::Options</a>
+</li>
 <li>performAddingMHPEdges()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a0ed91beb4d3442c0a78ea81bde8d41a3">SVF::MTASVFGBuilder</a>
 </li>
@@ -379,7 +382,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05">SVF::SVFG</a>
 </li>
 <li>PhiStmt()
-: <a class="el" href="classSVF_1_1PhiStmt.html#ac2374acf4477a4bc5d188797ea9baaf3">SVF::PhiStmt</a>
+: <a class="el" href="classSVF_1_1PhiStmt.html#a7ac7cc8a4fd0c692b45df02fc5166b3b">SVF::PhiStmt</a>
 </li>
 <li>phiTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42">SVF::FlowSensitive</a>
@@ -827,19 +830,21 @@ $(function() {
 <li>PTAStat()
 : <a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat</a>
 </li>
-<li>ptaTy
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
-</li>
 <li>PTATY
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis</a>
 </li>
+<li>ptaTy
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
+</li>
 <li>PTAVector
 : <a class="el" href="classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a">SVF::DDAPass</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
 </li>
 <li>ptaVector
 : <a class="el" href="classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446">SVF::WPAPass</a>
 </li>
+<li>PTAVector
+: <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
+</li>
 <li>PTBackingType
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a">SVF::BVDataPTAImpl</a>
 </li>
@@ -927,15 +932,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e">SVF::FlowSensitiveStat</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>ptsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-</li>
-<li>PtsMap
-: <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-</li>
-<li>ptsMap
-: <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>PtsMapConstIter
 : <a class="el" href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -987,7 +988,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aaf70954762aa86f835d799994726790e">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a7d9fd3ddcadd84969b57491181983b17">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a67e2d43f0e35cc46eb7680ec66a4fe44">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1TCT.html#afc6d7a91cfc98561bcce13425964a39e">SVF::TCT</a>
+, <a class="el" href="classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169">SVF::TCT</a>
 </li>
 <li>pushIntoWorklist()
 : <a class="el" href="classSVF_1_1CFLSolver.html#afc745dc72fd0572a145a78fe6a93ae5c">SVF::CFLSolver</a>

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

@@ -540,12 +540,14 @@ $(function() {
 <li>reverseNodeMapping
 : <a class="el" href="classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1">SVF::PointsTo</a>
 </li>
+<li>RevPtsMap
+: <a class="el" href="classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
 <li>revPtsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>RevPtsMap
-: <a class="el" href="classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+: <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>revPtsMap

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

@@ -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>
@@ -139,12 +141,12 @@ $(function() {
 <li>SCCDetectionTime
 : <a class="el" href="classSVF_1_1PTAStat.html#ad4c1cf3750341f73987c37745f3bd2aa">SVF::PTAStat</a>
 </li>
-<li>SCCEdgeFlag
-: <a class="el" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c">SVF::ConstraintNode</a>
-</li>
 <li>sccEdgeFlag
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a0fd9fca5ed82cf83dbd825d23c63783a">SVF::ConstraintNode</a>
 </li>
+<li>SCCEdgeFlag
+: <a class="el" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c">SVF::ConstraintNode</a>
+</li>
 <li>SCCMergeTime
 : <a class="el" href="classSVF_1_1PTAStat.html#a8c4101e697057269def501d14a987287">SVF::PTAStat</a>
 </li>
@@ -816,12 +818,12 @@ $(function() {
 <li>StoreStmt()
 : <a class="el" href="classSVF_1_1StoreStmt.html#a39ee0d8cc951aff0d6418a3d743fb3ae">SVF::StoreStmt</a>
 </li>
-<li>storesToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
-</li>
 <li>StoresToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
 </li>
+<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>
@@ -984,12 +986,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#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</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>SVFGNodeToCSIDMap
 : <a class="el" href="classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700">SVF::LeakChecker</a>
 </li>
@@ -1134,7 +1136,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#aee986d8fbccf71a606284d8467f450e4">SVF::SymState</a>
+: <a class="el" href="classSVF_1_1SymState.html#a74011f042d561221c30fcd176490abad">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

@@ -358,12 +358,12 @@ $(function() {
 <li>timeOfUpdateCallGraph
 : <a class="el" href="classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b">SVF::AndersenBase</a>
 </li>
-<li>timeStatMap
-: <a class="el" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">SVF::PTAStat</a>
-</li>
 <li>TIMEStatMap
 : <a class="el" href="classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10">SVF::PTAStat</a>
 </li>
+<li>timeStatMap
+: <a class="el" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">SVF::PTAStat</a>
+</li>
 <li>TInterPhi
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode</a>
 </li>

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

@@ -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_n.html

@@ -132,6 +132,9 @@ $(function() {
 <li>normalized
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#ab4115f25e2e477bfd73d01f069f47241">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
+<li>NullDummyNode
+: <a class="el" href="classSVF_1_1Options.html#a59afe4356aae2133beb4819c013d3fbf">SVF::Options</a>
+</li>
 <li>nullPointerId
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a1e3a98be74d5dfd3b4c1b5f9c0941353">SVF::NodeIDAllocator</a>
 </li>

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

@@ -148,6 +148,9 @@ $(function() {
 <li>pathConstraint
 : <a class="el" href="classSVF_1_1ExeState.html#a7a9c5c2275246a43414503f6822073b1">SVF::ExeState</a>
 </li>
+<li>PEGTransfer
+: <a class="el" href="classSVF_1_1Options.html#a7d566af0280a0c2457947fd426c81c81">SVF::Options</a>
+</li>
 <li>persPTData
 : <a class="el" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a0d6620a7078bd60d16256ac48af58db9">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>

package/SVF-doxygen/html/html/globals.html

@@ -63,6 +63,7 @@ $(function() {
 <h3><a id="index__"></a>- _ -</h3><ul>
 <li>__pad0__
 : <a class="el" href="CFLGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">PEGGrammar.txt</a>
 , <a class="el" href="cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3">cJSON.cpp</a>
 </li>
 <li>__pad1__

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

@@ -75,9 +75,11 @@ $(function() {
 </li>
 <li>Addr
 : <a class="el" href="CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#aceb4ff2aa6371c1133bbcd5309b0bed1">PEGGrammar.txt</a>
 </li>
 <li>Addrbar
-: <a class="el" href="CFLGrammar_8txt.html#a11ba05967682e1a34391b8c3309de1e6">CFLGrammar.txt</a>
+: <a class="el" href="PEGGrammar_8txt.html#a43cf87c9fa668dbee3d5e626a136c8fe">PEGGrammar.txt</a>
+, <a class="el" href="CFLGrammar_8txt.html#a11ba05967682e1a34391b8c3309de1e6">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

@@ -194,12 +194,13 @@ $(function() {
 <li>convertExpression()
 : <a class="el" href="BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1">BreakConstantExpr.cpp</a>
 </li>
-<li>Copy
-: <a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">CFLGrammar.txt</a>
-</li>
 <li>copy
 : <a class="el" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">cJSON.cpp</a>
 </li>
+<li>Copy
+: <a class="el" href="PEGGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">PEGGrammar.txt</a>
+, <a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">CFLGrammar.txt</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>
@@ -208,8 +209,8 @@ $(function() {
 : <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>

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

@@ -82,6 +82,7 @@ $(function() {
 </li>
 <li>epsilon
 : <a class="el" href="CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">PEGGrammar.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

@@ -63,12 +63,14 @@ $(function() {
 <h3><a id="index_f"></a>- f -</h3><ul>
 <li>F
 : <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">PEGGrammar.txt</a>
 </li>
 <li>false
 : <a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">cJSON.cpp</a>
 </li>
 <li>Fbar
-: <a class="el" href="CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">PEGGrammar.txt</a>
 </li>
 <li>fc_isnan()
 : <a class="el" href="fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0">fastcluster.cpp</a>
@@ -80,15 +82,15 @@ $(function() {
 : <a class="el" href="ExeState_8h.html#aec682540f2c8aa9deb79f610e4399411">ExeState.h</a>
 </li>
 <li>fmt
-: <a class="el" href="cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.cpp</a>
-, <a class="el" href="cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.h</a>
+: <a class="el" href="cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.cpp</a>
 </li>
 <li>for()
 : <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">cJSON.cpp</a>
 </li>
 <li>format
-: <a class="el" href="cJSON_8h.html#a6122748ab66fdcaed151288ac056a1d1">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#a6122748ab66fdcaed151288ac056a1d1">cJSON.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#a6122748ab66fdcaed151288ac056a1d1">cJSON.cpp</a>
+, <a class="el" href="cJSON_8h.html#a6122748ab66fdcaed151288ac056a1d1">cJSON.h</a>
 </li>
 </ul>
 </div><!-- contents -->

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

@@ -63,18 +63,22 @@ $(function() {
 <h3><a id="index_g"></a>- g -</h3><ul>
 <li>Gep_0
 : <a class="el" href="CFLGrammar_8txt.html#ace8178aa913f2a15d4b3f12778dfc6f1">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#ace8178aa913f2a15d4b3f12778dfc6f1">PEGGrammar.txt</a>
 </li>
 <li>Gep_1
 : <a class="el" href="CFLGrammar_8txt.html#a92c75ced313339aea5e3e0c9f0726e5a">CFLGrammar.txt</a>
 </li>
 <li>Gep_i
-: <a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#af184db68cfa45428afdc186dd62e32a3">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#af184db68cfa45428afdc186dd62e32a3">PEGGrammar.txt</a>
 </li>
 <li>Gepbar_0
-: <a class="el" href="CFLGrammar_8txt.html#a38750813346a2f7d4d2f74101bf1be37">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a74e2e5aac99754fa661689592e053e27">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#a74e2e5aac99754fa661689592e053e27">PEGGrammar.txt</a>
 </li>
 <li>Gepbar_i
-: <a class="el" href="CFLGrammar_8txt.html#a1e1e10a9f0c4b902df72da76a308ae21">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#aa3f2c8659adb9738e29e47d3a607ff1e">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#aa3f2c8659adb9738e29e47d3a607ff1e">PEGGrammar.txt</a>
 </li>
 <li>gepNodeNumIndex
 : <a class="el" href="PAGBuilderFromFile_8cpp.html#a1af3947dbaf1ad4364bc4818f70ead40">PAGBuilderFromFile.cpp</a>

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

@@ -61,13 +61,16 @@ $(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_m"></a>- m -</h3><ul>
+<li>M
+: <a class="el" href="PEGGrammar_8txt.html#abd600039647a1e73c88e7161fa6eb989">PEGGrammar.txt</a>
+</li>
 <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="svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">svf-ex.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="svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">svf-ex.cpp</a>
+, <a class="el" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">mta.cpp</a>
+, <a class="el" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">dda.cpp</a>
 </li>
 <li>Memflow
 : <a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">CFLGrammar.txt</a>

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

@@ -75,7 +75,8 @@ $(function() {
 : <a class="el" href="CPPUtil_8cpp.html#a74958d1db4b08e58aee58557d386c24b">CPPUtil.cpp</a>
 </li>
 <li>Vgep
-: <a class="el" href="CFLGrammar_8txt.html#ab5d65f36b081efc4f36dc7086db1fc2c">CFLGrammar.txt</a>
+: <a class="el" href="PEGGrammar_8txt.html#ab5d65f36b081efc4f36dc7086db1fc2c">PEGGrammar.txt</a>
+, <a class="el" href="CFLGrammar_8txt.html#ab5d65f36b081efc4f36dc7086db1fc2c">CFLGrammar.txt</a>
 </li>
 <li>Vgepbar
 : <a class="el" href="CFLGrammar_8txt.html#ae239ca8fb918fa812492fe369202225d">CFLGrammar.txt</a>

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

@@ -63,6 +63,7 @@ $(function() {
 <h3><a id="index__"></a>- _ -</h3><ul>
 <li>__pad0__
 : <a class="el" href="CFLGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">PEGGrammar.txt</a>
 , <a class="el" href="cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3">cJSON.cpp</a>
 </li>
 <li>__pad1__
@@ -77,9 +78,11 @@ $(function() {
 </li>
 <li>Addr
 : <a class="el" href="CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#aceb4ff2aa6371c1133bbcd5309b0bed1">PEGGrammar.txt</a>
 </li>
 <li>Addrbar
 : <a class="el" href="CFLGrammar_8txt.html#a11ba05967682e1a34391b8c3309de1e6">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#a43cf87c9fa668dbee3d5e626a136c8fe">PEGGrammar.txt</a>
 </li>
 <li>after_inserted
 : <a class="el" href="cJSON_8cpp.html#a38b1dcebd0d04ad6f2ee1872ec39d53d">cJSON.cpp</a>
@@ -120,12 +123,13 @@ $(function() {
 <li>content
 : <a class="el" href="cJSON_8cpp.html#a7886d4c98c027896a652ad0ada741709">cJSON.cpp</a>
 </li>
-<li>Copy
-: <a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">CFLGrammar.txt</a>
-</li>
 <li>copy
 : <a class="el" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">cJSON.cpp</a>
 </li>
+<li>Copy
+: <a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">PEGGrammar.txt</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>
@@ -143,6 +147,7 @@ $(function() {
 </li>
 <li>epsilon
 : <a class="el" href="CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">PEGGrammar.txt</a>
 </li>
 </ul>
 
@@ -150,9 +155,11 @@ $(function() {
 <h3><a id="index_f"></a>- f -</h3><ul>
 <li>F
 : <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">PEGGrammar.txt</a>
 </li>
 <li>Fbar
-: <a class="el" href="CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">PEGGrammar.txt</a>
 </li>
 <li>fmt
 : <a class="el" href="cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.h</a>
@@ -168,18 +175,22 @@ $(function() {
 <h3><a id="index_g"></a>- g -</h3><ul>
 <li>Gep_0
 : <a class="el" href="CFLGrammar_8txt.html#ace8178aa913f2a15d4b3f12778dfc6f1">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#ace8178aa913f2a15d4b3f12778dfc6f1">PEGGrammar.txt</a>
 </li>
 <li>Gep_1
 : <a class="el" href="CFLGrammar_8txt.html#a92c75ced313339aea5e3e0c9f0726e5a">CFLGrammar.txt</a>
 </li>
 <li>Gep_i
-: <a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#af184db68cfa45428afdc186dd62e32a3">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#af184db68cfa45428afdc186dd62e32a3">PEGGrammar.txt</a>
 </li>
 <li>Gepbar_0
-: <a class="el" href="CFLGrammar_8txt.html#a38750813346a2f7d4d2f74101bf1be37">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a74e2e5aac99754fa661689592e053e27">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#a74e2e5aac99754fa661689592e053e27">PEGGrammar.txt</a>
 </li>
 <li>Gepbar_i
-: <a class="el" href="CFLGrammar_8txt.html#a1e1e10a9f0c4b902df72da76a308ae21">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#aa3f2c8659adb9738e29e47d3a607ff1e">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#aa3f2c8659adb9738e29e47d3a607ff1e">PEGGrammar.txt</a>
 </li>
 <li>gepNodeNumIndex
 : <a class="el" href="PAGBuilderFromFile_8cpp.html#a1af3947dbaf1ad4364bc4818f70ead40">PAGBuilderFromFile.cpp</a>
@@ -247,6 +258,9 @@ $(function() {
 
 
 <h3><a id="index_m"></a>- m -</h3><ul>
+<li>M
+: <a class="el" href="PEGGrammar_8txt.html#abd600039647a1e73c88e7161fa6eb989">PEGGrammar.txt</a>
+</li>
 <li>Memflow
 : <a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">CFLGrammar.txt</a>
 </li>
@@ -381,6 +395,7 @@ $(function() {
 </li>
 <li>Vgep
 : <a class="el" href="CFLGrammar_8txt.html#ab5d65f36b081efc4f36dc7086db1fc2c">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#ab5d65f36b081efc4f36dc7086db1fc2c">PEGGrammar.txt</a>
 </li>
 <li>Vgepbar
 : <a class="el" href="CFLGrammar_8txt.html#ae239ca8fb918fa812492fe369202225d">CFLGrammar.txt</a>

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

@@ -1201,7 +1201,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; <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>, 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>
@@ -5621,7 +5621,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; <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>, S &gt; &amp;&#160;</td>
           <td class="paramname"><em>var</em>&#160;</td>
         </tr>
         <tr>

package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html

@@ -339,7 +339,7 @@ Functions</h2></td></tr>
 <tr class="memitem:a28c0ede7e4765d2a686fc8ae0f5641a4"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">getSourceLoc</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *val)</td></tr>
 <tr class="memdesc:a28c0ede7e4765d2a686fc8ae0f5641a4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return source code including line number and file name from debug information.  <a href="#a28c0ede7e4765d2a686fc8ae0f5641a4">More...</a><br /></td></tr>
 <tr class="separator:a28c0ede7e4765d2a686fc8ae0f5641a4"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a86c1c8bdfc1075c07c631525555194d2"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a86c1c8bdfc1075c07c631525555194d2">getSourceLocOfFunction</a> (const <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *<a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a>)</td></tr>
+<tr class="memitem:a86c1c8bdfc1075c07c631525555194d2"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a86c1c8bdfc1075c07c631525555194d2">getSourceLocOfFunction</a> (const <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *<a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>)</td></tr>
 <tr class="separator:a86c1c8bdfc1075c07c631525555194d2"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7486fd8e5350879ed1cbd835c0d4e191"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *value)</td></tr>
 <tr class="separator:a7486fd8e5350879ed1cbd835c0d4e191"><td class="memSeparator" colspan="2">&#160;</td></tr>

package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html

@@ -93,13 +93,13 @@ Functions</h2></td></tr>
 <tr class="separator:a1e99d5cf28e0d6546e0d85b805a7e371"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aca6465c72effcaddeb34f55da4555754"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1cppUtil.html#aca6465c72effcaddeb34f55da4555754">isVirtualCallSite</a> (<a class="el" href="classSVF_1_1CallSite.html">CallSite</a> cs)</td></tr>
 <tr class="separator:aca6465c72effcaddeb34f55da4555754"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad6f9578cdce518141772a11617160da8"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1cppUtil.html#ad6f9578cdce518141772a11617160da8">isConstructor</a> (const <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *<a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a>)</td></tr>
+<tr class="memitem:ad6f9578cdce518141772a11617160da8"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1cppUtil.html#ad6f9578cdce518141772a11617160da8">isConstructor</a> (const <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *<a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>)</td></tr>
 <tr class="separator:ad6f9578cdce518141772a11617160da8"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:af19bec54621f4605bac4feaf9f73803c"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1cppUtil.html#af19bec54621f4605bac4feaf9f73803c">isDestructor</a> (const <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *<a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a>)</td></tr>
+<tr class="memitem:af19bec54621f4605bac4feaf9f73803c"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1cppUtil.html#af19bec54621f4605bac4feaf9f73803c">isDestructor</a> (const <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *<a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>)</td></tr>
 <tr class="separator:af19bec54621f4605bac4feaf9f73803c"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a917c4bd2d5fd1354b5069bf0a68533d9"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1cppUtil.html#a917c4bd2d5fd1354b5069bf0a68533d9">isCPPThunkFunction</a> (const <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *<a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a>)</td></tr>
+<tr class="memitem:a917c4bd2d5fd1354b5069bf0a68533d9"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1cppUtil.html#a917c4bd2d5fd1354b5069bf0a68533d9">isCPPThunkFunction</a> (const <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *<a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>)</td></tr>
 <tr class="separator:a917c4bd2d5fd1354b5069bf0a68533d9"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac9c6d4315e7a1a826add7ed9cf924553"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1cppUtil.html#ac9c6d4315e7a1a826add7ed9cf924553">getThunkTarget</a> (const <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *<a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a>)</td></tr>
+<tr class="memitem:ac9c6d4315e7a1a826add7ed9cf924553"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1cppUtil.html#ac9c6d4315e7a1a826add7ed9cf924553">getThunkTarget</a> (const <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *<a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>)</td></tr>
 <tr class="separator:ac9c6d4315e7a1a826add7ed9cf924553"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a26c3ceb82a398663284690c898a5354d"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801">Argument</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1cppUtil.html#a26c3ceb82a398663284690c898a5354d">getConstructorThisPtr</a> (const <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *fun)</td></tr>
 <tr class="separator:a26c3ceb82a398663284690c898a5354d"><td class="memSeparator" colspan="2">&#160;</td></tr>

package/SVF-doxygen/html/html/search/all_0.js

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['_5f_5fpad0_5f_5f',['__pad0__',['../CFLGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf',1,'__pad0__(): CFLGrammar.txt'],['../cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3',1,'__pad0__(): cJSON.cpp']]],
+  ['_5f_5fpad0_5f_5f',['__pad0__',['../CFLGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf',1,'__pad0__(): CFLGrammar.txt'],['../PEGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf',1,'__pad0__(): PEGGrammar.txt'],['../cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3',1,'__pad0__(): cJSON.cpp']]],
   ['_5f_5fpad1_5f_5f',['__pad1__',['../cJSON_8cpp.html#a0f403f87e00518c167bd384374aeb6ad',1,'cJSON.cpp']]],
   ['_5fanatimecycleperquery',['_AnaTimeCyclePerQuery',['../classSVF_1_1DDAStat.html#aae8366a4876154fa66298c7bf0fc47c4',1,'SVF::DDAStat']]],
   ['_5fanatimeperquery',['_AnaTimePerQuery',['../classSVF_1_1DDAStat.html#a2b788792447d4bccceff2426b45a21b2',1,'SVF::DDAStat']]],

package/SVF-doxygen/html/html/search/all_1.js

@@ -219,8 +219,8 @@ var searchData=
   ['addptrelementtype',['addptrElementType',['../classSVF_1_1SVFModule.html#a4ca35d1a1c7fe2152bb11681624f27ac',1,'SVF::SVFModule']]],
   ['addptrinuncalledfunction',['addPtrInUncalledFunction',['../classSVF_1_1SVFModule.html#ad09d9748b6e3fd1be3a751f7aeef68a8',1,'SVF::SVFModule']]],
   ['addpts',['addPts',['../classSVF_1_1PTData.html#ac1b9dc035fb0bdf468c7d14b9f9d437a',1,'SVF::PTData::addPts()'],['../classSVF_1_1VersionedPTData.html#ae00316730227769a39b22d3df1b6d38a',1,'SVF::VersionedPTData::addPts()'],['../classSVF_1_1MutablePTData.html#aab4a2eec11e83beca70b016102431ab1',1,'SVF::MutablePTData::addPts(const Key &dstKey, const Data &element) override'],['../classSVF_1_1MutablePTData.html#a8cdeda0ef0e976102d05de3004bd8c8a',1,'SVF::MutablePTData::addPts(DataSet &d, const Data &e)'],['../classSVF_1_1MutableDiffPTData.html#a717c166c5efdf2e1d71be1772fc0898d',1,'SVF::MutableDiffPTData::addPts()'],['../classSVF_1_1MutableDFPTData.html#ab75373d16f57dbbf1e9472e9a27d6b4b',1,'SVF::MutableDFPTData::addPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutableDFPTData.html#ab7d1a3464e561029573f6f3c13c9bff4',1,'SVF::MutableDFPTData::addPts(DataSet &d, const Data &e)'],['../classSVF_1_1MutableVersionedPTData.html#a00a88cc3e802921c6a0951801ec712a6',1,'SVF::MutableVersionedPTData::addPts(const Key &k, const Data &element) override'],['../classSVF_1_1MutableVersionedPTData.html#af39232f64ff0ede20161c7f265da6cf5',1,'SVF::MutableVersionedPTData::addPts(const VersionedKey &vk, const Data &element) override'],['../classSVF_1_1PersistentPTData.html#a8d53322eadc657ed88a8b724647070b2',1,'SVF::PersistentPTData::addPts()'],['../classSVF_1_1PersistentDiffPTData.html#a9f748619f67f3ff9c4c4a429e6614989',1,'SVF::PersistentDiffPTData::addPts()'],['../classSVF_1_1PersistentDFPTData.html#a95df7d565ba8e990b61b1c932c8d4273',1,'SVF::PersistentDFPTData::addPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a7f3730473af9218bea520ec0498fb4ac',1,'SVF::PersistentVersionedPTData::addPts(const Key &k, const Data &element) override'],['../classSVF_1_1PersistentVersionedPTData.html#ae4877cf4db5b1da5e7d05fe65ae8ed32',1,'SVF::PersistentVersionedPTData::addPts(const VersionedKey &vk, const Data &element) override'],['../classSVF_1_1BVDataPTAImpl.html#af68485a2208553579f9c2e4b2cb20cff',1,'SVF::BVDataPTAImpl::addPts()'],['../classSVF_1_1CondPTAImpl.html#a08037f32b927fe2e6be47a61a060463c',1,'SVF::CondPTAImpl::addPts()']]],
-  ['addr',['Addr',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375aed68bc43e8aae49e8590e140eb0ffaf3',1,'SVF::ConstraintEdge::Addr()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92',1,'SVF::VFGNode::Addr()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a0a9a0f650e864e89b7cbb3dc8c8aa197',1,'SVF::SVFStmt::Addr()'],['../CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8',1,'Addr(): CFLGrammar.txt']]],
-  ['addrbar',['Addrbar',['../CFLGrammar_8txt.html#a11ba05967682e1a34391b8c3309de1e6',1,'CFLGrammar.txt']]],
+  ['addr',['Addr',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375aed68bc43e8aae49e8590e140eb0ffaf3',1,'SVF::ConstraintEdge::Addr()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92',1,'SVF::VFGNode::Addr()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a0a9a0f650e864e89b7cbb3dc8c8aa197',1,'SVF::SVFStmt::Addr()'],['../CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8',1,'Addr(): CFLGrammar.txt'],['../PEGGrammar_8txt.html#aceb4ff2aa6371c1133bbcd5309b0bed1',1,'Addr(): PEGGrammar.txt']]],
+  ['addrbar',['Addrbar',['../CFLGrammar_8txt.html#a11ba05967682e1a34391b8c3309de1e6',1,'Addrbar(): CFLGrammar.txt'],['../PEGGrammar_8txt.html#a43cf87c9fa668dbee3d5e626a136c8fe',1,'Addrbar(): PEGGrammar.txt']]],
   ['addrcgedge',['AddrCGEdge',['../classSVF_1_1AddrCGEdge.html',1,'SVF::AddrCGEdge'],['../classSVF_1_1AddrCGEdge.html#a9c8da69a469e51d83c5009ba2685bcf6',1,'SVF::AddrCGEdge::AddrCGEdge()'],['../classSVF_1_1AddrCGEdge.html#a3e07c316815631b1ddfd35ae3781daab',1,'SVF::AddrCGEdge::AddrCGEdge(const AddrCGEdge &)'],['../classSVF_1_1AddrCGEdge.html#a131779667553499b85423e1932664252',1,'SVF::AddrCGEdge::AddrCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
   ['addrcgedgeset',['AddrCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc',1,'SVF::ConstraintGraph']]],
   ['addrefsideeffectofcallsite',['addRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a83f5087e84eb7a18976cbd3a446605ee',1,'SVF::MRGenerator']]],