svf-tools 1.0.896 → 1.0.898

package/SVF-doxygen/html/functions_b.html

@@ -283,6 +283,9 @@ $(function() {
 <li>bit
 : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a853b685cf022839c183df46f1cafe638">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
+<li>BITCAST
+: <a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a77433e71effbacec14da8f658523fb3e">SVF::CopyStmt</a>
+</li>
 <li>BitNumber
 : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
@@ -356,10 +359,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce">SVF::SVFStat</a>
 </li>
 <li>BranchStmt()
-: <a class="el" href="classSVF_1_1BranchStmt.html#a714d118096f0a3d439cfbff10aa455a2">SVF::BranchStmt</a>
+: <a class="el" href="classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd">SVF::BranchStmt</a>
 </li>
 <li>BranchVFGNode()
-: <a class="el" href="classSVF_1_1BranchVFGNode.html#ad1aa629eae4006a68a1e6e8a7621a494">SVF::BranchVFGNode</a>
+: <a class="el" href="classSVF_1_1BranchVFGNode.html#adbaa9b14441cb66ad46671d93c09c513">SVF::BranchVFGNode</a>
 </li>
 <li>brConditions
 : <a class="el" href="classSVF_1_1CDGEdge.html#a061f2c40b29b00f09ff02206c09405c0">SVF::CDGEdge</a>
@@ -400,12 +403,12 @@ $(function() {
 <li>bugEventStack
 : <a class="el" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">SVF::GenericBug</a>
 </li>
-<li>bugSet
-: <a class="el" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">SVF::SVFBugReport</a>
-</li>
 <li>BugSet
 : <a class="el" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">SVF::SVFBugReport</a>
 </li>
+<li>bugSet
+: <a class="el" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">SVF::SVFBugReport</a>
+</li>
 <li>bugStr
 : <a class="el" href="classSVF_1_1AEStat.html#a2387fafd4d8f7775cb4ebf7b41b07bf8">SVF::AEStat</a>
 </li>
@@ -465,7 +468,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGBuilder.html#a87ad835786fb8fed2a24c122fa839c25">SVF::CHGBuilder</a>
 </li>
 <li>buildCHGNodes()
-: <a class="el" href="classSVF_1_1CHGBuilder.html#a648e97899c16a5634fc8369aef8a031f">SVF::CHGBuilder</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#abca5a0a010fdb63a3fa8b92ea0dd55e6">SVF::CHGBuilder</a>
 </li>
 <li>buildClassNameToAncestorsDescendantsMap()
 : <a class="el" href="classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb">SVF::CHGBuilder</a>
@@ -566,12 +569,12 @@ $(function() {
 <li>buildVTables()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a1215db390515a30fbc416fb14d2e863f">SVF::DCHGraph</a>
 </li>
-<li>BV
-: <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892">SVF::PointsTo</a>
-</li>
 <li>bv
 : <a class="el" href="classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587">SVF::PointsTo</a>
 </li>
+<li>BV
+: <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892">SVF::PointsTo</a>
+</li>
 <li>bv2int
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a5ee6157debdd7b34108d7375c8b6bef1">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1SingleAbsValue.html#a9e6498ae2ea330a9eb10bbc2030014b7">SVF::SingleAbsValue</a>

package/SVF-doxygen/html/functions_c.html

@@ -1168,7 +1168,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1AccessPath.html#ae746362c42da05a641ae062658e40651">SVF::AccessPath</a>
 </li>
 <li>computeDDAPts()
-: <a class="el" href="classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5">SVF::ContextDDA</a>
+: <a class="el" href="classSVF_1_1ContextDDA.html#ae0f3b07267ded5f0ee879c39effff864">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#a113faa56ee75eff39da19fd4b47a47e0">SVF::FlowDDA</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d">SVF::PointerAnalysis</a>
 </li>
@@ -1357,7 +1357,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7">SVF::WPAPass</a>
 </li>
 <li>ConsExeState()
-: <a class="el" href="classSVF_1_1ConsExeState.html#ae2868bff69d249ff28daff28fd3c86ea">SVF::ConsExeState</a>
+: <a class="el" href="classSVF_1_1ConsExeState.html#a61645ed0edcdab44f30f6e0e3989cb6d">SVF::ConsExeState</a>
 </li>
 <li>const_alias_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">SVF::SVFModule</a>
@@ -1522,23 +1522,32 @@ $(function() {
 <li>copyInEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">SVF::ConstraintNode</a>
 </li>
+<li>copyKind
+: <a class="el" href="classSVF_1_1CopyStmt.html#ab9ccfc4abb877add21319fa7e2d6b0a1">SVF::CopyStmt</a>
+</li>
+<li>CopyKind
+: <a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1">SVF::CopyStmt</a>
+</li>
 <li>copyOutEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">SVF::ConstraintNode</a>
 </li>
 <li>CopyStmt()
-: <a class="el" href="classSVF_1_1CopyStmt.html#aa965d58e96e8729d16d66387ee09eac7">SVF::CopyStmt</a>
+: <a class="el" href="classSVF_1_1CopyStmt.html#a63b808e82e75562c53e4371cc3d7ed1e">SVF::CopyStmt</a>
 </li>
 <li>copyTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb">SVF::FlowSensitive</a>
 </li>
+<li>COPYVAL
+: <a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a3fbb25d7761cca1dd44e06e41e5570c9">SVF::CopyStmt</a>
+</li>
 <li>CopyVFGNode()
-: <a class="el" href="classSVF_1_1CopyVFGNode.html#a0f3f697a0053bf5847db95f526bec1e7">SVF::CopyVFGNode</a>
+: <a class="el" href="classSVF_1_1CopyVFGNode.html#aee4a402546b3df92412a5252c9608818">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
-: <a class="el" href="classSVF_1_1CoreBitVector.html#a57b3db689583b652ab1426c04a66c4ae">SVF::CoreBitVector</a>
+: <a class="el" href="classSVF_1_1CoreBitVector.html#adb5b13df8bc76f00ceb145711cfb77e1">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
-: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#abe0289ad45158397b6950afc920f34ef">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#add4da76753804d22314f070e1ad1ce6f">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
 <li>count
 : <a class="el" href="classSVF_1_1AEStat.html#a03a5abacf309902ce2bb9a9733ff195f">SVF::AEStat</a>
@@ -1572,10 +1581,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba">SVF::MRSVFGNode</a>
 </li>
 <li>cptsBegin()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cptsEnd()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#aa4c47630b9a06d70375daf5e9237303d">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#a20026db57cfef6bf6a978140b2372cea">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CPtSet
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -1849,7 +1858,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b">SVF::Options</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#a673749f246b002b33ca3718a566779ca">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#a53fa464132d5e51e832158d2e928db32">SVF::CxtDPItem</a>
 </li>
 <li>cxtJoinInLoop
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707">SVF::ForkJoinAnalysis</a>
@@ -1900,7 +1909,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtStmt.html#a1fa357ea71dee45deac94141ef8cdd32">SVF::CxtStmt</a>
 </li>
 <li>CxtStmtDPItem()
-: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>cxtStmtList
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916">SVF::ForkJoinAnalysis</a>
@@ -1910,12 +1919,12 @@ $(function() {
 <li>CxtStmtSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2">SVF::LockAnalysis</a>
 </li>
-<li>cxtStmtToAliveFlagMap
-: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
-</li>
 <li>CxtStmtToAliveFlagMap
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
 </li>
+<li>cxtStmtToAliveFlagMap
+: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
+</li>
 <li>CxtStmtToCxtLockS
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a284e4c4d5d84da5ebe0938cad8490dfc">SVF::LockResultValidator</a>
 </li>
@@ -1943,7 +1952,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThread.html#ad05fb5464900d6d444c1fd3a6e0d9280">SVF::CxtThread</a>
 </li>
 <li>CxtThreadProc()
-: <a class="el" href="classSVF_1_1CxtThreadProc.html#acce14996e41ae55ae8e27b29408ef7c8">SVF::CxtThreadProc</a>
+: <a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">SVF::CxtThreadProc</a>
 </li>
 <li>CxtThreadProcSet
 : <a class="el" href="classSVF_1_1TCT.html#a09493a428c0ebe7f67847b48f0481f40">SVF::TCT</a>

package/SVF-doxygen/html/functions_e.html

@@ -358,7 +358,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MHP.html#ac10a8f3a4b09dc257be9edabccea3fbb">SVF::MHP</a>
 </li>
 <li>ExeState()
-: <a class="el" href="classSVF_1_1ExeState.html#a2e79702693c4fce03ab9fc03d1ceb2b8">SVF::ExeState</a>
+: <a class="el" href="classSVF_1_1ExeState.html#a62bef487b31f2a4ca27b4e9b183bdef5">SVF::ExeState</a>
 </li>
 <li>ExeState_TYPE
 : <a class="el" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8">SVF::ExeState</a>

package/SVF-doxygen/html/functions_enum.html

@@ -107,6 +107,9 @@ $(function() {
 <li>ConstraintEdgeK
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375">SVF::ConstraintEdge</a>
 </li>
+<li>CopyKind
+: <a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1">SVF::CopyStmt</a>
+</li>
 </ul>
 
 

package/SVF-doxygen/html/functions_eval_b.html

@@ -80,6 +80,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0e99fed4f3145668652aad5a3700e337">SVF::VFGNode</a>
 </li>
+<li>BITCAST
+: <a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a77433e71effbacec14da8f658523fb3e">SVF::CopyStmt</a>
+</li>
 <li>BITS_PER_ELEMENT
 : <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0aeb226b2e0dea78fbdbf5b780c3745f6d">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
 </li>

package/SVF-doxygen/html/functions_eval_c.html

@@ -157,6 +157,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad3469cdfb64f05163b5310b731b221da">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b">SVF::VFGNode</a>
 </li>
+<li>COPYVAL
+: <a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a3fbb25d7761cca1dd44e06e41e5570c9">SVF::CopyStmt</a>
+</li>
 <li>CPU
 : <a class="el" href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa">SVF::SVFStat</a>
 </li>

package/SVF-doxygen/html/functions_eval_f.html

@@ -157,6 +157,15 @@ $(function() {
 <li>FPOUT
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09">SVF::VFGNode</a>
 </li>
+<li>FPTOSI
+: <a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a975798ea3aeb2a77cc8858c712611afe">SVF::CopyStmt</a>
+</li>
+<li>FPTOUI
+: <a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a80a8638b1b7a7057fb4cd577e1949f6c">SVF::CopyStmt</a>
+</li>
+<li>FPTRUNC
+: <a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1ab364378cef751d1bca631f3bfacd0658">SVF::CopyStmt</a>
+</li>
 <li>FRem
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6aafa66e75600b0098c4fa3304720cb7a6">SVF::BinaryOPStmt</a>
 </li>

package/SVF-doxygen/html/functions_eval_i.html

@@ -129,6 +129,9 @@ $(function() {
 <li>IntraIndirectVF
 : <a class="el" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aa80551154bcfbfa84f02df32ead6b1b0">SVF::VFGEdge</a>
 </li>
+<li>INTTOPTR
+: <a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a32b1e88bbb7433ed8071e9dd9daa2c83">SVF::CopyStmt</a>
+</li>
 <li>IsBidirectional
 : <a class="el" href="classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a0552120a5aa8ae40a219b52934ad3409">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 </li>

package/SVF-doxygen/html/functions_eval_p.html

@@ -109,6 +109,9 @@ $(function() {
 <li>PTRONLYSVFG_OPT
 : <a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd">SVF::VFG</a>
 </li>
+<li>PTRTOINT
+: <a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1ae746463dbec33f7d026b1a43e9ea4b87">SVF::CopyStmt</a>
+</li>
 <li>PURE_ABSTRACT
 : <a class="el" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81">SVF::CHNode</a>
 , <a class="el" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73">SVF::DCHNode</a>

package/SVF-doxygen/html/functions_eval_s.html

@@ -82,12 +82,18 @@ $(function() {
 <li>SEQ
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a85142db6ed24203f054117f3a5110e2f">SVF::NodeIDAllocator</a>
 </li>
+<li>SEXT
+: <a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1ab55ad5d331f6e4a69f8e2f0d95e5d3a1">SVF::CopyStmt</a>
+</li>
 <li>Shl
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a193780e40cee5123c543b6f739b3b46b">SVF::BinaryOPStmt</a>
 </li>
 <li>SingleValueK
 : <a class="el" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8acb163848414937d2331958216330a20e">SVF::ExeState</a>
 </li>
+<li>SITOFP
+: <a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a78bc561098a07651f94e72bffa895e16">SVF::CopyStmt</a>
+</li>
 <li>SourceInst
 : <a class="el" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3ace4540f37504bfbfab8451b8823fe999">SVF::SVFBugEvent</a>
 </li>

package/SVF-doxygen/html/functions_eval_t.html

@@ -164,6 +164,9 @@ $(function() {
 <li>TPhi
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950">SVF::VFGNode</a>
 </li>
+<li>TRUNC
+: <a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1ab2b2f7dffed3d446a147fc7a27e66dd8">SVF::CopyStmt</a>
+</li>
 <li>TypeCPP_WPA
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3">SVF::PointerAnalysis</a>
 </li>

package/SVF-doxygen/html/functions_eval_u.html

@@ -67,6 +67,9 @@ $(function() {
 <li>UDiv
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250">SVF::BinaryOPStmt</a>
 </li>
+<li>UITOFP
+: <a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a821cd6daeaee15b117b41a272f743ff1">SVF::CopyStmt</a>
+</li>
 <li>UnaryOp
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">SVF::VFGNode</a>

package/SVF-doxygen/html/functions_eval_z.html

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

package/SVF-doxygen/html/functions_f.html

@@ -420,6 +420,15 @@ $(function() {
 <li>FPOUT
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09">SVF::VFGNode</a>
 </li>
+<li>FPTOSI
+: <a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a975798ea3aeb2a77cc8858c712611afe">SVF::CopyStmt</a>
+</li>
+<li>FPTOUI
+: <a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a80a8638b1b7a7057fb4cd577e1949f6c">SVF::CopyStmt</a>
+</li>
+<li>FPTRUNC
+: <a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1ab364378cef751d1bca631f3bfacd0658">SVF::CopyStmt</a>
+</li>
 <li>FRem
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6aafa66e75600b0098c4fa3304720cb7a6">SVF::BinaryOPStmt</a>
 </li>
@@ -430,7 +439,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379">SVF::IRGraph</a>
 </li>
 <li>fromString()
-: <a class="el" href="classOption.html#a90cb730780483d0b45378ffbab1b7226">Option&lt; T &gt;</a>
+: <a class="el" href="classOption.html#a1a2432713251f4422296c0c42efb9d9c">Option&lt; T &gt;</a>
 </li>
 <li>front()
 : <a class="el" href="classSVF_1_1FIFOWorkList.html#af58263ff13106f215a027badae017e52">SVF::FIFOWorkList&lt; Data &gt;</a>
@@ -573,7 +582,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ad2fb9517b64addcced67efe9cc83b994">SVF::ICFGNode</a>
 </li>
 <li>FunEntryICFGNode()
-: <a class="el" href="classSVF_1_1FunEntryICFGNode.html#a15fd95468e2200d92d650625d4fa2f31">SVF::FunEntryICFGNode</a>
+: <a class="el" href="classSVF_1_1FunEntryICFGNode.html#a7dd691564b9d7f760678a99977a2d655">SVF::FunEntryICFGNode</a>
 </li>
 <li>funEntryNode
 : <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a4a574589ae53d38e63fc4a26a5b9af61">SVF::FormalINSVFGNode</a>
@@ -582,7 +591,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376acf25925678f7fa5fba01766bd06a1fb8">SVF::ICFGNode</a>
 </li>
 <li>FunExitICFGNode()
-: <a class="el" href="classSVF_1_1FunExitICFGNode.html#a6abaea905a008e27d61ef31bd877dc0e">SVF::FunExitICFGNode</a>
+: <a class="el" href="classSVF_1_1FunExitICFGNode.html#a84f43a81c2b6df125f32ddcb47b8858b">SVF::FunExitICFGNode</a>
 </li>
 <li>funExitNode
 : <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#af5235111849f826880c10d7bcc635748">SVF::FormalOUTSVFGNode</a>
@@ -596,12 +605,12 @@ $(function() {
 <li>FunptrDDAClient()
 : <a class="el" href="classSVF_1_1FunptrDDAClient.html#a5aae3bed289371605ad831ae5a6ad6b5">SVF::FunptrDDAClient</a>
 </li>
-<li>funPtrToCallSitesMap
-: <a class="el" href="classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5">SVF::SVFIR</a>
-</li>
 <li>FunPtrToCallSitesMap
 : <a class="el" href="classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9">SVF::SVFIR</a>
 </li>
+<li>funPtrToCallSitesMap
+: <a class="el" href="classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5">SVF::SVFIR</a>
+</li>
 <li>FunRetBlock
 : <a class="el" href="classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac731cdb9d1269f6c25e1c80159154921">SVF::ICFGNode</a>
 </li>
@@ -674,12 +683,12 @@ $(function() {
 <li>FunToPAGEdgeSetMap
 : <a class="el" href="classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005">SVF::SVFIR</a>
 </li>
-<li>FunToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
-</li>
 <li>funToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b">SVF::MRGenerator</a>
 </li>
+<li>FunToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
+</li>
 <li>FunToPointsTosMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd">SVF::MRGenerator</a>
 </li>
@@ -692,12 +701,12 @@ $(function() {
 <li>FunToRetMap
 : <a class="el" href="classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3">SVF::SVFIR</a>
 </li>
-<li>funToReturnMuSetMap
-: <a class="el" href="classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c">SVF::MemSSA</a>
-</li>
 <li>FunToReturnMuSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92">SVF::MemSSA</a>
 </li>
+<li>funToReturnMuSetMap
+: <a class="el" href="classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c">SVF::MemSSA</a>
+</li>
 <li>funToVFGNodesMap
 : <a class="el" href="classSVF_1_1VFG.html#a9a99ae86d16ffe69bff9d52de769d049">SVF::VFG</a>
 </li>

package/SVF-doxygen/html/functions_func.html

@@ -334,10 +334,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1AndersenSCD.html#a0b5990e8b0230c019a2bcedbab354cba">SVF::AndersenSCD</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#a1fb9134ce0a8e901bb86c4a1954b17f2">SVF::CFLAlias</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#a2fdc85975893015a2b786c9bbd05e612">SVF::Steensgaard</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a29d377d01267c364ce1badd4c0f2e98f">SVF::SVFIRBuilder</a>
 </li>
 <li>addCopyStmt()
-: <a class="el" href="classSVF_1_1SVFIR.html#aa54b93ebf36944b548aaa74dbf8a144f">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a0fc9a394f0fc373897235c1e0052df6b">SVF::SVFIR</a>
 </li>
 <li>addCopyVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85">SVF::VFG</a>