svf-tools 1.0.478 → 1.0.481

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

@@ -107,7 +107,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTASCEV.html#af1d494e97cfb2f555d47227ca25172b3">SVF::PTASCEV</a>
 </li>
 <li>secondRHS2Prods
-: <a class="el" href="classSVF_1_1CFLGrammar.html#aa85341b1bac9f80780417c83b83b9f73">SVF::CFLGrammar</a>
+: <a class="el" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">SVF::CFLGrammar</a>
 </li>
 <li>selectedValidationScenarios
 : <a class="el" href="classSVF_1_1RaceResultValidator.html#a1294cb90b073ba25a8ffc06180c09419">SVF::RaceResultValidator</a>
@@ -150,7 +150,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a57564c82a2b90b7de837151f65b276f3">SVF::Options</a>
 </li>
 <li>singleRHS2Prods
-: <a class="el" href="classSVF_1_1CFLGrammar.html#acd866f3392952d7d71b51ca21b7e1c91">SVF::CFLGrammar</a>
+: <a class="el" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">SVF::CFLGrammar</a>
 </li>
 <li>SingleStride
 : <a class="el" href="classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015">SVF::Options</a>

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

@@ -242,7 +242,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a099c2319277797ac96aeee859ded9b22">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>totalKind
-: <a class="el" href="classSVF_1_1GrammarBase.html#a7b0a2c88e1ae1a09aa7efe526821c52a">SVF::GrammarBase</a>
+: <a class="el" href="classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f">SVF::GrammarBase</a>
 </li>
 <li>totalMRNum
 : <a class="el" href="classSVF_1_1MemRegion.html#a23857f301395cbbad10f6f93256a7398">SVF::MemRegion</a>

package/SVF-doxygen/html/html/functions_vars_v.html

@@ -100,6 +100,9 @@ $(function() {
 <li>varHandled
 : <a class="el" href="structDdSubtable.html#a2f1c152de785a48b24c773724fd6f564">DdSubtable</a>
 </li>
+<li>variableAttribute
+: <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">SVF::GrammarBase::Symbol</a>
+</li>
 <li>variantField
 : <a class="el" href="classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757">SVF::GepStmt</a>
 </li>

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

@@ -79,23 +79,21 @@ $(function() {
 <li>WordSize
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">SVF::CoreBitVector</a>
 </li>
-<li>WorkList
-: <a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">SVF::CFLSolver</a>
-</li>
 <li>worklist
 : <a class="el" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">SVF::CFLSolver</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
+: <a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">SVF::CFLSolver</a>
+, <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00">SVF::ConstraintGraph</a>
+, <a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
+: <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
 , <a class="el" href="classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b">SVF::LeakChecker</a>
 , <a class="el" href="classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039">SVF::SaberSVFGBuilder</a>
@@ -106,19 +104,17 @@ $(function() {
 </li>
 <li>WorkList
 : <a class="el" href="classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
+: <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
-<li>WorkList
-: <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
-</li>
 <li>WorkStack
 : <a class="el" href="classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e">SVF::CSC</a>
 </li>

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

@@ -66,8 +66,7 @@ $(function() {
 , <a class="el" href="cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3">cJSON.cpp</a>
 </li>
 <li>__pad1__
-: <a class="el" href="CFLGrammarDev_8txt.html#a13f26ce59806bd1663350be4f8888464">CFLGrammarDev.txt</a>
-, <a class="el" href="cJSON_8cpp.html#a0f403f87e00518c167bd384374aeb6ad">cJSON.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#a0f403f87e00518c167bd384374aeb6ad">cJSON.cpp</a>
 </li>
 </ul>
 </div><!-- contents -->

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

@@ -107,12 +107,7 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#a29f5c23b943bb38144362698dc8b60ed">cuddInt.c</a>
 </li>
 <li>Addr
-: <a class="el" href="CFLGrammar_8txt.html#a2ffa1ee00ec8ef61103041d6cff4a7f9">CFLGrammar.txt</a>
-, <a class="el" href="CFLGrammarDev_8txt.html#a2ffa1ee00ec8ef61103041d6cff4a7f9">CFLGrammarDev.txt</a>
-, <a class="el" href="CFLGrammar_8txt.html#a6434ab7c4bf9aff40fdc0eccb3b2233b">CFLGrammar.txt</a>
-</li>
-<li>Addrbar
-: <a class="el" href="CFLGrammar_8txt.html#ac999a2adc7cbeaf993f9a04c8ef24011">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8">CFLGrammar.txt</a>
 </li>
 <li>AddressMask
 : <a class="el" href="ExeState_8h.html#a9c5bf91d8f58ded0fd8f57c04f26b56f">ExeState.h</a>