npm - svf-tools - Versions diffs - 1.0.562 → 1.0.565 - Mend

svf-tools 1.0.562 → 1.0.565

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

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

@@ -337,7 +337,7 @@ Functions</h2></td></tr>
 <div class="ttc" id="classSVF_1_1DDAPass_html"><div class="ttname"><a href="classSVF_1_1DDAPass.html">SVF::DDAPass</a></div><div class="ttdef"><b>Definition:</b> <a href="DDAPass_8h_source.html#l00046">DDAPass.h:46</a></div></div>
 <div class="ttc" id="classSVF_1_1DDAPass_html_af196994d6ec7f5cead72212407842103"><div class="ttname"><a href="classSVF_1_1DDAPass.html#af196994d6ec7f5cead72212407842103">SVF::DDAPass::runOnModule</a></div><div class="ttdeci">virtual void runOnModule(SVFModule *module)</div><div class="ttdoc">We start from here. </div><div class="ttdef"><b>Definition:</b> <a href="DDAPass_8cpp_source.html#l00056">DDAPass.cpp:56</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1LLVMUtil_html_accdd44093d6d145dc92edeaaff3f5732"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732">SVF::LLVMUtil::processArguments</a></div><div class="ttdeci">void processArguments(int argc, char **argv, int &amp;arg_num, char **arg_value, std::vector&lt; std::string &gt; &amp;moduleNameVec)</div><div class="ttdoc">Parse argument for multi-module analysis. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00436">LLVMUtil.cpp:436</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFModule_html_aa03ab5272652290f30870c6e2d053d98"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">SVF::SVFModule::buildSymbolTableInfo</a></div><div class="ttdeci">void buildSymbolTableInfo()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8cpp_source.html#l00030">SVFModule.cpp:30</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFModule_html_aa03ab5272652290f30870c6e2d053d98"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">SVF::SVFModule::buildSymbolTableInfo</a></div><div class="ttdeci">void buildSymbolTableInfo()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8cpp_source.html#l00031">SVFModule.cpp:31</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

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

