svf-tools 1.0.469 → 1.0.472

package/SVF-doxygen/html/html/SVFUtil_8h.html

@@ -210,6 +210,53 @@ Functions</h2></td></tr>
 <tr class="separator:a757815a2c758695176120509ceb0ce70"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a168f7f7a3a8c70dbf2b5b4269cd4c7c5"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a168f7f7a3a8c70dbf2b5b4269cd4c7c5">SVF::SVFUtil::stopAnalysisLimitTimer</a> (bool limitTimerSet)</td></tr>
 <tr class="separator:a168f7f7a3a8c70dbf2b5b4269cd4c7c5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a817a63e8330530cb18e077556f7ce518"><td class="memItemLeft" align="right" valign="top">const std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a817a63e8330530cb18e077556f7ce518">SVF::SVFUtil::type2String</a> (const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *type)</td></tr>
+<tr class="separator:a817a63e8330530cb18e077556f7ce518"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab302ca3fcbde9bd1a7d9d5d837a69c23"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#ab302ca3fcbde9bd1a7d9d5d837a69c23">SVF::SVFUtil::isAnAllocationWraper</a> (const Instruction *)</td></tr>
+<tr class="memdesc:ab302ca3fcbde9bd1a7d9d5d837a69c23"><td class="mdescLeft">&#160;</td><td class="mdescRight">This function servers a allocation wrapper detector.  <a href="namespaceSVF_1_1SVFUtil.html#ab302ca3fcbde9bd1a7d9d5d837a69c23">More...</a><br /></td></tr>
+<tr class="separator:ab302ca3fcbde9bd1a7d9d5d837a69c23"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad98299033577f1e7f4e9bc73dff3b253"><td class="memItemLeft" align="right" valign="top">const Function *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#ad98299033577f1e7f4e9bc73dff3b253">SVF::SVFUtil::getLLVMFunction</a> (const Value *val)</td></tr>
+<tr class="memdesc:ad98299033577f1e7f4e9bc73dff3b253"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return LLVM function if this value is.  <a href="namespaceSVF_1_1SVFUtil.html#ad98299033577f1e7f4e9bc73dff3b253">More...</a><br /></td></tr>
+<tr class="separator:ad98299033577f1e7f4e9bc73dff3b253"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aad27a96075234ad2182a84e0e9d31a45"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#aad27a96075234ad2182a84e0e9d31a45">SVF::SVFUtil::isExtCall</a> (const CallSite cs)</td></tr>
+<tr class="separator:aad27a96075234ad2182a84e0e9d31a45"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af3e5fd7ffce966575ebf7c7e653b0919"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#af3e5fd7ffce966575ebf7c7e653b0919">SVF::SVFUtil::isExtCall</a> (const Instruction *inst)</td></tr>
+<tr class="separator:af3e5fd7ffce966575ebf7c7e653b0919"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aedfa6e9216c6c788c26aef1967689b76"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#aedfa6e9216c6c788c26aef1967689b76">SVF::SVFUtil::isHeapAllocExtCallViaArg</a> (const CallSite cs)</td></tr>
+<tr class="separator:aedfa6e9216c6c788c26aef1967689b76"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0bde3acf22383eac5bbf4e2c065a2226"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a0bde3acf22383eac5bbf4e2c065a2226">SVF::SVFUtil::isHeapAllocExtCallViaArg</a> (const Instruction *inst)</td></tr>
+<tr class="separator:a0bde3acf22383eac5bbf4e2c065a2226"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab2064cb70c76f399ce115f2621adea35"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#ab2064cb70c76f399ce115f2621adea35">SVF::SVFUtil::isHeapAllocExtCallViaRet</a> (const CallSite cs)</td></tr>
+<tr class="memdesc:ab2064cb70c76f399ce115f2621adea35"><td class="mdescLeft">&#160;</td><td class="mdescRight">interfaces to be used externally  <a href="namespaceSVF_1_1SVFUtil.html#ab2064cb70c76f399ce115f2621adea35">More...</a><br /></td></tr>
+<tr class="separator:ab2064cb70c76f399ce115f2621adea35"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a24514d87685f2258201f0de15d220bbc"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a24514d87685f2258201f0de15d220bbc">SVF::SVFUtil::isHeapAllocExtCallViaRet</a> (const Instruction *inst)</td></tr>
+<tr class="separator:a24514d87685f2258201f0de15d220bbc"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a93ac673b885633849fa484938405ca75"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a93ac673b885633849fa484938405ca75">SVF::SVFUtil::isHeapAllocExtCall</a> (const CallSite cs)</td></tr>
+<tr class="separator:a93ac673b885633849fa484938405ca75"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1ebbf43e294c3f94a2a7d5c56759bbba"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a1ebbf43e294c3f94a2a7d5c56759bbba">SVF::SVFUtil::isHeapAllocExtCall</a> (const Instruction *inst)</td></tr>
+<tr class="separator:a1ebbf43e294c3f94a2a7d5c56759bbba"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a298b6366145ed871faf3d01420ae5d20"><td class="memItemLeft" align="right" valign="top">int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a298b6366145ed871faf3d01420ae5d20">SVF::SVFUtil::getHeapAllocHoldingArgPosition</a> (const CallSite cs)</td></tr>
+<tr class="separator:a298b6366145ed871faf3d01420ae5d20"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5af986a7698e72272707cc2a466d5ae7"><td class="memItemLeft" align="right" valign="top">int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a5af986a7698e72272707cc2a466d5ae7">SVF::SVFUtil::getHeapAllocHoldingArgPosition</a> (const Instruction *inst)</td></tr>
+<tr class="separator:a5af986a7698e72272707cc2a466d5ae7"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6740e7686ba111ae525c6c093cbbaf46"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a6740e7686ba111ae525c6c093cbbaf46">SVF::SVFUtil::isReallocExtCall</a> (const CallSite cs)</td></tr>
+<tr class="separator:a6740e7686ba111ae525c6c093cbbaf46"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a42748153e4845f3eee0ca58a1e151f97"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a42748153e4845f3eee0ca58a1e151f97">SVF::SVFUtil::isReallocExtCall</a> (const Instruction *inst)</td></tr>
+<tr class="separator:a42748153e4845f3eee0ca58a1e151f97"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1f52a7f183f1eec7c4db7e4e54fa5e2c"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a1f52a7f183f1eec7c4db7e4e54fa5e2c">SVF::SVFUtil::isDeallocExtCall</a> (const CallSite cs)</td></tr>
+<tr class="separator:a1f52a7f183f1eec7c4db7e4e54fa5e2c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9973c1326717326b26ec1ea21ebd8da5"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a9973c1326717326b26ec1ea21ebd8da5">SVF::SVFUtil::isDeallocExtCall</a> (const Instruction *inst)</td></tr>
+<tr class="separator:a9973c1326717326b26ec1ea21ebd8da5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae62938f722543d6d7fc201b685be1abf"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#ae62938f722543d6d7fc201b685be1abf">SVF::SVFUtil::isStaticExtCall</a> (const CallSite cs)</td></tr>
+<tr class="separator:ae62938f722543d6d7fc201b685be1abf"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aab8ac16a9a2961f98001ab94aeaedf64"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#aab8ac16a9a2961f98001ab94aeaedf64">SVF::SVFUtil::isStaticExtCall</a> (const Instruction *inst)</td></tr>
+<tr class="separator:aab8ac16a9a2961f98001ab94aeaedf64"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab87fef7b10465d3e635643fcb93b95a7"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#ab87fef7b10465d3e635643fcb93b95a7">SVF::SVFUtil::isProgEntryFunction</a> (const Function *fun)</td></tr>
+<tr class="separator:ab87fef7b10465d3e635643fcb93b95a7"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6528edf9a1750df4a84d1a60d4d0bbe4"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a6528edf9a1750df4a84d1a60d4d0bbe4">SVF::SVFUtil::isProgExitCall</a> (const CallSite cs)</td></tr>
+<tr class="separator:a6528edf9a1750df4a84d1a60d4d0bbe4"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a68b531ca4077e71dcc6d085e47a9730b"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a68b531ca4077e71dcc6d085e47a9730b">SVF::SVFUtil::isProgExitCall</a> (const Instruction *inst)</td></tr>
+<tr class="separator:a68b531ca4077e71dcc6d085e47a9730b"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr><td colspan="2"><div class="groupHeader"></div></td></tr>
 <tr class="memitem:a5d4bb92f5df30417f414397f8e58cf01"><td class="memItemLeft" align="right" valign="top">std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a5d4bb92f5df30417f414397f8e58cf01">SVF::SVFUtil::errMsg</a> (std::string msg)</td></tr>
 <tr class="memdesc:a5d4bb92f5df30417f414397f8e58cf01"><td class="mdescLeft">&#160;</td><td class="mdescRight">Print error message by converting a string into red string output.  <a href="namespaceSVF_1_1SVFUtil.html#a5d4bb92f5df30417f414397f8e58cf01">More...</a><br /></td></tr>
