svf-tools 1.0.633 → 1.0.635

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

@@ -58,17 +58,59 @@ $(function() {
 </div>
 
 <div class="contents">
-<div class="textblock">Here is a list of all file members with links to the files they belong to:</div>
-
-<h3><a id="index__"></a>- _ -</h3><ul>
-<li>__pad0__
-: <a class="el" href="CFLGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">PEGGrammar.txt</a>
-, <a class="el" href="cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3">cJSON.cpp</a>
-</li>
-<li>__pad1__
-: <a class="el" href="VFG_8txt.html#a13f26ce59806bd1663350be4f8888464">VFG.txt</a>
-, <a class="el" href="cJSON_8cpp.html#a0f403f87e00518c167bd384374aeb6ad">cJSON.cpp</a>
+<div class="textblock">Here is a list of all file members with links to the files they belong to:</div><ul>
+<li>aliasQuery()
+: <a class="el" href="svf-ex_8cpp.html#ad2f24f5ef6a8eaf0e4a77a8a4d31bc9f">svf-ex.cpp</a>
+</li>
+<li>DAA()
+: <a class="el" href="dda_8cpp.html#aab45572f58baa3f8dc5ed54e212b7840">dda.cpp</a>
+</li>
+<li>DFREECHECKER()
+: <a class="el" href="saber_8cpp.html#a7414c3557fff03632694a567163935e4">saber.cpp</a>
+</li>
+<li>ENABLECONTEXT()
+: <a class="el" href="dda_8cpp.html#a02c0d2c3df5da031a63c2060fd9dd77d">dda.cpp</a>
+</li>
+<li>ENABLEFIELD()
+: <a class="el" href="dda_8cpp.html#aa897ff2ba2a78de743d8695c5776bd9e">dda.cpp</a>
+</li>
+<li>ENABLEFLOW()
+: <a class="el" href="dda_8cpp.html#a994ea57cf2d8360458751a1f404b52d5">dda.cpp</a>
+</li>
+<li>FILECHECKER()
+: <a class="el" href="saber_8cpp.html#a7fcc25f6477cb14786e27bf43226cc87">saber.cpp</a>
+</li>
+<li>if()
+: <a class="el" href="CFL_2CMakeLists_8txt.html#a54d13ee9b2d71352e44062df3e531b71">CMakeLists.txt</a>
+</li>
+<li>LEAKCHECKER()
+: <a class="el" href="saber_8cpp.html#ab978200e20fbbdb10acca9efeff745bc">saber.cpp</a>
+</li>
+<li>main()
+: <a class="el" href="cfl_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">cfl.cpp</a>
+, <a class="el" href="wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">wpa.cpp</a>
+, <a class="el" href="saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">saber.cpp</a>
+, <a class="el" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">mta.cpp</a>
+, <a class="el" href="svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">svf-ex.cpp</a>
+, <a class="el" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">dda.cpp</a>
+</li>
+<li>printPts()
+: <a class="el" href="svf-ex_8cpp.html#a985b6c880c7922538046c6a1fa987829">svf-ex.cpp</a>
+</li>
+<li>REGPT()
+: <a class="el" href="dda_8cpp.html#a1c2c3ba06219d3fde5cfe1a745fa311f">dda.cpp</a>
+</li>
+<li>RFINEPT()
+: <a class="el" href="dda_8cpp.html#a9e2df1a2ac7e26eb1be2e2dbab4699f4">dda.cpp</a>
+</li>
+<li>set()
+: <a class="el" href="WPA_2CMakeLists_8txt.html#aa25eee5e4cf33b5664275ce17ec24986">CMakeLists.txt</a>
+</li>
+<li>traverseOnICFG()
+: <a class="el" href="svf-ex_8cpp.html#addc5529c5b161d0c61eba4944428455e">svf-ex.cpp</a>
+</li>
+<li>traverseOnVFG()
+: <a class="el" href="svf-ex_8cpp.html#ad58149e5445ad22ce478339e103ab42b">svf-ex.cpp</a>
 </li>
 </ul>
 </div><!-- contents -->

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

@@ -58,251 +58,54 @@ $(function() {
 </div>
 
 <div class="contents">
-&#160;
-
-<h3><a id="index_a"></a>- a -</h3><ul>
-<li>add_item_to_array()
-: <a class="el" href="cJSON_8cpp.html#a816d10c908af6be844a1f8277363e2f1">cJSON.cpp</a>
-</li>
-<li>add_item_to_object()
-: <a class="el" href="cJSON_8cpp.html#acc48bef0e1b495898d9489e577b91d5c">cJSON.cpp</a>
-</li>
+&#160;<ul>
 <li>aliasQuery()
 : <a class="el" href="svf-ex_8cpp.html#ad2f24f5ef6a8eaf0e4a77a8a4d31bc9f">svf-ex.cpp</a>
 </li>
-</ul>
-
-
-<h3><a id="index_b"></a>- b -</h3><ul>
-<li>buffer_skip_whitespace()
-: <a class="el" href="cJSON_8cpp.html#a029a2c33fa2744a7cc5cf061f28d2cfc">cJSON.cpp</a>
-</li>
-</ul>
-
-
-<h3><a id="index_c"></a>- c -</h3><ul>
-<li>case_insensitive_strcmp()
-: <a class="el" href="cJSON_8cpp.html#a9b295e9edc859c11ad8c1e3d2cef0467">cJSON.cpp</a>
-</li>
-<li>cast_away_const()
-: <a class="el" href="cJSON_8cpp.html#a48223c36735c39cfc4711b0659f966c8">cJSON.cpp</a>
-</li>
-<li>checkArgTypes()
-: <a class="el" href="CHG_8cpp.html#a28cd7506ba009f12fa978aab492767b7">CHG.cpp</a>
+<li>DAA()
+: <a class="el" href="dda_8cpp.html#aab45572f58baa3f8dc5ed54e212b7840">dda.cpp</a>
 </li>
-<li>cJSON_Delete()
-: <a class="el" href="cJSON_8cpp.html#afde5c619f31577b3d821b56b23953c85">cJSON.cpp</a>
+<li>DFREECHECKER()
+: <a class="el" href="saber_8cpp.html#a7414c3557fff03632694a567163935e4">saber.cpp</a>
 </li>
-<li>cJSON_DetachItemViaPointer()
-: <a class="el" href="cJSON_8cpp.html#a3ac2a63423914bb3e443d578dd07b998">cJSON.cpp</a>
+<li>ENABLECONTEXT()
+: <a class="el" href="dda_8cpp.html#a02c0d2c3df5da031a63c2060fd9dd77d">dda.cpp</a>
 </li>
-<li>cJSON_New_Item()
-: <a class="el" href="cJSON_8cpp.html#a8f447c625af025c35d0ec59032ad6473">cJSON.cpp</a>
+<li>ENABLEFIELD()
+: <a class="el" href="dda_8cpp.html#aa897ff2ba2a78de743d8695c5776bd9e">dda.cpp</a>
 </li>
-<li>cJSON_ParseWithLengthOpts()
-: <a class="el" href="cJSON_8cpp.html#abeffdb0695e8c30e4612c8f917bfd9e1">cJSON.cpp</a>
+<li>ENABLEFLOW()
+: <a class="el" href="dda_8cpp.html#a994ea57cf2d8360458751a1f404b52d5">dda.cpp</a>
 </li>
-<li>CJSON_PUBLIC()
-: <a class="el" href="cJSON_8h.html#a8172bffbb05eec3c761bf0b43484f62d">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#aa64b79aec6e4df008236f79b7f373641">cJSON.cpp</a>
+<li>FILECHECKER()
+: <a class="el" href="saber_8cpp.html#a7fcc25f6477cb14786e27bf43226cc87">saber.cpp</a>
 </li>
-<li>cJSON_strdup()
-: <a class="el" href="cJSON_8cpp.html#a5da7bd9b4622e97e7e19c36017410252">cJSON.cpp</a>
-</li>
-<li>compare_double()
-: <a class="el" href="cJSON_8cpp.html#aa7a85b63f1830e7e666e1f56872d5d3e">cJSON.cpp</a>
-</li>
-<li>convertExpression()
-: <a class="el" href="BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1">BreakConstantExpr.cpp</a>
-</li>
-<li>create_reference()
-: <a class="el" href="cJSON_8cpp.html#ac06bbc307a6f39fe58aafbcb82fbf4b3">cJSON.cpp</a>
-</li>
-<li>cutree_cdist()
-: <a class="el" href="fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.h</a>
-, <a class="el" href="fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.cpp</a>
-</li>
-<li>cutree_k()
-: <a class="el" href="fastcluster_8cpp.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.cpp</a>
-, <a class="el" href="fastcluster_8h.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.h</a>
-</li>
-</ul>
-
-
-<h3><a id="index_e"></a>- e -</h3><ul>
-<li>ensure()
-: <a class="el" href="cJSON_8cpp.html#a3faa1600bc8001eaed05f16060668ce6">cJSON.cpp</a>
-</li>
-</ul>
-
-
-<h3><a id="index_f"></a>- f -</h3><ul>
-<li>Fbar()
-: <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">PEGGrammar.txt</a>
-</li>
-<li>fc_isnan()
-: <a class="el" href="fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0">fastcluster.cpp</a>
-</li>
-<li>for()
-: <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">cJSON.cpp</a>
-</li>
-</ul>
-
-
-<h3><a id="index_g"></a>- g -</h3><ul>
-<li>get_array_item()
-: <a class="el" href="cJSON_8cpp.html#a82f460889bcb63ee840fc821feef5aa5">cJSON.cpp</a>
-</li>
-<li>get_decimal_point()
-: <a class="el" href="cJSON_8cpp.html#ab25412ae56c8c594831918169bea100d">cJSON.cpp</a>
-</li>
-<li>get_object_item()
-: <a class="el" href="cJSON_8cpp.html#a768303890e9be802d51b0e0a110302f4">cJSON.cpp</a>
-</li>
-<li>getBeforeParenthesis()
-: <a class="el" href="CppUtil_8cpp.html#a2bff9158f699b6fd11c8e116b91e4809">CppUtil.cpp</a>
-</li>
-<li>getJsonFile()
-: <a class="el" href="ExtAPI_8cpp.html#a82e0f4095086de7f384a1f55838b5d28">ExtAPI.cpp</a>
-</li>
-<li>GetStdoutFromCommand()
-: <a class="el" href="ExtAPI_8cpp.html#a424940f91f234b23bcc633f12269f935">ExtAPI.cpp</a>
-</li>
-</ul>
-
-
-<h3><a id="index_h"></a>- h -</h3><ul>
-<li>handleThunkFunction()
-: <a class="el" href="CppUtil_8cpp.html#a264d15523be2c695d9cee8d49ae87ebe">CppUtil.cpp</a>
-</li>
-<li>hasConstantGEP()
-: <a class="el" href="BreakConstantExpr_8cpp.html#a81381bb19688464256bd09ef22e965e4">BreakConstantExpr.cpp</a>
-</li>
-<li>hasEdge()
-: <a class="el" href="CHG_8cpp.html#a4c6cbac96543cd55e4df050a33512ac5">CHG.cpp</a>
-</li>
-<li>hclust_fast()
-: <a class="el" href="fastcluster_8h.html#acccd226cbdf0944b5c9e24c84a4599c9">fastcluster.h</a>
-, <a class="el" href="fastcluster_8cpp.html#acccd226cbdf0944b5c9e24c84a4599c9">fastcluster.cpp</a>
-</li>
-</ul>
-
-
-<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_2MTA_2CMakeLists_8txt.html#ac031158595e870c66c5d79c82a909710">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>
+: <a class="el" href="CFL_2CMakeLists_8txt.html#a54d13ee9b2d71352e44062df3e531b71">CMakeLists.txt</a>
 </li>
-<li>indent()
-: <a class="el" href="DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269">DCHG.cpp</a>
+<li>LEAKCHECKER()
+: <a class="el" href="saber_8cpp.html#ab978200e20fbbdb10acca9efeff745bc">saber.cpp</a>
 </li>
-<li>isOperOverload()
-: <a class="el" href="CppUtil_8cpp.html#ac2244b6f8e2bbebde02dd47fedd0ebd8">CppUtil.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>
-, <a class="el" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">dda.cpp</a>
 , <a class="el" href="wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">wpa.cpp</a>
 , <a class="el" href="saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">saber.cpp</a>
 , <a class="el" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">mta.cpp</a>
 , <a class="el" href="svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">svf-ex.cpp</a>
-</li>
-<li>minify_string()
-: <a class="el" href="cJSON_8cpp.html#a569f331078de59d01dee9351fa106e3b">cJSON.cpp</a>
-</li>
-</ul>
-
-
-<h3><a id="index_p"></a>- p -</h3><ul>
-<li>parse_array()
-: <a class="el" href="cJSON_8cpp.html#a367cc7ac5a592211d9f18dc02dd23069">cJSON.cpp</a>
-</li>
-<li>parse_hex4()
-: <a class="el" href="cJSON_8cpp.html#a1aa736fdc6ba20c7d46622d20766e916">cJSON.cpp</a>
-</li>
-<li>parse_number()
-: <a class="el" href="cJSON_8cpp.html#a699e1cebda71c2846a9a10b29b4dc407">cJSON.cpp</a>
-</li>
-<li>parse_object()
-: <a class="el" href="cJSON_8cpp.html#a1472ac5d1becd7d9a5e558b4c053b06a">cJSON.cpp</a>
-</li>
-<li>parse_string()
-: <a class="el" href="cJSON_8cpp.html#adf47b520af96d1bbefa2390016fbdb51">cJSON.cpp</a>
-</li>
-<li>parse_value()
-: <a class="el" href="cJSON_8cpp.html#afd5c0b7089e4de2fc9b2af599d4b596f">cJSON.cpp</a>
-</li>
-<li>parseJson()
-: <a class="el" href="ExtAPI_8cpp.html#a3957468a4d85cef02d8be1f82bcdfc69">ExtAPI.cpp</a>
-</li>
-<li>print()
-: <a class="el" href="cJSON_8cpp.html#ae71e2aec89bf140e6430cb7d5ca417c5">cJSON.cpp</a>
-</li>
-<li>print_array()
-: <a class="el" href="cJSON_8cpp.html#ae84642817f3965a85c7c617663250c16">cJSON.cpp</a>
-</li>
-<li>print_number()
-: <a class="el" href="cJSON_8cpp.html#ad93d84de08872da0eaa6624be0e74a68">cJSON.cpp</a>
-</li>
-<li>print_object()
-: <a class="el" href="cJSON_8cpp.html#a3d742f5c68799bca291432a9cd72f8dd">cJSON.cpp</a>
-</li>
-<li>print_string()
-: <a class="el" href="cJSON_8cpp.html#ad087dd738e49b4258f0a3d378a121df6">cJSON.cpp</a>
-</li>
-<li>print_string_ptr()
-: <a class="el" href="cJSON_8cpp.html#af5b4e769356f10d99a7f66697c42c1bb">cJSON.cpp</a>
-</li>
-<li>print_value()
-: <a class="el" href="cJSON_8cpp.html#a5ba141f183b9abb4b49e38a211299c7e">cJSON.cpp</a>
+, <a class="el" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">dda.cpp</a>
 </li>
 <li>printPts()
 : <a class="el" href="svf-ex_8cpp.html#a985b6c880c7922538046c6a1fa987829">svf-ex.cpp</a>
 </li>
-</ul>
-
-
-<h3><a id="index_r"></a>- r -</h3><ul>
-<li>replace_item_in_object()
-: <a class="el" href="cJSON_8cpp.html#afdae75197cf2c440ef858a2e93b104f2">cJSON.cpp</a>
+<li>REGPT()
+: <a class="el" href="dda_8cpp.html#a1c2c3ba06219d3fde5cfe1a745fa311f">dda.cpp</a>
 </li>
-<li>return()
-: <a class="el" href="cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe">cJSON.cpp</a>
+<li>RFINEPT()
+: <a class="el" href="dda_8cpp.html#a9e2df1a2ac7e26eb1be2e2dbab4699f4">dda.cpp</a>
 </li>
-</ul>
-
-
-<h3><a id="index_s"></a>- s -</h3><ul>
 <li>set()
-: <a class="el" href="tools_2WPA_2CMakeLists_8txt.html#ae39f71bb639d7a22f29d4bc42f72b57f">CMakeLists.txt</a>
+: <a class="el" href="WPA_2CMakeLists_8txt.html#aa25eee5e4cf33b5664275ce17ec24986">CMakeLists.txt</a>
 </li>
-<li>skip_multiline_comment()
-: <a class="el" href="cJSON_8cpp.html#a4b9e22afcb0d33932c691b5af9f2560a">cJSON.cpp</a>
-</li>
-<li>skip_oneline_comment()
-: <a class="el" href="cJSON_8cpp.html#a98eaeafefb811c738494a26265309a07">cJSON.cpp</a>
-</li>
-<li>skip_utf8_bom()
-: <a class="el" href="cJSON_8cpp.html#a13b2d9f17c3b80a8878405f2782cd916">cJSON.cpp</a>
-</li>
-<li>STATISTIC()
-: <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>
-</li>
-</ul>
-
-
-<h3><a id="index_t"></a>- t -</h3><ul>
 <li>traverseOnICFG()
 : <a class="el" href="svf-ex_8cpp.html#addc5529c5b161d0c61eba4944428455e">svf-ex.cpp</a>
 </li>
@@ -310,23 +113,6 @@ $(function() {
 : <a class="el" href="svf-ex_8cpp.html#ad58149e5445ad22ce478339e103ab42b">svf-ex.cpp</a>
 </li>
 </ul>
-
-
-<h3><a id="index_u"></a>- u -</h3><ul>
-<li>update_offset()
-: <a class="el" href="cJSON_8cpp.html#af5fb173126786c1e3f90b6df6e2500c5">cJSON.cpp</a>
-</li>
-<li>utf16_literal_to_utf8()
-: <a class="el" href="cJSON_8cpp.html#a0e2851b1b595b3b430fd186e7deaf987">cJSON.cpp</a>
-</li>
-</ul>
-
-
-<h3><a id="index_w"></a>- w -</h3><ul>
-<li>while()
-: <a class="el" href="cJSON_8cpp.html#a209b15238c5803bc547b2d77e02f29b4">cJSON.cpp</a>
-</li>
-</ul>
 </div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>