svf-tools 1.0.618 → 1.0.620

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

@@ -62,13 +62,15 @@ $(function() {
 
 <h3><a id="index_v"></a>- v -</h3><ul>
 <li>ValidateTests
-: <a class="el" href="classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1">SVF::Options</a>
 </li>
 <li>valSymMap
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08">SVF::SymbolTableInfo</a>
 </li>
 <li>value
-: <a class="el" href="classSVF_1_1SVFStmt.html#a629c2be49658085b1209823f00a97ec3">SVF::SVFStmt</a>
+: <a class="el" href="classOption.html#a067413be0c747358947c539a4179d489">Option&lt; T &gt;</a>
+, <a class="el" href="classOptionMap.html#a76d2f6244b1d77932e07ca0c2a3afb57">OptionMap&lt; T &gt;</a>
+, <a class="el" href="classSVF_1_1SVFStmt.html#a629c2be49658085b1209823f00a97ec3">SVF::SVFStmt</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1is__simple__type.html#a700d43a1b318fb30fa9472da323cb34f">SVF::SVFUtil::is_simple_type&lt; X &gt;</a>
 , <a class="el" href="classSVF_1_1SVFVar.html#aa72b0f34a0b646751a7b2003d6b9f11e">SVF::SVFVar</a>
 </li>
@@ -122,7 +124,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#af14a4cbc0b990389d31b2f88f50ad8eb">SVF::VersionedFlowSensitive</a>
 </li>
 <li>VersioningThreads
-: <a class="el" href="classSVF_1_1Options.html#adba18ce8f1496fe2e57a934f11c2dfd9">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665">SVF::Options</a>
 </li>
 <li>versionPropTime
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#af15bb6be283fee2fcc4b1fb7d8190451">SVF::VersionedFlowSensitive</a>
@@ -173,7 +175,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e">SVF::DCHNode</a>
 </li>
 <li>VtableInSVFIR
-: <a class="el" href="classSVF_1_1Options.html#a2a9fe90fae25f3de780f91b7e296b49a">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140">SVF::Options</a>
 </li>
 <li>vtableToCallSiteMap
 : <a class="el" href="classSVF_1_1AliasDDAClient.html#a123e98572cf077ffdf7116ac5f5fc5e4">SVF::AliasDDAClient</a>

package/SVF-doxygen/html/html/functions_vars_w.html

@@ -81,13 +81,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>WPANum
-: <a class="el" href="classSVF_1_1Options.html#a0865038c4738fcc8f47106faad03d98a">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9">SVF::Options</a>
 </li>
 <li>WriteAnder
-: <a class="el" href="classSVF_1_1Options.html#a4c7eb57066c80c62ef394d644833214a">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9">SVF::Options</a>
 </li>
 <li>WriteSVFG
-: <a class="el" href="classSVF_1_1Options.html#a4a9e039ba28cc7cdadf9d9d4fa64ab11">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47">SVF::Options</a>
 </li>
 </ul>
 </div><!-- contents -->

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

@@ -116,11 +116,15 @@ $(function() {
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
-, <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_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
+</li>
+<li>WorkList
+: <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>
@@ -135,7 +139,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1WPAMinimumSolver.html#aaf8b6410ba9667f7a46fc4ca05900ed3">SVF::WPAMinimumSolver&lt; GraphType &gt;</a>
 </li>
 <li>WPANum
-: <a class="el" href="classSVF_1_1Options.html#a0865038c4738fcc8f47106faad03d98a">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9">SVF::Options</a>
 </li>
 <li>WPAPass()
 : <a class="el" href="classSVF_1_1WPAPass.html#a3fc957e01a3ac7c242c030c6f6846fa9">SVF::WPAPass</a>
@@ -150,7 +154,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1iter__adaptor__base.html#afa1dc067ea97ae5db1e2618e47be1525">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 </li>
 <li>WriteAnder
-: <a class="el" href="classSVF_1_1Options.html#a4c7eb57066c80c62ef394d644833214a">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9">SVF::Options</a>
 </li>
 <li>writeEdge()
 : <a class="el" href="classSVF_1_1GraphWriter.html#a6133d0033363b0e9db156c354da7d7e6">SVF::GraphWriter&lt; GraphType &gt;</a>
@@ -177,7 +181,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a3279969934d6778a6cffe926ed724bfc">SVF::BVDataPTAImpl</a>
 </li>
 <li>WriteSVFG
-: <a class="el" href="classSVF_1_1Options.html#a4a9e039ba28cc7cdadf9d9d4fa64ab11">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47">SVF::Options</a>
 </li>
 <li>writeToFile()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a25c68f9d2b88437778e854ff0d741d1b">SVF::BVDataPTAImpl</a>
@@ -205,7 +209,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1WtoCycle.html#ab4c2892088b76cbd8b3afd60cd2bec51">SVF::WtoCycle</a>
 </li>
 <li>WtoComponentVisitor()
-: <a class="el" href="classSVF_1_1WtoComponentVisitor.html#a39d4cc064c02fe4145a950ca452372b9">SVF::WtoComponentVisitor</a>
+: <a class="el" href="classSVF_1_1WtoComponentVisitor.html#a86874c5edb8084a1547289cc5c879bd8">SVF::WtoComponentVisitor</a>
 </li>
 <li>WtoCT
 : <a class="el" href="classSVF_1_1WtoComponent.html#a61379d9c9aafab0f4729f2818d6d2ec5">SVF::WtoComponent</a>
@@ -218,7 +222,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1WtoComponentVisitor.html#acd0a64d5777e1defc8ee609305c6930c">SVF::WtoComponentVisitor</a>
 </li>
 <li>WtoNesting()
-: <a class="el" href="classSVF_1_1WtoNesting.html#a781655082432cd789e282962c6ded5a3">SVF::WtoNesting</a>
+: <a class="el" href="classSVF_1_1WtoNesting.html#ae47ab6f3a67e1179a1832bc3086234e6">SVF::WtoNesting</a>
 </li>
 <li>WtoNestingPtr
 : <a class="el" href="classSVF_1_1Wto.html#a5a4ab010a4bd8b4fc8a51c0e707d7ab6">SVF::Wto</a>

package/SVF-doxygen/html/html/globals_d.html

@@ -61,8 +61,8 @@ $(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_d"></a>- d -</h3><ul>
-<li>DAA()
-: <a class="el" href="dda_8cpp.html#a55c1167d4e6efe7828f050d978291725">dda.cpp</a>
+<li>DAA
+: <a class="el" href="dda_8cpp.html#aa87e1cd4be4709a21393ed9e1a0da6bb">dda.cpp</a>
 </li>
 <li>DAndersen
 : <a class="el" href="SVFType_8h.html#adbfc4364261f019dc6cf33234a5177d2">SVFType.h</a>
@@ -88,8 +88,8 @@ $(function() {
 <li>DEBUG_TYPE
 : <a class="el" href="BreakConstantExpr_8cpp.html#ad78e062f62e0d6e453941fb4ca843e4d">BreakConstantExpr.cpp</a>
 </li>
-<li>DFREECHECKER()
-: <a class="el" href="saber_8cpp.html#ae783b2330e99490ef5d366605d1098cf">saber.cpp</a>
+<li>DFREECHECKER
+: <a class="el" href="saber_8cpp.html#ab233df6b8c190aa2c26fa20bd1ac7c52">saber.cpp</a>
 </li>
 <li>DGENERAL
 : <a class="el" href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">SVFType.h</a>

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

@@ -68,14 +68,14 @@ $(function() {
 <li>else
 : <a class="el" href="cJSON_8cpp.html#a0544c3fe466e421738dae463968b70ba">cJSON.cpp</a>
 </li>
-<li>ENABLECONTEXT()
-: <a class="el" href="dda_8cpp.html#a1fe1900e000a62ca91dc0651bfa3a24f">dda.cpp</a>
+<li>ENABLECONTEXT
+: <a class="el" href="dda_8cpp.html#a0a4ada5aa37179525df2c87a5c6e2685">dda.cpp</a>
 </li>
-<li>ENABLEFIELD()
-: <a class="el" href="dda_8cpp.html#adad2a8a1b2f5bf9f333382725f174cb0">dda.cpp</a>
+<li>ENABLEFIELD
+: <a class="el" href="dda_8cpp.html#a33384804c17c2e3f457d80b47b114e1d">dda.cpp</a>
 </li>
-<li>ENABLEFLOW()
-: <a class="el" href="dda_8cpp.html#af95c31f8cf35812a4fe4a22342aacaa2">dda.cpp</a>
+<li>ENABLEFLOW
+: <a class="el" href="dda_8cpp.html#a41cf6b3bb80c86976fab3561440031fe">dda.cpp</a>
 </li>
 <li>ensure()
 : <a class="el" href="cJSON_8cpp.html#a3faa1600bc8001eaed05f16060668ce6">cJSON.cpp</a>

package/SVF-doxygen/html/html/globals_f.html

@@ -70,8 +70,8 @@ $(function() {
 <li>fc_isnan()
 : <a class="el" href="fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0">fastcluster.cpp</a>
 </li>
-<li>FILECHECKER()
-: <a class="el" href="saber_8cpp.html#ae054770c30aa9b9ef72d5bc84084b472">saber.cpp</a>
+<li>FILECHECKER
+: <a class="el" href="saber_8cpp.html#a040433670c569ad3978a19fb1bf44d5b">saber.cpp</a>
 </li>
 <li>FlippedAddressMask
 : <a class="el" href="AddressValue_8h.html#aec682540f2c8aa9deb79f610e4399411">AddressValue.h</a>

package/SVF-doxygen/html/html/globals_func.html

@@ -103,8 +103,8 @@ $(function() {
 : <a class="el" href="cJSON_8cpp.html#abeffdb0695e8c30e4612c8f917bfd9e1">cJSON.cpp</a>
 </li>
 <li>CJSON_PUBLIC()
-: <a class="el" href="cJSON_8h.html#aa7717765ab33f9dac70ff47e7e078b8b">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#a265fb6f60d093cb333c087fdabc6efdb">cJSON.cpp</a>
+: <a class="el" href="cJSON_8h.html#a8172bffbb05eec3c761bf0b43484f62d">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#aa64b79aec6e4df008236f79b7f373641">cJSON.cpp</a>
 </li>
 <li>cJSON_strdup()
 : <a class="el" href="cJSON_8cpp.html#a5da7bd9b4622e97e7e19c36017410252">cJSON.cpp</a>
@@ -129,26 +129,7 @@ $(function() {
 </ul>
 
 
-<h3><a id="index_d"></a>- d -</h3><ul>
-<li>DAA()
-: <a class="el" href="dda_8cpp.html#a55c1167d4e6efe7828f050d978291725">dda.cpp</a>
-</li>
-<li>DFREECHECKER()
-: <a class="el" href="saber_8cpp.html#ae783b2330e99490ef5d366605d1098cf">saber.cpp</a>
-</li>
-</ul>
-
-
 <h3><a id="index_e"></a>- e -</h3><ul>
-<li>ENABLECONTEXT()
-: <a class="el" href="dda_8cpp.html#a1fe1900e000a62ca91dc0651bfa3a24f">dda.cpp</a>
-</li>
-<li>ENABLEFIELD()
-: <a class="el" href="dda_8cpp.html#adad2a8a1b2f5bf9f333382725f174cb0">dda.cpp</a>
-</li>
-<li>ENABLEFLOW()
-: <a class="el" href="dda_8cpp.html#af95c31f8cf35812a4fe4a22342aacaa2">dda.cpp</a>
-</li>
 <li>ensure()
 : <a class="el" href="cJSON_8cpp.html#a3faa1600bc8001eaed05f16060668ce6">cJSON.cpp</a>
 </li>
@@ -162,9 +143,6 @@ $(function() {
 <li>fc_isnan()
 : <a class="el" href="fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0">fastcluster.cpp</a>
 </li>
-<li>FILECHECKER()
-: <a class="el" href="saber_8cpp.html#ae054770c30aa9b9ef72d5bc84084b472">saber.cpp</a>
-</li>
 <li>for()
 : <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">cJSON.cpp</a>
 </li>
@@ -213,41 +191,21 @@ $(function() {
 <h3><a id="index_i"></a>- i -</h3><ul>
 <li>if()
 : <a class="el" href="cJSON_8cpp.html#a90e6101bee79e6d18c535254695e91e3">cJSON.cpp</a>
-, <a class="el" href="tools_2CFL_2CMakeLists_8txt.html#a1fd8413c9b18e2bc5fdbb9f1c958c017">CMakeLists.txt</a>
-, <a class="el" href="cJSON_8cpp.html#add3447abc993c24187f21b06f123ed3b">cJSON.cpp</a>
-, <a class="el" href="tools_2SABER_2CMakeLists_8txt.html#a0ea45b7ef1bbbc031c899c47aa7eff4e">CMakeLists.txt</a>
-, <a class="el" href="cJSON_8cpp.html#a0cde9b5cb05996d1f922f4f7b77a07b4">cJSON.cpp</a>
-, <a class="el" href="tools_2Example_2CMakeLists_8txt.html#ae4d9db95d5f46d9fb4772700d1c60d06">CMakeLists.txt</a>
-, <a class="el" href="cJSON_8cpp.html#ae47a6320597174c09b4b032c600b3f16">cJSON.cpp</a>
 , <a class="el" href="tools_2MTA_2CMakeLists_8txt.html#ac031158595e870c66c5d79c82a909710">CMakeLists.txt</a>
-, <a class="el" href="cJSON_8cpp.html#ae39a150ec9a630fd5d4b61d5968c0072">cJSON.cpp</a>
-, <a class="el" href="tools_2DDA_2CMakeLists_8txt.html#af3757e8c8a37e935b02d531c6cbd60c0">CMakeLists.txt</a>
 , <a class="el" href="cJSON_8cpp.html#a28f4a33af8f7fcee96d1559e403ff29b">cJSON.cpp</a>
+, <a class="el" href="tools_2CFL_2CMakeLists_8txt.html#a1fd8413c9b18e2bc5fdbb9f1c958c017">CMakeLists.txt</a>
+, <a class="el" href="cJSON_8cpp.html#a9a60d8945eee5e6258fce5439e056c55">cJSON.cpp</a>
+, <a class="el" href="tools_2SABER_2CMakeLists_8txt.html#a0ea45b7ef1bbbc031c899c47aa7eff4e">CMakeLists.txt</a>
 </li>
 <li>indent()
 : <a class="el" href="DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269">DCHG.cpp</a>
 </li>
-<li>InputFilename()
-: <a class="el" href="cfl_8cpp.html#a139199e1f33675df72b018c31e0be35c">cfl.cpp</a>
-, <a class="el" href="svf-ex_8cpp.html#a139199e1f33675df72b018c31e0be35c">svf-ex.cpp</a>
-, <a class="el" href="wpa_8cpp.html#a139199e1f33675df72b018c31e0be35c">wpa.cpp</a>
-, <a class="el" href="mta_8cpp.html#a139199e1f33675df72b018c31e0be35c">mta.cpp</a>
-, <a class="el" href="dda_8cpp.html#a139199e1f33675df72b018c31e0be35c">dda.cpp</a>
-, <a class="el" href="saber_8cpp.html#a2d332c504284f0bc181289ee67479845">saber.cpp</a>
-</li>
 <li>isOperOverload()
 : <a class="el" href="CPPUtil_8cpp.html#aaf7dd7cff6ac20b3702113606aafa175">CPPUtil.cpp</a>
 </li>
 </ul>
 
 
-<h3><a id="index_l"></a>- l -</h3><ul>
-<li>LEAKCHECKER()
-: <a class="el" href="saber_8cpp.html#a3bebf1fb890054c49ae16f9706fa38d2">saber.cpp</a>
-</li>
-</ul>
-
-
 <h3><a id="index_m"></a>- m -</h3><ul>
 <li>main()
 : <a class="el" href="cfl_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">cfl.cpp</a>
@@ -313,18 +271,12 @@ $(function() {
 
 
 <h3><a id="index_r"></a>- r -</h3><ul>
-<li>REGPT()
-: <a class="el" href="dda_8cpp.html#a5ed1de5ad06cf459c1b4e63685316618">dda.cpp</a>
-</li>
 <li>replace_item_in_object()
 : <a class="el" href="cJSON_8cpp.html#afdae75197cf2c440ef858a2e93b104f2">cJSON.cpp</a>
 </li>
 <li>return()
 : <a class="el" href="cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe">cJSON.cpp</a>
 </li>
-<li>RFINEPT()
-: <a class="el" href="dda_8cpp.html#a3abc2ce6737d192a5c3f967734fe8389">dda.cpp</a>
-</li>
 </ul>
 
 
@@ -341,12 +293,8 @@ $(function() {
 <li>skip_utf8_bom()
 : <a class="el" href="cJSON_8cpp.html#a13b2d9f17c3b80a8878405f2782cd916">cJSON.cpp</a>
 </li>
-<li>StandardCompileOpts()
-: <a class="el" href="cfl_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e">cfl.cpp</a>
-, <a class="el" href="dda_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e">dda.cpp</a>
-</li>
 <li>STATISTIC()
-: <a class="el" href="BreakConstantExpr_8cpp.html#a908d11ca6b0a342e6ddcdcced200cab3">BreakConstantExpr.cpp</a>
+: <a class="el" href="BreakConstantExpr_8cpp.html#a53fcf89c33901a1e4bf09351eb612a6a">BreakConstantExpr.cpp</a>
 </li>
 <li>suffix_object()
 : <a class="el" href="cJSON_8cpp.html#a5d61bcc0045ace88c2ae04f0928eeace">cJSON.cpp</a>

package/SVF-doxygen/html/html/globals_i.html

@@ -74,16 +74,8 @@ $(function() {
 : <a class="el" href="DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269">DCHG.cpp</a>
 </li>
 <li>index
-: <a class="el" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#a750b5d744c39a06bfb13e6eb010e35d0">cJSON.cpp</a>
-</li>
-<li>InputFilename()
-: <a class="el" href="dda_8cpp.html#a139199e1f33675df72b018c31e0be35c">dda.cpp</a>
-, <a class="el" href="wpa_8cpp.html#a139199e1f33675df72b018c31e0be35c">wpa.cpp</a>
-, <a class="el" href="svf-ex_8cpp.html#a139199e1f33675df72b018c31e0be35c">svf-ex.cpp</a>
-, <a class="el" href="mta_8cpp.html#a139199e1f33675df72b018c31e0be35c">mta.cpp</a>
-, <a class="el" href="cfl_8cpp.html#a139199e1f33675df72b018c31e0be35c">cfl.cpp</a>
-, <a class="el" href="saber_8cpp.html#a2d332c504284f0bc181289ee67479845">saber.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#a750b5d744c39a06bfb13e6eb010e35d0">cJSON.cpp</a>
+, <a class="el" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">cJSON.h</a>
 </li>
 <li>internal_free
 : <a class="el" href="cJSON_8cpp.html#a940bb34b2c297c3d8297d506a3955839">cJSON.cpp</a>
@@ -107,8 +99,8 @@ $(function() {
 : <a class="el" href="CPPUtil_8cpp.html#aaf7dd7cff6ac20b3702113606aafa175">CPPUtil.cpp</a>
 </li>
 <li>item
-: <a class="el" href="cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0">cJSON.cpp</a>
-, <a class="el" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">cJSON.h</a>
+: <a class="el" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0">cJSON.cpp</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/globals_l.html

@@ -61,8 +61,8 @@ $(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_l"></a>- l -</h3><ul>
-<li>LEAKCHECKER()
-: <a class="el" href="saber_8cpp.html#a3bebf1fb890054c49ae16f9706fa38d2">saber.cpp</a>
+<li>LEAKCHECKER
+: <a class="el" href="saber_8cpp.html#a789415bb7081a399af0d4218ead5e6a5">saber.cpp</a>
 </li>
 <li>length
 : <a class="el" href="cJSON_8h.html#a9f237f17f4e79d5b89149e09152edabe">cJSON.h</a>

package/SVF-doxygen/html/html/globals_r.html

@@ -69,8 +69,8 @@ $(function() {
 : <a class="el" href="cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6">cJSON.cpp</a>
 , <a class="el" href="cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6">cJSON.h</a>
 </li>
-<li>REGPT()
-: <a class="el" href="dda_8cpp.html#a5ed1de5ad06cf459c1b4e63685316618">dda.cpp</a>
+<li>REGPT
+: <a class="el" href="dda_8cpp.html#aa4d54caa95b7971baaaa499dc52a83f0">dda.cpp</a>
 </li>
 <li>replace_item_in_object()
 : <a class="el" href="cJSON_8cpp.html#afdae75197cf2c440ef858a2e93b104f2">cJSON.cpp</a>
@@ -90,8 +90,8 @@ $(function() {
 : <a class="el" href="cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9">cJSON.cpp</a>
 , <a class="el" href="cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a">cJSON.h</a>
 </li>
-<li>RFINEPT()
-: <a class="el" href="dda_8cpp.html#a3abc2ce6737d192a5c3f967734fe8389">dda.cpp</a>
+<li>RFINEPT
+: <a class="el" href="dda_8cpp.html#a67ee98e0a1d06555ea82c26cf1fa2b35">dda.cpp</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/globals_s.html

@@ -73,10 +73,6 @@ $(function() {
 <li>skip_utf8_bom()
 : <a class="el" href="cJSON_8cpp.html#a13b2d9f17c3b80a8878405f2782cd916">cJSON.cpp</a>
 </li>
-<li>StandardCompileOpts()
-: <a class="el" href="cfl_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e">cfl.cpp</a>
-, <a class="el" href="dda_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e">dda.cpp</a>
-</li>
 <li>static_strlen
 : <a class="el" href="cJSON_8cpp.html#a5714bac836668a1b9af55465b78531ef">cJSON.cpp</a>
 </li>

package/SVF-doxygen/html/html/globals_type.html

@@ -71,6 +71,9 @@ $(function() {
 <li>internal_hooks
 : <a class="el" href="cJSON_8cpp.html#af27c741a35a02fe8937d3b4caca30c20">cJSON.cpp</a>
 </li>
+<li>u32_t
+: <a class="el" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">CommandLine.h</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/globals_u.html

@@ -61,6 +61,9 @@ $(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_u"></a>- u -</h3><ul>
+<li>u32_t
+: <a class="el" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">CommandLine.h</a>
+</li>
 <li>update_offset()
 : <a class="el" href="cJSON_8cpp.html#af5fb173126786c1e3f90b6df6e2500c5">cJSON.cpp</a>
 </li>

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

@@ -92,16 +92,16 @@ $(function() {
 , <a class="el" href="cJSON_8cpp.html#a1a175e87536301df98c805ac0636ad7c">cJSON.cpp</a>
 </li>
 <li>boolean
-: <a class="el" href="cJSON_8cpp.html#a08f076c86f430b6f0e301fcf94223b38">cJSON.cpp</a>
-, <a class="el" href="cJSON_8h.html#a08f076c86f430b6f0e301fcf94223b38">cJSON.h</a>
+: <a class="el" href="cJSON_8h.html#a08f076c86f430b6f0e301fcf94223b38">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#a08f076c86f430b6f0e301fcf94223b38">cJSON.cpp</a>
 </li>
 <li>buffer
 : <a class="el" href="cJSON_8h.html#a503753140aa27b00f99a3501280b2746">cJSON.h</a>
 , <a class="el" href="cJSON_8cpp.html#a503753140aa27b00f99a3501280b2746">cJSON.cpp</a>
 </li>
 <li>buffer_length
-: <a class="el" href="cJSON_8cpp.html#a7beaf9b4ef5e4c7254cc3298a3424354">cJSON.cpp</a>
-, <a class="el" href="cJSON_8h.html#a7beaf9b4ef5e4c7254cc3298a3424354">cJSON.h</a>
+: <a class="el" href="cJSON_8h.html#a7beaf9b4ef5e4c7254cc3298a3424354">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#a7beaf9b4ef5e4c7254cc3298a3424354">cJSON.cpp</a>
 </li>
 </ul>
 
@@ -129,6 +129,16 @@ $(function() {
 </ul>
 
 
+<h3><a id="index_d"></a>- d -</h3><ul>
+<li>DAA
+: <a class="el" href="dda_8cpp.html#aa87e1cd4be4709a21393ed9e1a0da6bb">dda.cpp</a>
+</li>
+<li>DFREECHECKER
+: <a class="el" href="saber_8cpp.html#ab233df6b8c190aa2c26fa20bd1ac7c52">saber.cpp</a>
+</li>
+</ul>
+
+
 <h3><a id="index_e"></a>- e -</h3><ul>
 <li>ei_pairs
 : <a class="el" href="SaberCheckerAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1">SaberCheckerAPI.cpp</a>
@@ -137,6 +147,15 @@ $(function() {
 <li>else
 : <a class="el" href="cJSON_8cpp.html#a0544c3fe466e421738dae463968b70ba">cJSON.cpp</a>
 </li>
+<li>ENABLECONTEXT
+: <a class="el" href="dda_8cpp.html#a0a4ada5aa37179525df2c87a5c6e2685">dda.cpp</a>
+</li>
+<li>ENABLEFIELD
+: <a class="el" href="dda_8cpp.html#a33384804c17c2e3f457d80b47b114e1d">dda.cpp</a>
+</li>
+<li>ENABLEFLOW
+: <a class="el" href="dda_8cpp.html#a41cf6b3bb80c86976fab3561440031fe">dda.cpp</a>
+</li>
 <li>epsilon
 : <a class="el" href="VFG_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757">VFG.txt</a>
 </li>
@@ -147,6 +166,9 @@ $(function() {
 <li>Fbar
 : <a class="el" href="PEGGrammar_8txt.html#a1e8b28eb87d57c33c5c45731db639c91">PEGGrammar.txt</a>
 </li>
+<li>FILECHECKER
+: <a class="el" href="saber_8cpp.html#a040433670c569ad3978a19fb1bf44d5b">saber.cpp</a>
+</li>
 <li>fmt
 : <a class="el" href="cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.h</a>
 , <a class="el" href="cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.cpp</a>
@@ -224,6 +246,9 @@ $(function() {
 
 
 <h3><a id="index_l"></a>- l -</h3><ul>
+<li>LEAKCHECKER
+: <a class="el" href="saber_8cpp.html#a789415bb7081a399af0d4218ead5e6a5">saber.cpp</a>
+</li>
 <li>length
 : <a class="el" href="cJSON_8h.html#a9f237f17f4e79d5b89149e09152edabe">cJSON.h</a>
 , <a class="el" href="cJSON_8cpp.html#a9f237f17f4e79d5b89149e09152edabe">cJSON.cpp</a>
@@ -280,8 +305,8 @@ $(function() {
 : <a class="el" href="cJSON_8cpp.html#a1c3580b00311725af8eb560f18555e0a">cJSON.cpp</a>
 </li>
 <li>prebuffer
-: <a class="el" href="cJSON_8cpp.html#a039dc262c2ae63f95cfe193245f8ee7e">cJSON.cpp</a>
-, <a class="el" href="cJSON_8h.html#a039dc262c2ae63f95cfe193245f8ee7e">cJSON.h</a>
+: <a class="el" href="cJSON_8h.html#a039dc262c2ae63f95cfe193245f8ee7e">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#a039dc262c2ae63f95cfe193245f8ee7e">cJSON.cpp</a>
 </li>
 <li>prev
 : <a class="el" href="cJSON_8cpp.html#a8f132000c2609a05d1bfd83e25db97d5">cJSON.cpp</a>
@@ -298,8 +323,11 @@ $(function() {
 , <a class="el" href="cJSON_8cpp.html#a788db922597cf2fb6389e278f822e59f">cJSON.cpp</a>
 </li>
 <li>recurse
-: <a class="el" href="cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6">cJSON.cpp</a>
-, <a class="el" href="cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6">cJSON.h</a>
+: <a class="el" href="cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6">cJSON.cpp</a>
+</li>
+<li>REGPT
+: <a class="el" href="dda_8cpp.html#aa4d54caa95b7971baaaa499dc52a83f0">dda.cpp</a>
 </li>
 <li>replacement
 : <a class="el" href="cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791">cJSON.h</a>
@@ -310,8 +338,11 @@ $(function() {
 , <a class="el" href="cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130">cJSON.cpp</a>
 </li>
 <li>return_parse_end
-: <a class="el" href="cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9">cJSON.cpp</a>
-, <a class="el" href="cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a">cJSON.h</a>
+: <a class="el" href="cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9">cJSON.cpp</a>
+</li>
+<li>RFINEPT
+: <a class="el" href="dda_8cpp.html#a67ee98e0a1d06555ea82c26cf1fa2b35">dda.cpp</a>
 </li>
 </ul>
 
@@ -348,8 +379,8 @@ $(function() {
 : <a class="el" href="cJSON_8cpp.html#a467a5974a6eae3b3059a89ba909c2a9c">cJSON.cpp</a>
 </li>
 <li>valuestring
-: <a class="el" href="cJSON_8cpp.html#a7dc61ad7586ca3231e691514bad7cbc4">cJSON.cpp</a>
-, <a class="el" href="cJSON_8h.html#a7dc61ad7586ca3231e691514bad7cbc4">cJSON.h</a>
+: <a class="el" href="cJSON_8h.html#a7dc61ad7586ca3231e691514bad7cbc4">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#a7dc61ad7586ca3231e691514bad7cbc4">cJSON.cpp</a>
 </li>
 <li>vfunPreLabel
 : <a class="el" href="CPPUtil_8cpp.html#a74958d1db4b08e58aee58557d386c24b">CPPUtil.cpp</a>