svf-tools 1.0.425 → 1.0.428

package/SVF-doxygen/html/html/namespacemembers_b.html

@@ -64,20 +64,14 @@ $(function() {
 <li>BasicBlock
 : <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">SVF</a>
 </li>
-<li>BinaryOperator
-: <a class="el" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">SVF</a>
-</li>
-<li>BitCastInst
-: <a class="el" href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">SVF</a>
-</li>
 <li>BranchInst
 : <a class="el" href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">SVF</a>
 </li>
 <li>bridge_gep_begin()
-: <a class="el" href="namespacellvm.html#acfe99e9d441434240c79f6d76b73fe0a">llvm</a>
+: <a class="el" href="namespacellvm.html#abbab4f4ed7ffae3e7e715990a0b416fe">llvm</a>
 </li>
 <li>bridge_gep_end()
-: <a class="el" href="namespacellvm.html#adcacad81533beb6331d1cd4b1bbcf0d8">llvm</a>
+: <a class="el" href="namespacellvm.html#a7cfc92a12082d69711c97bb3d1b99c48">llvm</a>
 </li>
 <li>bridge_gep_iterator
 : <a class="el" href="namespacellvm.html#af77a7ec045719d1f075cf6c591902522">llvm</a>

package/SVF-doxygen/html/html/namespacemembers_c.html

@@ -64,9 +64,6 @@ $(function() {
 <li>CallBase
 : <a class="el" href="namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73">SVF</a>
 </li>
-<li>CallBrInst
-: <a class="el" href="namespaceSVF.html#ac6b6710585fc6667858ccfd4311b6ab5">SVF</a>
-</li>
 <li>CallInst
 : <a class="el" href="namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63">SVF</a>
 </li>
@@ -74,13 +71,10 @@ $(function() {
 : <a class="el" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF</a>
 </li>
 <li>CallStrCxt
-: <a class="el" href="namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960">SVF</a>
+: <a class="el" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">SVF</a>
 </li>
 <li>cast()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#acc2419a55c0427571f11ad14db2fe481">SVF::SVFUtil</a>
-</li>
-<li>CastInst
-: <a class="el" href="namespaceSVF.html#a962e9a9044a46fc4bd2367384f6e0827">SVF</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#af3ca049b4ce83c874e231f5e13bf36a8">SVF::SVFUtil</a>
 </li>
 <li>CFLSrcSnkSolver
 : <a class="el" href="namespaceSVF.html#a6144ebf5a46ac5e8899044864caf92ba">SVF</a>
@@ -88,9 +82,6 @@ $(function() {
 <li>CGSCC
 : <a class="el" href="namespaceSVF.html#a1f730acb8da8187da732631ca6bbff01">SVF</a>
 </li>
-<li>CmpInst
-: <a class="el" href="namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4">SVF</a>
-</li>
 <li>cmpNodeBS()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a8f749354b7e882ef3e5bf5081fa715b5">SVF::SVFUtil</a>
 </li>
@@ -115,27 +106,12 @@ $(function() {
 <li>ConstantDataArray
 : <a class="el" href="namespaceSVF.html#ad9ebd847ed5d901cd30b1cfcdaec3462">SVF</a>
 </li>
-<li>ConstantDataSequential
-: <a class="el" href="namespaceSVF.html#a8ad3aa124fabddc2fdd07c50403d70a9">SVF</a>
-</li>
-<li>ConstantExpr
-: <a class="el" href="namespaceSVF.html#a911dbaab38cb42deb9c195c7f687853d">SVF</a>
-</li>
-<li>ConstantFP
-: <a class="el" href="namespaceSVF.html#ad49e4222ba46d9490b87a80df8b46800">SVF</a>
-</li>
 <li>ConstantInt
 : <a class="el" href="namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7">SVF</a>
 </li>
 <li>ConstantPointerNull
 : <a class="el" href="namespaceSVF.html#a90f6c91ba7a3c31c84b5c25277d83fca">SVF</a>
 </li>
-<li>ConstantStruct
-: <a class="el" href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">SVF</a>
-</li>
-<li>ConstantTokenNone
-: <a class="el" href="namespaceSVF.html#aae40550b2952fd0e4483f3ee94e89820">SVF</a>
-</li>
 <li>CopySVFGNode
 : <a class="el" href="namespaceSVF.html#ab98f7c9e6311e649cdfd5d2f3f8e59be">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_f.html

@@ -61,18 +61,12 @@ $(function() {
 <div class="textblock">Here is a list of all namespace members with links to the namespace documentation for each member:</div>
 
 <h3><a id="index_f"></a>- f -</h3><ul>
-<li>FenceInst
-: <a class="el" href="namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b">SVF</a>
-</li>
 <li>FormalParmSVFGNode
 : <a class="el" href="namespaceSVF.html#ad466edced10faeafd48e96daf193b8a9">SVF</a>
 </li>
 <li>FormalRetSVFGNode
 : <a class="el" href="namespaceSVF.html#ae5987da3ffd5681e8ec4ef14ba54588e">SVF</a>
 </li>
-<li>FreezeInst
-: <a class="el" href="namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88">SVF</a>
-</li>
 <li>Function
 : <a class="el" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_func.html

@@ -184,11 +184,14 @@ $(function() {
 <li>getConstructorThisPtr()
 : <a class="el" href="namespaceSVF_1_1cppUtil.html#a26c3ceb82a398663284690c898a5354d">SVF::cppUtil</a>
 </li>
+<li>getDataLayout()
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#abe0dde753f9f79e30296208eb4d97eed">SVF::SVFUtil</a>
+</li>
 <li>getDefFunForMultipleModule()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a142e650415cb81011eb59dadd3cb0637">SVF::SVFUtil</a>
 </li>
 <li>getForkedFun()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a4cc8c549625712e006079642c656ec83">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ac840e43fa58a90099de99a1953f091ac">SVF::SVFUtil</a>
 </li>
 <li>getFunction()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a4f457db1cfa0d4f94762a306c0ac3757">SVF::SVFUtil</a>
@@ -242,7 +245,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#ad3471260b66bdd7e6b790ad2a94fe7ce">SVF::SVFUtil</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a111fa1ecf72adbd2e0ff27e922f0d34a">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ab048cbce6e4f5a3d6ff90da3565220ff">SVF::SVFUtil</a>
 </li>
 <li>getThunkTarget()
 : <a class="el" href="namespaceSVF_1_1cppUtil.html#ac9c6d4315e7a1a826add7ed9cf924553">SVF::cppUtil</a>
@@ -251,7 +254,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a973113323e30a01fd904b35ac18d40ce">SVF::SVFUtil</a>
 </li>
 <li>getTypeSizeInBytes()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a1dadc280bc2df41b82167ed236985dd5">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a86fec3512ea1fc724cf567f52d348678">SVF::SVFUtil</a>
 </li>
 <li>getUniqueUseViaCastInst()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#ad72b3529e87e71767c6d226821cfddb3">SVF::SVFUtil</a>

package/SVF-doxygen/html/html/namespacemembers_g.html

@@ -157,12 +157,12 @@ $(function() {
 <li>getConstructorThisPtr()
 : <a class="el" href="namespaceSVF_1_1cppUtil.html#a26c3ceb82a398663284690c898a5354d">SVF::cppUtil</a>
 </li>
+<li>getDataLayout()
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#abe0dde753f9f79e30296208eb4d97eed">SVF::SVFUtil</a>
+</li>
 <li>getDefFunForMultipleModule()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a142e650415cb81011eb59dadd3cb0637">SVF::SVFUtil</a>
 </li>
-<li>GetElementPtrInst
-: <a class="el" href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">SVF</a>
-</li>
 <li>getForkedFun()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#ac840e43fa58a90099de99a1953f091ac">SVF::SVFUtil</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_i.html

@@ -64,14 +64,8 @@ $(function() {
 <li>increaseStackSize()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a0d7588578735679773493ff2d5e458e1">SVF::SVFUtil</a>
 </li>
-<li>InsertElementInst
-: <a class="el" href="namespaceSVF.html#a6b857824fb3c39ff6de953651260a326">SVF</a>
-</li>
 <li>insertKey()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a4f75b8313eb2b1e5a4c798a01cb99471">SVF::SVFUtil</a>
-</li>
-<li>InsertValueInst
-: <a class="el" href="namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24">SVF</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7">SVF::SVFUtil</a>
 </li>
 <li>inst_iterator
 : <a class="el" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">SVF</a>
@@ -88,12 +82,6 @@ $(function() {
 <li>IntraPHISVFGNode
 : <a class="el" href="namespaceSVF.html#ad772e1586e369943f37c22641e93e941">SVF</a>
 </li>
-<li>IntToPtrInst
-: <a class="el" href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">SVF</a>
-</li>
-<li>InvokeInst
-: <a class="el" href="namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f">SVF</a>
-</li>
 <li>IRBuilder
 : <a class="el" href="namespaceSVF.html#a94824519e439aeef1568d415b6f7331c">SVF</a>
 </li>
@@ -110,7 +98,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a43c9072210a5f5baeafe36da03f2fde2">SVF::SVFUtil</a>
 </li>
 <li>isCallSite()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a2e08ce822223842fa6a73fd659b1a526">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a38bf8f7eaa18fc5a09711959b5417854">SVF::SVFUtil</a>
 </li>
 <li>isCastConstantExpr()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a7e404bcc6613ba10a56c4fbdc842c5a8">SVF::SVFUtil</a>
@@ -140,13 +128,13 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1cppUtil.html#af19bec54621f4605bac4feaf9f73803c">SVF::cppUtil</a>
 </li>
 <li>isExtCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#aad27a96075234ad2182a84e0e9d31a45">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">SVF::SVFUtil</a>
 </li>
 <li>isGepConstantExpr()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a384b0986a6c4e99dfc4e1629b3598c3c">SVF::SVFUtil</a>
 </li>
 <li>isHareParForCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a28fbb7cc51eb7e25d88f43e3eb1f30fb">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a9b37c6fe1232ebc35ffa052bd392e2e8">SVF::SVFUtil</a>
 </li>
 <li>isHeapAllocExtCall()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a93ac673b885633849fa484938405ca75">SVF::SVFUtil</a>
@@ -197,7 +185,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#acc9fd07cb66dbdeef696c3c745856094">SVF::SVFUtil</a>
 </li>
 <li>isProgEntryFunction()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ab87fef7b10465d3e635643fcb93b95a7">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b">SVF::SVFUtil</a>
 </li>
 <li>isProgExitCall()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a68b531ca4077e71dcc6d085e47a9730b">SVF::SVFUtil</a>
@@ -212,7 +200,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a4dcfe3e66a16813350ec8dffd47c5644">SVF::SVFUtil</a>
 </li>
 <li>isReallocExtCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a42748153e4845f3eee0ca58a1e151f97">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6740e7686ba111ae525c6c093cbbaf46">SVF::SVFUtil</a>
 </li>
 <li>isReallocExtFun()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">SVF::SVFUtil</a>
@@ -227,19 +215,19 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a07d991d5bfccce9ebdef0cbb6f4bf739">SVF::SVFUtil</a>
 </li>
 <li>isStaticExtCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#aab8ac16a9a2961f98001ab94aeaedf64">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ae62938f722543d6d7fc201b685be1abf">SVF::SVFUtil</a>
 </li>
 <li>isStaticExtFun()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">SVF::SVFUtil</a>
 </li>
 <li>isThreadExitCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#aae025d6727ef34fbeaa7ad48a4dabdcd">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a3af5073a1cdc000678f7e4bbc943f5d5">SVF::SVFUtil</a>
 </li>
 <li>isThreadForkCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5c2abeb363081381c3dc939ab511e3f0">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a834afc0042c24ed5a1dd00cadc1f00c3">SVF::SVFUtil</a>
 </li>
 <li>isThreadJoinCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a194a8cf292726bd6cd54307b555c068a">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a14793b41b05439a8a82fdce02e0587d5">SVF::SVFUtil</a>
 </li>
 <li>isTruncConstantExpr()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a1373688c6faba4dcdb640106575ea433">SVF::SVFUtil</a>

package/SVF-doxygen/html/html/namespacemembers_l.html

@@ -61,9 +61,6 @@ $(function() {
 <div class="textblock">Here is a list of all namespace members with links to the namespace documentation for each member:</div>
 
 <h3><a id="index_l"></a>- l -</h3><ul>
-<li>LandingPadInst
-: <a class="el" href="namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71">SVF</a>
-</li>
 <li>LLVMContext
 : <a class="el" href="namespaceSVF.html#affba423b674a0aba723e33101826e297">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_m.html

@@ -73,9 +73,6 @@ $(function() {
 <li>MDString
 : <a class="el" href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4">SVF</a>
 </li>
-<li>MemoryLocation
-: <a class="el" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">SVF</a>
-</li>
 <li>mergePtsOccMaps()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a36c91f952a69875c33d4bd0b05a27ff2">SVF::SVFUtil</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_p.html

@@ -76,9 +76,6 @@ $(function() {
 <li>pasMsg()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a609eea630a8f88fe9eaba15ce7e48738">SVF::SVFUtil</a>
 </li>
-<li>PHINode
-: <a class="el" href="namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674">SVF</a>
-</li>
 <li>PHISVFGNode
 : <a class="el" href="namespaceSVF.html#a71d4e214e049f02bf26537cba6328673">SVF</a>
 </li>
@@ -100,9 +97,6 @@ $(function() {
 <li>processArguments()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a62ca9a79ce7b6960e3fc42d8b183bd50">SVF::SVFUtil</a>
 </li>
-<li>PtrToIntInst
-: <a class="el" href="namespaceSVF.html#a3d5581c375ee3fe856327dc648c379f0">SVF</a>
-</li>
 <li>ptsToNodeBS()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a86ebab122895189be57637b84adc7642">SVF::SVFUtil</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_r.html

@@ -71,14 +71,11 @@ $(function() {
 : <a class="el" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76">SVF</a>
 </li>
 <li>removeKey()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#aee74719d33695e4da6fee5fc83f745d9">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#aa59af7fc01a534662b3b1524186ef97e">SVF::SVFUtil</a>
 </li>
 <li>reportMemoryUsageKB()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6cfe12afa463d0ceddeee11540c33ab3">SVF::SVFUtil</a>
 </li>
-<li>ResumeInst
-: <a class="el" href="namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa">SVF</a>
-</li>
 <li>ReturnInst
 : <a class="el" href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_s.html

@@ -82,26 +82,11 @@ $(function() {
 <li>SCEVConstant
 : <a class="el" href="namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63">SVF</a>
 </li>
-<li>SelectInst
-: <a class="el" href="namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307">SVF</a>
-</li>
 <li>Set
 : <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF</a>
 </li>
-<li>ShuffleVectorInst
-: <a class="el" href="namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49">SVF</a>
-</li>
 <li>SmallBBVector
-: <a class="el" href="namespaceSVF.html#ad09d8882474ef59b50d1c6a6d3ba0b59">SVF</a>
-</li>
-<li>SmallVector
-: <a class="el" href="namespaceSVF.html#aa408bbe668ca1208beceae0f842079b4">SVF</a>
-</li>
-<li>SmallVector16
-: <a class="el" href="namespaceSVF.html#a9893c2871f3e879e8e50c2ed157bc615">SVF</a>
-</li>
-<li>SmallVector8
-: <a class="el" href="namespaceSVF.html#a5b2b380d8e5b1c790157dc4799d3f403">SVF</a>
+: <a class="el" href="namespaceSVF.html#a02be4933b76c2baa7fdbe8b290e12bb3">SVF</a>
 </li>
 <li>SparseBitVector
 : <a class="el" href="namespaceSVF.html#ab6cf2115b54ef7135b031efc2f112b54">SVF</a>
@@ -133,9 +118,6 @@ $(function() {
 <li>stripConstantCasts()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a86763e6a3606598580cd0172aecb5bc7">SVF::SVFUtil</a>
 </li>
-<li>StructLayout
-: <a class="el" href="namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45">SVF</a>
-</li>
 <li>StructType
 : <a class="el" href="namespaceSVF.html#a2bf58575ac7d068e0f1a4cf953b9e6cb">SVF</a>
 </li>