svf-tools 1.0.477 → 1.0.480

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

@@ -160,27 +160,26 @@ $(function() {
 , <a class="el" href="epd_8c.html#ad588094bd12baaedfab1fbad84d7420c">epd.c</a>
 </li>
 <li>EpdNormalizeDecimal()
-: <a class="el" href="epd_8h.html#a45a9a9a3701d4af7b895140082afd3fa">epd.h</a>
-, <a class="el" href="epd_8c.html#a45a9a9a3701d4af7b895140082afd3fa">epd.c</a>
+: <a class="el" href="epd_8c.html#a45a9a9a3701d4af7b895140082afd3fa">epd.c</a>
+, <a class="el" href="epd_8h.html#a45a9a9a3701d4af7b895140082afd3fa">epd.h</a>
 </li>
 <li>EpDouble
 : <a class="el" href="epd_8h.html#a6da609fee802d939cf57b73a8c2656b5">epd.h</a>
 </li>
 <li>EpdPow2()
-: <a class="el" href="epd_8c.html#ab698b565b8fe370d23a71a92f1cbd460">epd.c</a>
-, <a class="el" href="epd_8h.html#ab698b565b8fe370d23a71a92f1cbd460">epd.h</a>
+: <a class="el" href="epd_8h.html#ab698b565b8fe370d23a71a92f1cbd460">epd.h</a>
+, <a class="el" href="epd_8c.html#ab698b565b8fe370d23a71a92f1cbd460">epd.c</a>
 </li>
 <li>EpdPow2Decimal()
 : <a class="el" href="epd_8h.html#aa69188dd624691e44c14889eba0cd9ca">epd.h</a>
 , <a class="el" href="epd_8c.html#aa69188dd624691e44c14889eba0cd9ca">epd.c</a>
 </li>
 <li>EpdSubtract3()
-: <a class="el" href="epd_8h.html#a766747cec957171a7386fec2faf697cd">epd.h</a>
-, <a class="el" href="epd_8c.html#a766747cec957171a7386fec2faf697cd">epd.c</a>
+: <a class="el" href="epd_8c.html#a766747cec957171a7386fec2faf697cd">epd.c</a>
+, <a class="el" href="epd_8h.html#a766747cec957171a7386fec2faf697cd">epd.h</a>
 </li>
 <li>epsilon
-: <a class="el" href="CFLGrammarDev_8txt.html#ac2933a97eaa2fb70d499347016ae1636">CFLGrammarDev.txt</a>
-, <a class="el" href="CFLGrammar_8txt.html#ac2933a97eaa2fb70d499347016ae1636">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">CFLGrammar.txt</a>
 </li>
 <li>EpType
 : <a class="el" href="epd_8h.html#a618ccbef690a6439abf31cd8b30330e9">epd.h</a>

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

@@ -63,10 +63,6 @@ $(function() {
 <h3><a id="index_f"></a>- f -</h3><ul>
 <li>F
 : <a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">CFLGrammar.txt</a>
-, <a class="el" href="CFLGrammarDev_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">CFLGrammarDev.txt</a>
-, <a class="el" href="CFLGrammar_8txt.html#a5526c6e27f7632db909dee64f361d2c9">CFLGrammar.txt</a>
-, <a class="el" href="CFLGrammarDev_8txt.html#a5526c6e27f7632db909dee64f361d2c9">CFLGrammarDev.txt</a>
-, <a class="el" href="CFLGrammar_8txt.html#ab3e8365e4019f02941439ff7980d8972">CFLGrammar.txt</a>
 </li>
 <li>fail
 : <a class="el" href="util_8h.html#a71a6998301cde817b7ade39eff117424">util.h</a>
@@ -75,9 +71,7 @@ $(function() {
 : <a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">cJSON.cpp</a>
 </li>
 <li>Fbar
-: <a class="el" href="CFLGrammarDev_8txt.html#a26cb9b576df028ed7909f996d5b6cd68">CFLGrammarDev.txt</a>
-, <a class="el" href="CFLGrammar_8txt.html#a6fd7ba961de09e32f8086ffb5c1d49cb">CFLGrammar.txt</a>
-, <a class="el" href="CFLGrammarDev_8txt.html#a6fd7ba961de09e32f8086ffb5c1d49cb">CFLGrammarDev.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">CFLGrammar.txt</a>
 </li>
 <li>fc_isnan()
 : <a class="el" href="fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0">fastcluster.cpp</a>
@@ -101,8 +95,8 @@ $(function() {
 : <a class="el" href="ExeState_8h.html#aec682540f2c8aa9deb79f610e4399411">ExeState.h</a>
 </li>
 <li>fmt
-: <a class="el" href="cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.cpp</a>
-, <a class="el" href="cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.h</a>
+: <a class="el" href="cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.cpp</a>
 </li>
 <li>for()
 : <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">cJSON.cpp</a>
@@ -111,12 +105,12 @@ $(function() {
 : <a class="el" href="cJSON_8h.html#a6122748ab66fdcaed151288ac056a1d1">cJSON.h</a>
 , <a class="el" href="cJSON_8cpp.html#a6122748ab66fdcaed151288ac056a1d1">cJSON.cpp</a>
 </li>
-<li>free()
-: <a class="el" href="util_8h.html#a3110dcad20c2a6616d360901b94e06a1">util.h</a>
-</li>
 <li>FREE
 : <a class="el" href="util_8h.html#aa279a8302d25fa9dfeb3e00161aee784">util.h</a>
 </li>
+<li>free()
+: <a class="el" href="util_8h.html#a3110dcad20c2a6616d360901b94e06a1">util.h</a>
+</li>
 <li>freeMatrix()
 : <a class="el" href="cuddInt_8c.html#ae61a29ea2e8e94b45114dbb698e14ac7">cuddInt.c</a>
 </li>

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

@@ -76,12 +76,6 @@ $(function() {
 <li>addMultiplicityGroups()
 : <a class="el" href="cuddInt_8c.html#a29f5c23b943bb38144362698dc8b60ed">cuddInt.c</a>
 </li>
-<li>Addr()
-: <a class="el" href="CFLGrammar_8txt.html#a6434ab7c4bf9aff40fdc0eccb3b2233b">CFLGrammar.txt</a>
-</li>
-<li>Addrbar()
-: <a class="el" href="CFLGrammar_8txt.html#abe55d46cd4b862944984f96d21c66c6d">CFLGrammar.txt</a>
-</li>
 <li>addVarToConst()
 : <a class="el" href="cuddInt_8c.html#a1beb03ec42d575c3c90eb690a0edf97b">cuddInt.c</a>
 </li>

package/SVF-doxygen/html/html/globals_func_f.html

@@ -61,14 +61,6 @@ $(function() {
  
 
 <h3><a id="index_f"></a>- f -</h3><ul>
-<li>F()
-: <a class="el" href="CFLGrammar_8txt.html#ab3e8365e4019f02941439ff7980d8972">CFLGrammar.txt</a>
-, <a class="el" href="CFLGrammarDev_8txt.html#a5526c6e27f7632db909dee64f361d2c9">CFLGrammarDev.txt</a>
-</li>
-<li>Fbar()
-: <a class="el" href="CFLGrammar_8txt.html#a6fd7ba961de09e32f8086ffb5c1d49cb">CFLGrammar.txt</a>
-, <a class="el" href="CFLGrammarDev_8txt.html#a6fd7ba961de09e32f8086ffb5c1d49cb">CFLGrammarDev.txt</a>
-</li>
 <li>fc_isnan()
 : <a class="el" href="fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0">fastcluster.cpp</a>
 </li>

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

@@ -62,12 +62,14 @@ $(function() {
 
 <h3><a id="index_g"></a>- g -</h3><ul>
 <li>Gep_i
-: <a class="el" href="CFLGrammar_8txt.html#a5b3055246549a012698b576b9d1b25c3">CFLGrammar.txt</a>
-, <a class="el" href="CFLGrammarDev_8txt.html#a5b3055246549a012698b576b9d1b25c3">CFLGrammarDev.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a3570ef0c1d906134e5aa6077d39fef04">CFLGrammar.txt</a>
 </li>
 <li>gep_type_iterator
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a61c08909930c80e172b5580fa0cc629f">BasicTypes.h</a>
 </li>
+<li>Gepbar_i
+: <a class="el" href="CFLGrammar_8txt.html#a439ab12c27eee7f7bf2190c952ba5725">CFLGrammar.txt</a>
+</li>
 <li>gepNodeNumIndex
 : <a class="el" href="PAGBuilderFromFile_8cpp.html#a1af3947dbaf1ad4364bc4818f70ead40">PAGBuilderFromFile.cpp</a>
 </li>

package/SVF-doxygen/html/html/globals_j.html

@@ -64,6 +64,12 @@ $(function() {
 <li>json
 : <a class="el" href="cJSON_8cpp.html#ac3d010a5f321146bc39a696b90a35c37">cJSON.cpp</a>
 </li>
+<li>JSON_OPT_FUNCTIONTYPE
+: <a class="el" href="ExtAPI_8h.html#a8af07ec3fec2ac9636dfb81bb7a8961e">ExtAPI.h</a>
+</li>
+<li>JSON_OPT_OVERWRITE
+: <a class="el" href="ExtAPI_8h.html#a6dec9d5ce6e777757e97065129d96874">ExtAPI.h</a>
+</li>
 <li>JUMP_UP_PROB
 : <a class="el" href="cuddInt_8c.html#a91b8f7055919a427c26d2ca5e5732548">cuddInt.c</a>
 </li>

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

@@ -98,6 +98,9 @@ $(function() {
 <li>LLVMContext
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a9f19a521d06397d1b6dc52c0388513d9">BasicTypes.h</a>
 </li>
+<li>Load
+: <a class="el" href="CFLGrammar_8txt.html#aac550daeb926fa3c77376959d6712fc6">CFLGrammar.txt</a>
+</li>
 <li>LOGBPL
 : <a class="el" href="cuddInt_8c.html#acae1cfa779e6e7550496f3889b5cbb25">cuddInt.c</a>
 </li>

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

@@ -206,22 +206,20 @@ $(function() {
 : <a class="el" href="st_8h.html#ab10245506c3e5d053c75a902ec62a074">st.h</a>
 , <a class="el" href="st_8c.html#a958c280b8f24c847ca511eaffd410f04">st.c</a>
 </li>
-<li>st_numcmp()
-: <a class="el" href="st_8c.html#a0ba60ae98aae8e6dd21bbe3b485bcfbe">st.c</a>
-</li>
 <li>ST_NUMCMP
 : <a class="el" href="st_8c.html#a2796b8bc2a5f15834d61a3519ad149d5">st.c</a>
 </li>
 <li>st_numcmp()
 : <a class="el" href="st_8h.html#a65b35768bcf5b6f173b063b441a493db">st.h</a>
-</li>
-<li>ST_NUMHASH
-: <a class="el" href="st_8c.html#a76573cced143d429f99bfb5e286c621e">st.c</a>
+, <a class="el" href="st_8c.html#a0ba60ae98aae8e6dd21bbe3b485bcfbe">st.c</a>
 </li>
 <li>st_numhash()
 : <a class="el" href="st_8h.html#a487317ef8c55ab34fb58ddfe47163b9e">st.h</a>
 , <a class="el" href="st_8c.html#aede320ef4713f295a335b4da6e1d8358">st.c</a>
 </li>
+<li>ST_NUMHASH
+: <a class="el" href="st_8c.html#a76573cced143d429f99bfb5e286c621e">st.c</a>
+</li>
 <li>ST_OUT_OF_MEM
 : <a class="el" href="st_8h.html#a1276d6ae80c20ae2ec082db7c502ef75">st.h</a>
 </li>
@@ -238,13 +236,13 @@ $(function() {
 : <a class="el" href="st_8c.html#a52bf6e577a2a87b2cdedb1c3d0e25075">st.c</a>
 , <a class="el" href="st_8h.html#a6073f524b9f0ec98b2b3d3e59e4e3fbf">st.h</a>
 </li>
+<li>ST_PTRHASH
+: <a class="el" href="st_8c.html#a524a1efaf5df2432aa5bf96e35546164">st.c</a>
+</li>
 <li>st_ptrhash()
 : <a class="el" href="st_8h.html#a144fc385b211526daab6da9ad5a854cc">st.h</a>
 , <a class="el" href="st_8c.html#ada6e90b4df1ca291977c89a6d4fdea06">st.c</a>
 </li>
-<li>ST_PTRHASH
-: <a class="el" href="st_8c.html#a524a1efaf5df2432aa5bf96e35546164">st.c</a>
-</li>
 <li>st_retval
 : <a class="el" href="st_8h.html#a0c6a172fd99de7928916e65034ed8b1f">st.h</a>
 </li>

package/SVF-doxygen/html/html/globals_v.html

@@ -89,6 +89,9 @@ $(function() {
 <li>vfunPreLabel
 : <a class="el" href="CPPUtil_8cpp.html#a74958d1db4b08e58aee58557d386c24b">CPPUtil.cpp</a>
 </li>
+<li>Vgep
+: <a class="el" href="CFLGrammar_8txt.html#a0ac67c3cc3f9d992f8c4e779092905e5">CFLGrammar.txt</a>
+</li>
 <li>VOID_OR_CHAR
 : <a class="el" href="util_8h.html#a97ba5606b96ef10cee313ae47ece8674">util.h</a>
 </li>

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

@@ -66,8 +66,7 @@ $(function() {
 , <a class="el" href="cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3">cJSON.cpp</a>
 </li>
 <li>__pad1__
-: <a class="el" href="CFLGrammarDev_8txt.html#a13f26ce59806bd1663350be4f8888464">CFLGrammarDev.txt</a>
-, <a class="el" href="cJSON_8cpp.html#a0f403f87e00518c167bd384374aeb6ad">cJSON.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#a0f403f87e00518c167bd384374aeb6ad">cJSON.cpp</a>
 </li>
 </ul>
 
@@ -77,11 +76,7 @@ $(function() {
 : <a class="el" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">cJSON.cpp</a>
 </li>
 <li>Addr
-: <a class="el" href="CFLGrammar_8txt.html#a2ffa1ee00ec8ef61103041d6cff4a7f9">CFLGrammar.txt</a>
-, <a class="el" href="CFLGrammarDev_8txt.html#a2ffa1ee00ec8ef61103041d6cff4a7f9">CFLGrammarDev.txt</a>
-</li>
-<li>Addrbar
-: <a class="el" href="CFLGrammar_8txt.html#ac999a2adc7cbeaf993f9a04c8ef24011">CFLGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8">CFLGrammar.txt</a>
 </li>
 <li>after_inserted
 : <a class="el" href="cJSON_8cpp.html#a38b1dcebd0d04ad6f2ee1872ec39d53d">cJSON.cpp</a>
@@ -128,6 +123,9 @@ $(function() {
 <li>content
 : <a class="el" href="cJSON_8cpp.html#a7886d4c98c027896a652ad0ada741709">cJSON.cpp</a>
 </li>
+<li>Copy
+: <a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">CFLGrammar.txt</a>
+</li>
 <li>copy
 : <a class="el" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">cJSON.cpp</a>
 </li>
@@ -172,8 +170,7 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#a936a27e51e66afb57c2b3a12d78a238e">cuddInt.c</a>
 </li>
 <li>epsilon
-: <a class="el" href="CFLGrammar_8txt.html#ac2933a97eaa2fb70d499347016ae1636">CFLGrammar.txt</a>
-, <a class="el" href="CFLGrammarDev_8txt.html#ac2933a97eaa2fb70d499347016ae1636">CFLGrammarDev.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">CFLGrammar.txt</a>
 </li>
 </ul>
 
@@ -181,10 +178,9 @@ $(function() {
 <h3><a id="index_f"></a>- f -</h3><ul>
 <li>F
 : <a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">CFLGrammar.txt</a>
-, <a class="el" href="CFLGrammarDev_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">CFLGrammarDev.txt</a>
 </li>
 <li>Fbar
-: <a class="el" href="CFLGrammarDev_8txt.html#a26cb9b576df028ed7909f996d5b6cd68">CFLGrammarDev.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">CFLGrammar.txt</a>
 </li>
 <li>fmt
 : <a class="el" href="cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.h</a>
@@ -199,8 +195,10 @@ $(function() {
 
 <h3><a id="index_g"></a>- g -</h3><ul>
 <li>Gep_i
-: <a class="el" href="CFLGrammar_8txt.html#a5b3055246549a012698b576b9d1b25c3">CFLGrammar.txt</a>
-, <a class="el" href="CFLGrammarDev_8txt.html#a5b3055246549a012698b576b9d1b25c3">CFLGrammarDev.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a3570ef0c1d906134e5aa6077d39fef04">CFLGrammar.txt</a>
+</li>
+<li>Gepbar_i
+: <a class="el" href="CFLGrammar_8txt.html#a439ab12c27eee7f7bf2190c952ba5725">CFLGrammar.txt</a>
 </li>
 <li>gepNodeNumIndex
 : <a class="el" href="PAGBuilderFromFile_8cpp.html#a1af3947dbaf1ad4364bc4818f70ead40">PAGBuilderFromFile.cpp</a>
@@ -261,6 +259,9 @@ $(function() {
 : <a class="el" href="cJSON_8h.html#a9f237f17f4e79d5b89149e09152edabe">cJSON.h</a>
 , <a class="el" href="cJSON_8cpp.html#a9f237f17f4e79d5b89149e09152edabe">cJSON.cpp</a>
 </li>
+<li>Load
+: <a class="el" href="CFLGrammar_8txt.html#aac550daeb926fa3c77376959d6712fc6">CFLGrammar.txt</a>
+</li>
 </ul>
 
 
@@ -429,6 +430,9 @@ $(function() {
 <li>vfunPreLabel
 : <a class="el" href="CPPUtil_8cpp.html#a74958d1db4b08e58aee58557d386c24b">CPPUtil.cpp</a>
 </li>
+<li>Vgep
+: <a class="el" href="CFLGrammar_8txt.html#a0ac67c3cc3f9d992f8c4e779092905e5">CFLGrammar.txt</a>
+</li>
 <li>vtblLabelAfterDemangle
 : <a class="el" href="CPPUtil_8cpp.html#ac43d67cde6cc257e442b3ac2ae8fb3f9">CPPUtil.cpp</a>
 </li>