npm - svf-tools - Versions diffs - 1.0.320 → 1.0.324 - Mend

svf-tools 1.0.320 → 1.0.324

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

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

@@ -69,27 +69,27 @@ $(function() {
 <p>This is the complete list of members for <a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a>, including all inherited members.</p>
 <table class="directory">
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ab5ee064069e588e9d5b686aba4aa39cf">addAddrEdge</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aa939418b3f4727fb7ec84057dd97ba66">addBinaryOPEdge</a>(NodeID op1, NodeID op2, NodeID dst, u32_t opcode)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a2a0711cb1fdd3c5c90b07ff107aff1ac">addAddrEdge</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a5832c14f0c8bf4d2f41921383c40340e">addBinaryOPEdge</a>(NodeID op1, NodeID op2, NodeID dst, u32_t opcode)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a3e80511758692d2ad4e5dbee15beb719">addBlackHoleAddrEdge</a>(NodeID node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ae0a1f66dee058f6af0f6b074db38db8e">addBranchStmt</a>(NodeID br, NodeID cond, const std::vector&lt; const ICFGNode *&gt; succs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#af4ff212d09284eb377eefd14f60d2f14">addCallEdge</a>(NodeID src, NodeID dst, const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a6636324fa8135f2be841e0d06d5e5f54">addCmpEdge</a>(NodeID op1, NodeID op2, NodeID dst, u32_t opcode)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a0a7183291291e3f91188607ead065c81">addCmpEdge</a>(NodeID op1, NodeID op2, NodeID dst, u32_t predict)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ab83a61a519cb0bb6fed823a938cf0602">addComplexConsForExt</a>(Value *D, Value *S, u32_t sz=0)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ab699fe11eed6d0eb655a55540de69586">addCopyEdge</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16">addCopyEdge</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ada73b0a14d4f545a59c37e11d6bd9d81">addEdge</a>(NodeID src, NodeID dst, PAGEdge::PEDGEK kind, Size_t offset=0, Instruction *cs=nullptr)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a1923643ba56b180b64ee32b95db8c642">addGepEdge</a>(NodeID src, NodeID dst, const LocationSet &amp;ls, bool constGep)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a45ab73a812809b3c725daf11b5da6141">addGepEdge</a>(NodeID src, NodeID dst, const LocationSet &amp;ls, bool constGep)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a55d8504dbc766c4ede031299a37417ef">addGlobalBlackHoleAddrEdge</a>(NodeID node, const ConstantExpr *int2Ptrce)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ab4327a515c8ce8dabd0457a93424df26">addLoadEdge</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ab19a9a94a7c8f382a70c3a3269f22959">addNormalGepEdge</a>(NodeID src, NodeID dst, const LocationSet &amp;ls)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a9fdcddcdcf14a90cc80d42de0d5ad189">addLoadEdge</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ab56217d45668368157d272d7a524c40d">addNormalGepEdge</a>(NodeID src, NodeID dst, const LocationSet &amp;ls)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a1717e26e29f50096b96d7e4c43fe1c76">addNullPtrNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ab6c80be878f5e9d888d8532a633a2566">addPhiNode</a>(NodeID res, NodeID opnd)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aadb890cbff1ea703ece726aefecb791c">addPhiStmt</a>(NodeID res, NodeID opnd)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a50702f09af1ea9d50ee4726fc8f8a65c">addRetEdge</a>(NodeID src, NodeID dst, const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a7e518bfc56c34dfbaaafbd78b85143b7">addStoreEdge</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ac5795471aff6ccb07a84ffe1277ff2d4">addStoreEdge</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a7a311f7789c6c7a028ad0f595c1e0295">addThreadForkEdge</a>(NodeID src, NodeID dst, const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a4acfddb8e683bbcc2e3949907361ea29">addThreadJoinEdge</a>(NodeID src, NodeID dst, const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a2020793d5013abd1300331302f0514d4">addUnaryOPEdge</a>(NodeID src, NodeID dst, u32_t opcode)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ad7c282ef14cefd8abcc48ec0c2d504aa">addVariantGepEdge</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a6102431dd8a8d7b050d5773e499d0fbf">addUnaryOPEdge</a>(NodeID src, NodeID dst, u32_t opcode)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a3fdaecda239de4e8d4178e01445c6ad2">addVariantGepEdge</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aa6d56f9580f76fd09d25ce6cf7541e98">build</a>(SVFModule *svfModule)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a87b75f04942124711d5ea1366e866890">computeGepOffset</a>(const User *V, LocationSet &amp;ls)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#aac1cbf0cb2b402b5fd0e2324c89c31b0">curBB</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
@@ -97,7 +97,7 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a4792ed440aab997e13321f5f6cba2156">getBaseTypeAndFlattenedFields</a>(Value *v, std::vector&lt; LocationSet &gt; &amp;fields)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a724198dcaf43730e1df814f15fe4e1e0">getCurrentBB</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a7bf5d4d18f74f70b61955810e4f01d8c">getCurrentValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a1f2f512b7cf1ebb9aa2cebe90c8372c2">getGepValNode</a>(const Value *val, const LocationSet &amp;ls, const Type *baseType, u32_t fieldidx)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#ad0b30ca8fc2939bb7360a3ff08727d58">getGepValVar</a>(const Value *val, const LocationSet &amp;ls, const Type *baseType, u32_t fieldidx)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a8e2440b87147a9d1380876d6beb410ae">getGlobalVarField</a>(const GlobalVariable *gvar, u32_t offset)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#a5a93f3d13e2b3df126fbc42b1bd09006">getObjectNode</a>(const Value *V)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html#af44d4587defa76f1e7f2645f9711558a">getPAG</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>