svf-tools 1.0.611 → 1.0.613

package/SVF-doxygen/html/html/dir_90956dbb2b4fce09f1890e5e77e2f49b.html

@@ -79,6 +79,8 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:SVFIR2ItvExeState_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFIR2ItvExeState_8cpp.html">SVFIR2ItvExeState.cpp</a> <a href="SVFIR2ItvExeState_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:SVFIR2Relation_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFIR2Relation_8cpp.html">SVFIR2Relation.cpp</a> <a href="SVFIR2Relation_8cpp_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/files.html

@@ -223,6 +223,7 @@ $(function() {
 <tr id="row_1_0_2_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="RelationSolver_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="RelationSolver_8cpp.html" target="_self">RelationSolver.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_1_0_3_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="RelExeState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="RelExeState_8cpp.html" target="_self">RelExeState.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_1_0_4_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SVFIR2ItvExeState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2ItvExeState_8cpp.html" target="_self">SVFIR2ItvExeState.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_0_5_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SVFIR2Relation_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2Relation_8cpp.html" target="_self">SVFIR2Relation.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_1_1_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_1_1_" class="arrow" onclick="toggleFolder('1_1_')">&#9658;</span><span id="img_1_1_" class="iconfclosed" onclick="toggleFolder('1_1_')">&#160;</span><a class="el" href="dir_98f9a352f241e0e917d4efaa4086f6e8.html" target="_self">CFL</a></td><td class="desc"></td></tr>
 <tr id="row_1_1_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CFGNormalizer_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFGNormalizer_8cpp.html" target="_self">CFGNormalizer.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_1_1_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CFLAlias_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLAlias_8cpp.html" target="_self">CFLAlias.cpp</a></td><td class="desc"></td></tr>

package/SVF-doxygen/html/html/functions_func_t.html

@@ -255,25 +255,25 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a449ee8f244120866037c7f6d2ee5fc13">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateBinaryRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a3cb127efa4f315824e0b4ea3ba884e3b">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aca887785abc037c61cca1eaad9613339">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateCall()
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateCallRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a3bfb73cbea61274082c9c878f104722b">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a2b03588d7d74af8818ddac6596a0f384">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateCmp()
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aac5cc8767eb750bf121f1897788dee24">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateCmpRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ae6a74f67f9e4701a3777df8fe43892e9">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a89e3c835e16459e8b90e4a67127fa5da">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateCopy()
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#afcf2f81101f1b9580d82b5c2efb83999">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateCopyRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ad06189eb951cdd937a6ecbb2740dd0f9">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a9a971203ef834c8e8591fc745ae5a17d">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateGep()
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aa274b5b4e18c28ec8035ca1b073aacfc">SVF::SVFIR2ItvExeState</a>
@@ -282,31 +282,31 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a8f2a564370d9b9fb05e139c45eeaba68">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateLoadRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a43a3247816313d28e3a92ce9215b4185">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a3d9eeed61b6ef79b65c5c52c9ae82c04">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translatePhi()
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ae00e5398cbeb9aa1cfc464da4250a91e">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translatePhiRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a14a895472bba20b6544ced50f0a17e1f">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#af7b5bc422efbdfdf2f440209a695bded">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateRet()
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateRetRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a2ccc2cfba4c414d069585f36f396e8dd">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a8a20d2bafff92a5b8983a1566ed598d6">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateSelect()
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a604126e59364cb56b44a88cae5afbfb8">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateSelectRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aa16281a892c3a3c2015949d0a7415fd5">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a4a5e92df30da02bdb396fc6daad591fb">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateStore()
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aed2e41879bae8389c49e69356b7aaac5">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateStoreRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a0dfbdc846d4e3c3e99904cec20ae8359">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ac57d2a609c1159b4f653965eadce58cc">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>traverseDendrogram()
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#abd44e3b07b0482bacf6b1a080fe650c6">SVF::NodeIDAllocator::Clusterer</a>

package/SVF-doxygen/html/html/functions_t.html

@@ -604,25 +604,25 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a449ee8f244120866037c7f6d2ee5fc13">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateBinaryRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a3cb127efa4f315824e0b4ea3ba884e3b">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aca887785abc037c61cca1eaad9613339">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateCall()
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateCallRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a3bfb73cbea61274082c9c878f104722b">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a2b03588d7d74af8818ddac6596a0f384">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateCmp()
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aac5cc8767eb750bf121f1897788dee24">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateCmpRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ae6a74f67f9e4701a3777df8fe43892e9">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a89e3c835e16459e8b90e4a67127fa5da">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateCopy()
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#afcf2f81101f1b9580d82b5c2efb83999">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateCopyRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ad06189eb951cdd937a6ecbb2740dd0f9">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a9a971203ef834c8e8591fc745ae5a17d">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateGep()
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aa274b5b4e18c28ec8035ca1b073aacfc">SVF::SVFIR2ItvExeState</a>
@@ -631,31 +631,31 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a8f2a564370d9b9fb05e139c45eeaba68">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateLoadRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a43a3247816313d28e3a92ce9215b4185">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a3d9eeed61b6ef79b65c5c52c9ae82c04">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translatePhi()
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ae00e5398cbeb9aa1cfc464da4250a91e">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translatePhiRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a14a895472bba20b6544ced50f0a17e1f">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#af7b5bc422efbdfdf2f440209a695bded">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateRet()
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateRetRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a2ccc2cfba4c414d069585f36f396e8dd">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a8a20d2bafff92a5b8983a1566ed598d6">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateSelect()
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a604126e59364cb56b44a88cae5afbfb8">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateSelectRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aa16281a892c3a3c2015949d0a7415fd5">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a4a5e92df30da02bdb396fc6daad591fb">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateStore()
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aed2e41879bae8389c49e69356b7aaac5">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>translateStoreRel()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a0dfbdc846d4e3c3e99904cec20ae8359">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ac57d2a609c1159b4f653965eadce58cc">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>traverseDendrogram()
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#abd44e3b07b0482bacf6b1a080fe650c6">SVF::NodeIDAllocator::Clusterer</a>

package/SVF-doxygen/html/html/search/all_12.js

@@ -397,6 +397,7 @@ var searchData=
   ['svfir2itvexestate',['SVFIR2ItvExeState',['../classSVF_1_1SVFIR2ItvExeState.html',1,'SVF::SVFIR2ItvExeState'],['../classSVF_1_1ExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6',1,'SVF::ExeState::SVFIR2ItvExeState()'],['../classSVF_1_1IntervalExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6',1,'SVF::IntervalExeState::SVFIR2ItvExeState()'],['../classSVF_1_1RelExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6',1,'SVF::RelExeState::SVFIR2ItvExeState()'],['../classSVF_1_1SVFIR2ItvExeState.html#a3c9285321cc0c4e1c46a31be9433192f',1,'SVF::SVFIR2ItvExeState::SVFIR2ItvExeState()']]],
   ['svfir2itvexestate_2ecpp',['SVFIR2ItvExeState.cpp',['../SVFIR2ItvExeState_8cpp.html',1,'']]],
   ['svfir2itvexestate_2eh',['SVFIR2ItvExeState.h',['../SVFIR2ItvExeState_8h.html',1,'']]],
+  ['svfir2relation_2ecpp',['SVFIR2Relation.cpp',['../SVFIR2Relation_8cpp.html',1,'']]],
   ['svfirbuilder',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html',1,'SVF::SVFIRBuilder'],['../classSVF_1_1SVFIR.html#a46fadea4d08baefc8fbc1d8928da7f6b',1,'SVF::SVFIR::SVFIRBuilder()'],['../classSVF_1_1SVFIRBuilder.html#a1ecae204a349b69031f0edd7df7ca708',1,'SVF::SVFIRBuilder::SVFIRBuilder()']]],
   ['svfirbuilder_2ecpp',['SVFIRBuilder.cpp',['../SVFIRBuilder_8cpp.html',1,'']]],
   ['svfirbuilder_2eh',['SVFIRBuilder.h',['../SVFIRBuilder_8h.html',1,'']]],

package/SVF-doxygen/html/html/search/all_13.js

@@ -143,24 +143,24 @@ var searchData=
   ['trailingzeroscounter',['TrailingZerosCounter',['../structSVF_1_1TrailingZerosCounter.html',1,'SVF']]],
   ['translateaddr',['translateAddr',['../classSVF_1_1SVFIR2ItvExeState.html#af7f42ee51b03b1aaaee18f10eec0c2b9',1,'SVF::SVFIR2ItvExeState']]],
   ['translatebinary',['translateBinary',['../classSVF_1_1SVFIR2ItvExeState.html#a449ee8f244120866037c7f6d2ee5fc13',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatebinaryrel',['translateBinaryRel',['../classSVF_1_1SVFIR2ItvExeState.html#a3cb127efa4f315824e0b4ea3ba884e3b',1,'SVF::SVFIR2ItvExeState']]],
+  ['translatebinaryrel',['translateBinaryRel',['../classSVF_1_1SVFIR2ItvExeState.html#aca887785abc037c61cca1eaad9613339',1,'SVF::SVFIR2ItvExeState']]],
   ['translatecall',['translateCall',['../classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatecallrel',['translateCallRel',['../classSVF_1_1SVFIR2ItvExeState.html#a3bfb73cbea61274082c9c878f104722b',1,'SVF::SVFIR2ItvExeState']]],
+  ['translatecallrel',['translateCallRel',['../classSVF_1_1SVFIR2ItvExeState.html#a2b03588d7d74af8818ddac6596a0f384',1,'SVF::SVFIR2ItvExeState']]],
   ['translatecmp',['translateCmp',['../classSVF_1_1SVFIR2ItvExeState.html#aac5cc8767eb750bf121f1897788dee24',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatecmprel',['translateCmpRel',['../classSVF_1_1SVFIR2ItvExeState.html#ae6a74f67f9e4701a3777df8fe43892e9',1,'SVF::SVFIR2ItvExeState']]],
+  ['translatecmprel',['translateCmpRel',['../classSVF_1_1SVFIR2ItvExeState.html#a89e3c835e16459e8b90e4a67127fa5da',1,'SVF::SVFIR2ItvExeState']]],
   ['translatecopy',['translateCopy',['../classSVF_1_1SVFIR2ItvExeState.html#afcf2f81101f1b9580d82b5c2efb83999',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatecopyrel',['translateCopyRel',['../classSVF_1_1SVFIR2ItvExeState.html#ad06189eb951cdd937a6ecbb2740dd0f9',1,'SVF::SVFIR2ItvExeState']]],
+  ['translatecopyrel',['translateCopyRel',['../classSVF_1_1SVFIR2ItvExeState.html#a9a971203ef834c8e8591fc745ae5a17d',1,'SVF::SVFIR2ItvExeState']]],
   ['translategep',['translateGep',['../classSVF_1_1SVFIR2ItvExeState.html#aa274b5b4e18c28ec8035ca1b073aacfc',1,'SVF::SVFIR2ItvExeState']]],
   ['translateload',['translateLoad',['../classSVF_1_1SVFIR2ItvExeState.html#a8f2a564370d9b9fb05e139c45eeaba68',1,'SVF::SVFIR2ItvExeState']]],
-  ['translateloadrel',['translateLoadRel',['../classSVF_1_1SVFIR2ItvExeState.html#a43a3247816313d28e3a92ce9215b4185',1,'SVF::SVFIR2ItvExeState']]],
+  ['translateloadrel',['translateLoadRel',['../classSVF_1_1SVFIR2ItvExeState.html#a3d9eeed61b6ef79b65c5c52c9ae82c04',1,'SVF::SVFIR2ItvExeState']]],
   ['translatephi',['translatePhi',['../classSVF_1_1SVFIR2ItvExeState.html#ae00e5398cbeb9aa1cfc464da4250a91e',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatephirel',['translatePhiRel',['../classSVF_1_1SVFIR2ItvExeState.html#a14a895472bba20b6544ced50f0a17e1f',1,'SVF::SVFIR2ItvExeState']]],
+  ['translatephirel',['translatePhiRel',['../classSVF_1_1SVFIR2ItvExeState.html#af7b5bc422efbdfdf2f440209a695bded',1,'SVF::SVFIR2ItvExeState']]],
   ['translateret',['translateRet',['../classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc',1,'SVF::SVFIR2ItvExeState']]],
-  ['translateretrel',['translateRetRel',['../classSVF_1_1SVFIR2ItvExeState.html#a2ccc2cfba4c414d069585f36f396e8dd',1,'SVF::SVFIR2ItvExeState']]],
+  ['translateretrel',['translateRetRel',['../classSVF_1_1SVFIR2ItvExeState.html#a8a20d2bafff92a5b8983a1566ed598d6',1,'SVF::SVFIR2ItvExeState']]],
   ['translateselect',['translateSelect',['../classSVF_1_1SVFIR2ItvExeState.html#a604126e59364cb56b44a88cae5afbfb8',1,'SVF::SVFIR2ItvExeState']]],
-  ['translateselectrel',['translateSelectRel',['../classSVF_1_1SVFIR2ItvExeState.html#aa16281a892c3a3c2015949d0a7415fd5',1,'SVF::SVFIR2ItvExeState']]],
+  ['translateselectrel',['translateSelectRel',['../classSVF_1_1SVFIR2ItvExeState.html#a4a5e92df30da02bdb396fc6daad591fb',1,'SVF::SVFIR2ItvExeState']]],
   ['translatestore',['translateStore',['../classSVF_1_1SVFIR2ItvExeState.html#aed2e41879bae8389c49e69356b7aaac5',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatestorerel',['translateStoreRel',['../classSVF_1_1SVFIR2ItvExeState.html#a0dfbdc846d4e3c3e99904cec20ae8359',1,'SVF::SVFIR2ItvExeState']]],
+  ['translatestorerel',['translateStoreRel',['../classSVF_1_1SVFIR2ItvExeState.html#ac57d2a609c1159b4f653965eadce58cc',1,'SVF::SVFIR2ItvExeState']]],
   ['traversedendrogram',['traverseDendrogram',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#abd44e3b07b0482bacf6b1a080fe650c6',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['traverseonicfg',['traverseOnICFG',['../svf-ex_8cpp.html#addc5529c5b161d0c61eba4944428455e',1,'svf-ex.cpp']]],
   ['traverseonvfg',['traverseOnVFG',['../svf-ex_8cpp.html#ad58149e5445ad22ce478339e103ab42b',1,'svf-ex.cpp']]],

package/SVF-doxygen/html/html/search/files_e.js

@@ -30,6 +30,7 @@ var searchData=
   ['svfir_2eh',['SVFIR.h',['../SVFIR_8h.html',1,'']]],
   ['svfir2itvexestate_2ecpp',['SVFIR2ItvExeState.cpp',['../SVFIR2ItvExeState_8cpp.html',1,'']]],
   ['svfir2itvexestate_2eh',['SVFIR2ItvExeState.h',['../SVFIR2ItvExeState_8h.html',1,'']]],
+  ['svfir2relation_2ecpp',['SVFIR2Relation.cpp',['../SVFIR2Relation_8cpp.html',1,'']]],
   ['svfirbuilder_2ecpp',['SVFIRBuilder.cpp',['../SVFIRBuilder_8cpp.html',1,'']]],
   ['svfirbuilder_2eh',['SVFIRBuilder.h',['../SVFIRBuilder_8h.html',1,'']]],
   ['svfloop_2eh',['SVFLoop.h',['../SVFLoop_8h.html',1,'']]],

package/SVF-doxygen/html/html/search/functions_12.js

@@ -30,24 +30,24 @@ var searchData=
   ['toz3expr',['toZ3Expr',['../classSVF_1_1RelExeState.html#a8045abc5e96d0c7b373587c796180d3e',1,'SVF::RelExeState']]],
   ['translateaddr',['translateAddr',['../classSVF_1_1SVFIR2ItvExeState.html#af7f42ee51b03b1aaaee18f10eec0c2b9',1,'SVF::SVFIR2ItvExeState']]],
   ['translatebinary',['translateBinary',['../classSVF_1_1SVFIR2ItvExeState.html#a449ee8f244120866037c7f6d2ee5fc13',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatebinaryrel',['translateBinaryRel',['../classSVF_1_1SVFIR2ItvExeState.html#a3cb127efa4f315824e0b4ea3ba884e3b',1,'SVF::SVFIR2ItvExeState']]],
+  ['translatebinaryrel',['translateBinaryRel',['../classSVF_1_1SVFIR2ItvExeState.html#aca887785abc037c61cca1eaad9613339',1,'SVF::SVFIR2ItvExeState']]],
   ['translatecall',['translateCall',['../classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatecallrel',['translateCallRel',['../classSVF_1_1SVFIR2ItvExeState.html#a3bfb73cbea61274082c9c878f104722b',1,'SVF::SVFIR2ItvExeState']]],
+  ['translatecallrel',['translateCallRel',['../classSVF_1_1SVFIR2ItvExeState.html#a2b03588d7d74af8818ddac6596a0f384',1,'SVF::SVFIR2ItvExeState']]],
   ['translatecmp',['translateCmp',['../classSVF_1_1SVFIR2ItvExeState.html#aac5cc8767eb750bf121f1897788dee24',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatecmprel',['translateCmpRel',['../classSVF_1_1SVFIR2ItvExeState.html#ae6a74f67f9e4701a3777df8fe43892e9',1,'SVF::SVFIR2ItvExeState']]],
+  ['translatecmprel',['translateCmpRel',['../classSVF_1_1SVFIR2ItvExeState.html#a89e3c835e16459e8b90e4a67127fa5da',1,'SVF::SVFIR2ItvExeState']]],
   ['translatecopy',['translateCopy',['../classSVF_1_1SVFIR2ItvExeState.html#afcf2f81101f1b9580d82b5c2efb83999',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatecopyrel',['translateCopyRel',['../classSVF_1_1SVFIR2ItvExeState.html#ad06189eb951cdd937a6ecbb2740dd0f9',1,'SVF::SVFIR2ItvExeState']]],
+  ['translatecopyrel',['translateCopyRel',['../classSVF_1_1SVFIR2ItvExeState.html#a9a971203ef834c8e8591fc745ae5a17d',1,'SVF::SVFIR2ItvExeState']]],
   ['translategep',['translateGep',['../classSVF_1_1SVFIR2ItvExeState.html#aa274b5b4e18c28ec8035ca1b073aacfc',1,'SVF::SVFIR2ItvExeState']]],
   ['translateload',['translateLoad',['../classSVF_1_1SVFIR2ItvExeState.html#a8f2a564370d9b9fb05e139c45eeaba68',1,'SVF::SVFIR2ItvExeState']]],
-  ['translateloadrel',['translateLoadRel',['../classSVF_1_1SVFIR2ItvExeState.html#a43a3247816313d28e3a92ce9215b4185',1,'SVF::SVFIR2ItvExeState']]],
+  ['translateloadrel',['translateLoadRel',['../classSVF_1_1SVFIR2ItvExeState.html#a3d9eeed61b6ef79b65c5c52c9ae82c04',1,'SVF::SVFIR2ItvExeState']]],
   ['translatephi',['translatePhi',['../classSVF_1_1SVFIR2ItvExeState.html#ae00e5398cbeb9aa1cfc464da4250a91e',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatephirel',['translatePhiRel',['../classSVF_1_1SVFIR2ItvExeState.html#a14a895472bba20b6544ced50f0a17e1f',1,'SVF::SVFIR2ItvExeState']]],
+  ['translatephirel',['translatePhiRel',['../classSVF_1_1SVFIR2ItvExeState.html#af7b5bc422efbdfdf2f440209a695bded',1,'SVF::SVFIR2ItvExeState']]],
   ['translateret',['translateRet',['../classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc',1,'SVF::SVFIR2ItvExeState']]],
-  ['translateretrel',['translateRetRel',['../classSVF_1_1SVFIR2ItvExeState.html#a2ccc2cfba4c414d069585f36f396e8dd',1,'SVF::SVFIR2ItvExeState']]],
+  ['translateretrel',['translateRetRel',['../classSVF_1_1SVFIR2ItvExeState.html#a8a20d2bafff92a5b8983a1566ed598d6',1,'SVF::SVFIR2ItvExeState']]],
   ['translateselect',['translateSelect',['../classSVF_1_1SVFIR2ItvExeState.html#a604126e59364cb56b44a88cae5afbfb8',1,'SVF::SVFIR2ItvExeState']]],
-  ['translateselectrel',['translateSelectRel',['../classSVF_1_1SVFIR2ItvExeState.html#aa16281a892c3a3c2015949d0a7415fd5',1,'SVF::SVFIR2ItvExeState']]],
+  ['translateselectrel',['translateSelectRel',['../classSVF_1_1SVFIR2ItvExeState.html#a4a5e92df30da02bdb396fc6daad591fb',1,'SVF::SVFIR2ItvExeState']]],
   ['translatestore',['translateStore',['../classSVF_1_1SVFIR2ItvExeState.html#aed2e41879bae8389c49e69356b7aaac5',1,'SVF::SVFIR2ItvExeState']]],
-  ['translatestorerel',['translateStoreRel',['../classSVF_1_1SVFIR2ItvExeState.html#a0dfbdc846d4e3c3e99904cec20ae8359',1,'SVF::SVFIR2ItvExeState']]],
+  ['translatestorerel',['translateStoreRel',['../classSVF_1_1SVFIR2ItvExeState.html#ac57d2a609c1159b4f653965eadce58cc',1,'SVF::SVFIR2ItvExeState']]],
   ['traversedendrogram',['traverseDendrogram',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#abd44e3b07b0482bacf6b1a080fe650c6',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['traverseonicfg',['traverseOnICFG',['../svf-ex_8cpp.html#addc5529c5b161d0c61eba4944428455e',1,'svf-ex.cpp']]],
   ['traverseonvfg',['traverseOnVFG',['../svf-ex_8cpp.html#ad58149e5445ad22ce478339e103ab42b',1,'svf-ex.cpp']]],

package/lib/AbstractExecution/SVFIR2ItvExeState.cpp

@@ -28,6 +28,7 @@
  */
 
 #include "AbstractExecution/SVFIR2ItvExeState.h"
+#include "Util/Options.h"
 
 using namespace SVF;
 using namespace SVFUtil;
@@ -657,7 +658,12 @@ void SVFIR2ItvExeState::translateGep(const GepStmt *gep)
     else
     {
         VAddrs gepAddrs;
-        for (s32_t i = offsetPair.first; i <= offsetPair.second; i++)
+        s32_t ub = offsetPair.second;
+        if (offsetPair.second - offsetPair.first > (s32_t)Options::MaxFieldLimit - 1)
+        {
+            ub = offsetPair.first + (s32_t)Options::MaxFieldLimit - 1;
+        }
+        for (s32_t i = offsetPair.first; i <= ub; i++)
         {
             gepAddrs.join_with(getGepObjAddress(rhs, i));
         }

package/lib/AbstractExecution/SVFIR2Relation.cpp

@@ -0,0 +1,192 @@
+//
+// Created by Xiao on 2022/8/18.
+//
+
+#include "AbstractExecution/SVFIR2ItvExeState.h"
+
+using namespace SVF;
+using namespace SVFUtil;
+
+void SVFIR2ItvExeState::translateBinaryRel(const BinaryOPStmt *binary)
+{
+    NodeID op0 = binary->getOpVarID(0);
+    NodeID op1 = binary->getOpVarID(1);
+    NodeID res = binary->getResID();
+    Z3Expr &rel_res = _relEs[res];
+    const Z3Expr &rel_value0 = _relEs.toZ3Expr(op0);
+    const Z3Expr &rel_value1 = _relEs.toZ3Expr(op1);
+    switch (binary->getOpcode())
+    {
+    case BinaryOperator::Add:
+    {
+        rel_res = rel_value0 + rel_value1;
+        break;
+    }
+    case BinaryOperator::Sub:
+    {
+        rel_res = rel_value0 - rel_value1;
+        break;
+    }
+    case BinaryOperator::Mul:
+    {
+        rel_res = rel_value0 * rel_value1;
+        break;
+    }
+    case BinaryOperator::SDiv:
+    {
+        rel_res = rel_value0 / rel_value1;
+        break;
+    }
+    case BinaryOperator::SRem:
+        break;
+    case BinaryOperator::Xor:
+        break;
+    case BinaryOperator::And:
+        break;
+    case BinaryOperator::Or:
+        break;
+    case BinaryOperator::AShr:
+        break;
+    case BinaryOperator::Shl:
+        break;
+    default:
+    {
+        assert(false && "implement this part");
+        abort();
+    }
+    }
+}
+
+void SVFIR2ItvExeState::translateCmpRel(const CmpStmt *cmp)
+{
+    NodeID op0 = cmp->getOpVarID(0);
+    NodeID op1 = cmp->getOpVarID(1);
+    NodeID res_id = cmp->getResID();
+    u32_t predicate = cmp->getPredicate();
+    Z3Expr &rel_res = _relEs[res_id];
+    const Z3Expr &rel_value0 = _relEs.toZ3Expr(op0);
+    const Z3Expr &rel_value1 = _relEs.toZ3Expr(op1);
+    switch (predicate)
+    {
+    case CmpInst::ICMP_EQ:
+    {
+        rel_res = ite(rel_value0 == rel_value1, 1, 0);
+        break;
+    }
+    case CmpInst::ICMP_NE:
+    {
+        rel_res = ite(rel_value0 != rel_value1, 1, 0);
+        break;
+    }
+    case CmpInst::ICMP_UGT:
+    case CmpInst::ICMP_SGT:
+    {
+        rel_res = ite(rel_value0 > rel_value1, 1, 0);
+        break;
+    }
+    case CmpInst::ICMP_UGE:
+    case CmpInst::ICMP_SGE:
+    {
+        rel_res = ite(rel_value0 >= rel_value1, 1, 0);
+        break;
+    }
+    case CmpInst::ICMP_ULT:
+    case CmpInst::ICMP_SLT:
+    {
+        rel_res = ite(rel_value0 < rel_value1, 1, 0);
+        break;
+    }
+    case CmpInst::ICMP_ULE:
+    case CmpInst::ICMP_SLE:
+    {
+        rel_res = ite(rel_value0 <= rel_value1, 1, 0);
+        break;
+    }
+    default:
+        assert(false && "implement this part");
+        abort();
+    }
+}
+
+void SVFIR2ItvExeState::translateLoadRel(const LoadStmt *load)
+{
+    u32_t rhs = load->getRHSVarID();
+    u32_t lhs = load->getLHSVarID();
+    _relEs[lhs] = _relEs.load(Z3Expr((int) _es[rhs].lb().getNumeral()));
+}
+
+void SVFIR2ItvExeState::translateStoreRel(const StoreStmt *store)
+{
+    u32_t rhs = store->getRHSVarID();
+    u32_t lhs = store->getLHSVarID();
+    assert(_es[lhs].is_numeral() && "loc not numeral?");
+    _relEs.store(Z3Expr((int) _es[lhs].lb().getNumeral()), _relEs.toZ3Expr(rhs));
+
+}
+
+void SVFIR2ItvExeState::translateCopyRel(const CopyStmt *copy)
+{
+    u32_t rhs = copy->getRHSVarID();
+    u32_t lhs = copy->getLHSVarID();
+    _relEs[lhs] = _relEs.toZ3Expr(rhs);
+}
+
+void SVFIR2ItvExeState::translateSelectRel(const SelectStmt *select)
+{
+    u32_t res = select->getResID();
+    u32_t tval = select->getTrueValue()->getId();
+    u32_t fval = select->getFalseValue()->getId();
+    u32_t cond = select->getCondition()->getId();
+    if (_es[cond].is_numeral())
+    {
+        _relEs[res] = _es[cond].is_zero() ? _relEs.toZ3Expr(fval) : _relEs.toZ3Expr(tval);
+    }
+    else
+    {
+
+    }
+}
+
+void SVFIR2ItvExeState::translatePhiRel(const PhiStmt *phi, const ICFGNode *srcNode,
+                                        const std::vector<const ICFGEdge *> &path)
+{
+    u32_t res = phi->getResID();
+    std::unordered_map<const ICFGNode *, NodeID> candidate_ids;
+    for (u32_t i = 0; i < phi->getOpVarNum(); i++)
+    {
+        candidate_ids[phi->getOpICFGNode(i)] = phi->getOpVarID(i);
+    }
+    for (auto it = path.end() - 1; it != path.begin(); --it)
+    {
+        auto cur_node = (*it)->getDstNode();
+        if (candidate_ids.find(cur_node) != candidate_ids.end())
+        {
+            if (_es.getVarToVal().find(res) == _es.getVarToVal().end())
+            {
+                _relEs[res] = _relEs.toZ3Expr(candidate_ids[cur_node]);
+            }
+            else
+            {
+
+            }
+            return;
+        }
+    }
+    assert(false && "predecessor ICFGNode of this PhiStmt not found?");
+}
+
+void SVFIR2ItvExeState::translateCallRel(const CallPE *callPE)
+{
+    u32_t rhs = callPE->getRHSVarID();
+    u32_t lhs = callPE->getLHSVarID();
+    _relEs[lhs] = _relEs.toZ3Expr(rhs);
+}
+
+void SVFIR2ItvExeState::translateRetRel(const RetPE *retPE)
+{
+    u32_t lhs = retPE->getLHSVarID();
+    u32_t rhs = retPE->getRHSVarID();
+    _relEs[lhs] = _relEs.toZ3Expr(rhs);
+}
+
+

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.611",
+  "version": "1.0.613",
   "description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
   "main": "index.js",
   "scripts": {