svf-tools 1.0.535 → 1.0.536

package/SVF-doxygen/html/html/namespacemembers_type_i.html

@@ -70,6 +70,15 @@ $(function() {
 <li>inst_iterator
 : <a class="el" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">SVF</a>
 </li>
+<li>InstrProfIncrementInst
+: <a class="el" href="namespaceSVF.html#aebc2e2c17087bc2f00fd707f56c40795">SVF</a>
+</li>
+<li>InstrProfIncrementInstStep
+: <a class="el" href="namespaceSVF.html#acf50d678027c80ae12071cddf4bc1683">SVF</a>
+</li>
+<li>InstrProfValueProfileInst
+: <a class="el" href="namespaceSVF.html#a5510b21608b9780bafe8da04032c52db">SVF</a>
+</li>
 <li>Instruction
 : <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF</a>
 </li>
@@ -82,6 +91,9 @@ $(function() {
 <li>IntraPHISVFGNode
 : <a class="el" href="namespaceSVF.html#ad772e1586e369943f37c22641e93e941">SVF</a>
 </li>
+<li>IntrinsicInst
+: <a class="el" href="namespaceSVF.html#aeafba56771d23572128b21d784ff28a6">SVF</a>
+</li>
 <li>IntToPtrInst
 : <a class="el" href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_type_m.html

@@ -70,12 +70,33 @@ $(function() {
 <li>MDString
 : <a class="el" href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4">SVF</a>
 </li>
+<li>MemCpyInlineInst
+: <a class="el" href="namespaceSVF.html#ac43dd719ccad81d77e6773b4d957e52a">SVF</a>
+</li>
+<li>MemCpyInst
+: <a class="el" href="namespaceSVF.html#a7b1ab6ca15d368bd378d4123c9f75451">SVF</a>
+</li>
+<li>MemIntrinsic
+: <a class="el" href="namespaceSVF.html#a062e5cbf987400704aff9209ac4507d1">SVF</a>
+</li>
+<li>MemMoveInst
+: <a class="el" href="namespaceSVF.html#a3c102dae4e7eb1cd6604ed9944b43e97">SVF</a>
+</li>
 <li>MemoryLocation
 : <a class="el" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">SVF</a>
 </li>
+<li>MemSetInst
+: <a class="el" href="namespaceSVF.html#a3aeeba6da229f0a73fd306c9f0063ae7">SVF</a>
+</li>
+<li>MemTransferInst
+: <a class="el" href="namespaceSVF.html#a792b184a7ef4ea203fdf644f5608f838">SVF</a>
+</li>
 <li>MetadataAsValue
 : <a class="el" href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b">SVF</a>
 </li>
+<li>MinMaxIntrinsic
+: <a class="el" href="namespaceSVF.html#a8d8a3708b1bed772fe4ad50f7ba544bf">SVF</a>
+</li>
 <li>Module
 : <a class="el" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_type_n.html

@@ -64,6 +64,9 @@ $(function() {
 <li>NamedMDNode
 : <a class="el" href="namespaceSVF.html#a3011dbac9102f044ad5f36a4ad3d4a71">SVF</a>
 </li>
+<li>NoAliasScopeDeclInst
+: <a class="el" href="namespaceSVF.html#a2f7d8bb0a9f60fe855dd82e7b1a6a090">SVF</a>
+</li>
 <li>NodeBS
 : <a class="el" href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_type_p.html

@@ -88,6 +88,9 @@ $(function() {
 <li>PostDominatorTree
 : <a class="el" href="namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef">SVF</a>
 </li>
+<li>PseudoProbeInst
+: <a class="el" href="namespaceSVF.html#aa1e6a12c2189520f5f92bd466f51dcde">SVF</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/namespacemembers_type_s.html

@@ -67,6 +67,9 @@ $(function() {
 <li>s64_t
 : <a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF</a>
 </li>
+<li>SaturatingInst
+: <a class="el" href="namespaceSVF.html#ad1dff7fa24ef579c1392a3cd4712b1ee">SVF</a>
+</li>
 <li>ScalarEvolution
 : <a class="el" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_type_v.html

@@ -94,6 +94,9 @@ $(function() {
 <li>VFunSet
 : <a class="el" href="namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7">SVF</a>
 </li>
+<li>VPIntrinsic
+: <a class="el" href="namespaceSVF.html#a0ea8b301ceeb6ab13d781878029a6403">SVF</a>
+</li>
 <li>VTableSet
 : <a class="el" href="namespaceSVF.html#a53511f619c06836ee85acf12153810e2">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_type_w.html

@@ -61,6 +61,9 @@ $(function() {
  
 
 <h3><a id="index_w"></a>- w -</h3><ul>
+<li>WithOverflowInst
+: <a class="el" href="namespaceSVF.html#a77a55960401110383dde69324277f67a">SVF</a>
+</li>
 <li>WPAConstraintSolver
 : <a class="el" href="namespaceSVF.html#ae9c142945ea31b6c70bceb93eb6f3ca4">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_v.html

@@ -100,6 +100,9 @@ $(function() {
 <li>VFunSet
 : <a class="el" href="namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7">SVF</a>
 </li>
+<li>VPIntrinsic
+: <a class="el" href="namespaceSVF.html#a0ea8b301ceeb6ab13d781878029a6403">SVF</a>
+</li>
 <li>VTableSet
 : <a class="el" href="namespaceSVF.html#a53511f619c06836ee85acf12153810e2">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_w.html

@@ -61,6 +61,9 @@ $(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_w"></a>- w -</h3><ul>
+<li>WithOverflowInst
+: <a class="el" href="namespaceSVF.html#a77a55960401110383dde69324277f67a">SVF</a>
+</li>
 <li>WPAConstraintSolver
 : <a class="el" href="namespaceSVF.html#ae9c142945ea31b6c70bceb93eb6f3ca4">SVF</a>
 </li>

package/SVF-doxygen/html/html/search/all_1.js

@@ -392,6 +392,11 @@ var searchData=
   ['annotator',['Annotator',['../classSVF_1_1Annotator.html',1,'SVF::Annotator'],['../classSVF_1_1Annotator.html#aa72e6952df50b5b36f0e0fed4024055f',1,'SVF::Annotator::Annotator()']]],
   ['annotator_2eh',['Annotator.h',['../Annotator_8h.html',1,'']]],
   ['answerqueries',['answerQueries',['../classSVF_1_1DDAClient.html#a3b202f9a70b6e23c06a15556d23d245e',1,'SVF::DDAClient']]],
+  ['anymemcpyinst',['AnyMemCpyInst',['../namespaceSVF.html#adbb4d9eeed7e5a08892cfdf71caba1d8',1,'SVF']]],
+  ['anymemintrinsic',['AnyMemIntrinsic',['../namespaceSVF.html#a11c647398b2a931990d43b28462d421e',1,'SVF']]],
+  ['anymemmoveinst',['AnyMemMoveInst',['../namespaceSVF.html#aec83b8f2ca21f98734188f8db3aa99aa',1,'SVF']]],
+  ['anymemsetinst',['AnyMemSetInst',['../namespaceSVF.html#af805291f579df47e55ef17f4bc966894',1,'SVF']]],
+  ['anymemtransferinst',['AnyMemTransferInst',['../namespaceSVF.html#a232f8b3ca0d5f43d2d8729c254685768',1,'SVF']]],
   ['aparm',['AParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14',1,'SVF::VFGNode']]],
   ['apin',['APIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad',1,'SVF::VFGNode']]],
   ['apnodes',['APNodes',['../classSVF_1_1CallICFGNode.html#a07615cb6245a9dccbba2cc70bde9bf22',1,'SVF::CallICFGNode']]],
@@ -411,9 +416,15 @@ var searchData=
   ['arraytype',['ArrayType',['../namespaceSVF.html#a146d286041987860388da3d8bc85cee3',1,'SVF']]],
   ['ashr',['ashr',['../classSVF_1_1Z3Expr.html#a5c3347a21592e43e36d421ea5cae6bc9',1,'SVF::Z3Expr']]],
   ['assignstmt',['AssignStmt',['../classSVF_1_1AssignStmt.html',1,'SVF::AssignStmt'],['../classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57',1,'SVF::AssignStmt::AssignStmt()'],['../classSVF_1_1AssignStmt.html#a41bf9092cbdfccb9724bd58e10aa51a6',1,'SVF::AssignStmt::AssignStmt(const AssignStmt &)'],['../classSVF_1_1AssignStmt.html#aff4c35109790daed3c6170c985153620',1,'SVF::AssignStmt::AssignStmt(SVFVar *s, SVFVar *d, GEdgeFlag k)']]],
+  ['assumeinst',['AssumeInst',['../namespaceSVF.html#abd54de67b4f9f27583560e341cd68958',1,'SVF']]],
   ['atend',['AtEnd',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aa28c3c88d66d8bc3dbf96e2f4bd84fab',1,'SVF::SparseBitVector::SparseBitVectorIterator::AtEnd()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0',1,'SVF::CondPointsToSet::CondPtsSetIterator::atEnd()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a049cecdc3aa76a31eacdbe48f6a820e7',1,'SVF::PointsTo::PointsToIterator::atEnd()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ad3af46dcfb0e2846587eb5a71f38161f',1,'SVF::CoreBitVector::CoreBitVectorIterator::atEnd()']]],
   ['atkey',['atKey',['../classSVF_1_1VersionedFlowSensitive.html#a59f3dd74ed8c3e2fc48b9353ba2452aa',1,'SVF::VersionedFlowSensitive']]],
   ['atomiccmpxchginst',['AtomicCmpXchgInst',['../namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49',1,'SVF']]],
+  ['atomicmemcpyinst',['AtomicMemCpyInst',['../namespaceSVF.html#acf966c15a74110cfa1e5fffe869187b0',1,'SVF']]],
+  ['atomicmemintrinsic',['AtomicMemIntrinsic',['../namespaceSVF.html#a50f4510bce9a49b48530b3da9abb542b',1,'SVF']]],
+  ['atomicmemmoveinst',['AtomicMemMoveInst',['../namespaceSVF.html#a88ecc1591c6e8e6671ddb5774b954aa6',1,'SVF']]],
+  ['atomicmemsetinst',['AtomicMemSetInst',['../namespaceSVF.html#a16b872ede7813d24169143f091ac34a3',1,'SVF']]],
+  ['atomicmemtransferinst',['AtomicMemTransferInst',['../namespaceSVF.html#afb24dfe2255c30310049a9bd2a9c26b9',1,'SVF']]],
   ['atomicrmwinst',['AtomicRMWInst',['../namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0',1,'SVF']]],
   ['atptdata',['atPTData',['../classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439',1,'SVF::MutableVersionedPTData::atPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473',1,'SVF::PersistentVersionedPTData::atPTData()']]],
   ['attribute',['Attribute',['../classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f',1,'SVF::GrammarBase::Attribute()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d',1,'SVF::GrammarBase::Symbol::attribute()']]],

package/SVF-doxygen/html/html/search/all_10.js

@@ -250,6 +250,7 @@ var searchData=
   ['protectedbycommonlocks',['protectedByCommonLocks',['../classSVF_1_1RaceResultValidator.html#aeb24aa510c7073ef71062e89a11fe00a',1,'SVF::RaceResultValidator::protectedByCommonLocks()'],['../classSVF_1_1RaceValidator.html#ab95520388bafe1efae63196400350690',1,'SVF::RaceValidator::protectedByCommonLocks()']]],
   ['prunealiasmhp',['pruneAliasMHP',['../classSVF_1_1MTAAnnotator.html#a0ed08b6a94483a750c95eef6c2523dc6',1,'SVF::MTAAnnotator']]],
   ['prunethreadlocal',['pruneThreadLocal',['../classSVF_1_1MTAAnnotator.html#af469d79fcc3bebd9360f72696a242d4e',1,'SVF::MTAAnnotator']]],
+  ['pseudoprobeinst',['PseudoProbeInst',['../namespaceSVF.html#aa1e6a12c2189520f5f92bd466f51dcde',1,'SVF']]],
   ['pstat',['PStat',['../classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb',1,'SVF::Options']]],
   ['pt',['pt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a8be3dd8b1e66eac8577bf16b7403c9c5',1,'SVF::PointsTo::PointsToIterator']]],
   ['pta',['pta',['../classSVF_1_1SVFG.html#a0d6cfa496e6885fe31b6b7a651fa01a8',1,'SVF::SVFG::pta()'],['../classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5',1,'SVF::PTAStat::pta()'],['../classSVF_1_1MRGenerator.html#afb7ce3a24edda14895999eb15231daff',1,'SVF::MRGenerator::pta()'],['../classSVF_1_1MemSSA.html#a468e1481926df6865678b7232bb79bf3',1,'SVF::MemSSA::pta()'],['../classSVF_1_1PCG.html#adb917fc3adc3b0c3aedd57e9c77eae05',1,'SVF::PCG::pta()'],['../classSVF_1_1TCT.html#a980de0593e41d18d2716aa5120d35d04',1,'SVF::TCT::pta()'],['../classSVF_1_1AndersenStat.html#a8af8dd60987c4c99ea3727d9db87c187',1,'SVF::AndersenStat::pta()']]],

package/SVF-doxygen/html/html/search/all_12.js

@@ -23,6 +23,7 @@ var searchData=
   ['samelooptripcount',['sameLoopTripCount',['../classSVF_1_1ForkJoinAnalysis.html#acbd457a3cbb3cb7ca54ac3c0610b5c9e',1,'SVF::ForkJoinAnalysis']]],
   ['sanitizepts',['sanitizePts',['../classSVF_1_1Andersen.html#a308ef1f3a1c9fd7ac1858d0c690aa37a',1,'SVF::Andersen']]],
   ['sanitycheck',['sanityCheck',['../classSVF_1_1SVFIRBuilder.html#a09baa8c7246853c3faaed85b38f0da60',1,'SVF::SVFIRBuilder']]],
+  ['saturatinginst',['SaturatingInst',['../namespaceSVF.html#ad1dff7fa24ef579c1392a3cd4712b1ee',1,'SVF']]],
   ['sb_5ffesible',['SB_FESIBLE',['../classSVF_1_1Annotator.html#ac58473072d90baa6dc377b45f18d0da5',1,'SVF::Annotator']]],
   ['sb_5finfesible',['SB_INFESIBLE',['../classSVF_1_1Annotator.html#a556138c152d52921d6f0a709a826a93a',1,'SVF::Annotator']]],
   ['sb_5fslicesink',['SB_SLICESINK',['../classSVF_1_1Annotator.html#a3edacb8703c74abf42c4a29761a3437f',1,'SVF::Annotator']]],

package/SVF-doxygen/html/html/search/all_13.js

@@ -140,7 +140,7 @@ var searchData=
   ['traverseonvfg',['traverseOnVFG',['../svf-ex_8cpp.html#a210d797e39e39071d420ba450727d6e4',1,'svf-ex.cpp']]],
   ['tripcount',['tripcount',['../classSVF_1_1PTASCEV.html#aa92f2da24c8b6d3548f8b4920a8d157f',1,'SVF::PTASCEV']]],
   ['true',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp'],['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp']]],
-  ['type',['type',['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d',1,'SVF::ObjTypeInfo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc',1,'cJSON::type()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc',1,'type(): cJSON.cpp'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
+  ['type',['type',['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d',1,'SVF::ObjTypeInfo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc',1,'cJSON::type()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()'],['../cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc',1,'type(): cJSON.cpp']]],
   ['type2string',['type2String',['../namespaceSVF_1_1SVFUtil.html#a817a63e8330530cb18e077556f7ce518',1,'SVF::SVFUtil']]],
   ['type_5fpair',['type_pair',['../classSVF_1_1ExtAPI.html#a95ac45d2367b3d3124d5d98958e74cc5',1,'SVF::ExtAPI']]],
   ['typeanalysis',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF::TypeAnalysis'],['../classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3',1,'SVF::TypeAnalysis::TypeAnalysis()']]],

package/SVF-doxygen/html/html/search/all_15.js

@@ -142,6 +142,7 @@ var searchData=
   ['visitvaendinst',['visitVAEndInst',['../classSVF_1_1SVFIRBuilder.html#aa2e07d018323c9d06393266970a0c340',1,'SVF::SVFIRBuilder']]],
   ['visitvastartinst',['visitVAStartInst',['../classSVF_1_1SVFIRBuilder.html#a5321cd4eabcccd72c198966de1ab1ea2',1,'SVF::SVFIRBuilder']]],
   ['void',['void',['../structcJSON__Hooks.html#a42c96b388103ffb466e7335b9fc710c3',1,'cJSON_Hooks::void()'],['../structinternal__hooks.html#a5cc2dd5383da5f20b19e0f27fa59e123',1,'internal_hooks::void()']]],
+  ['vpintrinsic',['VPIntrinsic',['../namespaceSVF.html#a0ea8b301ceeb6ab13d781878029a6403',1,'SVF']]],
   ['vptd',['vPtD',['../classSVF_1_1VersionedFlowSensitive.html#a03f5f16377daa0258166a73de3e21f07',1,'SVF::VersionedFlowSensitive']]],
   ['vtable',['vtable',['../classSVF_1_1CHNode.html#a08a717043e8b8c3d87742f0ecd3a3cc1',1,'SVF::CHNode::vtable()'],['../classSVF_1_1DCHNode.html#a620ac2c6a9095510be5999431ff54b6d',1,'SVF::DCHNode::vtable()']]],
   ['vtableptrtocallsitemap',['VTablePtrToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#ad195fbe1a6b422e67f16c9fde9d8e671',1,'SVF::FunptrDDAClient::VTablePtrToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2',1,'SVF::AliasDDAClient::VTablePtrToCallSiteMap()']]],

package/SVF-doxygen/html/html/search/all_16.js

@@ -4,6 +4,7 @@ var searchData=
   ['weakupdateoutfromin',['weakUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#ab492c283e2264b4cbd4c192e805b7750',1,'SVF::FlowSensitive']]],
   ['which',['which',['../cJSON_8h.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.h'],['../cJSON_8cpp.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.cpp']]],
   ['while',['while',['../cJSON_8cpp.html#a209b15238c5803bc547b2d77e02f29b4',1,'cJSON.cpp']]],
+  ['withoverflowinst',['WithOverflowInst',['../namespaceSVF.html#a77a55960401110383dde69324277f67a',1,'SVF']]],
   ['word',['word',['../structSVF_1_1SparseBitVectorElement.html#a5d43d980591d14d3a3d0782be034ed4f',1,'SVF::SparseBitVectorElement::word()'],['../classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c',1,'SVF::CoreBitVector::Word()']]],
   ['wordit',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
   ['wordnumber',['WordNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],

package/SVF-doxygen/html/html/search/all_2.js

@@ -44,6 +44,7 @@ var searchData=
   ['bestcandidate',['BestCandidate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['binaryop',['BinaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0e99fed4f3145668652aad5a3700e337',1,'SVF::VFGNode::BinaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13',1,'SVF::SVFStmt::BinaryOp()']]],
   ['binaryoperator',['BinaryOperator',['../namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22',1,'SVF']]],
+  ['binaryopintrinsic',['BinaryOpIntrinsic',['../namespaceSVF.html#aff2da2ed0d7c413dcb014141f0b750f1',1,'SVF']]],
   ['binaryopstmt',['BinaryOPStmt',['../classSVF_1_1BinaryOPStmt.html',1,'SVF::BinaryOPStmt'],['../classSVF_1_1BinaryOPStmt.html#a4c87a90a0190b50c0318c0f316f4fc2a',1,'SVF::BinaryOPStmt::BinaryOPStmt()'],['../classSVF_1_1BinaryOPStmt.html#a9f5ec771bc547371ab9db18bb44a17c1',1,'SVF::BinaryOPStmt::BinaryOPStmt(const BinaryOPStmt &)'],['../classSVF_1_1BinaryOPStmt.html#a7470a2412985bbb227bb62d8a297b7f1',1,'SVF::BinaryOPStmt::BinaryOPStmt(SVFVar *s, const OPVars &opnds, u32_t oc)']]],
   ['binaryopvfgnode',['BinaryOPVFGNode',['../classSVF_1_1BinaryOPVFGNode.html',1,'SVF::BinaryOPVFGNode'],['../classSVF_1_1BinaryOPVFGNode.html#a20a0cf8366831b6be38c9c1945254362',1,'SVF::BinaryOPVFGNode::BinaryOPVFGNode()'],['../classSVF_1_1BinaryOPVFGNode.html#aa292ddc0ac6e43f20dcee8a9cb8f97e0',1,'SVF::BinaryOPVFGNode::BinaryOPVFGNode(const BinaryOPVFGNode &)'],['../classSVF_1_1BinaryOPVFGNode.html#afa52d77205075141b59847b8400344e7',1,'SVF::BinaryOPVFGNode::BinaryOPVFGNode(NodeID id, const PAGNode *r)']]],
   ['bit',['bit',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a853b685cf022839c183df46f1cafe638',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],

package/SVF-doxygen/html/html/search/all_3.js

@@ -390,6 +390,8 @@ var searchData=
   ['constantpointernull',['ConstantPointerNull',['../namespaceSVF.html#a90f6c91ba7a3c31c84b5c25277d83fca',1,'SVF']]],
   ['constantstruct',['ConstantStruct',['../namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477',1,'SVF']]],
   ['constantsymid',['constantSymID',['../classSVF_1_1SymbolTableInfo.html#ab582424fdb6d9674c1bd4466cdfbe497',1,'SVF::SymbolTableInfo']]],
+  ['constrainedfpcmpintrinsic',['ConstrainedFPCmpIntrinsic',['../namespaceSVF.html#a01c39e0b75e02ca0823291cc0aab751f',1,'SVF']]],
+  ['constrainedfpintrinsic',['ConstrainedFPIntrinsic',['../namespaceSVF.html#a373d9c3194e0b4d92ec12d792854eb87',1,'SVF']]],
   ['constraintedge',['ConstraintEdge',['../classSVF_1_1ConstraintEdge.html',1,'SVF::ConstraintEdge'],['../classSVF_1_1ConstraintEdge.html#a2b2b7206af6463b82441ac7a5c78e637',1,'SVF::ConstraintEdge::ConstraintEdge()']]],
   ['constraintedgek',['ConstraintEdgeK',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375',1,'SVF::ConstraintEdge']]],
   ['constraintedgesetty',['ConstraintEdgeSetTy',['../classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541',1,'SVF::ConstraintEdge']]],

package/SVF-doxygen/html/html/search/all_4.js

@@ -14,6 +14,12 @@ var searchData=
   ['dataop',['DataOp',['../classSVF_1_1PersistentPointsToCache.html#a5a0f1b93f29ce62ad13042ab8435c62c',1,'SVF::PersistentPointsToCache']]],
   ['dataset',['DataSet',['../classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85',1,'SVF::CFLFIFOWorkList::DataSet()'],['../classSVF_1_1List.html#a8f8a9dff1d1213a747f0d7ce8b1802e9',1,'SVF::List::DataSet()'],['../classSVF_1_1FIFOWorkList.html#a4803dc3b7f3ab57261261acb20551579',1,'SVF::FIFOWorkList::DataSet()'],['../classSVF_1_1FILOWorkList.html#abe04c596453280fe15cadde868ded798',1,'SVF::FILOWorkList::DataSet()']]],
   ['datavector',['DataVector',['../classSVF_1_1FILOWorkList.html#a41d3d71633adc6a1282922b4e4929a7f',1,'SVF::FILOWorkList']]],
+  ['dbgaddrintrinsic',['DbgAddrIntrinsic',['../namespaceSVF.html#a97b6f3c33f30ba9b01e3ec5d91c5e6b5',1,'SVF']]],
+  ['dbgdeclareinst',['DbgDeclareInst',['../namespaceSVF.html#a52a9bff350f21692eae3b519030c314d',1,'SVF']]],
+  ['dbginfointrinsic',['DbgInfoIntrinsic',['../namespaceSVF.html#a98310cccad527f8151328f2c87b29563',1,'SVF']]],
+  ['dbglabelinst',['DbgLabelInst',['../namespaceSVF.html#a32392667c0d47b88b4e1563da27be587',1,'SVF']]],
+  ['dbgvalueinst',['DbgValueInst',['../namespaceSVF.html#aa6ea2efcc92d5a96b71f37d41abb0482',1,'SVF']]],
+  ['dbgvariableintrinsic',['DbgVariableIntrinsic',['../namespaceSVF.html#a5698b95e3f2bfb6220cca202145c79ce',1,'SVF']]],
   ['dbout',['DBOUT',['../SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0',1,'SVFBasicTypes.h']]],
   ['dcache',['DCache',['../SVFBasicTypes_8h.html#a500788b9fb425915fa4330d72142aec9',1,'SVFBasicTypes.h']]],
   ['dcha',['DCHA',['../SVFBasicTypes_8h.html#a263149d980e5c3165dfe8750bfac3223',1,'SVFBasicTypes.h']]],

package/SVF-doxygen/html/html/search/all_7.js

@@ -1,6 +1,10 @@
 var searchData=
 [
   ['gatheraggs',['gatherAggs',['../classSVF_1_1DCHGraph.html#a8fcbea9435a77beb27ad64d5a3175b0b',1,'SVF::DCHGraph']]],
+  ['gcprojectioninst',['GCProjectionInst',['../namespaceSVF.html#aa567358f0c0c3a6363b41ba6d37dc90c',1,'SVF']]],
+  ['gcrelocateinst',['GCRelocateInst',['../namespaceSVF.html#ac4d0b7e1b0332ac5335cc98669a3de0a',1,'SVF']]],
+  ['gcresultinst',['GCResultInst',['../namespaceSVF.html#ae0b0c09f22fa87d94d7671a941851726',1,'SVF']]],
+  ['gcstatepointinst',['GCStatepointInst',['../namespaceSVF.html#ac2f24d976e62d802aa1769924ff38bf2',1,'SVF']]],
   ['gedge',['GEDGE',['../classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f',1,'SVF::SrcSnkSolver::GEDGE()'],['../classSVF_1_1GraphReachSolver.html#a8a42bdbb5987d0a340f9935f09e2acd2',1,'SVF::GraphReachSolver::GEDGE()'],['../classSVF_1_1WPASolver.html#ab7de73aabfa092b51b8dbe7b091e4c57',1,'SVF::WPASolver::GEDGE()']]],
   ['gedgeflag',['GEdgeFlag',['../classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614',1,'SVF::GenericEdge']]],
   ['gedgekind',['GEdgeKind',['../classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a',1,'SVF::GenericEdge']]],

package/SVF-doxygen/html/html/search/all_9.js

@@ -123,6 +123,9 @@ var searchData=
   ['instance',['INSTANCE',['../classSVF_1_1DCHEdge.html#a48f01c4a02c4e278a1ab70b16efdef4ba3e807b4caeb170c5cd1e855ac1a92d77',1,'SVF::DCHEdge']]],
   ['instantce',['INSTANTCE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676a8721eaefd547d6ba5229463d644815f4',1,'SVF::CHEdge']]],
   ['instcilocksmap',['instCILocksMap',['../classSVF_1_1LockAnalysis.html#a277d88153d34cf3eb80272003949e4ef',1,'SVF::LockAnalysis']]],
+  ['instrprofincrementinst',['InstrProfIncrementInst',['../namespaceSVF.html#aebc2e2c17087bc2f00fd707f56c40795',1,'SVF']]],
+  ['instrprofincrementinststep',['InstrProfIncrementInstStep',['../namespaceSVF.html#acf50d678027c80ae12071cddf4bc1683',1,'SVF']]],
+  ['instrprofvalueprofileinst',['InstrProfValueProfileInst',['../namespaceSVF.html#a5510b21608b9780bafe8da04032c52db',1,'SVF']]],
   ['instruction',['Instruction',['../namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e',1,'SVF']]],
   ['instset',['InstSet',['../classSVF_1_1ThreadCallGraph.html#a57b69bfb5d468bd1a81a55468f845de0',1,'SVF::ThreadCallGraph::InstSet()'],['../classSVF_1_1MTASVFGBuilder.html#acff9054fd525a5358532dd2e812171ce',1,'SVF::MTASVFGBuilder::InstSet()'],['../classSVF_1_1LockAnalysis.html#ae682eb30763f0f52184eb36c95fc3811',1,'SVF::LockAnalysis::InstSet()'],['../classSVF_1_1MHP.html#aa17ec09b08f8dc7927aa7fa00232dd2f',1,'SVF::MHP::InstSet()'],['../classSVF_1_1MTAAnnotator.html#a95f4607624dac40e9d62f37e6b16fcf0',1,'SVF::MTAAnnotator::InstSet()'],['../classSVF_1_1MTAStat.html#a424ec97192aa5681f9f92a0a6f3ee8a8',1,'SVF::MTAStat::InstSet()'],['../classSVF_1_1TCT.html#a3238d12557309967f8bdfdfc275b6710',1,'SVF::TCT::InstSet()']]],
   ['insttoblocknodemap',['InstToBlockNodeMap',['../classSVF_1_1ICFG.html#a23f905d849553d7ad652e9a8f1bfacd1',1,'SVF::ICFG']]],
@@ -180,6 +183,7 @@ var searchData=
   ['intramssaphisvfgnode',['IntraMSSAPHISVFGNode',['../classSVF_1_1IntraMSSAPHISVFGNode.html',1,'SVF::IntraMSSAPHISVFGNode'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#abe0faa3d40bf16ac0937324035d3323d',1,'SVF::IntraMSSAPHISVFGNode::IntraMSSAPHISVFGNode()']]],
   ['intraphisvfgnode',['IntraPHISVFGNode',['../namespaceSVF.html#ad772e1586e369943f37c22641e93e941',1,'SVF']]],
   ['intraphivfgnode',['IntraPHIVFGNode',['../classSVF_1_1IntraPHIVFGNode.html',1,'SVF::IntraPHIVFGNode'],['../classSVF_1_1IntraPHIVFGNode.html#a65222075e49bb88601a6f1ac51cdace3',1,'SVF::IntraPHIVFGNode::IntraPHIVFGNode()']]],
+  ['intrinsicinst',['IntrinsicInst',['../namespaceSVF.html#aeafba56771d23572128b21d784ff28a6',1,'SVF']]],
   ['inttoptrinst',['IntToPtrInst',['../namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb',1,'SVF']]],
   ['inupdatedvarmap',['inUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4',1,'SVF::MutableIncDFPTData::inUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad',1,'SVF::PersistentIncDFPTData::inUpdatedVarMap()']]],
   ['inv_5fchild_5fiterator',['inv_child_iterator',['../classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78',1,'SVF::SrcSnkSolver::inv_child_iterator()'],['../classSVF_1_1GraphReachSolver.html#a40fe9f5863619ee7c11a630e4fd89a91',1,'SVF::GraphReachSolver::inv_child_iterator()']]],

package/SVF-doxygen/html/html/search/all_d.js

@@ -61,7 +61,11 @@ var searchData=
   ['meldlabelingtime',['meldLabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d',1,'SVF::VersionedFlowSensitive']]],
   ['meldversion',['MeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a630eeca9c3344d24fa196f7de45bce18',1,'SVF::VersionedFlowSensitive']]],
   ['mem',['mem',['../classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88',1,'SVF::ObjVar']]],
+  ['memcpyinlineinst',['MemCpyInlineInst',['../namespaceSVF.html#ac43dd719ccad81d77e6773b4d957e52a',1,'SVF']]],
+  ['memcpyinst',['MemCpyInst',['../namespaceSVF.html#a7b1ab6ca15d368bd378d4123c9f75451',1,'SVF']]],
   ['memflow',['Memflow',['../CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621',1,'CFLGrammar.txt']]],
+  ['memintrinsic',['MemIntrinsic',['../namespaceSVF.html#a062e5cbf987400704aff9209ac4507d1',1,'SVF']]],
+  ['memmoveinst',['MemMoveInst',['../namespaceSVF.html#a3c102dae4e7eb1cd6604ed9944b43e97',1,'SVF']]],
   ['memobj',['MemObj',['../classSVF_1_1MemObj.html',1,'SVF::MemObj'],['../classSVF_1_1MemObj.html#afc62b5dbcaf790e561c852f567ca5bd1',1,'SVF::MemObj::MemObj()']]],
   ['memobjtofieldsmap',['MemObjToFieldsMap',['../classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940',1,'SVF::SVFIR']]],
   ['memorylocation',['MemoryLocation',['../namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403',1,'SVF']]],
@@ -76,12 +80,14 @@ var searchData=
   ['memregtobbsmap',['MemRegToBBsMap',['../classSVF_1_1MemSSA.html#a8d0c1a00d7db194da66c685d79e73de5',1,'SVF::MemSSA']]],
   ['memregtocountermap',['MemRegToCounterMap',['../classSVF_1_1MemSSA.html#ae1aca020147c270deca2a1241e3847d0',1,'SVF::MemSSA']]],
   ['memregtoverstackmap',['MemRegToVerStackMap',['../classSVF_1_1MemSSA.html#aa9dbaf51f0498f3bd878827744208899',1,'SVF::MemSSA']]],
+  ['memsetinst',['MemSetInst',['../namespaceSVF.html#a3aeeba6da229f0a73fd306c9f0063ae7',1,'SVF']]],
   ['memssa',['MemSSA',['../classSVF_1_1MemSSA.html',1,'SVF::MemSSA'],['../classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700',1,'SVF::SrcSnkDDA::memSSA()'],['../classSVF_1_1FlowSensitive.html#a76f6f19ac2b58ab4a10a2d7e6e24e42a',1,'SVF::FlowSensitive::memSSA()'],['../classSVF_1_1MemSSA.html#a6bd57451370f5f4c92ce212be4cddd15',1,'SVF::MemSSA::MemSSA()']]],
   ['memssa_2ecpp',['MemSSA.cpp',['../MemSSA_8cpp.html',1,'']]],
   ['memssa_2eh',['MemSSA.h',['../MemSSA_8h.html',1,'']]],
   ['memssadf',['MemSSADF',['../classSVF_1_1MemSSADF.html',1,'SVF::MemSSADF'],['../classSVF_1_1MemSSADF.html#aabae3337a22fc441fd2fdc2cf30b009c',1,'SVF::MemSSADF::MemSSADF()']]],
   ['memssastat',['MemSSAStat',['../classSVF_1_1MemSSAStat.html',1,'SVF::MemSSAStat'],['../classSVF_1_1MemSSAStat.html#a53f3d85a8eb63676d3dc47ee648efb66',1,'SVF::MemSSAStat::MemSSAStat()']]],
   ['memtofieldsmap',['memToFieldsMap',['../classSVF_1_1SVFIR.html#a3c014227661d8976714772205611c252',1,'SVF::SVFIR']]],
+  ['memtransferinst',['MemTransferInst',['../namespaceSVF.html#a792b184a7ef4ea203fdf644f5608f838',1,'SVF']]],
   ['memtype',['MEMTYPE',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830',1,'SVF::ObjTypeInfo']]],
   ['mergefunctionrets',['MergeFunctionRets',['../classSVF_1_1MergeFunctionRets.html',1,'SVF::MergeFunctionRets'],['../classSVF_1_1MergeFunctionRets.html#a2b989707893cd81dd275be6a3b8c79fc',1,'SVF::MergeFunctionRets::MergeFunctionRets()']]],
   ['mergenodetorep',['mergeNodeToRep',['../classSVF_1_1Andersen.html#a36729160041bc3a3e2b0a92b29062848',1,'SVF::Andersen']]],
@@ -101,6 +107,7 @@ var searchData=
   ['mhptime',['MHPTime',['../classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8',1,'SVF::MTAStat']]],
   ['mhpvalidator',['MHPValidator',['../classSVF_1_1MHPValidator.html',1,'SVF::MHPValidator'],['../classSVF_1_1MHPValidator.html#ab00f7f49e626f55184101acbe28cf3b1',1,'SVF::MHPValidator::MHPValidator()']]],
   ['minify_5fstring',['minify_string',['../cJSON_8cpp.html#a569f331078de59d01dee9351fa106e3b',1,'cJSON.cpp']]],
+  ['minmaxintrinsic',['MinMaxIntrinsic',['../namespaceSVF.html#a8d8a3708b1bed772fe4ad50f7ba544bf',1,'SVF']]],
   ['minterphi',['MInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8',1,'SVF::VFGNode']]],
   ['mintraphi',['MIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18',1,'SVF::VFGNode']]],
   ['mod',['mod',['../classSVF_1_1SymbolTableInfo.html#af8fdaaa03cd2ae9b7d50f57bc678b8ba',1,'SVF::SymbolTableInfo::mod()'],['../classSVF_1_1MTAResultValidator.html#a8d54a1e8d1703d0c9ba541bcf997e900',1,'SVF::MTAResultValidator::mod()'],['../classSVF_1_1PCG.html#a985b0c790c582d15e6242950ac66f574',1,'SVF::PCG::mod()'],['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0',1,'SVF::Mod()']]],

package/SVF-doxygen/html/html/search/all_e.js

@@ -22,6 +22,7 @@ var searchData=
   ['nextsetindex',['nextSetIndex',['../classSVF_1_1CoreBitVector.html#a087f69adea5e9e83bd908a1ab0ee1383',1,'SVF::CoreBitVector']]],
   ['no_5fstruct_5falloc',['no_struct_alloc',['../classSVF_1_1ExtAPI.html#a934e293bd4050cb1ab5c19e8ad391ebe',1,'SVF::ExtAPI']]],
   ['noalias',['NoAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239',1,'SVF']]],
+  ['noaliasscopedeclinst',['NoAliasScopeDeclInst',['../namespaceSVF.html#a2f7d8bb0a9f60fe855dd82e7b1a6a090',1,'SVF']]],
   ['noalloc',['noalloc',['../structprintbuffer.html#aa2a7966b71dc3535e4e3789c33ec5368',1,'printbuffer::noalloc()'],['../cJSON_8cpp.html#a2212121102d55231315839f800aa1350',1,'noalloc(): cJSON.cpp']]],
   ['node',['Node',['../classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1',1,'SVF::List::Node()'],['../classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6',1,'SVF::SCCDetection::Node()'],['../classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4',1,'SVF::WPASolver::Node()'],['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode::node()']]],
   ['node_5findex',['Node_Index',['../classSVF_1_1SCCDetection.html#a5fa111bb849052b8a753194cd0cd5e0c',1,'SVF::SCCDetection::Node_Index()'],['../classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0',1,'SVF::WPASolver::Node_Index()']]],

package/SVF-doxygen/html/html/search/typedefs_0.js

@@ -12,10 +12,21 @@ var searchData=
   ['aliasset',['AliasSet',['../namespaceSVF.html#a2b2887cf75225bc9127338b4cf30aa85',1,'SVF']]],
   ['aliassettype',['AliasSetType',['../classSVF_1_1SVFModule.html#a654097a3df71f8eac489e8ddae8de30c',1,'SVF::SVFModule']]],
   ['allocainst',['AllocaInst',['../namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83',1,'SVF']]],
+  ['anymemcpyinst',['AnyMemCpyInst',['../namespaceSVF.html#adbb4d9eeed7e5a08892cfdf71caba1d8',1,'SVF']]],
+  ['anymemintrinsic',['AnyMemIntrinsic',['../namespaceSVF.html#a11c647398b2a931990d43b28462d421e',1,'SVF']]],
+  ['anymemmoveinst',['AnyMemMoveInst',['../namespaceSVF.html#aec83b8f2ca21f98734188f8db3aa99aa',1,'SVF']]],
+  ['anymemsetinst',['AnyMemSetInst',['../namespaceSVF.html#af805291f579df47e55ef17f4bc966894',1,'SVF']]],
+  ['anymemtransferinst',['AnyMemTransferInst',['../namespaceSVF.html#a232f8b3ca0d5f43d2d8729c254685768',1,'SVF']]],
   ['arg_5fiterator',['arg_iterator',['../classSVF_1_1CallSite.html#ac1cdfe5e54026960a23142e26b3150ff',1,'SVF::CallSite']]],
   ['argument',['Argument',['../namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801',1,'SVF']]],
   ['arraytype',['ArrayType',['../namespaceSVF.html#a146d286041987860388da3d8bc85cee3',1,'SVF']]],
+  ['assumeinst',['AssumeInst',['../namespaceSVF.html#abd54de67b4f9f27583560e341cd68958',1,'SVF']]],
   ['atomiccmpxchginst',['AtomicCmpXchgInst',['../namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49',1,'SVF']]],
+  ['atomicmemcpyinst',['AtomicMemCpyInst',['../namespaceSVF.html#acf966c15a74110cfa1e5fffe869187b0',1,'SVF']]],
+  ['atomicmemintrinsic',['AtomicMemIntrinsic',['../namespaceSVF.html#a50f4510bce9a49b48530b3da9abb542b',1,'SVF']]],
+  ['atomicmemmoveinst',['AtomicMemMoveInst',['../namespaceSVF.html#a88ecc1591c6e8e6671ddb5774b954aa6',1,'SVF']]],
+  ['atomicmemsetinst',['AtomicMemSetInst',['../namespaceSVF.html#a16b872ede7813d24169143f091ac34a3',1,'SVF']]],
+  ['atomicmemtransferinst',['AtomicMemTransferInst',['../namespaceSVF.html#afb24dfe2255c30310049a9bd2a9c26b9',1,'SVF']]],
   ['atomicrmwinst',['AtomicRMWInst',['../namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0',1,'SVF']]],
   ['attribute',['Attribute',['../classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f',1,'SVF::GrammarBase']]]
 ];

package/SVF-doxygen/html/html/search/typedefs_1.js

@@ -18,6 +18,7 @@ var searchData=
   ['bbtophisetmap',['BBToPhiSetMap',['../classSVF_1_1MemSSA.html#afeef58baed23fc731e33a07a0ef05f6a',1,'SVF::MemSSA']]],
   ['bbworklist',['BBWorkList',['../classSVF_1_1PCG.html#a05759205f1362b6d72041cf669cf028d',1,'SVF::PCG']]],
   ['binaryoperator',['BinaryOperator',['../namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22',1,'SVF']]],
+  ['binaryopintrinsic',['BinaryOpIntrinsic',['../namespaceSVF.html#aff2da2ed0d7c413dcb014141f0b750f1',1,'SVF']]],
   ['bitcastinst',['BitCastInst',['../namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d',1,'SVF']]],
   ['bitword',['BitWord',['../structSVF_1_1SparseBitVectorElement.html#af9014ab5077a2d9c1aed1e9b1460390d',1,'SVF::SparseBitVectorElement']]],
   ['blockaddress',['BlockAddress',['../namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c',1,'SVF']]],

package/SVF-doxygen/html/html/search/typedefs_10.js

@@ -2,6 +2,7 @@ var searchData=
 [
   ['s32_5ft',['s32_t',['../namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e',1,'SVF']]],
   ['s64_5ft',['s64_t',['../namespaceSVF.html#ad781b0b14e89773e774072b280658ef3',1,'SVF']]],
+  ['saturatinginst',['SaturatingInst',['../namespaceSVF.html#ad1dff7fa24ef579c1392a3cd4712b1ee',1,'SVF']]],
   ['scalarevolution',['ScalarEvolution',['../namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42',1,'SVF']]],
   ['scalarevolutionwrapperpass',['ScalarEvolutionWrapperPass',['../namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01',1,'SVF']]],
   ['scc',['SCC',['../classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629',1,'SVF::MRGenerator::SCC()'],['../classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33',1,'SVF::WPASolver::SCC()']]],

package/SVF-doxygen/html/html/search/typedefs_13.js

@@ -27,6 +27,7 @@ var searchData=
   ['vfgnodeset',['VFGNodeSet',['../classSVF_1_1VFG.html#a03d388eec513f713f5e0d06f920168db',1,'SVF::VFG']]],
   ['vfunset',['VFunSet',['../classSVF_1_1PointerAnalysis.html#aa7f15c74eb438be78fcc028534477478',1,'SVF::PointerAnalysis::VFunSet()'],['../namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7',1,'SVF::VFunSet()']]],
   ['vfworklist',['VFWorkList',['../classSVF_1_1ProgSlice.html#a684e44ade783439c6f77a8d84eed282c',1,'SVF::ProgSlice']]],
+  ['vpintrinsic',['VPIntrinsic',['../namespaceSVF.html#a0ea8b301ceeb6ab13d781878029a6403',1,'SVF']]],
   ['vtableptrtocallsitemap',['VTablePtrToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#ad195fbe1a6b422e67f16c9fde9d8e671',1,'SVF::FunptrDDAClient::VTablePtrToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2',1,'SVF::AliasDDAClient::VTablePtrToCallSiteMap()']]],
   ['vtableset',['VTableSet',['../classSVF_1_1PointerAnalysis.html#af46f4b99fc2d5061c9266a7f45aafaca',1,'SVF::PointerAnalysis::VTableSet()'],['../namespaceSVF.html#a53511f619c06836ee85acf12153810e2',1,'SVF::VTableSet()']]],
   ['vthdtocxtmap',['vthdToCxtMap',['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator']]],

package/SVF-doxygen/html/html/search/typedefs_14.js

@@ -1,5 +1,6 @@
 var searchData=
 [
+  ['withoverflowinst',['WithOverflowInst',['../namespaceSVF.html#a77a55960401110383dde69324277f67a',1,'SVF']]],
   ['word',['Word',['../classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c',1,'SVF::CoreBitVector']]],
   ['worklist',['WorkList',['../classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695',1,'SVF::CFLSolver::WorkList()'],['../classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12',1,'SVF::CHGraph::WorkList()'],['../classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00',1,'SVF::ConstraintGraph::WorkList()'],['../classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40',1,'SVF::SVFGOPT::WorkList()'],['../classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc',1,'SVF::MRGenerator::WorkList()'],['../classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b',1,'SVF::LeakChecker::WorkList()'],['../classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039',1,'SVF::SaberSVFGBuilder::WorkList()'],['../classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a',1,'SVF::SrcSnkDDA::WorkList()'],['../classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da',1,'SVF::SrcSnkSolver::WorkList()'],['../classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac',1,'SVF::CHGBuilder::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054',1,'SVF::GraphReachSolver::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::WorkList()']]],
   ['workstack',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],

package/SVF-doxygen/html/html/search/typedefs_2.js

@@ -74,6 +74,8 @@ var searchData=
   ['constantint',['ConstantInt',['../namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7',1,'SVF']]],
   ['constantpointernull',['ConstantPointerNull',['../namespaceSVF.html#a90f6c91ba7a3c31c84b5c25277d83fca',1,'SVF']]],
   ['constantstruct',['ConstantStruct',['../namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477',1,'SVF']]],
+  ['constrainedfpcmpintrinsic',['ConstrainedFPCmpIntrinsic',['../namespaceSVF.html#a01c39e0b75e02ca0823291cc0aab751f',1,'SVF']]],
+  ['constrainedfpintrinsic',['ConstrainedFPIntrinsic',['../namespaceSVF.html#a373d9c3194e0b4d92ec12d792854eb87',1,'SVF']]],
   ['constraintedgesetty',['ConstraintEdgeSetTy',['../classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541',1,'SVF::ConstraintEdge']]],
   ['constraintnodeidtonodemapty',['ConstraintNodeIDToNodeMapTy',['../classSVF_1_1ConstraintGraph.html#af2dcf9fd0bc3d353c8582849cdabdf54',1,'SVF::ConstraintGraph']]],
   ['constraintnodeiter',['ConstraintNodeIter',['../classSVF_1_1ConstraintGraph.html#a15bc278f76cdfcf38e623cedbc80d025',1,'SVF::ConstraintGraph']]],

package/SVF-doxygen/html/html/search/typedefs_3.js

@@ -6,6 +6,12 @@ var searchData=
   ['dataop',['DataOp',['../classSVF_1_1PersistentPointsToCache.html#a5a0f1b93f29ce62ad13042ab8435c62c',1,'SVF::PersistentPointsToCache']]],
   ['dataset',['DataSet',['../classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85',1,'SVF::CFLFIFOWorkList::DataSet()'],['../classSVF_1_1List.html#a8f8a9dff1d1213a747f0d7ce8b1802e9',1,'SVF::List::DataSet()'],['../classSVF_1_1FIFOWorkList.html#a4803dc3b7f3ab57261261acb20551579',1,'SVF::FIFOWorkList::DataSet()'],['../classSVF_1_1FILOWorkList.html#abe04c596453280fe15cadde868ded798',1,'SVF::FILOWorkList::DataSet()']]],
   ['datavector',['DataVector',['../classSVF_1_1FILOWorkList.html#a41d3d71633adc6a1282922b4e4929a7f',1,'SVF::FILOWorkList']]],
+  ['dbgaddrintrinsic',['DbgAddrIntrinsic',['../namespaceSVF.html#a97b6f3c33f30ba9b01e3ec5d91c5e6b5',1,'SVF']]],
+  ['dbgdeclareinst',['DbgDeclareInst',['../namespaceSVF.html#a52a9bff350f21692eae3b519030c314d',1,'SVF']]],
+  ['dbginfointrinsic',['DbgInfoIntrinsic',['../namespaceSVF.html#a98310cccad527f8151328f2c87b29563',1,'SVF']]],
+  ['dbglabelinst',['DbgLabelInst',['../namespaceSVF.html#a32392667c0d47b88b4e1563da27be587',1,'SVF']]],
+  ['dbgvalueinst',['DbgValueInst',['../namespaceSVF.html#aa6ea2efcc92d5a96b71f37d41abb0482',1,'SVF']]],
+  ['dbgvariableintrinsic',['DbgVariableIntrinsic',['../namespaceSVF.html#a5698b95e3f2bfb6220cca202145c79ce',1,'SVF']]],
   ['dchedgesetty',['DCHEdgeSetTy',['../classSVF_1_1DCHEdge.html#a2580878ab964494ee5c7840e16ef84b3',1,'SVF::DCHEdge']]],
   ['debuginfofinder',['DebugInfoFinder',['../namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321',1,'SVF']]],
   ['dfinoutmap',['DFInOutMap',['../classSVF_1_1FlowSensitive.html#af9a2bd5b490f1cc5335ce696173c78dd',1,'SVF::FlowSensitive::DFInOutMap()'],['../classSVF_1_1FlowSensitiveStat.html#a55d45e82ea3d338114e50da877bcfb75',1,'SVF::FlowSensitiveStat::DFInOutMap()']]],

package/SVF-doxygen/html/html/search/typedefs_6.js

@@ -1,5 +1,9 @@
 var searchData=
 [
+  ['gcprojectioninst',['GCProjectionInst',['../namespaceSVF.html#aa567358f0c0c3a6363b41ba6d37dc90c',1,'SVF']]],
+  ['gcrelocateinst',['GCRelocateInst',['../namespaceSVF.html#ac4d0b7e1b0332ac5335cc98669a3de0a',1,'SVF']]],
+  ['gcresultinst',['GCResultInst',['../namespaceSVF.html#ae0b0c09f22fa87d94d7671a941851726',1,'SVF']]],
+  ['gcstatepointinst',['GCStatepointInst',['../namespaceSVF.html#ac2f24d976e62d802aa1769924ff38bf2',1,'SVF']]],
   ['gedge',['GEDGE',['../classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f',1,'SVF::SrcSnkSolver::GEDGE()'],['../classSVF_1_1GraphReachSolver.html#a8a42bdbb5987d0a340f9935f09e2acd2',1,'SVF::GraphReachSolver::GEDGE()'],['../classSVF_1_1WPASolver.html#ab7de73aabfa092b51b8dbe7b091e4c57',1,'SVF::WPASolver::GEDGE()']]],
   ['gedgeflag',['GEdgeFlag',['../classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614',1,'SVF::GenericEdge']]],
   ['gedgekind',['GEdgeKind',['../classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a',1,'SVF::GenericEdge']]],

package/SVF-doxygen/html/html/search/typedefs_7.js

@@ -16,6 +16,9 @@ var searchData=
   ['insertvalueinst',['InsertValueInst',['../namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24',1,'SVF']]],
   ['inst2labelmap',['Inst2LabelMap',['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt']]],
   ['inst_5fiterator',['inst_iterator',['../namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b',1,'SVF']]],
+  ['instrprofincrementinst',['InstrProfIncrementInst',['../namespaceSVF.html#aebc2e2c17087bc2f00fd707f56c40795',1,'SVF']]],
+  ['instrprofincrementinststep',['InstrProfIncrementInstStep',['../namespaceSVF.html#acf50d678027c80ae12071cddf4bc1683',1,'SVF']]],
+  ['instrprofvalueprofileinst',['InstrProfValueProfileInst',['../namespaceSVF.html#a5510b21608b9780bafe8da04032c52db',1,'SVF']]],
   ['instruction',['Instruction',['../namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e',1,'SVF']]],
   ['instset',['InstSet',['../classSVF_1_1ThreadCallGraph.html#a57b69bfb5d468bd1a81a55468f845de0',1,'SVF::ThreadCallGraph::InstSet()'],['../classSVF_1_1MTASVFGBuilder.html#acff9054fd525a5358532dd2e812171ce',1,'SVF::MTASVFGBuilder::InstSet()'],['../classSVF_1_1LockAnalysis.html#ae682eb30763f0f52184eb36c95fc3811',1,'SVF::LockAnalysis::InstSet()'],['../classSVF_1_1MHP.html#aa17ec09b08f8dc7927aa7fa00232dd2f',1,'SVF::MHP::InstSet()'],['../classSVF_1_1MTAAnnotator.html#a95f4607624dac40e9d62f37e6b16fcf0',1,'SVF::MTAAnnotator::InstSet()'],['../classSVF_1_1MTAStat.html#a424ec97192aa5681f9f92a0a6f3ee8a8',1,'SVF::MTAStat::InstSet()'],['../classSVF_1_1TCT.html#a3238d12557309967f8bdfdfc275b6710',1,'SVF::TCT::InstSet()']]],
   ['insttoblocknodemapty',['InstToBlockNodeMapTy',['../classSVF_1_1ICFG.html#ab3e25c26fb0fef0fc41d7ba6a84be0af',1,'SVF::ICFG']]],
@@ -31,6 +34,7 @@ var searchData=
   ['internal_5fhooks',['internal_hooks',['../cJSON_8cpp.html#af27c741a35a02fe8937d3b4caca30c20',1,'cJSON.cpp']]],
   ['interphisvfgnode',['InterPHISVFGNode',['../namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca',1,'SVF']]],
   ['intraphisvfgnode',['IntraPHISVFGNode',['../namespaceSVF.html#ad772e1586e369943f37c22641e93e941',1,'SVF']]],
+  ['intrinsicinst',['IntrinsicInst',['../namespaceSVF.html#aeafba56771d23572128b21d784ff28a6',1,'SVF']]],
   ['inttoptrinst',['IntToPtrInst',['../namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb',1,'SVF']]],
   ['inv_5fchild_5fiterator',['inv_child_iterator',['../classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78',1,'SVF::SrcSnkSolver::inv_child_iterator()'],['../classSVF_1_1GraphReachSolver.html#a40fe9f5863619ee7c11a630e4fd89a91',1,'SVF::GraphReachSolver::inv_child_iterator()']]],
   ['invgtraits',['InvGTraits',['../classSVF_1_1SrcSnkSolver.html#ad50e99f38fe6569107d0461d96f735ae',1,'SVF::SrcSnkSolver::InvGTraits()'],['../classSVF_1_1GraphReachSolver.html#aa1542934a87c9edce00355fe2d690b9e',1,'SVF::GraphReachSolver::InvGTraits()']]],

package/SVF-doxygen/html/html/search/typedefs_b.js

@@ -6,12 +6,19 @@ var searchData=
   ['mdnode',['MDNode',['../namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb',1,'SVF']]],
   ['mdstring',['MDString',['../namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4',1,'SVF']]],
   ['meldversion',['MeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a630eeca9c3344d24fa196f7de45bce18',1,'SVF::VersionedFlowSensitive']]],
+  ['memcpyinlineinst',['MemCpyInlineInst',['../namespaceSVF.html#ac43dd719ccad81d77e6773b4d957e52a',1,'SVF']]],
+  ['memcpyinst',['MemCpyInst',['../namespaceSVF.html#a7b1ab6ca15d368bd378d4123c9f75451',1,'SVF']]],
+  ['memintrinsic',['MemIntrinsic',['../namespaceSVF.html#a062e5cbf987400704aff9209ac4507d1',1,'SVF']]],
+  ['memmoveinst',['MemMoveInst',['../namespaceSVF.html#a3c102dae4e7eb1cd6604ed9944b43e97',1,'SVF']]],
   ['memobjtofieldsmap',['MemObjToFieldsMap',['../classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940',1,'SVF::SVFIR']]],
   ['memorylocation',['MemoryLocation',['../namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403',1,'SVF']]],
   ['memregtobbsmap',['MemRegToBBsMap',['../classSVF_1_1MemSSA.html#a8d0c1a00d7db194da66c685d79e73de5',1,'SVF::MemSSA']]],
   ['memregtocountermap',['MemRegToCounterMap',['../classSVF_1_1MemSSA.html#ae1aca020147c270deca2a1241e3847d0',1,'SVF::MemSSA']]],
   ['memregtoverstackmap',['MemRegToVerStackMap',['../classSVF_1_1MemSSA.html#aa9dbaf51f0498f3bd878827744208899',1,'SVF::MemSSA']]],
+  ['memsetinst',['MemSetInst',['../namespaceSVF.html#a3aeeba6da229f0a73fd306c9f0063ae7',1,'SVF']]],
+  ['memtransferinst',['MemTransferInst',['../namespaceSVF.html#a792b184a7ef4ea203fdf644f5608f838',1,'SVF']]],
   ['metadataasvalue',['MetadataAsValue',['../namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b',1,'SVF']]],
+  ['minmaxintrinsic',['MinMaxIntrinsic',['../namespaceSVF.html#a8d8a3708b1bed772fe4ad50f7ba544bf',1,'SVF']]],
   ['module',['Module',['../namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906',1,'SVF']]],
   ['modulepass',['ModulePass',['../namespaceSVF.html#ac226d84f86637126d17f6814632c8a90',1,'SVF']]],
   ['mrid',['MRID',['../namespaceSVF.html#a1ed5cfc8a00b2d3b90e74debabaa62a5',1,'SVF']]],

package/SVF-doxygen/html/html/search/typedefs_c.js

@@ -2,6 +2,7 @@ var searchData=
 [
   ['namedmdnode',['NamedMDNode',['../namespaceSVF.html#a3011dbac9102f044ad5f36a4ad3d4a71',1,'SVF']]],
   ['nametochnodesmap',['NameToCHNodesMap',['../classSVF_1_1CHGraph.html#aedb20aca2fa11a070cfe28e14fd3552b',1,'SVF::CHGraph']]],
+  ['noaliasscopedeclinst',['NoAliasScopeDeclInst',['../namespaceSVF.html#a2f7d8bb0a9f60fe855dd82e7b1a6a090',1,'SVF']]],
   ['node',['Node',['../classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1',1,'SVF::List']]],
   ['node_5fiterator',['node_iterator',['../classSVF_1_1SrcSnkSolver.html#a14a76b28f06e167bf66e15b336570cd3',1,'SVF::SrcSnkSolver::node_iterator()'],['../classSVF_1_1GraphReachSolver.html#a4e5126b0e97e490ce65804e2017f0084',1,'SVF::GraphReachSolver::node_iterator()'],['../classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8',1,'SVF::SCCDetection::node_iterator()']]],
   ['nodebs',['NodeBS',['../namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564',1,'SVF']]],

package/SVF-doxygen/html/html/search/typedefs_e.js

@@ -38,6 +38,7 @@ var searchData=
   ['postdominatortree',['PostDominatorTree',['../namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef',1,'SVF']]],
   ['production',['Production',['../classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec',1,'SVF::GrammarBase::Production()'],['../classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288',1,'SVF::CFLSolver::Production()']]],
   ['productions',['Productions',['../classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d',1,'SVF::GrammarBase']]],
+  ['pseudoprobeinst',['PseudoProbeInst',['../namespaceSVF.html#aa1e6a12c2189520f5f92bd466f51dcde',1,'SVF']]],
   ['ptacgnodeset',['PTACGNodeSet',['../classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237',1,'SVF::TCT']]],
   ['ptavector',['PTAVector',['../classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a',1,'SVF::DDAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e',1,'SVF::WPAPass::PTAVector()']]],
   ['ptdataty',['PTDataTy',['../classSVF_1_1DiffPTData.html#a76b2abf95bf425044e8a6c4141bd470b',1,'SVF::DiffPTData::PTDataTy()'],['../classSVF_1_1DFPTData.html#aabbe54f196e27d70a3b0348e87b9990f',1,'SVF::DFPTData::PTDataTy()'],['../classSVF_1_1VersionedPTData.html#af22e10c7406708cd7e40018b0c935111',1,'SVF::VersionedPTData::PTDataTy()'],['../classSVF_1_1MutablePTData.html#a9e69cb846a8d2da102981d1f48cb16dd',1,'SVF::MutablePTData::PTDataTy()'],['../classSVF_1_1MutableDiffPTData.html#a9d829f0eab7f5ecf1a1d7eaf5f47daf6',1,'SVF::MutableDiffPTData::PTDataTy()'],['../classSVF_1_1MutableDFPTData.html#af3074a07345844ecd97e420218b39255',1,'SVF::MutableDFPTData::PTDataTy()'],['../classSVF_1_1MutableIncDFPTData.html#a5f1715813082c1f02d6888b9ec32a75e',1,'SVF::MutableIncDFPTData::PTDataTy()'],['../classSVF_1_1MutableVersionedPTData.html#af7bf99aeb752c4216a60d1fa5187b49e',1,'SVF::MutableVersionedPTData::PTDataTy()'],['../classSVF_1_1PersistentPTData.html#a64864dcc7ec8a26244cdfbe8c25886a2',1,'SVF::PersistentPTData::PTDataTy()'],['../classSVF_1_1PersistentDiffPTData.html#a778e8374e15bba331f1be99594970812',1,'SVF::PersistentDiffPTData::PTDataTy()'],['../classSVF_1_1PersistentDFPTData.html#abb11d9bd24cb587bba6f762ab49b07c8',1,'SVF::PersistentDFPTData::PTDataTy()'],['../classSVF_1_1PersistentIncDFPTData.html#a440e0e1e1e449d5514dbc3f8a0da90d7',1,'SVF::PersistentIncDFPTData::PTDataTy()'],['../classSVF_1_1PersistentVersionedPTData.html#a6051aa255081543388a8f9077012834c',1,'SVF::PersistentVersionedPTData::PTDataTy()'],['../classSVF_1_1BVDataPTAImpl.html#acfdb43f20bbcababc928cc4df93a8483',1,'SVF::BVDataPTAImpl::PTDataTy()'],['../classSVF_1_1CondPTAImpl.html#a761f8a7c6ab4a160e279e9a831f037b1',1,'SVF::CondPTAImpl::PTDataTy()']]],

package/include/SVF-FE/BasicTypes.h

@@ -96,6 +96,49 @@ typedef llvm::VAStartInst VAStartInst;
 typedef llvm::BinaryOperator BinaryOperator;
 typedef llvm::UnaryOperator UnaryOperator;
 typedef llvm::UndefValue UndefValue;
+typedef llvm::IntrinsicInst IntrinsicInst;
+typedef llvm::DbgInfoIntrinsic DbgInfoIntrinsic;
+typedef llvm::DbgVariableIntrinsic DbgVariableIntrinsic;
+typedef llvm::DbgDeclareInst DbgDeclareInst;
+typedef llvm::DbgAddrIntrinsic DbgAddrIntrinsic;
+typedef llvm::DbgValueInst DbgValueInst;
+typedef llvm::DbgLabelInst DbgLabelInst;
+typedef llvm::VPIntrinsic VPIntrinsic;
+typedef llvm::ConstrainedFPIntrinsic ConstrainedFPIntrinsic;
+typedef llvm::ConstrainedFPCmpIntrinsic ConstrainedFPCmpIntrinsic;
+typedef llvm::MinMaxIntrinsic MinMaxIntrinsic;
+typedef llvm::BinaryOpIntrinsic BinaryOpIntrinsic;
+typedef llvm::WithOverflowInst WithOverflowInst;
+typedef llvm::SaturatingInst SaturatingInst;
+typedef llvm::AtomicMemIntrinsic AtomicMemIntrinsic;
+typedef llvm::AtomicMemSetInst AtomicMemSetInst;
+typedef llvm::AtomicMemTransferInst AtomicMemTransferInst;
+typedef llvm::AtomicMemCpyInst AtomicMemCpyInst;
+typedef llvm::AtomicMemMoveInst AtomicMemMoveInst;
+typedef llvm::MemIntrinsic MemIntrinsic;
+typedef llvm::MemSetInst MemSetInst;
+typedef llvm::MemTransferInst MemTransferInst;
+typedef llvm::MemCpyInst MemCpyInst;
+typedef llvm::MemMoveInst MemMoveInst;
+typedef llvm::MemCpyInlineInst MemCpyInlineInst;
+typedef llvm::AnyMemIntrinsic AnyMemIntrinsic;
+typedef llvm::AnyMemSetInst AnyMemSetInst;
+typedef llvm::AnyMemTransferInst AnyMemTransferInst;
+typedef llvm::AnyMemCpyInst AnyMemCpyInst;
+typedef llvm::AnyMemMoveInst AnyMemMoveInst;
+typedef llvm::VAStartInst VAStartInst;
+typedef llvm::VAEndInst VAEndInst;
+typedef llvm::VACopyInst VACopyInst;
+typedef llvm::InstrProfIncrementInst InstrProfIncrementInst;
+typedef llvm::InstrProfIncrementInstStep InstrProfIncrementInstStep;
+typedef llvm::InstrProfValueProfileInst InstrProfValueProfileInst;
+typedef llvm::PseudoProbeInst PseudoProbeInst;
+typedef llvm::NoAliasScopeDeclInst NoAliasScopeDeclInst;
+typedef llvm::GCStatepointInst GCStatepointInst;
+typedef llvm::GCProjectionInst GCProjectionInst;
+typedef llvm::GCRelocateInst GCRelocateInst;
+typedef llvm::GCResultInst GCResultInst;
+typedef llvm::AssumeInst AssumeInst;
 
 // LLVM Debug Information
 typedef llvm::DIType DIType;