npm - svf-tools - Versions diffs - 1.0.557 → 1.0.560 - Mend

svf-tools 1.0.557 → 1.0.560

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 (221) hide show

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

@@ -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>
@@ -285,9 +285,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1ICFGStat.html#aabe0779dc44ddc4e06300ea912cca39f">SVF::ICFGStat</a>
 , <a class="el" href="classSVF_1_1MemSSA.html#a89c40c8fad70f3aead6531261e5a3cc3">SVF::MemSSA</a>
 , <a class="el" href="classSVF_1_1MemSSAStat.html#a8b4b9466a676d2391c71d38e8be16bc9">SVF::MemSSAStat</a>
-, <a class="el" href="classSVF_1_1PTAStat.html#acfed70588cf921694db35990ec3c7497">SVF::PTAStat</a>
+, <a class="el" href="classSVF_1_1PTAStat.html#ad6de9d3f25c20705768000c987af0eb6">SVF::PTAStat</a>
 , <a class="el" href="classSVF_1_1SVFG.html#adc9fbb4553472b238d6c3bb5062279cb">SVF::SVFG</a>
 , <a class="el" href="classSVF_1_1SVFGStat.html#a037600bfff11659542f8595d8700dec4">SVF::SVFGStat</a>
+, <a class="el" href="classSVF_1_1SVFStat.html#a6113f8d009c42519f3a43913a0c02b95">SVF::SVFStat</a>
 , <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#af202623692135ad746aed1be995c55fb">SVF::VersionedFlowSensitiveStat</a>
 </li>
 <li>performStatforIFDS()