@@ -83,7 +83,7 @@ $(function() {
 <div class="ttc" id="dda_8cpp_html_af95c31f8cf35812a4fe4a22342aacaa2"><div class="ttname"><a href="dda_8cpp.html#af95c31f8cf35812a4fe4a22342aacaa2">ENABLEFLOW</a></div><div class="ttdeci">static cl::opt&lt; bool &gt; ENABLEFLOW(&quot;ldaa&quot;, cl::init(false), cl::desc(&quot;enable flow-sensitivity for demand-driven analysis&quot;))</div></div>
 <div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00035">CFGNormalizer.h:35</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1LLVMUtil_html_accdd44093d6d145dc92edeaaff3f5732"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732">SVF::LLVMUtil::processArguments</a></div><div class="ttdeci">void processArguments(int argc, char **argv, int &amp;arg_num, char **arg_value, std::vector&lt; std::string &gt; &amp;moduleNameVec)</div><div class="ttdoc">Parse argument for multi-module analysis. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00436">LLVMUtil.cpp:436</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFModule_html_aa03ab5272652290f30870c6e2d053d98"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">SVF::SVFModule::buildSymbolTableInfo</a></div><div class="ttdeci">void buildSymbolTableInfo()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8cpp_source.html#l00030">SVFModule.cpp:30</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFModule_html_aa03ab5272652290f30870c6e2d053d98"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">SVF::SVFModule::buildSymbolTableInfo</a></div><div class="ttdeci">void buildSymbolTableInfo()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8cpp_source.html#l00031">SVFModule.cpp:31</a></div></div>
 <div class="ttc" id="LLVMUtil_8h_html"><div class="ttname"><a href="LLVMUtil_8h.html">LLVMUtil.h</a></div></div>
 </div><!-- fragment --></div><!-- contents -->
 <!-- start footer part -->

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

@@ -958,10 +958,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed">SVF::VFG</a>
 </li>
 <li>addValNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a3face8a526a33d82ef7cde7602030bc9">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a93bc14960cdd4eb345c64e9b79757ccf">SVF::SVFIR</a>
 </li>
 <li>addVarargNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d">SVF::SVFIR</a>
 </li>
 <li>addVariantGepCGEdge()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f">SVF::ConstraintGraph</a>
@@ -995,9 +995,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>alias()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a949533e5c99698c7f9862aae5de23687">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a25720f154731a8c745da10aa76ab8517">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#ac18e1dc9c6fc8cc952f67a93c2491876">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a8e48e9fe6f7e21da49a155f8f6893944">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf">SVF::PointerAnalysis</a>
@@ -1274,7 +1274,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Z3Expr.html#a5c3347a21592e43e36d421ea5cae6bc9">SVF::Z3Expr</a>
 </li>
 <li>AssignStmt()
-: <a class="el" href="classSVF_1_1AssignStmt.html#a41bf9092cbdfccb9724bd58e10aa51a6">SVF::AssignStmt</a>
+: <a class="el" href="classSVF_1_1AssignStmt.html#aff4c35109790daed3c6170c985153620">SVF::AssignStmt</a>
 </li>
 <li>atEnd
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
@@ -1311,10 +1311,6 @@ $(function() {
 </li>
 <li>AveragePointsToSetSize
 : <a class="el" href="classSVF_1_1AndersenBase.html#adaf738bee77a4b1fbb8d42911fabdb49">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1PTAStat.html#adb0edbe88a74e5e89921bcfafa4759c6">SVF::PTAStat</a>
-</li>
-<li>AverageTopLevPointsToSetSize
-: <a class="el" href="classSVF_1_1PTAStat.html#a1649c9f893c5b9ec2d57a399bc050030">SVF::PTAStat</a>
 </li>
 <li>avgInDegree
 : <a class="el" href="classSVF_1_1SVFGStat.html#a4328f75f379e692901b95bacdf8dd413">SVF::SVFGStat</a>

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

@@ -102,6 +102,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a63d04c3af4529d0e0f82acd76ed57f6c">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a32cc8a131b2448b5e8e1fe65d99fd286">SVF::SrcSnkDDA</a>
 </li>
+<li>barReplace()
+: <a class="el" href="classSVF_1_1CFGNormalizer.html#ad56aa4b7f6eba0c873ea18f83c398bc5">SVF::CFGNormalizer</a>
+</li>
 <li>base
 : <a class="el" href="classSVF_1_1GepObjVar.html#aff50e1d96403eeacaa64f7adb07ce0a5">SVF::GepObjVar</a>
 </li>
@@ -194,12 +197,12 @@ $(function() {
 <li>bbSuccessorPosMap
 : <a class="el" href="classSVF_1_1SVFModule.html#aea210fb8fd41aa497f609f4d9c49b3ae">SVF::SVFModule</a>
 </li>
-<li>bbToCondMap
-: <a class="el" href="classSVF_1_1SaberCondAllocator.html#a6d29487d00d66dadae7b4b79f9bf50e9">SVF::SaberCondAllocator</a>
-</li>
 <li>BBToCondMap
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a43782d54ecac8b538c4f8484e8b32dab">SVF::SaberCondAllocator</a>
 </li>
+<li>bbToCondMap
+: <a class="el" href="classSVF_1_1SaberCondAllocator.html#a6d29487d00d66dadae7b4b79f9bf50e9">SVF::SaberCondAllocator</a>
+</li>
 <li>BBToMRSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#a4d4f7039c2972e671dc15b8c75abad14">SVF::MemSSA</a>
 </li>
@@ -236,9 +239,6 @@ $(function() {
 <li>bit
 : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a853b685cf022839c183df46f1cafe638">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
-<li>bitcastInstStat()
-: <a class="el" href="classSVF_1_1PTAStat.html#a3431df864d616336700d3086e4113054">SVF::PTAStat</a>
-</li>
 <li>BitNumber
 : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
@@ -295,7 +295,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1IntraCFGEdge.html#aa1c91aad3dec610100b1f2f4b9826d10">SVF::IntraCFGEdge</a>
 </li>
 <li>branchStat()
-: <a class="el" href="classSVF_1_1PTAStat.html#ada838d9e03f2be4fb3ceffab3983b564">SVF::PTAStat</a>
+: <a class="el" href="classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce">SVF::SVFStat</a>
 </li>
 <li>BranchStmt()
 : <a class="el" href="classSVF_1_1BranchStmt.html#a5e102d5c08b7121efc87b99651f0b5d2">SVF::BranchStmt</a>
@@ -412,7 +412,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a82b29fc1e138e082d7da6e016a5b7eb8">SVF::LLVMLoopAnalysis</a>
 </li>
 <li>buildSVFModule()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f8e769251c89433311eeb6f98d115e9">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#ae919327019b5014f64b754dbdeb07f75">SVF::LLVMModuleSet</a>
 </li>
 <li>buildSymbolTableInfo()
 : <a class="el" href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">SVF::SVFModule</a>

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

@@ -1666,7 +1666,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
 </li>
 <li>CxtStmt()
-: <a class="el" href="classSVF_1_1CxtStmt.html#ac11734a3e0db8415fdf55157b20b56a4">SVF::CxtStmt</a>
+: <a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">SVF::CxtStmt</a>
 </li>
 <li>CxtStmtDPItem()
 : <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
@@ -1712,7 +1712,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3">SVF::CxtThread</a>
 </li>
 <li>CxtThreadProc()
-: <a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">SVF::CxtThreadProc</a>
+: <a class="el" href="classSVF_1_1CxtThreadProc.html#acce14996e41ae55ae8e27b29408ef7c8">SVF::CxtThreadProc</a>
 </li>
 <li>CxtThreadProcSet
 : <a class="el" href="classSVF_1_1TCT.html#a09493a428c0ebe7f67847b48f0481f40">SVF::TCT</a>

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

@@ -300,8 +300,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a92b053f79cfa1259603836cb0aacad7d">SVF::NodeIDAllocator</a>
 </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>
+: <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>
@@ -380,7 +379,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MHP.html#aab80f1bc5c359a7d3b03f249bafa1d40">SVF::MHP</a>
 </li>
 <li>ExeState()
-: <a class="el" href="classSVF_1_1ExeState.html#a62bef487b31f2a4ca27b4e9b183bdef5">SVF::ExeState</a>
+: <a class="el" href="classSVF_1_1ExeState.html#a83ce58a2551d511448d0224a96ca1bd7">SVF::ExeState</a>
 </li>
 <li>exeState
 : <a class="el" href="classSVF_1_1SymState.html#ab9ee5f993809fc026ffd270b0e9a6db4">SVF::SymState</a>

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

@@ -67,12 +67,12 @@ $(function() {
 <li>fieldExpand()
 : <a class="el" href="classSVF_1_1AndersenSFR.html#aa768e5cd0a762d17e2ec2baaad0486bf">SVF::AndersenSFR</a>
 </li>
-<li>fieldReps
-: <a class="el" href="classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc">SVF::AndersenSFR</a>
-</li>
 <li>FieldReps
 : <a class="el" href="classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d">SVF::AndersenSFR</a>
 </li>
+<li>fieldReps
+: <a class="el" href="classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc">SVF::AndersenSFR</a>
+</li>
 <li>FieldS_DDA
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abe1d8104c77bfe4bbc201a64410c7f61">SVF::PointerAnalysis</a>
 </li>
@@ -563,12 +563,12 @@ $(function() {
 <li>funToPDTMap
 : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a11a1bb877406f45ea4c8f7c4678bfa15">SVF::PTACFInfoBuilder</a>
 </li>
-<li>FunToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
-</li>
 <li>funToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b">SVF::MRGenerator</a>
 </li>
+<li>FunToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
+</li>
 <li>FunToPointsTosMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd">SVF::MRGenerator</a>
 </li>

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

@@ -92,10 +92,13 @@ $(function() {
 <li>backwardVisited()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a32cc8a131b2448b5e8e1fe65d99fd286">SVF::SrcSnkDDA</a>
 </li>
+<li>barReplace()
+: <a class="el" href="classSVF_1_1CFGNormalizer.html#ad56aa4b7f6eba0c873ea18f83c398bc5">SVF::CFGNormalizer</a>
+</li>
 <li>begin()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aabd833b8eca182f681462209c9f24f1a">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#a3521ec3be48cc03d9d3f562cb088a9ad">SVF::CondPointsToSet&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1CondStdSet.html#adf095111734d81b6ad1908a7f795b038">SVF::CondStdSet&lt; Element &gt;</a>
+, <a class="el" href="classSVF_1_1CondStdSet.html#a76fb2382bf424638ed8e03cb48cdc90e">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1ContextCond.html#a4ae7e2236708b0d205f393cdce75c8d1">SVF::ContextCond</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#a835bf11a1f698942db8e6bdadbbfd1f3">SVF::CoreBitVector</a>
 , <a class="el" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
@@ -107,10 +110,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a4c87a90a0190b50c0318c0f316f4fc2a">SVF::BinaryOPStmt</a>
 </li>
 <li>BinaryOPVFGNode()
-: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a20a0cf8366831b6be38c9c1945254362">SVF::BinaryOPVFGNode</a>
-</li>
-<li>bitcastInstStat()
-: <a class="el" href="classSVF_1_1PTAStat.html#a3431df864d616336700d3086e4113054">SVF::PTAStat</a>
+: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#afa52d77205075141b59847b8400344e7">SVF::BinaryOPVFGNode</a>
 </li>
 <li>BitVector()
 : <a class="el" href="classSVF_1_1BitVector.html#a212871312b985f7d7215dd46ba171990">SVF::BitVector</a>
@@ -125,7 +125,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a6d5cdb3b78e4ed482b0da4c64323b463">SVF::SVFGOPT</a>
 </li>
 <li>branchStat()
-: <a class="el" href="classSVF_1_1PTAStat.html#ada838d9e03f2be4fb3ceffab3983b564">SVF::PTAStat</a>
+: <a class="el" href="classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce">SVF::SVFStat</a>
 </li>
 <li>BranchStmt()
 : <a class="el" href="classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd">SVF::BranchStmt</a>

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

@@ -131,7 +131,7 @@ $(function() {
 , <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_1SVFStat.html#a77c24aa3409dcbf56f57302f237b1eeb">SVF::SVFStat</a>
 , <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#af202623692135ad746aed1be995c55fb">SVF::VersionedFlowSensitiveStat</a>
 </li>
 <li>performStatforIFDS()
@@ -270,9 +270,8 @@ $(function() {
 , <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#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>
+, <a class="el" href="classSVF_1_1SVFStat.html#a178fcefed6ffffc78bbe9b23e0e1babe">SVF::SVFStat</a>
 </li>
 <li>printStatPerQuery()
 : <a class="el" href="classSVF_1_1DDAStat.html#ae695696e5cd06eb27635887f0de30eff">SVF::DDAStat</a>
@@ -394,7 +393,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a3abffe1434386b1ce349fbed0cfe0967">SVF::FlowSensitive</a>
 </li>
 <li>propagateVersion()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a7a98162b69de90f80ce853a6ff43af56">SVF::VersionedFlowSensitive</a>
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ad1aa83a71379164d3b7ccf6b61639cb1">SVF::VersionedFlowSensitive</a>
 </li>
 <li>propagateViaObj()
 : <a class="el" href="classSVF_1_1ContextDDA.html#a45d7a381fec0692b4d2f7d0eec47ccf1">SVF::ContextDDA</a>
@@ -454,7 +453,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6e4964389f96667bd69354fd4a742720">SVF::VersionedFlowSensitive</a>
 </li>
 <li>PTASCEV()
-: <a class="el" href="classSVF_1_1PTASCEV.html#a6a134ca4f7f50de053805e75431aa856">SVF::PTASCEV</a>
+: <a class="el" href="classSVF_1_1PTASCEV.html#afb1582fa355f2ae93a877f4f5bed56d3">SVF::PTASCEV</a>
 </li>
 <li>PTAStat()
 : <a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat</a>

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

@@ -658,7 +658,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#aff272bc1d00f2e57b7677d1826a31237">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>szudzik()
 : <a class="el" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#adf5f19b1b32c117571fe74035cdcdbe2">SVF::Hash&lt; std::pair&lt; S, T &gt; &gt;</a>

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

@@ -166,9 +166,6 @@ $(function() {
 <li>maxIndOutDegree
 : <a class="el" href="classSVF_1_1SVFGStat.html#ac7cb2228bd31e8ebdf33ae2bfd399683">SVF::SVFGStat</a>
 </li>
-<li>MaxNumOfNodesInSCC
-: <a class="el" href="classSVF_1_1PTAStat.html#ab754f7768ffcd6f232b8cdf0fef6fc4e">SVF::PTAStat</a>
-</li>
 <li>maxOffsetLimit
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a5ff63eb0654acd152f7d6c18618ee94a">SVF::ObjTypeInfo</a>
 </li>
@@ -180,7 +177,6 @@ $(function() {
 </li>
 <li>MaxPointsToSetSize
 : <a class="el" href="classSVF_1_1AndersenBase.html#abd73e930450b7c605f478672bdf9bdae">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1PTAStat.html#af2b45aab2eee96a1cabba3025e4375a2">SVF::PTAStat</a>
 </li>
 <li>maxSCCSize
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4">SVF::FlowSensitive</a>
@@ -191,9 +187,6 @@ $(function() {
 <li>maxStruct
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4e33a01e203f07a8154af6ee65f5ba46">SVF::SymbolTableInfo</a>
 </li>
-<li>MaxStructSize
-: <a class="el" href="classSVF_1_1PTAStat.html#af6a6e3ea4c7f8e1c984bea8d5fb9a7c0">SVF::PTAStat</a>
-</li>
 <li>maxStSize
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#abb8550c9ef856e45cb7675c3796f9a35">SVF::SymbolTableInfo</a>
 </li>
@@ -363,8 +356,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">SVF::SVFModule</a>
 </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>
+: <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_n.html CHANGED Viewed

@@ -313,12 +313,6 @@ $(function() {
 <li>num_generator()
 : <a class="el" href="classSVF_1_1CFLGrammar.html#a2494806a1282de3d7f6b588f7d6cc83e">SVF::CFLGrammar</a>
 </li>
-<li>NumberOfFieldInsensitiveObj
-: <a class="el" href="classSVF_1_1PTAStat.html#ad1a7e7aec8f272017be7d0b6acda86a4">SVF::PTAStat</a>
-</li>
-<li>NumberOfFieldSensitiveObj
-: <a class="el" href="classSVF_1_1PTAStat.html#ab62eb21c7dc03f68b0509c31451b2e98">SVF::PTAStat</a>
-</li>
 <li>numElement()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a8d8f9e91b62b94d876f34066de7944d4">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
@@ -352,9 +346,6 @@ $(function() {
 <li>numOfAddr
 : <a class="el" href="classSVF_1_1SVFGStat.html#aa6a39e0f1d41d67cb3441389a943bf5f">SVF::SVFGStat</a>
 </li>
-<li>NumOfAddrs
-: <a class="el" href="classSVF_1_1PTAStat.html#ac5bf59a0a7a760c9fec5f22dedec5eb6">SVF::PTAStat</a>
-</li>
 <li>numOfAliasLd
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aa1572c2a9f260ff66c9da661fd669a5f">SVF::MTAAnnotator</a>
 </li>
@@ -385,18 +376,9 @@ $(function() {
 <li>numOfCallNodes
 : <a class="el" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">SVF::ICFGStat</a>
 </li>
-<li>NumOfCalls
-: <a class="el" href="classSVF_1_1PTAStat.html#a6cbeca77d0681f7da28979cbd0f661b2">SVF::PTAStat</a>
-</li>
-<li>NumOfConstantObjs
-: <a class="el" href="classSVF_1_1PTAStat.html#ae74458d96423e4a7391fe8697d5a9a67">SVF::PTAStat</a>
-</li>
 <li>numOfCopy
 : <a class="el" href="classSVF_1_1SVFGStat.html#ac86d6d7cb0090ab665729b56111ca464">SVF::SVFGStat</a>
 </li>
-<li>NumOfCopys
-: <a class="el" href="classSVF_1_1PTAStat.html#a97a8b662356fc89cdd2cb9463fa5578b">SVF::PTAStat</a>
-</li>
 <li>NumOfCSChi
 : <a class="el" href="classSVF_1_1MemSSAStat.html#a921a0f4eba4b891ab9b7699ea0d3f91c">SVF::MemSSAStat</a>
 </li>
@@ -409,9 +391,6 @@ $(function() {
 <li>NumOfCSMu
 : <a class="el" href="classSVF_1_1MemSSAStat.html#a7b07190a20361e30999cd9107749599d">SVF::MemSSAStat</a>
 </li>
-<li>NumOfCycles
-: <a class="el" href="classSVF_1_1PTAStat.html#ac518843a4148ecc45027ccc19a690c05">SVF::PTAStat</a>
-</li>
 <li>numOfEdges
 : <a class="el" href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">SVF::ICFGStat</a>
 </li>
@@ -427,9 +406,6 @@ $(function() {
 <li>numOfFieldExpand
 : <a class="el" href="classSVF_1_1AndersenBase.html#a9f453ec1b4236b8194ae590981217259">SVF::AndersenBase</a>
 </li>
-<li>NumOfFieldExpand
-: <a class="el" href="classSVF_1_1PTAStat.html#a1745e5c3c026a130a70954da9c0074b1">SVF::PTAStat</a>
-</li>
 <li>numOfFlattenElements
 : <a class="el" href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">SVF::StInfo</a>
 </li>
@@ -448,9 +424,6 @@ $(function() {
 <li>numOfFormalRet
 : <a class="el" href="classSVF_1_1SVFGStat.html#a29807c066e60ef3905a5e01e0b86ffd2">SVF::SVFGStat</a>
 </li>
-<li>NumOfFunctionObjs
-: <a class="el" href="classSVF_1_1PTAStat.html#ae9952b7456b5102113d1fee4d9d7801a">SVF::PTAStat</a>
-</li>
 <li>NumOfFunHasEntryChi
 : <a class="el" href="classSVF_1_1MemSSAStat.html#aee2e0df55c40745a9b9aac415aa7a399">SVF::MemSSAStat</a>
 </li>
@@ -460,27 +433,6 @@ $(function() {
 <li>numOfGep
 : <a class="el" href="classSVF_1_1SVFGStat.html#a862cd075a7c9d5019acfabe608ab7905">SVF::SVFGStat</a>
 </li>
-<li>NumOfGepFieldObjects
-: <a class="el" href="classSVF_1_1PTAStat.html#a16f9bdb5387471d0bd825c4a9cbcb22e">SVF::PTAStat</a>
-</li>
-<li>NumOfGepFieldPointers
-: <a class="el" href="classSVF_1_1PTAStat.html#a164249b9d35606387e628529c643d119">SVF::PTAStat</a>
-</li>
-<li>NumOfGeps
-: <a class="el" href="classSVF_1_1PTAStat.html#acc5e4740e11cb6f9794723e5f61ab63b">SVF::PTAStat</a>
-</li>
-<li>NumOfGlobalObjs
-: <a class="el" href="classSVF_1_1PTAStat.html#a57574c85a5a875a05ef83d3c916cf3e5">SVF::PTAStat</a>
-</li>
-<li>NumOfHeapObjs
-: <a class="el" href="classSVF_1_1PTAStat.html#a4aff48eaa2045ee619a8ea793a9234b8">SVF::PTAStat</a>
-</li>
-<li>NumOfIndirectCallSites
-: <a class="el" href="classSVF_1_1PTAStat.html#a618707c52da086e04f5e7bff31794cf3">SVF::PTAStat</a>
-</li>
-<li>NumOfIndirectEdgeSolved
-: <a class="el" href="classSVF_1_1PTAStat.html#ad51d2bd924f049e440b3d0dd0d423524">SVF::PTAStat</a>
-</li>
 <li>numOfIntraEdges
 : <a class="el" href="classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658">SVF::ICFGStat</a>
 </li>
@@ -490,9 +442,6 @@ $(function() {
 <li>numOfIteration
 : <a class="el" href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
-<li>NumOfIterations
-: <a class="el" href="classSVF_1_1PTAStat.html#ae95fb0771a71ead27da79a45cac47a36">SVF::PTAStat</a>
-</li>
 <li>numOfLoad
 : <a class="el" href="classSVF_1_1SVFGStat.html#a7c80f2332b97a3228e2ad7621162167a">SVF::SVFGStat</a>
 </li>
@@ -502,18 +451,12 @@ $(function() {
 <li>NumOfLoadMu
 : <a class="el" href="classSVF_1_1MemSSAStat.html#a284dbb01e051945a40179b315bdb112f">SVF::MemSSAStat</a>
 </li>
-<li>NumOfLoads
-: <a class="el" href="classSVF_1_1PTAStat.html#a4aa7356142f51d942063be5a2910940f">SVF::PTAStat</a>
-</li>
 <li>numOfLockedQueries
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a80c56ebc6b9b594e97b56767f451ff8b">SVF::LockAnalysis</a>
 </li>
 <li>NumOfMaxRegion
 : <a class="el" href="classSVF_1_1MemSSAStat.html#acf3732557238de882bf7f34c49bd6cee">SVF::MemSSAStat</a>
 </li>
-<li>NumOfMemObjects
-: <a class="el" href="classSVF_1_1PTAStat.html#a5c09f41916e40d784a63e301584511f9">SVF::PTAStat</a>
-</li>
 <li>NumOfMemRegions
 : <a class="el" href="classSVF_1_1MemSSAStat.html#a95695aa32886776804e192b4c4ddcc1d">SVF::MemSSAStat</a>
 </li>
@@ -539,9 +482,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">SVF::ICFGStat</a>
 , <a class="el" href="classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302">SVF::SVFGStat</a>
 </li>
-<li>NumOfNodesInCycles
-: <a class="el" href="classSVF_1_1PTAStat.html#aea3e95097b3b9d326bef0d36f17e51a5">SVF::PTAStat</a>
-</li>
 <li>numOfNodesInSCC
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a9f3fe97202db8170fa9f47c5684bce75">SVF::FlowSensitive</a>
 </li>
@@ -551,30 +491,9 @@ $(function() {
 <li>numOfNonLocalSt
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a3c07f9964623b3895b1bab59a63dccfb">SVF::MTAAnnotator</a>
 </li>
-<li>NumOfNonPtrObjs
-: <a class="el" href="classSVF_1_1PTAStat.html#a9014371b8ed95ab8135eed2a7fa945f1">SVF::PTAStat</a>
-</li>
-<li>NumOfNullPointer
-: <a class="el" href="classSVF_1_1PTAStat.html#a1211e1c7f16b715f32ecdef83f39a8c6">SVF::PTAStat</a>
-</li>
-<li>NumOfObjsHasConstArray
-: <a class="el" href="classSVF_1_1PTAStat.html#adb31b163f0cbb9d9ce207ef5d8c075fa">SVF::PTAStat</a>
-</li>
-<li>NumOfObjsHasConstStruct
-: <a class="el" href="classSVF_1_1PTAStat.html#a918051b1d0eb4f49c349352408cc9751">SVF::PTAStat</a>
-</li>
-<li>NumOfObjsHasVarArray
-: <a class="el" href="classSVF_1_1PTAStat.html#a78693e8bf93d712eb76c9d6dc0c45ae6">SVF::PTAStat</a>
-</li>
-<li>NumOfObjsHasVarStruct
-: <a class="el" href="classSVF_1_1PTAStat.html#a95edd35cec92fa4cacc8b59b5eecc827">SVF::PTAStat</a>
-</li>
 <li>numOfPhi
 : <a class="el" href="classSVF_1_1SVFGStat.html#a0e1fcb9154aad266406c4da4861ba020">SVF::SVFGStat</a>
 </li>
-<li>NumOfPointers
-: <a class="el" href="classSVF_1_1PTAStat.html#a218748b401bdd3d5eebd45eea0026b12">SVF::PTAStat</a>
-</li>
 <li>numOfProcessedActualParam
 : <a class="el" href="classSVF_1_1FlowSensitive.html#abdc30e45347579986c42795a436a1251">SVF::FlowSensitive</a>
 </li>
@@ -582,16 +501,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1AndersenBase.html#a4acad18a6eb585ba9e3d2276dd591067">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#ae4253bc632ffffe2498263c90f456ca7">SVF::FlowSensitive</a>
 </li>
-<li>NumOfProcessedAddrs
-: <a class="el" href="classSVF_1_1PTAStat.html#a0de03cdb382b353c6c1495c0f80cfe19">SVF::PTAStat</a>
-</li>
 <li>numOfProcessedCopy
 : <a class="el" href="classSVF_1_1AndersenBase.html#a04acd871bd1b98cd9e83e395334ac130">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a19e017f3ed6429fa30687018e64dae54">SVF::FlowSensitive</a>
 </li>
-<li>NumOfProcessedCopys
-: <a class="el" href="classSVF_1_1PTAStat.html#ad30b36fb1884d1ef0b01c3b36a245211">SVF::PTAStat</a>
-</li>
 <li>numOfProcessedFormalRet
 : <a class="el" href="classSVF_1_1FlowSensitive.html#ae048cc5350cf2b075c05f5d84777a3c5">SVF::FlowSensitive</a>
 </li>
@@ -599,16 +512,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1AndersenBase.html#aa1246b392aeae1fd10c8a9ebedcc2dd9">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a88a111b6bc347d6562db7af8bd8f2f0e">SVF::FlowSensitive</a>
 </li>
-<li>NumOfProcessedGeps
-: <a class="el" href="classSVF_1_1PTAStat.html#aaa9d98f868c0724cb57c6934e783d1e5">SVF::PTAStat</a>
-</li>
 <li>numOfProcessedLoad
 : <a class="el" href="classSVF_1_1AndersenBase.html#a69aae96fc1c99bf108075e5061f50f9e">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a0e1a0bdbf4f81a3600ac26ac011ac268">SVF::FlowSensitive</a>
 </li>
-<li>NumOfProcessedLoads
-: <a class="el" href="classSVF_1_1PTAStat.html#a17531fa1df42df0b19191d61853380d9">SVF::PTAStat</a>
-</li>
 <li>numOfProcessedMSSANode
 : <a class="el" href="classSVF_1_1FlowSensitive.html#af71a5ae3aef022c569e89f40515072cf">SVF::FlowSensitive</a>
 </li>
@@ -619,12 +526,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1AndersenBase.html#a2b763519509ce21cf40893c01f8357b6">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a669e8f1dd8572b7dcff373c9787a923d">SVF::FlowSensitive</a>
 </li>
-<li>NumOfProcessedStores
-: <a class="el" href="classSVF_1_1PTAStat.html#a5b9bc0e9dac6ac97199476f6b7ea1edf">SVF::PTAStat</a>
-</li>
-<li>NumOfPWCCycles
-: <a class="el" href="classSVF_1_1PTAStat.html#aefcc3638fac7034ab3542be8eb01ab58">SVF::PTAStat</a>
-</li>
 <li>numOfRemovedPTS
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a07c3f5fa2e0092dac28521cf901a26cf">SVF::MTASVFGBuilder</a>
 </li>
@@ -643,27 +544,15 @@ $(function() {
 <li>numOfRetNodes
 : <a class="el" href="classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de">SVF::ICFGStat</a>
 </li>
-<li>NumOfReturns
-: <a class="el" href="classSVF_1_1PTAStat.html#a0a552611fcd20e1310290bdae404a514">SVF::PTAStat</a>
-</li>
 <li>numOfSCC
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a0ac955bf06261eec1c6bb78ec99652e3">SVF::FlowSensitive</a>
 </li>
 <li>numOfSCCDetection
 : <a class="el" href="classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968">SVF::AndersenBase</a>
 </li>
-<li>NumOfSCCDetection
-: <a class="el" href="classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699">SVF::PTAStat</a>
-</li>
-<li>NumOfSfr
-: <a class="el" href="classSVF_1_1PTAStat.html#a07a1db62ddba50bda787b2985ef8d135">SVF::PTAStat</a>
-</li>
 <li>numOfSfrs
 : <a class="el" href="classSVF_1_1AndersenBase.html#a25b00d9ca71cbdd27530fc5d0dc84ee5">SVF::AndersenBase</a>
 </li>
-<li>NumOfStackObjs
-: <a class="el" href="classSVF_1_1PTAStat.html#ae05503909688a17dc1f282d1d029d24e">SVF::PTAStat</a>
-</li>
 <li>numOfStore
 : <a class="el" href="classSVF_1_1SVFGStat.html#a4d15f2de3f226c26cb2af57176444ec9">SVF::SVFGStat</a>
 </li>
@@ -673,9 +562,6 @@ $(function() {
 <li>NumOfStoreHasChi
 : <a class="el" href="classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f">SVF::MemSSAStat</a>
 </li>
-<li>NumOfStores
-: <a class="el" href="classSVF_1_1PTAStat.html#a656ad9980ff05af396ed6754c50916e7">SVF::PTAStat</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_o.html CHANGED Viewed

@@ -435,12 +435,12 @@ $(function() {
 <li>OpICFGNodeVec
 : <a class="el" href="classSVF_1_1PhiStmt.html#ac505a4fe33e82f555663872e81220ba4">SVF::PhiStmt</a>
 </li>
-<li>OPIncomingBBs
-: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
-</li>
 <li>opIncomingBBs
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
 </li>
+<li>OPIncomingBBs
+: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
+</li>
 <li>OpIt
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>
@@ -456,12 +456,12 @@ $(function() {
 <li>opVarBegin()
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9">SVF::MultiOpndStmt</a>
 </li>
-<li>OPVars
-: <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">SVF::MultiOpndStmt</a>
-</li>
 <li>opVars
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt</a>
 </li>
+<li>OPVars
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">SVF::MultiOpndStmt</a>
+</li>
 <li>opVer
 : <a class="el" href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">SVF::MSSACHI&lt; Cond &gt;</a>
 </li>