@@ -234,6 +281,109 @@ Functions</h2></td></tr>
 <tr class="separator:a86c1c8bdfc1075c07c631525555194d2"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7486fd8e5350879ed1cbd835c0d4e191"><td class="memItemLeft" align="right" valign="top">const std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *value)</td></tr>
 <tr class="separator:a7486fd8e5350879ed1cbd835c0d4e191"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
+<tr class="memitem:a22ef185e767ff76c098e75126c885400"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">SVF::SVFUtil::isExtCall</a> (const SVFFunction *fun)</td></tr>
+<tr class="separator:a22ef185e767ff76c098e75126c885400"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a19b96a872d9096037f20e25122e469ea"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">SVF::SVFUtil::isHeapAllocExtFunViaRet</a> (const SVFFunction *fun)</td></tr>
+<tr class="memdesc:a19b96a872d9096037f20e25122e469ea"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return true if the call is a heap allocator/reallocator.  <a href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">More...</a><br /></td></tr>
+<tr class="separator:a19b96a872d9096037f20e25122e469ea"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab4a69173f50ebe48e69103befe516245"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#ab4a69173f50ebe48e69103befe516245">SVF::SVFUtil::isHeapAllocExtFunViaArg</a> (const SVFFunction *fun)</td></tr>
+<tr class="separator:ab4a69173f50ebe48e69103befe516245"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a73215bac62f1340a58f6c7f2ba9b0e7b"><td class="memItemLeft" align="right" valign="top">int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a73215bac62f1340a58f6c7f2ba9b0e7b">SVF::SVFUtil::getHeapAllocHoldingArgPosition</a> (const SVFFunction *fun)</td></tr>
+<tr class="memdesc:a73215bac62f1340a58f6c7f2ba9b0e7b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get the position of argument that holds an allocated heap object.  <a href="namespaceSVF_1_1SVFUtil.html#a73215bac62f1340a58f6c7f2ba9b0e7b">More...</a><br /></td></tr>
+<tr class="separator:a73215bac62f1340a58f6c7f2ba9b0e7b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a97c74c642ad43d955ac8a3f3ad8907b4"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">SVF::SVFUtil::isReallocExtFun</a> (const SVFFunction *fun)</td></tr>
+<tr class="memdesc:a97c74c642ad43d955ac8a3f3ad8907b4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return true if the call is a heap reallocator.  <a href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">More...</a><br /></td></tr>
+<tr class="separator:a97c74c642ad43d955ac8a3f3ad8907b4"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3495236e22e4bc6404b6ac352060439c"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a3495236e22e4bc6404b6ac352060439c">SVF::SVFUtil::isDeallocExtFun</a> (const SVFFunction *fun)</td></tr>
+<tr class="memdesc:a3495236e22e4bc6404b6ac352060439c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return true if the call is a heap dealloc or not.  <a href="namespaceSVF_1_1SVFUtil.html#a3495236e22e4bc6404b6ac352060439c">More...</a><br /></td></tr>
+<tr class="separator:a3495236e22e4bc6404b6ac352060439c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1bc9bb7bd6c9682debf3ffab7182abf5"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">SVF::SVFUtil::isStaticExtFun</a> (const SVFFunction *fun)</td></tr>
+<tr class="memdesc:a1bc9bb7bd6c9682debf3ffab7182abf5"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return true if the call is a static global call.  <a href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">More...</a><br /></td></tr>
+<tr class="separator:a1bc9bb7bd6c9682debf3ffab7182abf5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac3e7507fb376b1625bc1573132ab9f06"><td class="memItemLeft" align="right" valign="top">ExtAPI::extf_t&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#ac3e7507fb376b1625bc1573132ab9f06">SVF::SVFUtil::extCallTy</a> (const SVFFunction *fun)</td></tr>
+<tr class="memdesc:ac3e7507fb376b1625bc1573132ab9f06"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return external call type.  <a href="namespaceSVF_1_1SVFUtil.html#ac3e7507fb376b1625bc1573132ab9f06">More...</a><br /></td></tr>
+<tr class="separator:ac3e7507fb376b1625bc1573132ab9f06"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2c97c2b79b795465490512e267a9309b"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b">SVF::SVFUtil::isProgEntryFunction</a> (const SVFFunction *fun)</td></tr>
+<tr class="memdesc:a2c97c2b79b795465490512e267a9309b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Program entry function e.g. main.  <a href="namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b">More...</a><br /></td></tr>
+<tr class="separator:a2c97c2b79b795465490512e267a9309b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6f82e03d880257527bd9cb5978e05604"><td class="memItemLeft" align="right" valign="top">const SVFFunction *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a6f82e03d880257527bd9cb5978e05604">SVF::SVFUtil::getProgFunction</a> (SVFModule *svfModule, const std::string &amp;funName)</td></tr>
+<tr class="memdesc:a6f82e03d880257527bd9cb5978e05604"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get program entry function from module.  <a href="namespaceSVF_1_1SVFUtil.html#a6f82e03d880257527bd9cb5978e05604">More...</a><br /></td></tr>
+<tr class="separator:a6f82e03d880257527bd9cb5978e05604"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa8017e3e5100b3f63ee338b66118d266"><td class="memItemLeft" align="right" valign="top">const SVFFunction *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#aa8017e3e5100b3f63ee338b66118d266">SVF::SVFUtil::getProgEntryFunction</a> (SVFModule *svfModule)</td></tr>
+<tr class="memdesc:aa8017e3e5100b3f63ee338b66118d266"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get program entry function from module.  <a href="namespaceSVF_1_1SVFUtil.html#aa8017e3e5100b3f63ee338b66118d266">More...</a><br /></td></tr>
+<tr class="separator:aa8017e3e5100b3f63ee338b66118d266"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aec7ee60be22e8f9397db108131696d57"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57">SVF::SVFUtil::isProgExitFunction</a> (const SVFFunction *fun)</td></tr>
+<tr class="memdesc:aec7ee60be22e8f9397db108131696d57"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return true if this is a program exit function call.  <a href="namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57">More...</a><br /></td></tr>
+<tr class="separator:aec7ee60be22e8f9397db108131696d57"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9e85d445e8b7b205134acd3874bba388"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a9e85d445e8b7b205134acd3874bba388">SVF::SVFUtil::isConstantData</a> (const Value *val)</td></tr>
+<tr class="memdesc:a9e85d445e8b7b205134acd3874bba388"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return true if the value refers to constant data, e.g., i32 0.  <a href="namespaceSVF_1_1SVFUtil.html#a9e85d445e8b7b205134acd3874bba388">More...</a><br /></td></tr>
+<tr class="separator:a9e85d445e8b7b205134acd3874bba388"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac840e43fa58a90099de99a1953f091ac"><td class="memItemLeft" align="right" valign="top">const Value *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#ac840e43fa58a90099de99a1953f091ac">SVF::SVFUtil::getForkedFun</a> (const CallSite cs)</td></tr>
+<tr class="memdesc:ac840e43fa58a90099de99a1953f091ac"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return thread fork function.  <a href="namespaceSVF_1_1SVFUtil.html#ac840e43fa58a90099de99a1953f091ac">More...</a><br /></td></tr>
+<tr class="separator:ac840e43fa58a90099de99a1953f091ac"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4cc8c549625712e006079642c656ec83"><td class="memItemLeft" align="right" valign="top">const Value *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a4cc8c549625712e006079642c656ec83">SVF::SVFUtil::getForkedFun</a> (const Instruction *inst)</td></tr>
+<tr class="separator:a4cc8c549625712e006079642c656ec83"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
+<tr class="memitem:a61ed4bb80d88b0f8dbc02535c224fdfb"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a61ed4bb80d88b0f8dbc02535c224fdfb">SVF::SVFUtil::isHeapAllocOrStaticExtCall</a> (const CallSite cs)</td></tr>
+<tr class="memdesc:a61ed4bb80d88b0f8dbc02535c224fdfb"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return true if the call is a static global call.  <a href="namespaceSVF_1_1SVFUtil.html#a61ed4bb80d88b0f8dbc02535c224fdfb">More...</a><br /></td></tr>
+<tr class="separator:a61ed4bb80d88b0f8dbc02535c224fdfb"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0c8afe88cb58a2ac484c3bc4dd15ece9"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a0c8afe88cb58a2ac484c3bc4dd15ece9">SVF::SVFUtil::isHeapAllocOrStaticExtCall</a> (const Instruction *inst)</td></tr>
+<tr class="separator:a0c8afe88cb58a2ac484c3bc4dd15ece9"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
+<tr class="memitem:a5c2abeb363081381c3dc939ab511e3f0"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a5c2abeb363081381c3dc939ab511e3f0">SVF::SVFUtil::isThreadForkCall</a> (const CallSite cs)</td></tr>
+<tr class="separator:a5c2abeb363081381c3dc939ab511e3f0"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a834afc0042c24ed5a1dd00cadc1f00c3"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a834afc0042c24ed5a1dd00cadc1f00c3">SVF::SVFUtil::isThreadForkCall</a> (const Instruction *inst)</td></tr>
+<tr class="separator:a834afc0042c24ed5a1dd00cadc1f00c3"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
+<tr class="memitem:a28fbb7cc51eb7e25d88f43e3eb1f30fb"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a28fbb7cc51eb7e25d88f43e3eb1f30fb">SVF::SVFUtil::isHareParForCall</a> (const CallSite cs)</td></tr>
+<tr class="separator:a28fbb7cc51eb7e25d88f43e3eb1f30fb"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9b37c6fe1232ebc35ffa052bd392e2e8"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a9b37c6fe1232ebc35ffa052bd392e2e8">SVF::SVFUtil::isHareParForCall</a> (const Instruction *inst)</td></tr>
+<tr class="separator:a9b37c6fe1232ebc35ffa052bd392e2e8"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
+<tr class="memitem:a194a8cf292726bd6cd54307b555c068a"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a194a8cf292726bd6cd54307b555c068a">SVF::SVFUtil::isThreadJoinCall</a> (const CallSite cs)</td></tr>
+<tr class="separator:a194a8cf292726bd6cd54307b555c068a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a14793b41b05439a8a82fdce02e0587d5"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a14793b41b05439a8a82fdce02e0587d5">SVF::SVFUtil::isThreadJoinCall</a> (const Instruction *inst)</td></tr>
+<tr class="separator:a14793b41b05439a8a82fdce02e0587d5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
+<tr class="memitem:a3af5073a1cdc000678f7e4bbc943f5d5"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a3af5073a1cdc000678f7e4bbc943f5d5">SVF::SVFUtil::isThreadExitCall</a> (const CallSite cs)</td></tr>
+<tr class="separator:a3af5073a1cdc000678f7e4bbc943f5d5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aae025d6727ef34fbeaa7ad48a4dabdcd"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#aae025d6727ef34fbeaa7ad48a4dabdcd">SVF::SVFUtil::isThreadExitCall</a> (const Instruction *inst)</td></tr>
+<tr class="separator:aae025d6727ef34fbeaa7ad48a4dabdcd"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
+<tr class="memitem:a5f3ecd0770991b6e84afe47a3934f0d2"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a5f3ecd0770991b6e84afe47a3934f0d2">SVF::SVFUtil::isLockAquireCall</a> (const CallSite cs)</td></tr>
+<tr class="separator:a5f3ecd0770991b6e84afe47a3934f0d2"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a343dae805a34d102b9c1b96f173468df"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a343dae805a34d102b9c1b96f173468df">SVF::SVFUtil::isLockAquireCall</a> (const Instruction *inst)</td></tr>
+<tr class="separator:a343dae805a34d102b9c1b96f173468df"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
+<tr class="memitem:a1241ef1c19df14f7db0bd62dd68f14f9"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a1241ef1c19df14f7db0bd62dd68f14f9">SVF::SVFUtil::isLockReleaseCall</a> (const CallSite cs)</td></tr>
+<tr class="separator:a1241ef1c19df14f7db0bd62dd68f14f9"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a84ac49c70252036a957694f2cf05ae2c"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a84ac49c70252036a957694f2cf05ae2c">SVF::SVFUtil::isLockReleaseCall</a> (const Instruction *inst)</td></tr>
+<tr class="separator:a84ac49c70252036a957694f2cf05ae2c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
+<tr class="memitem:ad09ba410acbbaee2aac9dd406c3cf01a"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#ad09ba410acbbaee2aac9dd406c3cf01a">SVF::SVFUtil::isBarrierWaitCall</a> (const CallSite cs)</td></tr>
+<tr class="memdesc:ad09ba410acbbaee2aac9dd406c3cf01a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return true if this is a barrier wait call.  <a href="namespaceSVF_1_1SVFUtil.html#ad09ba410acbbaee2aac9dd406c3cf01a">More...</a><br /></td></tr>
+<tr class="separator:ad09ba410acbbaee2aac9dd406c3cf01a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0a7fc57e1f5cec705e310a4bb72cba94"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a0a7fc57e1f5cec705e310a4bb72cba94">SVF::SVFUtil::isBarrierWaitCall</a> (const Instruction *inst)</td></tr>
+<tr class="separator:a0a7fc57e1f5cec705e310a4bb72cba94"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
+<tr class="memitem:aaeeb386d80b51d729322317065606454"><td class="memItemLeft" align="right" valign="top">const Value *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#aaeeb386d80b51d729322317065606454">SVF::SVFUtil::getActualParmAtForkSite</a> (const CallSite cs)</td></tr>
+<tr class="memdesc:aaeeb386d80b51d729322317065606454"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return sole argument of the thread routine.  <a href="namespaceSVF_1_1SVFUtil.html#aaeeb386d80b51d729322317065606454">More...</a><br /></td></tr>
+<tr class="separator:aaeeb386d80b51d729322317065606454"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a01119ea4e3a10ebecdef4d390a1c4c88"><td class="memItemLeft" align="right" valign="top">const Value *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a01119ea4e3a10ebecdef4d390a1c4c88">SVF::SVFUtil::getActualParmAtForkSite</a> (const Instruction *inst)</td></tr>
+<tr class="separator:a01119ea4e3a10ebecdef4d390a1c4c88"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
+<tr class="memitem:ab048cbce6e4f5a3d6ff90da3565220ff"><td class="memItemLeft" align="right" valign="top">const Value *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#ab048cbce6e4f5a3d6ff90da3565220ff">SVF::SVFUtil::getTaskFuncAtHareParForSite</a> (const CallSite cs)</td></tr>
+<tr class="memdesc:ab048cbce6e4f5a3d6ff90da3565220ff"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the task function of the parallel_for routine.  <a href="namespaceSVF_1_1SVFUtil.html#ab048cbce6e4f5a3d6ff90da3565220ff">More...</a><br /></td></tr>
+<tr class="separator:ab048cbce6e4f5a3d6ff90da3565220ff"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a111fa1ecf72adbd2e0ff27e922f0d34a"><td class="memItemLeft" align="right" valign="top">const Value *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a111fa1ecf72adbd2e0ff27e922f0d34a">SVF::SVFUtil::getTaskFuncAtHareParForSite</a> (const Instruction *inst)</td></tr>
+<tr class="separator:a111fa1ecf72adbd2e0ff27e922f0d34a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
+<tr class="memitem:ad3471260b66bdd7e6b790ad2a94fe7ce"><td class="memItemLeft" align="right" valign="top">const Value *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#ad3471260b66bdd7e6b790ad2a94fe7ce">SVF::SVFUtil::getTaskDataAtHareParForSite</a> (const CallSite cs)</td></tr>
+<tr class="memdesc:ad3471260b66bdd7e6b790ad2a94fe7ce"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the task data argument of the parallel_for rountine.  <a href="namespaceSVF_1_1SVFUtil.html#ad3471260b66bdd7e6b790ad2a94fe7ce">More...</a><br /></td></tr>
+<tr class="separator:ad3471260b66bdd7e6b790ad2a94fe7ce"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5f3dd36ee492b60039928a86519518a5"><td class="memItemLeft" align="right" valign="top">const Value *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html#a5f3dd36ee492b60039928a86519518a5">SVF::SVFUtil::getTaskDataAtHareParForSite</a> (const Instruction *inst)</td></tr>
+<tr class="separator:a5f3dd36ee492b60039928a86519518a5"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 </div><!-- contents -->
 <!-- start footer part -->