@@ -295,7 +296,7 @@ $(function() {
 </li>
 <li>performStatPerQuery()
 : <a class="el" href="classSVF_1_1DDAStat.html#a11dd60d124a8d3433312589ede4e7b11">SVF::DDAStat</a>
-, <a class="el" href="classSVF_1_1PTAStat.html#adef061d4454a1b1fb46efa4013d9a956">SVF::PTAStat</a>
+, <a class="el" href="classSVF_1_1SVFStat.html#ab03780f736bed7861c9be14637e37ba3">SVF::SVFStat</a>
 </li>
 <li>performTCTStat()
 : <a class="el" href="classSVF_1_1MTAStat.html#a12f6bd291b206c18001f5d4775251481">SVF::MTAStat</a>
@@ -382,7 +383,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#a7ac7cc8a4fd0c692b45df02fc5166b3b">SVF::PhiStmt</a>
+: <a class="el" href="classSVF_1_1PhiStmt.html#a74e4c9a108d70aff8acaf3f32a16335f">SVF::PhiStmt</a>
 </li>
 <li>phiTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42">SVF::FlowSensitive</a>
@@ -571,15 +572,16 @@ $(function() {
 <li>printStat()
 : <a class="el" href="classSVF_1_1AndersenBase.html#a566830d0c7a1f5cd967bb8f2ab168f8d">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1DDAStat.html#ae6fd32471e0b9bf51233a36676658b49">SVF::DDAStat</a>
-, <a class="el" href="classSVF_1_1ICFGStat.html#a2058c584a93cb6c90f165207dbdb01d6">SVF::ICFGStat</a>
+, <a class="el" href="classSVF_1_1ICFGStat.html#af9c004e3532968ae806a3d344ef885ea">SVF::ICFGStat</a>
 , <a class="el" href="classSVF_1_1MemSSAStat.html#ad5fbe23c3374e5b3a45ac5fa4900441a">SVF::MemSSAStat</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1PTAStat.html#aa5f455bfa79743b8e263431593d29bbf">SVF::PTAStat</a>
+, <a class="el" href="classSVF_1_1PTAStat.html#aca3e99ad83bddabee1dd565522691c78">SVF::PTAStat</a>
 , <a class="el" href="classSVF_1_1SVFGStat.html#a2e0adcfbe233523212e1ffbf5b01ba88">SVF::SVFGStat</a>
+, <a class="el" href="classSVF_1_1SVFStat.html#a77c3cfb0c2b85a343ad0fac3682557c3">SVF::SVFStat</a>
 </li>
 <li>printStatPerQuery()
 : <a class="el" href="classSVF_1_1DDAStat.html#ae695696e5cd06eb27635887f0de30eff">SVF::DDAStat</a>
-, <a class="el" href="classSVF_1_1PTAStat.html#a7ce0630cfe41448bec002f03a176175d">SVF::PTAStat</a>
+, <a class="el" href="classSVF_1_1SVFStat.html#a2dd8ce8bb1970344533babb9fc8ddd02">SVF::SVFStat</a>
 </li>
 <li>printStats()
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac10cbda6a84ce890c9946a5ff35800b7">SVF::NodeIDAllocator::Clusterer</a>
@@ -810,12 +812,12 @@ $(function() {
 <li>PTACGNodeSet
 : <a class="el" href="classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237">SVF::TCT</a>
 </li>
-<li>ptaImplTy
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36">SVF::PointerAnalysis</a>
-</li>
 <li>PTAImplTy
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d">SVF::PointerAnalysis</a>
 </li>
+<li>ptaImplTy
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36">SVF::PointerAnalysis</a>
+</li>
 <li>PTAName()
 : <a class="el" href="classSVF_1_1Andersen.html#ad92dbecc91170b235180e59ba307acda">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1ContextDDA.html#afb0ab7fc43e6f0331072419e39ae0606">SVF::ContextDDA</a>
@@ -838,11 +840,13 @@ $(function() {
 </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>
@@ -910,12 +914,12 @@ $(function() {
 <li>ptrToBVPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
-<li>PtrToCPtsMap
-: <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
-</li>
 <li>ptrToCPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
+<li>PtrToCPtsMap
+: <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
+</li>
 <li>PtrToNSMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>

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

@@ -104,12 +104,12 @@ $(function() {
 <li>SB_SLICESOURCE
 : <a class="el" href="classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744">SVF::Annotator</a>
 </li>
-<li>SBV
-: <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</a>
-</li>
 <li>sbv
 : <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
 </li>
+<li>SBV
+: <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</a>
+</li>
 <li>sbvIt
 : <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a735a2a9f0c3f4bc3997edf11b133c0f9">SVF::PointsTo::PointsToIterator</a>
 </li>
@@ -511,7 +511,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1AndersenSFR.html#a0865c50224ffc1e053cf859122f83f75">SVF::AndersenSFR</a>
 </li>
 <li>SFRTrait
-: <a class="el" href="classSVF_1_1AndersenSFR.html#a654c391ad41b026eec2e0a1a54146600">SVF::AndersenSFR</a>
+: <a class="el" href="classSVF_1_1AndersenSFR.html#a2d41b49a1474c030ef2324c14467af30">SVF::AndersenSFR</a>
 </li>
 <li>sfvgOptEnd()
 : <a class="el" href="classSVF_1_1SVFGStat.html#aaec3a7f29b3ded0c971d57376d2779ff">SVF::SVFGStat</a>
@@ -677,7 +677,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTASCEV.html#a0de1531fc72f5aa0bafc59101faae68d">SVF::PTASCEV</a>
 </li>
 <li>startClk()
-: <a class="el" href="classSVF_1_1PTAStat.html#a5524ff7901659f56e9de343992be8f3b">SVF::PTAStat</a>
+: <a class="el" href="classSVF_1_1SVFStat.html#a730cc814fede3edb563aa9957c869e9e">SVF::SVFStat</a>
 </li>
 <li>startKind
 : <a class="el" href="classSVF_1_1CFLGraph.html#a0723f25be2a163b21f478cddca5293d2">SVF::CFLGraph</a>
@@ -691,6 +691,7 @@ $(function() {
 </li>
 <li>startTime
 : <a class="el" href="classSVF_1_1PTAStat.html#a59e0fe6fa506f1cf319b5acaf9d28be9">SVF::PTAStat</a>
+, <a class="el" href="classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669">SVF::SVFStat</a>
 </li>
 <li>stat
 : <a class="el" href="classSVF_1_1MemSSA.html#a4fc930040ec54eb60629da18fb6a4d04">SVF::MemSSA</a>
@@ -736,7 +737,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTASCEV.html#aead435732fbb492627f746b3d0654ce2">SVF::PTASCEV</a>
 </li>
 <li>StInfo()
-: <a class="el" href="classSVF_1_1StInfo.html#acf028061b5a83c339766c30b19e8fc65">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#a72dd2114d61e1489676a524b83ebb5ac">SVF::StInfo</a>
 </li>
 <li>StmtDPItem()
 : <a class="el" href="classSVF_1_1StmtDPItem.html#aed9239e5558569f6e957e691fa1872d7">SVF::StmtDPItem&lt; LocCond &gt;</a>
@@ -754,7 +755,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47">SVF::ConstraintEdge</a>
 </li>
 <li>store()
-: <a class="el" href="classSVF_1_1ExeState.html#ade4fc12b40dd05bf840c313f2b723879">SVF::ExeState</a>
+: <a class="el" href="classSVF_1_1ExeState.html#a08db85e0e599d17b54743feb03a7717a">SVF::ExeState</a>
 </li>
 <li>Store
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">SVF::SVFStmt</a>
@@ -764,7 +765,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a">SVF::MemSSA</a>
 </li>
 <li>StoreCGEdge()
-: <a class="el" href="classSVF_1_1StoreCGEdge.html#afdba4e02b1ccdc19fdc18bbe43363e79">SVF::StoreCGEdge</a>
+: <a class="el" href="classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815">SVF::StoreCGEdge</a>
 </li>
 <li>StoreCGEdgeSet
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025">SVF::ConstraintGraph</a>
@@ -800,7 +801,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a">SVF::MTAAnnotator</a>
 </li>
 <li>StoreStmt()
-: <a class="el" href="classSVF_1_1StoreStmt.html#a39ee0d8cc951aff0d6418a3d743fb3ae">SVF::StoreStmt</a>
+: <a class="el" href="classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42">SVF::StoreStmt</a>
 </li>
 <li>StoresToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
@@ -808,12 +809,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#a357e1654e30b2f91f6ea30ea5a52e91d">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>storeTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7">SVF::FlowSensitive</a>
 </li>
@@ -827,7 +828,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#ab4b9182cb0f2ef7dfc1e15789a311ecd">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>
@@ -897,7 +898,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVF::SVFValue</a>
 </li>
 <li>SVFFunction()
-: <a class="el" href="classSVF_1_1SVFFunction.html#ae7a55d86a87088f7d70254980e4325b3">SVF::SVFFunction</a>
+: <a class="el" href="classSVF_1_1SVFFunction.html#a9f26d10b95201148e0ef54ee7ad9e022">SVF::SVFFunction</a>
 </li>
 <li>svfg
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9">SVF::FlowSensitive</a>
@@ -1052,6 +1053,9 @@ $(function() {
 <li>SVFModule()
 : <a class="el" href="classSVF_1_1SVFModule.html#a22b214595dd7841eb974e7c633ed8bb1">SVF::SVFModule</a>
 </li>
+<li>SVFStat()
+: <a class="el" href="classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26">SVF::SVFStat</a>
+</li>
 <li>SVFStmt()
 : <a class="el" href="classSVF_1_1SVFStmt.html#a2ab7295fe26d2c6d2d5c9fd027f96a47">SVF::SVFStmt</a>
 </li>
@@ -1120,7 +1124,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 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#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</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_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
 </li>
 <li>TDAPIMap
 : <a class="el" href="classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144">SVF::ThreadAPI</a>
 </li>
+<li>tdAPIMap
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
+</li>
 <li>TDDead
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4">SVF::ForkJoinAnalysis</a>
 </li>
@@ -358,11 +358,11 @@ $(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>
+: <a class="el" href="classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98">SVF::SVFStat</a>
+</li>
+<li>timeStatMap
+: <a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat</a>
 </li>
 <li>TInterPhi
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode</a>

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

@@ -157,7 +157,7 @@ $(function() {
 : <a class="el" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#aadddb18b44c9744dcc639a3de603151d">SVF::SVFUtil::simplify_type&lt; const From &gt;</a>
 </li>
 <li>NUMStatMap
-: <a class="el" href="classSVF_1_1PTAStat.html#a7e8f9f9c1662822f3f8bd016db84e1e6">SVF::PTAStat</a>
+: <a class="el" href="classSVF_1_1SVFStat.html#ab810863d70cb2f5b4e312d07eae51227">SVF::SVFStat</a>
 </li>
 </ul>
 </div><!-- contents -->

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

@@ -66,7 +66,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>SFRTrait
-: <a class="el" href="classSVF_1_1AndersenSFR.html#a654c391ad41b026eec2e0a1a54146600">SVF::AndersenSFR</a>
+: <a class="el" href="classSVF_1_1AndersenSFR.html#a2d41b49a1474c030ef2324c14467af30">SVF::AndersenSFR</a>
 </li>
 <li>SimpleType
 : <a class="el" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">SVF::SVFUtil::simplify_type&lt; From &gt;</a>

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

@@ -82,7 +82,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MHP.html#ac30f283cb2ad020a054ee6525ca94025">SVF::MHP</a>
 </li>
 <li>TIMEStatMap
-: <a class="el" href="classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10">SVF::PTAStat</a>
+: <a class="el" href="classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98">SVF::SVFStat</a>
 </li>
 <li>TypeToFieldInfoMap
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a9c9a9da876d41ab48e55f25efc266494">SVF::SymbolTableInfo</a>

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

@@ -131,24 +131,24 @@ $(function() {
 <li>valuestring
 : <a class="el" href="structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1">cJSON</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>ValueToEdgeMap
+: <a class="el" href="classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24">SVF::IRGraph</a>
+</li>
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e">SVF::SymbolTableInfo</a>
 </li>
 <li>ValVar()
 : <a class="el" href="classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb">SVF::ValVar</a>
 </li>
-<li>Var2LabelMap
-: <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
-</li>
 <li>var2LabelMap
 : <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
 </li>
+<li>Var2LabelMap
+: <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
+</li>
 <li>VAR_ARRAY_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c">SVF::ObjTypeInfo</a>
 </li>

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

@@ -114,6 +114,7 @@ $(function() {
 </li>
 <li>endTime
 : <a class="el" href="classSVF_1_1PTAStat.html#a267ba4aac2e7ceb65f008f9486d3d9f7">SVF::PTAStat</a>
+, <a class="el" href="classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d">SVF::SVFStat</a>
 </li>
 <li>entry
 : <a class="el" href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">SVF::CallPE</a>

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

@@ -62,7 +62,7 @@ $(function() {
 <h3><a id="index_g"></a>- g -</h3><ul>
 <li>generalNumMap
-: <a class="el" href="classSVF_1_1PTAStat.html#afa718535839a939e51afc0f8c1fbdac6">SVF::PTAStat</a>
+: <a class="el" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">SVF::SVFStat</a>
 </li>
 <li>gepInEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938">SVF::ConstraintNode</a>

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

@@ -203,6 +203,7 @@ $(function() {
 </li>
 <li>moduleName
 : <a class="el" href="classSVF_1_1PTAStat.html#a194734855aa1c9e0ba891f1085d50d5d">SVF::PTAStat</a>
+, <a class="el" href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">SVF::SVFStat</a>
 </li>
 <li>modulePass
 : <a class="el" href="classSVF_1_1MTA.html#a3dd09dcdcf58ae8ee1745634cefbb8aa">SVF::MTA</a>

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

@@ -182,6 +182,7 @@ $(function() {
 </li>
 <li>startTime
 : <a class="el" href="classSVF_1_1PTAStat.html#a59e0fe6fa506f1cf319b5acaf9d28be9">SVF::PTAStat</a>
+, <a class="el" href="classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669">SVF::SVFStat</a>
 </li>
 <li>stat
 : <a class="el" href="classSVF_1_1MemSSA.html#a4fc930040ec54eb60629da18fb6a4d04">SVF::MemSSA</a>

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

@@ -175,7 +175,7 @@ $(function() {
 : <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>
+: <a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat</a>
 </li>
 <li>tlPTData
 : <a class="el" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>

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

@@ -62,7 +62,7 @@ $(function() {
 <h3><a id="index_w"></a>- w -</h3><ul>
 <li>Wall
-: <a class="el" href="classSVF_1_1PTAStat.html#a926cd5ab95f4f42ffe264413a32725cfa6c9d7a9709df10eb67ce27e744e0f61c">SVF::PTAStat</a>
+: <a class="el" href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc">SVF::SVFStat</a>
 </li>
 <li>weakUpdateOutFromIn()
 : <a class="el" href="classSVF_1_1FlowSensitive.html#ab492c283e2264b4cbd4c192e805b7750">SVF::FlowSensitive</a>

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

@@ -63,7 +63,7 @@ $(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>
+, <a class="el" href="PEGGrammar_8txt.html#aedc3573eed4e9af781034300bff32d69">PEGGrammar.txt</a>
 </li>
 <li>Gep_1
 : <a class="el" href="CFLGrammar_8txt.html#a92c75ced313339aea5e3e0c9f0726e5a">CFLGrammar.txt</a>
@@ -73,8 +73,8 @@ $(function() {
 , <a class="el" href="PEGGrammar_8txt.html#af184db68cfa45428afdc186dd62e32a3">PEGGrammar.txt</a>
 </li>
 <li>Gepbar_0
-: <a class="el" href="CFLGrammar_8txt.html#a74e2e5aac99754fa661689592e053e27">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#a74e2e5aac99754fa661689592e053e27">PEGGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#ab2278962121baf68c9efd38abb522942">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#ab2278962121baf68c9efd38abb522942">PEGGrammar.txt</a>
 </li>
 <li>Gepbar_i
 : <a class="el" href="CFLGrammar_8txt.html#aa3f2c8659adb9738e29e47d3a607ff1e">CFLGrammar.txt</a>

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

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

@@ -175,7 +175,7 @@ $(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>
+, <a class="el" href="PEGGrammar_8txt.html#aedc3573eed4e9af781034300bff32d69">PEGGrammar.txt</a>
 </li>
 <li>Gep_1
 : <a class="el" href="CFLGrammar_8txt.html#a92c75ced313339aea5e3e0c9f0726e5a">CFLGrammar.txt</a>
@@ -185,8 +185,8 @@ $(function() {
 , <a class="el" href="PEGGrammar_8txt.html#af184db68cfa45428afdc186dd62e32a3">PEGGrammar.txt</a>
 </li>
 <li>Gepbar_0
-: <a class="el" href="CFLGrammar_8txt.html#a74e2e5aac99754fa661689592e053e27">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#a74e2e5aac99754fa661689592e053e27">PEGGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#ab2278962121baf68c9efd38abb522942">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#ab2278962121baf68c9efd38abb522942">PEGGrammar.txt</a>
 </li>
 <li>Gepbar_i
 : <a class="el" href="CFLGrammar_8txt.html#aa3f2c8659adb9738e29e47d3a607ff1e">CFLGrammar.txt</a>
@@ -395,7 +395,6 @@ $(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>