npm - svf-tools - Versions diffs - 1.0.769 → 1.0.770 - Mend

svf-tools 1.0.769 → 1.0.770

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

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

@@ -1,9 +1,9 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<!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.13"/>
+<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"/>
@@ -29,18 +29,21 @@
 </table>
 </div>
 <!-- end header part -->
-<!-- Generated by Doxygen 1.8.13 -->
+<!-- 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(); });
 });
-</script>
+/* @license-end */</script>
 <div id="main-nav"></div>
 </div><!-- top -->
 <!-- window showing the filter options -->
@@ -70,7 +73,7 @@ $(function() {
 <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.13
+</a> 1.8.17
 </small></address>
 </body>
 </html>

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

@@ -1,9 +1,9 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<!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.13"/>
+<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"/>
@@ -29,18 +29,21 @@
 </table>
 </div>
 <!-- end header part -->
-<!-- Generated by Doxygen 1.8.13 -->
+<!-- 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(); });
 });
-</script>
+/* @license-end */</script>
 <div id="main-nav"></div>
 </div><!-- top -->
 <!-- window showing the filter options -->
@@ -61,74 +64,8 @@ $(function() {
 &#160;
 <h3><a id="index_z"></a>- z -</h3><ul>
-<li>zdd_group_move()
-: <a class="el" href="cuddInt_8c.html#af0006d7d974fb2a0af438bb7d86a3845">cuddInt.c</a>
-</li>
-<li>zdd_group_move_backward()
-: <a class="el" href="cuddInt_8c.html#aa4ccf389dac492d015b04f412009cb92">cuddInt.c</a>
-</li>
-<li>zdd_subset0_aux()
-: <a class="el" href="cuddInt_8c.html#a112edfb1ec180b246e72258770d4b6fe">cuddInt.c</a>
-</li>
-<li>zdd_subset1_aux()
-: <a class="el" href="cuddInt_8c.html#ad78cb83ab33dac43948c3034b181d12c">cuddInt.c</a>
-</li>
-<li>zddFindNodeHiLo()
-: <a class="el" href="cuddInt_8c.html#a2a28d2d7b4eaf4908c57ac269ff92616">cuddInt.c</a>
-</li>
-<li>zddFixTree()
-: <a class="el" href="cuddInt_8c.html#a8b0f443e2676d8878a6337e80a4abcee">cuddInt.c</a>
-</li>
-<li>zddGroupMove()
-: <a class="el" href="cuddInt_8c.html#af4110304c5b6984353be6b1c73824c08">cuddInt.c</a>
-</li>
-<li>zddGroupMoveBackward()
-: <a class="el" href="cuddInt_8c.html#a854849fdf2490b0f6b4929503939c929">cuddInt.c</a>
-</li>
-<li>zddGroupSifting()
-: <a class="el" href="cuddInt_8c.html#ac8ce38998bf8c1caa305d5d451cf9965">cuddInt.c</a>
-</li>
-<li>zddGroupSiftingAux()
-: <a class="el" href="cuddInt_8c.html#a6018de6378686ce715b8baa7a356e217">cuddInt.c</a>
-</li>
-<li>zddGroupSiftingBackward()
-: <a class="el" href="cuddInt_8c.html#a0ef57840c37548f9ed3ca77748867cb9">cuddInt.c</a>
-</li>
-<li>zddGroupSiftingDown()
-: <a class="el" href="cuddInt_8c.html#ad9956388d0a03ddc7ed38c794d192925">cuddInt.c</a>
-</li>
-<li>zddGroupSiftingUp()
-: <a class="el" href="cuddInt_8c.html#ada21280ba854194a62b8ca449df921fb">cuddInt.c</a>
-</li>
-<li>zddMergeGroups()
-: <a class="el" href="cuddInt_8c.html#a84c8ed8408b209196dbcf87202c2eab3">cuddInt.c</a>
-</li>
-<li>zddReorderChildren()
-: <a class="el" href="cuddInt_8c.html#a1f3d598a5f88d36aef76bcd14504596a">cuddInt.c</a>
-</li>
-<li>zddReorderPostprocess()
-: <a class="el" href="cuddInt_8c.html#a8629296f4adb82bd83c38f0d5e880db2">cuddInt.c</a>
-</li>
-<li>zddReorderPreprocess()
-: <a class="el" href="cuddInt_8c.html#a25e7b84f81b7996deab36c70475bd32d">cuddInt.c</a>
-</li>
-<li>zddShuffle()
-: <a class="el" href="cuddInt_8c.html#a65c22670428d51352b844635719945ca">cuddInt.c</a>
-</li>
-<li>zddSiftUp()
-: <a class="el" href="cuddInt_8c.html#a45b4a592d6465d941c62c9dff409d924">cuddInt.c</a>
-</li>
-<li>zddSwapAny()
-: <a class="el" href="cuddInt_8c.html#a4e0e3bd045c0acb9396b20fddfdd5e7f">cuddInt.c</a>
-</li>
-<li>zddTreeSiftingAux()
-: <a class="el" href="cuddInt_8c.html#a108fa78e4e14ee6b99d061e6f1c93892">cuddInt.c</a>
-</li>
-<li>zddUniqueCompareGroup()
-: <a class="el" href="cuddInt_8c.html#a1466683cf410bcd175a319bdc22ae6ca">cuddInt.c</a>
-</li>
-<li>zddVarToConst()
-: <a class="el" href="cuddInt_8c.html#ad2dafff2305d86535c48b50fdf425f4e">cuddInt.c</a>
+<li>zError()
+: <a class="el" href="extapi_8c.html#a10c4297735fbf8c45419437c23ff7e08">extapi.c</a>
 </li>
 </ul>
 </div><!-- contents -->
@@ -136,7 +73,7 @@ $(function() {
 <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.13
+</a> 1.8.17
 </small></address>
 </body>
 </html>

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

@@ -95,27 +95,81 @@ $(function() {
 <li>getFilePath()
 : <a class="el" href="ExtAPI_8cpp.html#a7d2ff3727892c4ee0eff596174eb5b84">ExtAPI.cpp</a>
 </li>
+<li>getgrgid()
+: <a class="el" href="extapi_8c.html#aeb3b4526e1b23204c375939aeaf850ce">extapi.c</a>
+</li>
+<li>getgrnam()
+: <a class="el" href="extapi_8c.html#ac41b95afd2d94da07d8d13a6c0f30302">extapi.c</a>
+</li>
+<li>gethostbyaddr()
+: <a class="el" href="extapi_8c.html#a5f88b5bbdbd484e08aaca47663d2b8f6">extapi.c</a>
+</li>
+<li>gethostbyname()
+: <a class="el" href="extapi_8c.html#a636674bf9937205b85a797ee6077faa9">extapi.c</a>
+</li>
+<li>gethostbyname2()
+: <a class="el" href="extapi_8c.html#ab6842b392151e8bf8d53fe4343baf91e">extapi.c</a>
+</li>
+<li>getmntent()
+: <a class="el" href="extapi_8c.html#a97efc429c3b2da31963e723f0f6956c9">extapi.c</a>
+</li>
 <li>getmntent_r()
 : <a class="el" href="extapi_8c.html#a0467c34eaa7dd0434c17762177dd08bf">extapi.c</a>
 </li>
+<li>getprotobyname()
+: <a class="el" href="extapi_8c.html#a83ac8a97dd9d895cda658af3aa46fd55">extapi.c</a>
+</li>
+<li>getprotobynumber()
+: <a class="el" href="extapi_8c.html#a6adb569732e5880ffb2d4cc28d9cfc96">extapi.c</a>
+</li>
+<li>getpwent()
+: <a class="el" href="extapi_8c.html#a6c9819b8d04fd2807a7a017801b76d17">extapi.c</a>
+</li>
+<li>getpwnam()
+: <a class="el" href="extapi_8c.html#a08249b8fcd2bf95afbddd22fdc86814c">extapi.c</a>
+</li>
 <li>getpwnam_r()
 : <a class="el" href="extapi_8c.html#a9d2e8fbff1b6a171809af5ff4d9faf93">extapi.c</a>
 </li>
+<li>getpwuid()
+: <a class="el" href="extapi_8c.html#a795924df224a37a85b08eb0786973c81">extapi.c</a>
+</li>
 <li>getpwuid_r()
 : <a class="el" href="extapi_8c.html#a8d45eda5c086f3f4bf394644c3af43b7">extapi.c</a>
 </li>
+<li>getservbyname()
+: <a class="el" href="extapi_8c.html#aaa29998f05105541c3572935ee4008e5">extapi.c</a>
+</li>
+<li>getservbyport()
+: <a class="el" href="extapi_8c.html#a099394fe0553f8ecb44e704298d5812f">extapi.c</a>
+</li>
+<li>getspnam()
+: <a class="el" href="extapi_8c.html#aa1665720390f5730514cc8dd5c4c7bf2">extapi.c</a>
+</li>
 <li>GetStdoutFromCommand()
 : <a class="el" href="ExtAPI_8cpp.html#a424940f91f234b23bcc633f12269f935">ExtAPI.cpp</a>
 </li>
+<li>gettext()
+: <a class="el" href="extapi_8c.html#a1d8bce957bf9aadbd0eb67f5c8fc77d3">extapi.c</a>
+</li>
 <li>global_error
 : <a class="el" href="cJSON_8cpp.html#a6ff6e9678e47cf5347872008661d5846">cJSON.cpp</a>
 </li>
 <li>global_hooks
 : <a class="el" href="cJSON_8cpp.html#a855c7241e836a5b2d87577df8c113faf">cJSON.cpp</a>
 </li>
+<li>gmtime()
+: <a class="el" href="extapi_8c.html#a4c538a7b2efe7d8dfb7bf5956e91a0ad">extapi.c</a>
+</li>
 <li>gmtime_r()
 : <a class="el" href="extapi_8c.html#a78301bb1e43ee4dda8a7cfd04d99f9e5">extapi.c</a>
 </li>
+<li>gnu_get_libc_version()
+: <a class="el" href="extapi_8c.html#abccccf00b2d20e810f04ae4133abaded">extapi.c</a>
+</li>
+<li>gnutls_check_version()
+: <a class="el" href="extapi_8c.html#a81b6ce96363d37bbf41acb26ae8b25eb">extapi.c</a>
+</li>
 <li>gzgets()
 : <a class="el" href="extapi_8c.html#ac84ce7ca37e7c4e94aec43868a755cac">extapi.c</a>
 </li>

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

@@ -77,6 +77,12 @@ $(function() {
 <li>LLVM_NODISCARD
 : <a class="el" href="Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139">Casting.h</a>
 </li>
+<li>localeconv()
+: <a class="el" href="extapi_8c.html#a69b40f71a20a7c8bd67b9eeeae7f40c9">extapi.c</a>
+</li>
+<li>localtime()
+: <a class="el" href="extapi_8c.html#adb012b56c91f15a89702bfff38c7e69c">extapi.c</a>
+</li>
 <li>localtime_r()
 : <a class="el" href="extapi_8c.html#aa8b9c0d3e4e549fa2dc2e654afa1d09a">extapi.c</a>
 </li>

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

@@ -87,12 +87,15 @@ $(function() {
 <li>next
 : <a class="el" href="cJSON_8cpp.html#a2599f74bdbbc1b3fd1ba8db3789a0be7">cJSON.cpp</a>
 </li>
+<li>ngettext()
+: <a class="el" href="extapi_8c.html#ac4ffbac192a285f13ba01eeeffd72030">extapi.c</a>
+</li>
 <li>noalloc
 : <a class="el" href="cJSON_8cpp.html#a2212121102d55231315839f800aa1350">cJSON.cpp</a>
 </li>
 <li>NULL
-: <a class="el" href="extapi_8c.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">extapi.c</a>
-, <a class="el" href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">cJSON.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">cJSON.cpp</a>
+, <a class="el" href="extapi_8c.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">extapi.c</a>
 </li>
 <li>number
 : <a class="el" href="cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7">cJSON.h</a>

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

@@ -67,6 +67,9 @@ $(function() {
 <li>p
 : <a class="el" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">cJSON.cpp</a>
 </li>
+<li>pango_cairo_font_map_get_default()
+: <a class="el" href="extapi_8c.html#a0559aa9df5cd260eb79e9bc38ab77d52">extapi.c</a>
+</li>
 <li>parse_array()
 : <a class="el" href="cJSON_8cpp.html#a367cc7ac5a592211d9f18dc02dd23069">cJSON.cpp</a>
 </li>
@@ -114,7 +117,7 @@ $(function() {
 : <a class="el" href="cJSON_8cpp.html#af5b4e769356f10d99a7f66697c42c1bb">cJSON.cpp</a>
 </li>
 <li>print_value()
-: <a class="el" href="cJSON_8cpp.html#a0cbec0eca3676bc4510138c52e734813">cJSON.cpp</a>
+: <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>

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

@@ -68,6 +68,9 @@ $(function() {
 : <a class="el" href="cJSON_8h.html#a788db922597cf2fb6389e278f822e59f">cJSON.h</a>
 , <a class="el" href="cJSON_8cpp.html#a788db922597cf2fb6389e278f822e59f">cJSON.cpp</a>
 </li>
+<li>re_comp()
+: <a class="el" href="extapi_8c.html#ab92fb233728874f4d1d12e3820ae261d">extapi.c</a>
+</li>
 <li>READ_CREATE_EDGE_FWD
 : <a class="el" href="SVFFileSystem_8cpp.html#a30d1c3675b87f06ba8a58a010ae55fec">SVFFileSystem.cpp</a>
 </li>
@@ -81,8 +84,8 @@ $(function() {
 : <a class="el" href="extapi_8c.html#a6646e3960f1c015c86c3b45f6e5db53e">extapi.c</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>
@@ -94,19 +97,19 @@ $(function() {
 : <a class="el" href="llvm2svf_8cpp.html#a7234932227363d976b4dcf64ba29823c">llvm2svf.cpp</a>
 </li>
 <li>replacement
-: <a class="el" href="cJSON_8cpp.html#a10573fccca598ec39809e8beb3f7f791">cJSON.cpp</a>
-, <a class="el" href="cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791">cJSON.h</a>
+: <a class="el" href="cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#a10573fccca598ec39809e8beb3f7f791">cJSON.cpp</a>
 </li>
 <li>require_null_terminated
-: <a class="el" href="cJSON_8h.html#a68bc5d2265c7694323a75615f7ac0130">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130">cJSON.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130">cJSON.cpp</a>
+, <a class="el" href="cJSON_8h.html#a68bc5d2265c7694323a75615f7ac0130">cJSON.h</a>
 </li>
 <li>return()
 : <a class="el" href="cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe">cJSON.cpp</a>
 </li>
 <li>return_parse_end
-: <a class="el" href="cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9">cJSON.cpp</a>
+: <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#a67ee98e0a1d06555ea82c26cf1fa2b35">dda.cpp</a>

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

@@ -67,6 +67,9 @@ $(function() {
 <li>set()
 : <a class="el" href="WPA_2CMakeLists_8txt.html#acb857077b5bb0b1d50ed7b3864b3b6cf">CMakeLists.txt</a>
 </li>
+<li>setlocale()
+: <a class="el" href="extapi_8c.html#afe784c4f5d12b74272740c5211c960c5">extapi.c</a>
+</li>
 <li>skip_multiline_comment()
 : <a class="el" href="cJSON_8cpp.html#a4b9e22afcb0d33932c691b5af9f2560a">cJSON.cpp</a>
 </li>
@@ -76,6 +79,9 @@ $(function() {
 <li>skip_utf8_bom()
 : <a class="el" href="cJSON_8cpp.html#a13b2d9f17c3b80a8878405f2782cd916">cJSON.cpp</a>
 </li>
+<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_t.html CHANGED Viewed

@@ -64,6 +64,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_t"></a>- t -</h3><ul>
+<li>tgoto()
+: <a class="el" href="extapi_8c.html#a2ef27396e2742b0ab682b27153d1a0e3">extapi.c</a>
+</li>
 <li>THREADAPI_CPP_
 : <a class="el" href="ThreadAPI_8cpp.html#a2edb48ac961ebb1eb8937424c6b273f1">ThreadAPI.cpp</a>
 </li>
@@ -73,6 +76,9 @@ $(function() {
 <li>tmpnam_r()
 : <a class="el" href="extapi_8c.html#a0d302127bd577711c2af50614667171e">extapi.c</a>
 </li>
+<li>tparm()
+: <a class="el" href="extapi_8c.html#ac94fb461ca9c5d62db380781a58a7f82">extapi.c</a>
+</li>
 <li>traverseOnICFG()
 : <a class="el" href="svf-ex_8cpp.html#addc5529c5b161d0c61eba4944428455e">svf-ex.cpp</a>
 </li>

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

@@ -64,6 +64,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_z"></a>- z -</h3><ul>
+<li>zError()
+: <a class="el" href="extapi_8c.html#a10c4297735fbf8c45419437c23ff7e08">extapi.c</a>
+</li>
 <li>ztiLabel
 : <a class="el" href="CHGBuilder_8cpp.html#a4ecb39b2fb5510fb20341373b7ad5450">CHGBuilder.cpp</a>
 </li>

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

@@ -449,7 +449,7 @@ $(function() {
 <div class="ttc" id="aiterator__range_8h_html"><div class="ttname"><a href="iterator__range_8h.html">iterator_range.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1iter__adaptor__base_html_ad3e91fd59221ddbdc889bc081159f611"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html#ad3e91fd59221ddbdc889bc081159f611">SVF::iter_adaptor_base::iter_adaptor_base</a></div><div class="ttdeci">iter_adaptor_base(WrappedIteratorT u)</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00246">iterator.h:246</a></div></div>
 <div class="ttc" id="aclassSVF_1_1iter__facade__base_html_a040de7bda3801ef9c8ba28de1209e0e6"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#a040de7bda3801ef9c8ba28de1209e0e6">SVF::iter_facade_base&lt; DerivedT, typename std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type, typename std::iterator_traits&lt; WrappedIteratorT &gt;::difference_type, std::conditional_t&lt; std::is_same&lt; typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::pointer, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type * &gt;, std::conditional_t&lt; std::is_same&lt; typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::reference, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type &amp; &gt; &gt;::iterator_category</a></div><div class="ttdeci">typename std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category iterator_category</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00070">iterator.h:70</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00655">SVFUtil.h:655</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_af3b0c055d852656a062bf784222a4fea"><div class="ttname"><a href="namespaceSVF.html#af3b0c055d852656a062bf784222a4fea">SVF::raw_pointer_iterator</a></div><div class="ttdeci">pointer_iterator&lt; pointee_iter&lt; WrappedIteratorT, T1 &gt;, T2 &gt; raw_pointer_iterator</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00403">iterator.h:403</a></div></div>
 <div class="ttc" id="aclassSVF_1_1pointer__iterator_html_a12bae66eedebffd73730d091d99e3c9a"><div class="ttname"><a href="classSVF_1_1pointer__iterator.html#a12bae66eedebffd73730d091d99e3c9a">SVF::pointer_iterator::operator*</a></div><div class="ttdeci">T &amp; operator*()</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00378">iterator.h:378</a></div></div>
 <div class="ttc" id="aclassSVF_1_1iter__facade__base_1_1ReferenceProxy_html_aca4eadcdc568988ffddd09d359b1c1c3"><div class="ttname"><a href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aca4eadcdc568988ffddd09d359b1c1c3">SVF::iter_facade_base::ReferenceProxy::I</a></div><div class="ttdeci">DerivedT I</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00094">iterator.h:94</a></div></div>

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

@@ -135,7 +135,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
 <div class="ttc" id="aclassSVF_1_1iter__range_html_aced2e91eaf4970e387ad249f6e936373"><div class="ttname"><a href="classSVF_1_1iter__range.html#aced2e91eaf4970e387ad249f6e936373">SVF::iter_range::end_iterator</a></div><div class="ttdeci">IteratorT end_iterator</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00033">iterator_range.h:33</a></div></div>
 <div class="ttc" id="aclassSVF_1_1iter__range_html_a35c298cfeda798cbf4f65150796f8489"><div class="ttname"><a href="classSVF_1_1iter__range.html#a35c298cfeda798cbf4f65150796f8489">SVF::iter_range::begin</a></div><div class="ttdeci">IteratorT begin() const</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00046">iterator_range.h:46</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00655">SVFUtil.h:655</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
 <div class="ttc" id="aclassSVF_1_1iter__range_html_aa4d5bc9762f2d7686b9ab36078e0a319"><div class="ttname"><a href="classSVF_1_1iter__range.html#aa4d5bc9762f2d7686b9ab36078e0a319">SVF::iter_range::iter_range</a></div><div class="ttdeci">iter_range(IteratorT begin_iterator, IteratorT end_iterator)</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00042">iterator_range.h:42</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a3b6bc8132d0fd4902888ab9f77c20124"><div class="ttname"><a href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">SVF::make_range</a></div><div class="ttdeci">iter_range&lt; T &gt; make_range(T x, T y)</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00064">iterator_range.h:64</a></div></div>
 <div class="ttc" id="aclassSVF_1_1iter__range_html"><div class="ttname"><a href="classSVF_1_1iter__range.html">SVF::iter_range</a></div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00031">iterator_range.h:31</a></div></div>

package/SVF-doxygen/html/html/menudata.js CHANGED Viewed

@@ -286,23 +286,26 @@ var menudata={children:[
 {text:"z",url:"globals_z.html#index_z"}]},
 {text:"Functions",url:"globals_func.html",children:[
 {text:"_",url:"globals_func.html#index__5F"},
-{text:"a",url:"globals_func.html#index_a"},
-{text:"b",url:"globals_func.html#index_b"},
-{text:"c",url:"globals_func.html#index_c"},
-{text:"e",url:"globals_func.html#index_e"},
-{text:"f",url:"globals_func.html#index_f"},
-{text:"g",url:"globals_func.html#index_g"},
-{text:"h",url:"globals_func.html#index_h"},
-{text:"i",url:"globals_func.html#index_i"},
-{text:"j",url:"globals_func.html#index_j"},
-{text:"l",url:"globals_func.html#index_l"},
-{text:"m",url:"globals_func.html#index_m"},
-{text:"p",url:"globals_func.html#index_p"},
-{text:"r",url:"globals_func.html#index_r"},
-{text:"s",url:"globals_func.html#index_s"},
-{text:"t",url:"globals_func.html#index_t"},
-{text:"u",url:"globals_func.html#index_u"},
-{text:"w",url:"globals_func.html#index_w"}]},
+{text:"a",url:"globals_func_a.html#index_a"},
+{text:"b",url:"globals_func_b.html#index_b"},
+{text:"c",url:"globals_func_c.html#index_c"},
+{text:"d",url:"globals_func_d.html#index_d"},
+{text:"e",url:"globals_func_e.html#index_e"},
+{text:"f",url:"globals_func_f.html#index_f"},
+{text:"g",url:"globals_func_g.html#index_g"},
+{text:"h",url:"globals_func_h.html#index_h"},
+{text:"i",url:"globals_func_i.html#index_i"},
+{text:"j",url:"globals_func_j.html#index_j"},
+{text:"l",url:"globals_func_l.html#index_l"},
+{text:"m",url:"globals_func_m.html#index_m"},
+{text:"n",url:"globals_func_n.html#index_n"},
+{text:"p",url:"globals_func_p.html#index_p"},
+{text:"r",url:"globals_func_r.html#index_r"},
+{text:"s",url:"globals_func_s.html#index_s"},
+{text:"t",url:"globals_func_t.html#index_t"},
+{text:"u",url:"globals_func_u.html#index_u"},
+{text:"w",url:"globals_func_w.html#index_w"},
+{text:"z",url:"globals_func_z.html#index_z"}]},
 {text:"Variables",url:"globals_vars.html",children:[
 {text:"_",url:"globals_vars.html#index__5F"},
 {text:"a",url:"globals_vars.html#index_a"},

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

@@ -8544,7 +8544,7 @@ template&lt;typename GraphType &gt; </div>
 <div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00052">SVFType.h:52</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MSSADEF_html_a4cabef62b821efb0c88efb304fd0a70c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a4cabef62b821efb0c88efb304fd0a70c">SVF::MSSADEF::getType</a></div><div class="ttdeci">DEFTYPE getType() const</div><div class="ttdoc">Return type of this CHI.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00360">MSSAMuChi.h:360</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">SVF::PartialAlias</a></div><div class="ttdeci">@ PartialAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00590">SVFType.h:590</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00655">SVFUtil.h:655</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_a499ce9b5ddc1be98376f5a5791b38c86"><div class="ttname"><a href="SVFFileSystem_8h.html#a499ce9b5ddc1be98376f5a5791b38c86">ABORT_MSG</a></div><div class="ttdeci">#define ABORT_MSG(reason)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00032">SVFFileSystem.h:32</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a708e67ca4653f2e7b07a08cae850c33d"><div class="ttname"><a href="namespaceSVF.html#a708e67ca4653f2e7b07a08cae850c33d">SVF::jsonIsArray</a></div><div class="ttdeci">bool jsonIsArray(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00854">SVFFileSystem.cpp:854</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a9ee7e6892696b97837ca8845663c55e4"><div class="ttname"><a href="namespaceSVF.html#a9ee7e6892696b97837ca8845663c55e4">SVF::jsonAddItemToArray</a></div><div class="ttdeci">bool jsonAddItemToArray(cJSON *array, cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00952">SVFFileSystem.cpp:952</a></div></div>