svf-tools 1.0.768 → 1.0.770

package/SVF-doxygen/html/html/globals_b.html

@@ -68,9 +68,15 @@ $(function() {
 : <a class="el" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">cJSON.h</a>
 , <a class="el" href="cJSON_8cpp.html#a1a175e87536301df98c805ac0636ad7c">cJSON.cpp</a>
 </li>
+<li>bind_textdomain_codeset()
+: <a class="el" href="extapi_8c.html#a8d02d24ade4c4b8a3134591880a195fa">extapi.c</a>
+</li>
+<li>bindtextdomain()
+: <a class="el" href="extapi_8c.html#ac852a1476d916526d67ccbf5e0bd15ca">extapi.c</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>BRANCHFLAGMASK
 : <a class="el" href="SVFBugReport_8h.html#a6c7cd1f1c2372251f51de3a8392faeec">SVFBugReport.h</a>
@@ -79,8 +85,8 @@ $(function() {
 : <a class="el" href="extapi_8c.html#a5e6b12b1c1a15546016e972b266a7522">extapi.c</a>
 </li>
 <li>buffer
-: <a class="el" href="cJSON_8cpp.html#a503753140aa27b00f99a3501280b2746">cJSON.cpp</a>
-, <a class="el" href="cJSON_8h.html#a503753140aa27b00f99a3501280b2746">cJSON.h</a>
+: <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_at_offset
 : <a class="el" href="cJSON_8cpp.html#ac538057ef78677344d222b763251af5e">cJSON.cpp</a>

package/SVF-doxygen/html/html/globals_c.html

@@ -152,10 +152,11 @@ $(function() {
 : <a class="el" href="cJSON_8cpp.html#abeffdb0695e8c30e4612c8f917bfd9e1">cJSON.cpp</a>
 </li>
 <li>CJSON_PUBLIC()
-: <a class="el" href="cJSON_8cpp.html#a228b429c345d298fa5b887420337a54c">cJSON.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#aa7717765ab33f9dac70ff47e7e078b8b">cJSON.cpp</a>
 , <a class="el" href="cJSON_8h.html#a70709a6f2a7e45debe4f5abe345fcb86">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#a265fb6f60d093cb333c087fdabc6efdb">cJSON.cpp</a>
+, <a class="el" href="cJSON_8cpp.html#a5712efac9864c56f805260c5e2a5c01b">cJSON.cpp</a>
 , <a class="el" href="cJSON_8h.html#a228b429c345d298fa5b887420337a54c">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#aa64b79aec6e4df008236f79b7f373641">cJSON.cpp</a>
 </li>
 <li>cJSON_Raw
 : <a class="el" href="cJSON_8h.html#ae9ddc931ea84908d12f48c5b7f8731a1">cJSON.h</a>
@@ -218,9 +219,12 @@ $(function() {
 <li>create_reference()
 : <a class="el" href="cJSON_8cpp.html#ac06bbc307a6f39fe58aafbcb82fbf4b3">cJSON.cpp</a>
 </li>
+<li>ctermid()
+: <a class="el" href="extapi_8c.html#ab5e4eb3862b8cdd8d57eae42287b1adf">extapi.c</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>
+: <a class="el" href="fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.cpp</a>
+, <a class="el" href="fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.h</a>
 </li>
 <li>cutree_k()
 : <a class="el" href="fastcluster_8cpp.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.cpp</a>

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

@@ -76,6 +76,9 @@ $(function() {
 <li>DCache
 : <a class="el" href="SVFType_8h.html#a500788b9fb425915fa4330d72142aec9">SVFType.h</a>
 </li>
+<li>dcgettext()
+: <a class="el" href="extapi_8c.html#ae47e2e0ff32239d263bc2d182b3cabca">extapi.c</a>
+</li>
 <li>DCHA
 : <a class="el" href="SVFType_8h.html#a263149d980e5c3165dfe8750bfac3223">SVFType.h</a>
 </li>
@@ -97,6 +100,9 @@ $(function() {
 <li>DGENERAL
 : <a class="el" href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">SVFType.h</a>
 </li>
+<li>dgettext()
+: <a class="el" href="extapi_8c.html#ae9c3a42a44267df221d0c4fe5b2ea439">extapi.c</a>
+</li>
 <li>DInstrument
 : <a class="el" href="SVFType_8h.html#abf3a5def3f319733214fa5f595b39827">SVFType.h</a>
 </li>
@@ -112,6 +118,9 @@ $(function() {
 <li>DMTA
 : <a class="el" href="SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234">SVFType.h</a>
 </li>
+<li>dngettext()
+: <a class="el" href="extapi_8c.html#a54ac933fa6a0e84898be26c04faacb92">extapi.c</a>
+</li>
 <li>DOSTAT
 : <a class="el" href="SVFType_8h.html#a6c9e2209a2c38607a9e3b7fab242886a">SVFType.h</a>
 </li>

package/SVF-doxygen/html/html/globals_defs.html

@@ -411,6 +411,9 @@ $(function() {
 
 
 <h3><a id="index_s"></a>- s -</h3><ul>
+<li>STATIC_OBJECT
+: <a class="el" href="extapi_8c.html#a3fca2c30a16a7d2fd2efc60687f74995">extapi.c</a>
+</li>
 <li>static_strlen
 : <a class="el" href="cJSON_8cpp.html#a5714bac836668a1b9af55465b78531ef">cJSON.cpp</a>
 </li>

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

@@ -67,12 +67,30 @@ $(function() {
 <li>__attribute__()
 : <a class="el" href="extapi_8c.html#a605c932bc9e318024b90b57f957d603a">extapi.c</a>
 </li>
+<li>__ctype_b_loc()
+: <a class="el" href="extapi_8c.html#ab9defe9717c79e55af6a95e6ce7addb2">extapi.c</a>
+</li>
+<li>__ctype_tolower_loc()
+: <a class="el" href="extapi_8c.html#ab80118dda05e64167867c0a7ee84bec7">extapi.c</a>
+</li>
+<li>__ctype_toupper_loc()
+: <a class="el" href="extapi_8c.html#a45737a9e57d118eb6f6298e4411e3d3d">extapi.c</a>
+</li>
 <li>__dynamic_cast()
 : <a class="el" href="extapi_8c.html#a92b16d30ba9908c9b2218dad2f2247b3">extapi.c</a>
 </li>
+<li>__errno_location()
+: <a class="el" href="extapi_8c.html#af7421234b15b89062853a783279b7885">extapi.c</a>
+</li>
+<li>__h_errno_location()
+: <a class="el" href="extapi_8c.html#a78579ef16de38e7c4d6b6c31662f7741">extapi.c</a>
+</li>
 <li>__rawmemchr()
 : <a class="el" href="extapi_8c.html#a1eb5371072d8bf51775205ee35058949">extapi.c</a>
 </li>
+<li>__res_state()
+: <a class="el" href="extapi_8c.html#a74e237127d0382ea86b6d96ebdf81583">extapi.c</a>
+</li>
 <li>_ZNSsC1EPKcRKSaIcE()
 : <a class="el" href="extapi_8c.html#a00b6e8788e5ccb56e08aee530246215e">extapi.c</a>
 </li>
@@ -83,405 +101,6 @@ $(function() {
 : <a class="el" href="extapi_8c.html#a8722c08a7fc65863c500bd0f71307382">extapi.c</a>
 </li>
 </ul>
-
-
-<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>
-<li>aliasQuery()
-: <a class="el" href="svf-ex_8cpp.html#ad2f24f5ef6a8eaf0e4a77a8a4d31bc9f">svf-ex.cpp</a>
-</li>
-<li>asctime_r()
-: <a class="el" href="extapi_8c.html#a000d88e36d0bc2e9f22fe8028ef29d70">extapi.c</a>
-</li>
-</ul>
-
-
-<h3><a id="index_b"></a>- b -</h3><ul>
-<li>bsearch()
-: <a class="el" href="extapi_8c.html#a5e6b12b1c1a15546016e972b266a7522">extapi.c</a>
-</li>
-<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>
-<li>cJSON_Delete()
-: <a class="el" href="cJSON_8cpp.html#afde5c619f31577b3d821b56b23953c85">cJSON.cpp</a>
-</li>
-<li>cJSON_DetachItemViaPointer()
-: <a class="el" href="cJSON_8cpp.html#a3ac2a63423914bb3e443d578dd07b998">cJSON.cpp</a>
-</li>
-<li>cJSON_New_Item()
-: <a class="el" href="cJSON_8cpp.html#a8f447c625af025c35d0ec59032ad6473">cJSON.cpp</a>
-</li>
-<li>cJSON_ParseWithLengthOpts()
-: <a class="el" href="cJSON_8cpp.html#abeffdb0695e8c30e4612c8f917bfd9e1">cJSON.cpp</a>
-</li>
-<li>CJSON_PUBLIC()
-: <a class="el" href="cJSON_8h.html#acc0bf2ad0de27db33e6471754c8f3ace">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#a92b8d4d07c18d85e65c80af773a575ef">cJSON.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_8h.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.h</a>
-, <a class="el" href="fastcluster_8cpp.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.cpp</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>fgets()
-: <a class="el" href="extapi_8c.html#a55c10fd7c7152a709388daa21827771c">extapi.c</a>
-</li>
-<li>for()
-: <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">cJSON.cpp</a>
-</li>
-<li>freopen()
-: <a class="el" href="extapi_8c.html#acda43fbb34d834cbd461d206b6df17fe">extapi.c</a>
-</li>
-<li>freopen64()
-: <a class="el" href="extapi_8c.html#af03756fc9a14bdfa7e473514b8be069a">extapi.c</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>getFilePath()
-: <a class="el" href="ExtAPI_8cpp.html#a7d2ff3727892c4ee0eff596174eb5b84">ExtAPI.cpp</a>
-</li>
-<li>getmntent_r()
-: <a class="el" href="extapi_8c.html#a0467c34eaa7dd0434c17762177dd08bf">extapi.c</a>
-</li>
-<li>getpwnam_r()
-: <a class="el" href="extapi_8c.html#a9d2e8fbff1b6a171809af5ff4d9faf93">extapi.c</a>
-</li>
-<li>getpwuid_r()
-: <a class="el" href="extapi_8c.html#a8d45eda5c086f3f4bf394644c3af43b7">extapi.c</a>
-</li>
-<li>GetStdoutFromCommand()
-: <a class="el" href="ExtAPI_8cpp.html#a424940f91f234b23bcc633f12269f935">ExtAPI.cpp</a>
-</li>
-<li>gmtime_r()
-: <a class="el" href="extapi_8c.html#a78301bb1e43ee4dda8a7cfd04d99f9e5">extapi.c</a>
-</li>
-<li>gzgets()
-: <a class="el" href="extapi_8c.html#ac84ce7ca37e7c4e94aec43868a755cac">extapi.c</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="CFL_2CMakeLists_8txt.html#af5e474e40792dbf4280f768705232f6c">CMakeLists.txt</a>
-, <a class="el" href="cJSON_8cpp.html#a7c636ab338e0e044d3b117c4c17cd660">cJSON.cpp</a>
-, <a class="el" href="SABER_2CMakeLists_8txt.html#a05913f7dca12c1fa26f8d42d76f793e7">CMakeLists.txt</a>
-, <a class="el" href="cJSON_8cpp.html#a69f85127495f4f14fe9d9d3ed1153c0f">cJSON.cpp</a>
-</li>
-<li>indent()
-: <a class="el" href="DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269">DCHG.cpp</a>
-</li>
-<li>inet_ntop()
-: <a class="el" href="extapi_8c.html#a815550360dffb66bbe62df2586b5bceb">extapi.c</a>
-</li>
-<li>isalnum()
-: <a class="el" href="extapi_8c.html#abe92a0aebef4717d08c64655ac44c9af">extapi.c</a>
-</li>
-<li>isalpha()
-: <a class="el" href="extapi_8c.html#af947cbf1ae303e5297c9d68c68a6b9cb">extapi.c</a>
-</li>
-<li>isblank()
-: <a class="el" href="extapi_8c.html#aaecd098576b00440124c44580144e8d5">extapi.c</a>
-</li>
-<li>iscntrl()
-: <a class="el" href="extapi_8c.html#a0008a4e8e7889734dc1d83297de07158">extapi.c</a>
-</li>
-<li>isdigit()
-: <a class="el" href="extapi_8c.html#a3fa45b35c8abf67a950b6d3d4063dede">extapi.c</a>
-</li>
-<li>isgraph()
-: <a class="el" href="extapi_8c.html#a49f40fd869fd0c90e4497fda08c89561">extapi.c</a>
-</li>
-<li>islower()
-: <a class="el" href="extapi_8c.html#aa22ae60881e18aa1b9ec1d94210307ed">extapi.c</a>
-</li>
-<li>isOperOverload()
-: <a class="el" href="CppUtil_8cpp.html#a2a7c55fe3b24b913890307e9ac6cb2ba">CppUtil.cpp</a>
-</li>
-<li>isprint()
-: <a class="el" href="extapi_8c.html#a99355d8f0fb41ec43effb95189db0ed4">extapi.c</a>
-</li>
-<li>ispunct()
-: <a class="el" href="extapi_8c.html#a9d60842d6ae065229ba810e6b01110da">extapi.c</a>
-</li>
-<li>isspace()
-: <a class="el" href="extapi_8c.html#a84b34b0058324ae5c0eae4956cf00cc5">extapi.c</a>
-</li>
-<li>isupper()
-: <a class="el" href="extapi_8c.html#adadd6582d46775aab6a51e29d16d9f77">extapi.c</a>
-</li>
-<li>isxdigit()
-: <a class="el" href="extapi_8c.html#adaf3aadefe3fc4fb07b6be0d7b880f53">extapi.c</a>
-</li>
-</ul>
-
-
-<h3><a id="index_j"></a>- j -</h3><ul>
-<li>jpeg_std_error()
-: <a class="el" href="extapi_8c.html#ae94edd22063e2b842d914b31af96b741">extapi.c</a>
-</li>
-</ul>
-
-
-<h3><a id="index_l"></a>- l -</h3><ul>
-<li>localtime_r()
-: <a class="el" href="extapi_8c.html#aa8b9c0d3e4e549fa2dc2e654afa1d09a">extapi.c</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="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">mta.cpp</a>
-, <a class="el" href="wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">wpa.cpp</a>
-, <a class="el" href="svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">svf-ex.cpp</a>
-, <a class="el" href="saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">saber.cpp</a>
-, <a class="el" href="llvm2svf_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">llvm2svf.cpp</a>
-</li>
-<li>memchr()
-: <a class="el" href="extapi_8c.html#a8b9b7da7d0b91e982da9acf6f63cdbc5">extapi.c</a>
-</li>
-<li>minify_string()
-: <a class="el" href="cJSON_8cpp.html#a569f331078de59d01dee9351fa106e3b">cJSON.cpp</a>
-</li>
-<li>mremap()
-: <a class="el" href="extapi_8c.html#aa1540638fbde3dc27844fbd24db1e642">extapi.c</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>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>
-</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>readdir_r()
-: <a class="el" href="extapi_8c.html#a3ccb1f4f10729777321e33899242f721">extapi.c</a>
-</li>
-<li>realpath()
-: <a class="el" href="extapi_8c.html#a6646e3960f1c015c86c3b45f6e5db53e">extapi.c</a>
-</li>
-<li>replace_item_in_object()
-: <a class="el" href="cJSON_8cpp.html#afdae75197cf2c440ef858a2e93b104f2">cJSON.cpp</a>
-</li>
-<li>replaceExtension()
-: <a class="el" href="llvm2svf_8cpp.html#a7234932227363d976b4dcf64ba29823c">llvm2svf.cpp</a>
-</li>
-<li>return()
-: <a class="el" href="cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe">cJSON.cpp</a>
-</li>
-</ul>
-
-
-<h3><a id="index_s"></a>- s -</h3><ul>
-<li>set()
-: <a class="el" href="WPA_2CMakeLists_8txt.html#acb857077b5bb0b1d50ed7b3864b3b6cf">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>strchr()
-: <a class="el" href="extapi_8c.html#afcd97f487174f9092b0f23c7ac78a55a">extapi.c</a>
-</li>
-<li>strerror_r()
-: <a class="el" href="extapi_8c.html#a5db20599ab5cff2baa37f783221b3606">extapi.c</a>
-</li>
-<li>strpbrk()
-: <a class="el" href="extapi_8c.html#a577b071bee67af4464665a1dc4f024e2">extapi.c</a>
-</li>
-<li>strptime()
-: <a class="el" href="extapi_8c.html#aab53cb0be9d04d5bbbff4e412ba99f5b">extapi.c</a>
-</li>
-<li>strrchr()
-: <a class="el" href="extapi_8c.html#a9b5ffb90d9a30625617401e6a5999e85">extapi.c</a>
-</li>
-<li>strstr()
-: <a class="el" href="extapi_8c.html#a4a710d86541afc6b7dafddcdb4b1c94f">extapi.c</a>
-</li>
-<li>strtod()
-: <a class="el" href="extapi_8c.html#ab017280f95ea769b9422688105f02653">extapi.c</a>
-</li>
-<li>strtof()
-: <a class="el" href="extapi_8c.html#a2370632318c3797a314f8eb62d37947c">extapi.c</a>
-</li>
-<li>strtol()
-: <a class="el" href="extapi_8c.html#a2ce966cd04da3c32320f54c332569e03">extapi.c</a>
-</li>
-<li>strtold()
-: <a class="el" href="extapi_8c.html#a2fb0bb1a4be5c0865b119ce0d89145a7">extapi.c</a>
-</li>
-<li>strtoul()
-: <a class="el" href="extapi_8c.html#aa7d767d03ce3929978c28f64e3a4b222">extapi.c</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>tmpnam_r()
-: <a class="el" href="extapi_8c.html#a0d302127bd577711c2af50614667171e">extapi.c</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>
-
-
-<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>

package/SVF-doxygen/html/html/globals_func_a.html

@@ -0,0 +1,91 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.17"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: File Members</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.17 -->
+<script type="text/javascript">
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+/* @license-end */
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+/* @license-end */</script>
+<div id="main-nav"></div>
+</div><!-- top -->
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</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>
+<li>aliasQuery()
+: <a class="el" href="svf-ex_8cpp.html#ad2f24f5ef6a8eaf0e4a77a8a4d31bc9f">svf-ex.cpp</a>
+</li>
+<li>asctime()
+: <a class="el" href="extapi_8c.html#a0c4353bbadbe08cd4ae12fc527a1c8bf">extapi.c</a>
+</li>
+<li>asctime_r()
+: <a class="el" href="extapi_8c.html#a000d88e36d0bc2e9f22fe8028ef29d70">extapi.c</a>
+</li>
+</ul>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.17
+</small></address>
+</body>
+</html>