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

svf-tools 1.0.768 → 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 (503) hide show

package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState-members.html CHANGED Viewed

@@ -77,50 +77,53 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ab8bd2de9d86489845f5a74727040b217">_relEs</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a4359c73e131a44f899c694fad25b7e1a">_svfir</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a198e8d5f586a698462dee2c3fde8c83e">applySummary</a>(IntervalExeState &amp;es)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aff392b7d4b703223338700209c2567cd">getContext</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a26a8068c25c7bea40b311f120d917cbb">getBytefromGepTypePair</a>(const AccessPath::VarAndGepTypePair &amp;gep_pair, const GepStmt *gep, s32_t elem_bytesize)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aff392b7d4b703223338700209c2567cd">getContext</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a56434326130c8127c823097ad764947b">getEs</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a33785e2f4181fe48a4092100386440e7">getGepByteOffset</a>(const GepStmt *gep, s32_t elemBytesize)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a3d135e0c48ec2bbe2fef524405fcb8b0">getGepObjAddress</a>(u32_t pointer, s32_t offset)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a6c4dfdb5a6cee8ea3479606b917ef9e9">getGepOffset</a>(const GepStmt *gep)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a66c426719f583653cb70189f01d6fda5">getInternalID</a>(u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a26f2ed7999321f7037be625a9ebef226">getRelEs</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(u32_t id)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a0c4be1dd8e7a2877c0cc76c404f6945a">getVirtualMemAddress</a>(u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a7deaeb8e157ac25fb1f22f67125a671e">globalNullVaddrs</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a646fa58f61db6abd98d0a04af1fab88d">initObjVar</a>(const ObjVar *objVar, u32_t varId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#af5d05c5316127cfe8d975a3a0a23798b">initSVFVar</a>(u32_t varId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a61d288c8dc621a0578faa5ff784f4b6e">initValVar</a>(const ValVar *valVar, u32_t varId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a174523c405d7a7d7dbbcbaa43c335665">inLocToAddrsTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ab5eebce09b695a3ea1a1c6d5641296e2">inLocToIValTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ae48cc31474d2c1cbc581b8f7ed433a14">isVirtualMemAddress</a>(u32_t val)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#af80d7665d9815a80ffdba92c3ba029d1">moveToGlobal</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a584e5b2285a2980fc57cf84b06a76e0c">narrowVAddrs</a>(IntervalExeState &amp;lhs, const IntervalExeState &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a2e9ecde8db07741daa112649c432cbfd">setEs</a>(const IntervalExeState &amp;es)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#af0b6abd2310a9bf0311760b290114341">setRelEs</a>(const RelExeState &amp;relEs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a3c9285321cc0c4e1c46a31be9433192f">SVFIR2ItvExeState</a>(SVFIR *ir)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#af7f42ee51b03b1aaaee18f10eec0c2b9">translateAddr</a>(const AddrStmt *addr)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a449ee8f244120866037c7f6d2ee5fc13">translateBinary</a>(const BinaryOPStmt *binary)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aca887785abc037c61cca1eaad9613339">translateBinaryRel</a>(const BinaryOPStmt *binary)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad">translateCall</a>(const CallPE *callPE)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a2b03588d7d74af8818ddac6596a0f384">translateCallRel</a>(const CallPE *callPE)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aac5cc8767eb750bf121f1897788dee24">translateCmp</a>(const CmpStmt *cmp)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a89e3c835e16459e8b90e4a67127fa5da">translateCmpRel</a>(const CmpStmt *cmp)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#afcf2f81101f1b9580d82b5c2efb83999">translateCopy</a>(const CopyStmt *copy)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a9a971203ef834c8e8591fc745ae5a17d">translateCopyRel</a>(const CopyStmt *copy)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aa274b5b4e18c28ec8035ca1b073aacfc">translateGep</a>(const GepStmt *gep)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a8f2a564370d9b9fb05e139c45eeaba68">translateLoad</a>(const LoadStmt *load)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a3d9eeed61b6ef79b65c5c52c9ae82c04">translateLoadRel</a>(const LoadStmt *load)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ae00e5398cbeb9aa1cfc464da4250a91e">translatePhi</a>(const PhiStmt *phi)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#af00e05b7e479cf79c2bd71dea212799d">translatePhiRel</a>(const PhiStmt *phi, const ICFGNode *srcNode, const std::vector&lt; const ICFGEdge * &gt; &amp;path)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc">translateRet</a>(const RetPE *retPE)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a8a20d2bafff92a5b8983a1566ed598d6">translateRetRel</a>(const RetPE *retPE)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a604126e59364cb56b44a88cae5afbfb8">translateSelect</a>(const SelectStmt *select)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a4a5e92df30da02bdb396fc6daad591fb">translateSelectRel</a>(const SelectStmt *select)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aed2e41879bae8389c49e69356b7aaac5">translateStore</a>(const StoreStmt *store)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ac57d2a609c1159b4f653965eadce58cc">translateStoreRel</a>(const StoreStmt *store)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a2b6de5a37851f83ed3fa8f69145148a8">VAddrs</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a57cbbcc977705ba7cd660bb5b632a66c">widenVAddrs</a>(IntervalExeState &amp;lhs, const IntervalExeState &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a841ace0635d388bc1f4d59d6761e4439">getIndexfromGepTypePair</a>(const AccessPath::VarAndGepTypePair &amp;gep_pair, const GepStmt *gep)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a66c426719f583653cb70189f01d6fda5">getInternalID</a>(u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a26f2ed7999321f7037be625a9ebef226">getRelEs</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(u32_t id)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a0c4be1dd8e7a2877c0cc76c404f6945a">getVirtualMemAddress</a>(u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a7deaeb8e157ac25fb1f22f67125a671e">globalNullVaddrs</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a646fa58f61db6abd98d0a04af1fab88d">initObjVar</a>(const ObjVar *objVar, u32_t varId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#af5d05c5316127cfe8d975a3a0a23798b">initSVFVar</a>(u32_t varId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a61d288c8dc621a0578faa5ff784f4b6e">initValVar</a>(const ValVar *valVar, u32_t varId)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a174523c405d7a7d7dbbcbaa43c335665">inLocToAddrsTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ab5eebce09b695a3ea1a1c6d5641296e2">inLocToIValTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ae48cc31474d2c1cbc581b8f7ed433a14">isVirtualMemAddress</a>(u32_t val)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#af80d7665d9815a80ffdba92c3ba029d1">moveToGlobal</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a584e5b2285a2980fc57cf84b06a76e0c">narrowVAddrs</a>(IntervalExeState &amp;lhs, const IntervalExeState &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a2e9ecde8db07741daa112649c432cbfd">setEs</a>(const IntervalExeState &amp;es)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#af0b6abd2310a9bf0311760b290114341">setRelEs</a>(const RelExeState &amp;relEs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a3c9285321cc0c4e1c46a31be9433192f">SVFIR2ItvExeState</a>(SVFIR *ir)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#af7f42ee51b03b1aaaee18f10eec0c2b9">translateAddr</a>(const AddrStmt *addr)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a449ee8f244120866037c7f6d2ee5fc13">translateBinary</a>(const BinaryOPStmt *binary)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aca887785abc037c61cca1eaad9613339">translateBinaryRel</a>(const BinaryOPStmt *binary)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad">translateCall</a>(const CallPE *callPE)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a2b03588d7d74af8818ddac6596a0f384">translateCallRel</a>(const CallPE *callPE)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aac5cc8767eb750bf121f1897788dee24">translateCmp</a>(const CmpStmt *cmp)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a89e3c835e16459e8b90e4a67127fa5da">translateCmpRel</a>(const CmpStmt *cmp)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#afcf2f81101f1b9580d82b5c2efb83999">translateCopy</a>(const CopyStmt *copy)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a9a971203ef834c8e8591fc745ae5a17d">translateCopyRel</a>(const CopyStmt *copy)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aa274b5b4e18c28ec8035ca1b073aacfc">translateGep</a>(const GepStmt *gep)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a8f2a564370d9b9fb05e139c45eeaba68">translateLoad</a>(const LoadStmt *load)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a3d9eeed61b6ef79b65c5c52c9ae82c04">translateLoadRel</a>(const LoadStmt *load)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ae00e5398cbeb9aa1cfc464da4250a91e">translatePhi</a>(const PhiStmt *phi)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#af00e05b7e479cf79c2bd71dea212799d">translatePhiRel</a>(const PhiStmt *phi, const ICFGNode *srcNode, const std::vector&lt; const ICFGEdge * &gt; &amp;path)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc">translateRet</a>(const RetPE *retPE)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a8a20d2bafff92a5b8983a1566ed598d6">translateRetRel</a>(const RetPE *retPE)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a604126e59364cb56b44a88cae5afbfb8">translateSelect</a>(const SelectStmt *select)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a4a5e92df30da02bdb396fc6daad591fb">translateSelectRel</a>(const SelectStmt *select)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aed2e41879bae8389c49e69356b7aaac5">translateStore</a>(const StoreStmt *store)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ac57d2a609c1159b4f653965eadce58cc">translateStoreRel</a>(const StoreStmt *store)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a2b6de5a37851f83ed3fa8f69145148a8">VAddrs</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a57cbbcc977705ba7cd660bb5b632a66c">widenVAddrs</a>(IntervalExeState &amp;lhs, const IntervalExeState &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></td><td class="entry"></td></tr>
 </table></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>