svf-tools 1.0.795 → 1.0.796

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

@@ -1,17 +1,17 @@
 var searchData=
 [
-  ['bad_5ffcmp_5fpredicate_12814',['BAD_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca257536bcaeadf76c6172db4d225f3a26',1,'SVF::CmpStmt']]],
-  ['bad_5ficmp_5fpredicate_12815',['BAD_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca163b0f2adc52334e5a1083d59d6bc5d9',1,'SVF::CmpStmt']]],
-  ['base_12816',['Base',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a347b03b12df7d51774b617f4e7399568',1,'SVF::PTData']]],
-  ['baseimpl_12817',['BaseImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da66b132e5ab8c8746eb22e58d199b4c2a',1,'SVF::PointerAnalysis']]],
-  ['bidirection_12818',['bidirection',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaf3515b032dca85081a3d653d0cb9b995',1,'SVF']]],
-  ['binaryop_12819',['BinaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0e99fed4f3145668652aad5a3700e337',1,'SVF::VFGNode::BinaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13',1,'SVF::SVFStmt::BinaryOp()']]],
-  ['bits_5fper_5felement_12820',['BITS_PER_ELEMENT',['../structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0aeb226b2e0dea78fbdbf5b780c3745f6d',1,'SVF::SparseBitVectorElement']]],
-  ['bitword_5fsize_12821',['BITWORD_SIZE',['../structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4',1,'SVF::SparseBitVectorElement::BITWORD_SIZE()'],['../classSVF_1_1SparseBitVector.html#ab0a250ed14fc688ffb38c8f00aca0bd4a887a4856f51078b02a23348b7331453e',1,'SVF::SparseBitVector::BITWORD_SIZE()']]],
-  ['bitwords_5fper_5felement_12822',['BITWORDS_PER_ELEMENT',['../structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3',1,'SVF::SparseBitVectorElement']]],
-  ['blackhole_12823',['BlackHole',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba95734ab884566beab5cd3523c250b539',1,'SVF::SymbolTableInfo']]],
-  ['blkptr_12824',['BlkPtr',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba9a9d3f03f58ccd4fdaaf08327a74aa03',1,'SVF::SymbolTableInfo']]],
-  ['branch_12825',['Branch',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a7e37444f61c10c22b694a86064ae4f01',1,'SVF::VFGNode::Branch()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3',1,'SVF::SVFStmt::Branch()'],['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3a070acf2c72c74cba55b5acea3db9c854',1,'SVF::SVFBugEvent::Branch()']]],
-  ['bv_12826',['BV',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892',1,'SVF::PointsTo']]],
-  ['bvdataimpl_12827',['BVDataImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da84705167ea3a7162ecb9470a8a77b5d8',1,'SVF::PointerAnalysis']]]
+  ['bad_5ffcmp_5fpredicate_12824',['BAD_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca257536bcaeadf76c6172db4d225f3a26',1,'SVF::CmpStmt']]],
+  ['bad_5ficmp_5fpredicate_12825',['BAD_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca163b0f2adc52334e5a1083d59d6bc5d9',1,'SVF::CmpStmt']]],
+  ['base_12826',['Base',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a347b03b12df7d51774b617f4e7399568',1,'SVF::PTData']]],
+  ['baseimpl_12827',['BaseImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da66b132e5ab8c8746eb22e58d199b4c2a',1,'SVF::PointerAnalysis']]],
+  ['bidirection_12828',['bidirection',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaf3515b032dca85081a3d653d0cb9b995',1,'SVF']]],
+  ['binaryop_12829',['BinaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0e99fed4f3145668652aad5a3700e337',1,'SVF::VFGNode::BinaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13',1,'SVF::SVFStmt::BinaryOp()']]],
+  ['bits_5fper_5felement_12830',['BITS_PER_ELEMENT',['../structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0aeb226b2e0dea78fbdbf5b780c3745f6d',1,'SVF::SparseBitVectorElement']]],
+  ['bitword_5fsize_12831',['BITWORD_SIZE',['../structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3335c07a7225c80110e998246f96d6c4',1,'SVF::SparseBitVectorElement::BITWORD_SIZE()'],['../classSVF_1_1SparseBitVector.html#ab0a250ed14fc688ffb38c8f00aca0bd4a887a4856f51078b02a23348b7331453e',1,'SVF::SparseBitVector::BITWORD_SIZE()']]],
+  ['bitwords_5fper_5felement_12832',['BITWORDS_PER_ELEMENT',['../structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0a3dde12fdc7052a87d20741d2c31a65a3',1,'SVF::SparseBitVectorElement']]],
+  ['blackhole_12833',['BlackHole',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba95734ab884566beab5cd3523c250b539',1,'SVF::SymbolTableInfo']]],
+  ['blkptr_12834',['BlkPtr',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba9a9d3f03f58ccd4fdaaf08327a74aa03',1,'SVF::SymbolTableInfo']]],
+  ['branch_12835',['Branch',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a7e37444f61c10c22b694a86064ae4f01',1,'SVF::VFGNode::Branch()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3',1,'SVF::SVFStmt::Branch()'],['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3a070acf2c72c74cba55b5acea3db9c854',1,'SVF::SVFBugEvent::Branch()']]],
+  ['bv_12836',['BV',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892',1,'SVF::PointsTo']]],
+  ['bvdataimpl_12837',['BVDataImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da84705167ea3a7162ecb9470a8a77b5d8',1,'SVF::PointerAnalysis']]]
 ];

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

@@ -1,38 +1,38 @@
 var searchData=
 [
-  ['td_5facquire_13073',['TD_ACQUIRE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a5bda6aca46dfc712f3781b4732a373a3',1,'SVF::ThreadAPI']]],
-  ['td_5fbar_5finit_13074',['TD_BAR_INIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a4fb99e17bf56ae018448f5f97aa8cda6',1,'SVF::ThreadAPI']]],
-  ['td_5fbar_5fwait_13075',['TD_BAR_WAIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa2b2704ecc4c11ec0dbeaf1b22532431',1,'SVF::ThreadAPI']]],
-  ['td_5fcancel_13076',['TD_CANCEL',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3afad2e548ab59646972d8c66e593845cc',1,'SVF::ThreadAPI']]],
-  ['td_5fcond_5fbroadcast_13077',['TD_COND_BROADCAST',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa6ee2952d7757b0919f56bd39fd5a93e',1,'SVF::ThreadAPI']]],
-  ['td_5fcond_5fsignal_13078',['TD_COND_SIGNAL',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a01a3b1723176504482b606d8e097949f',1,'SVF::ThreadAPI']]],
-  ['td_5fcond_5fwait_13079',['TD_COND_WAIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa8a39bd1bb13292a55dd6168909c872e',1,'SVF::ThreadAPI']]],
-  ['td_5fcondvar_5fdestroy_13080',['TD_CONDVAR_DESTROY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9c3f04e71ed64ce8d2862d7a6f39a95b',1,'SVF::ThreadAPI']]],
-  ['td_5fcondvar_5fini_13081',['TD_CONDVAR_INI',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a1f921d7369e3a00a77394640f887c7ff',1,'SVF::ThreadAPI']]],
-  ['td_5fdetach_13082',['TD_DETACH',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a0b558cf037397818414cac2f7c87ab08',1,'SVF::ThreadAPI']]],
-  ['td_5fdummy_13083',['TD_DUMMY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a5953e882e253807e49aa229e64e001b8',1,'SVF::ThreadAPI']]],
-  ['td_5fexit_13084',['TD_EXIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3af3a3036705ecca40cf170d12d0ccf4dc',1,'SVF::ThreadAPI']]],
-  ['td_5ffork_13085',['TD_FORK',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9a40948eeab9b022957ae33715ee83da',1,'SVF::ThreadAPI']]],
-  ['td_5fjoin_13086',['TD_JOIN',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9efe9b72a2520e1fae3cae1e747e3134',1,'SVF::ThreadAPI']]],
-  ['td_5fmutex_5fdestroy_13087',['TD_MUTEX_DESTROY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a91db238366fcdcd65bd7710882c8716f',1,'SVF::ThreadAPI']]],
-  ['td_5fmutex_5fini_13088',['TD_MUTEX_INI',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3abb17ca545bd259f16a36a2d2af43948b',1,'SVF::ThreadAPI']]],
-  ['td_5frelease_13089',['TD_RELEASE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3ac826e1e1c43305a3abcfdc9a2169b8dd',1,'SVF::ThreadAPI']]],
-  ['td_5ftry_5facquire_13090',['TD_TRY_ACQUIRE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3ab7ea623d48ae64aa09ab49deebbb7113',1,'SVF::ThreadAPI']]],
-  ['tdalive_13091',['TDAlive',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a2abecc56b7d5c644f7e14c98d33d0a0a',1,'SVF::ForkJoinAnalysis']]],
-  ['tddead_13092',['TDDead',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4',1,'SVF::ForkJoinAnalysis']]],
-  ['tdforkedge_13093',['TDForkEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7af32caf15ca19d512b5183bcf0d859cd7',1,'SVF::PTACallGraphEdge']]],
-  ['tdjoinedge_13094',['TDJoinEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a2d65840140263a0808f5b9d553a4bff5',1,'SVF::PTACallGraphEdge']]],
-  ['tdlocked_13095',['TDLocked',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791a2709e7eb7ea9829c7e649e6dd86d6a48',1,'SVF::LockAnalysis']]],
-  ['tdunlocked_13096',['TDUnlocked',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ac531588e8556653306e03ccaacb83dac',1,'SVF::LockAnalysis']]],
-  ['template_13097',['TEMPLATE',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc',1,'SVF::DCHNode::TEMPLATE()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d',1,'SVF::CHNode::TEMPLATE()']]],
-  ['thdcallgraph_13098',['ThdCallGraph',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1ca4fe819bb1488afc48b04c1b7bef04bc2',1,'SVF::PTACallGraph']]],
-  ['theadmhpindirectvf_13099',['TheadMHPIndirectVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375',1,'SVF::VFGEdge']]],
-  ['threadcreateedge_13100',['ThreadCreateEdge',['../classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8',1,'SVF::TCTEdge']]],
-  ['threadfork_13101',['ThreadFork',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd',1,'SVF::SVFStmt']]],
-  ['threadjoin_13102',['ThreadJoin',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0',1,'SVF::SVFStmt']]],
-  ['tinterphi_13103',['TInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69',1,'SVF::VFGNode']]],
-  ['tintraphi_13104',['TIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727',1,'SVF::VFGNode']]],
-  ['tphi_13105',['TPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950',1,'SVF::VFGNode']]],
-  ['twopi_13106',['TWOPI',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac6a6eaaa34322cf54953ba390895f0c5',1,'SVF::GraphProgram']]],
-  ['typecpp_5fwpa_13107',['TypeCPP_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3',1,'SVF::PointerAnalysis']]]
+  ['td_5facquire_13083',['TD_ACQUIRE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a5bda6aca46dfc712f3781b4732a373a3',1,'SVF::ThreadAPI']]],
+  ['td_5fbar_5finit_13084',['TD_BAR_INIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a4fb99e17bf56ae018448f5f97aa8cda6',1,'SVF::ThreadAPI']]],
+  ['td_5fbar_5fwait_13085',['TD_BAR_WAIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa2b2704ecc4c11ec0dbeaf1b22532431',1,'SVF::ThreadAPI']]],
+  ['td_5fcancel_13086',['TD_CANCEL',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3afad2e548ab59646972d8c66e593845cc',1,'SVF::ThreadAPI']]],
+  ['td_5fcond_5fbroadcast_13087',['TD_COND_BROADCAST',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa6ee2952d7757b0919f56bd39fd5a93e',1,'SVF::ThreadAPI']]],
+  ['td_5fcond_5fsignal_13088',['TD_COND_SIGNAL',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a01a3b1723176504482b606d8e097949f',1,'SVF::ThreadAPI']]],
+  ['td_5fcond_5fwait_13089',['TD_COND_WAIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3aa8a39bd1bb13292a55dd6168909c872e',1,'SVF::ThreadAPI']]],
+  ['td_5fcondvar_5fdestroy_13090',['TD_CONDVAR_DESTROY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9c3f04e71ed64ce8d2862d7a6f39a95b',1,'SVF::ThreadAPI']]],
+  ['td_5fcondvar_5fini_13091',['TD_CONDVAR_INI',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a1f921d7369e3a00a77394640f887c7ff',1,'SVF::ThreadAPI']]],
+  ['td_5fdetach_13092',['TD_DETACH',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a0b558cf037397818414cac2f7c87ab08',1,'SVF::ThreadAPI']]],
+  ['td_5fdummy_13093',['TD_DUMMY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a5953e882e253807e49aa229e64e001b8',1,'SVF::ThreadAPI']]],
+  ['td_5fexit_13094',['TD_EXIT',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3af3a3036705ecca40cf170d12d0ccf4dc',1,'SVF::ThreadAPI']]],
+  ['td_5ffork_13095',['TD_FORK',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9a40948eeab9b022957ae33715ee83da',1,'SVF::ThreadAPI']]],
+  ['td_5fjoin_13096',['TD_JOIN',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a9efe9b72a2520e1fae3cae1e747e3134',1,'SVF::ThreadAPI']]],
+  ['td_5fmutex_5fdestroy_13097',['TD_MUTEX_DESTROY',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a91db238366fcdcd65bd7710882c8716f',1,'SVF::ThreadAPI']]],
+  ['td_5fmutex_5fini_13098',['TD_MUTEX_INI',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3abb17ca545bd259f16a36a2d2af43948b',1,'SVF::ThreadAPI']]],
+  ['td_5frelease_13099',['TD_RELEASE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3ac826e1e1c43305a3abcfdc9a2169b8dd',1,'SVF::ThreadAPI']]],
+  ['td_5ftry_5facquire_13100',['TD_TRY_ACQUIRE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3ab7ea623d48ae64aa09ab49deebbb7113',1,'SVF::ThreadAPI']]],
+  ['tdalive_13101',['TDAlive',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a2abecc56b7d5c644f7e14c98d33d0a0a',1,'SVF::ForkJoinAnalysis']]],
+  ['tddead_13102',['TDDead',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4',1,'SVF::ForkJoinAnalysis']]],
+  ['tdforkedge_13103',['TDForkEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7af32caf15ca19d512b5183bcf0d859cd7',1,'SVF::PTACallGraphEdge']]],
+  ['tdjoinedge_13104',['TDJoinEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a2d65840140263a0808f5b9d553a4bff5',1,'SVF::PTACallGraphEdge']]],
+  ['tdlocked_13105',['TDLocked',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791a2709e7eb7ea9829c7e649e6dd86d6a48',1,'SVF::LockAnalysis']]],
+  ['tdunlocked_13106',['TDUnlocked',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ac531588e8556653306e03ccaacb83dac',1,'SVF::LockAnalysis']]],
+  ['template_13107',['TEMPLATE',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc',1,'SVF::DCHNode::TEMPLATE()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d',1,'SVF::CHNode::TEMPLATE()']]],
+  ['thdcallgraph_13108',['ThdCallGraph',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1ca4fe819bb1488afc48b04c1b7bef04bc2',1,'SVF::PTACallGraph']]],
+  ['theadmhpindirectvf_13109',['TheadMHPIndirectVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375',1,'SVF::VFGEdge']]],
+  ['threadcreateedge_13110',['ThreadCreateEdge',['../classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8',1,'SVF::TCTEdge']]],
+  ['threadfork_13111',['ThreadFork',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd',1,'SVF::SVFStmt']]],
+  ['threadjoin_13112',['ThreadJoin',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0',1,'SVF::SVFStmt']]],
+  ['tinterphi_13113',['TInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69',1,'SVF::VFGNode']]],
+  ['tintraphi_13114',['TIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727',1,'SVF::VFGNode']]],
+  ['tphi_13115',['TPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950',1,'SVF::VFGNode']]],
+  ['twopi_13116',['TWOPI',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac6a6eaaa34322cf54953ba390895f0c5',1,'SVF::GraphProgram']]],
+  ['typecpp_5fwpa_13117',['TypeCPP_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3',1,'SVF::PointerAnalysis']]]
 ];

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['udiv_13108',['UDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250',1,'SVF::BinaryOPStmt']]],
-  ['unaryop_13109',['UnaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc',1,'SVF::VFGNode::UnaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688',1,'SVF::SVFStmt::UnaryOp()']]],
-  ['urem_13110',['URem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6af7dba9dda5edcee046ca81fb184858bc',1,'SVF::BinaryOPStmt']]]
+  ['udiv_13118',['UDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2f8b02de2c62175d3341be92a925250',1,'SVF::BinaryOPStmt']]],
+  ['unaryop_13119',['UnaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc',1,'SVF::VFGNode::UnaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688',1,'SVF::SVFStmt::UnaryOp()']]],
+  ['urem_13120',['URem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6af7dba9dda5edcee046ca81fb184858bc',1,'SVF::BinaryOPStmt']]]
 ];

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

@@ -1,13 +1,13 @@
 var searchData=
 [
-  ['valnode_13111',['ValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66',1,'SVF::SVFVar']]],
-  ['valsymbol_13112',['ValSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba23583f8cf79d3fd142f8550664ad8247',1,'SVF::SymbolTableInfo']]],
-  ['var_5farray_5fobj_13113',['VAR_ARRAY_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c',1,'SVF::ObjTypeInfo']]],
-  ['var_5fstruct_5fobj_13114',['VAR_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aaf98981bd15b41f543fd99d0c6222f08',1,'SVF::ObjTypeInfo']]],
-  ['varargnode_13115',['VarargNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf',1,'SVF::SVFVar']]],
-  ['varargsymbol_13116',['VarargSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89bab8a256319d4853178a0308c0f6f830e3',1,'SVF::SymbolTableInfo']]],
-  ['variantgep_13117',['VariantGep',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a',1,'SVF::ConstraintEdge']]],
-  ['versioned_13118',['Versioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a33bb78ff686c2cd774e127ce77f9cb67',1,'SVF::PTData']]],
-  ['veto_13119',['Veto',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394dabb45a604558e2ebff460adb77b4a5d7c',1,'SVF::WPAPass']]],
-  ['vfs_5fwpa_13120',['VFS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a412254a7738029bf3ee96f5c15a6bec9',1,'SVF::PointerAnalysis']]]
+  ['valnode_13121',['ValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66',1,'SVF::SVFVar']]],
+  ['valsymbol_13122',['ValSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba23583f8cf79d3fd142f8550664ad8247',1,'SVF::SymbolTableInfo']]],
+  ['var_5farray_5fobj_13123',['VAR_ARRAY_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c',1,'SVF::ObjTypeInfo']]],
+  ['var_5fstruct_5fobj_13124',['VAR_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aaf98981bd15b41f543fd99d0c6222f08',1,'SVF::ObjTypeInfo']]],
+  ['varargnode_13125',['VarargNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf',1,'SVF::SVFVar']]],
+  ['varargsymbol_13126',['VarargSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89bab8a256319d4853178a0308c0f6f830e3',1,'SVF::SymbolTableInfo']]],
+  ['variantgep_13127',['VariantGep',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a',1,'SVF::ConstraintEdge']]],
+  ['versioned_13128',['Versioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a33bb78ff686c2cd774e127ce77f9cb67',1,'SVF::PTData']]],
+  ['veto_13129',['Veto',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394dabb45a604558e2ebff460adb77b4a5d7c',1,'SVF::WPAPass']]],
+  ['vfs_5fwpa_13130',['VFS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a412254a7738029bf3ee96f5c15a6bec9',1,'SVF::PointerAnalysis']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['wall_13121',['Wall',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc',1,'SVF::SVFStat']]]
+  ['wall_13131',['Wall',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc',1,'SVF::SVFStat']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['xor_13122',['Xor',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac89b793572db14a3c018122cf9fc79d6',1,'SVF::BinaryOPStmt']]]
+  ['xor_13132',['Xor',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac89b793572db14a3c018122cf9fc79d6',1,'SVF::BinaryOPStmt']]]
 ];

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['zb_5fmax_13123',['ZB_Max',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349aac378e728f7d53b2d96be1d33c63afb1',1,'SVF']]],
-  ['zb_5fundefined_13124',['ZB_Undefined',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349a5cbe6f40e9b49a24bc2d2e4bf6f12d54',1,'SVF']]],
-  ['zb_5fwidth_13125',['ZB_Width',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349afdacc59903d2677ef91777d78c7b80a7',1,'SVF']]]
+  ['zb_5fmax_13133',['ZB_Max',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349aac378e728f7d53b2d96be1d33c63afb1',1,'SVF']]],
+  ['zb_5fundefined_13134',['ZB_Undefined',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349a5cbe6f40e9b49a24bc2d2e4bf6f12d54',1,'SVF']]],
+  ['zb_5fwidth_13135',['ZB_Width',['../namespaceSVF.html#af5b6ec9770091c42227a45491b00b349afdacc59903d2677ef91777d78c7b80a7',1,'SVF']]]
 ];

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

@@ -1,39 +1,39 @@
 var searchData=
 [
-  ['call_12828',['Call',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00',1,'SVF::SVFStmt']]],
-  ['callcf_12829',['CallCF',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e',1,'SVF::ICFGEdge']]],
-  ['calldirvf_12830',['CallDirVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8383c27feab3f1acc67cacef9744c04a',1,'SVF::VFGEdge']]],
-  ['caller_12831',['Caller',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3af8ef890358aa9e45bc09407fc8cd36b6',1,'SVF::SVFBugEvent']]],
-  ['callindvf_12832',['CallIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a978c857fcc06d2f988bc9ce16ce10145',1,'SVF::VFGEdge']]],
-  ['callmssachi_12833',['CallMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18acdf2b1261a1be8a4a923a22311ecd1e4',1,'SVF::MSSADEF']]],
-  ['callmssamu_12834',['CallMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18',1,'SVF::MSSAMU']]],
-  ['callretedge_12835',['CallRetEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7aa968b68fb87a0135833105f4e6413c69',1,'SVF::PTACallGraphEdge']]],
-  ['callsite_12836',['CallSite',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa16d1c3d5b68a356288ba49f4aee1629',1,'SVF::SVFBugEvent']]],
-  ['cbv_12837',['CBV',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923ea0397c2678894d1792fcd3432a7aa64fb',1,'SVF::PointsTo']]],
-  ['cflfici_5fwpa_12838',['CFLFICI_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a164c6de3baace1c63db75a228a5816bb',1,'SVF::PointerAnalysis']]],
-  ['cflfsci_5fwpa_12839',['CFLFSCI_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85afbe666887476ce8620aca97a159921bc',1,'SVF::PointerAnalysis']]],
-  ['cflfscs_5fwpa_12840',['CFLFSCS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab87dcf990c05d31f91b9bfdfcfb54b7d',1,'SVF::PointerAnalysis']]],
-  ['circo_12841',['CIRCO',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a88732178df8f5804ab976cc48e584674',1,'SVF::GraphProgram']]],
-  ['ck_5falloc_12842',['CK_ALLOC',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056acd7e3bca6e36e08205576482b1b0221e',1,'SVF::SaberCheckerAPI']]],
-  ['ck_5fdummy_12843',['CK_DUMMY',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a7e06261f283161194d11f4d27c417c45',1,'SVF::SaberCheckerAPI']]],
-  ['ck_5ffclose_12844',['CK_FCLOSE',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a731dcaf32786abf31c43be180dd366cb',1,'SVF::SaberCheckerAPI']]],
-  ['ck_5ffopen_12845',['CK_FOPEN',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a75cc4daa228ceb26f63cb1825da8a73e',1,'SVF::SaberCheckerAPI']]],
-  ['ck_5ffree_12846',['CK_FREE',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a0fa2e38d001b233c6563822491adf507',1,'SVF::SaberCheckerAPI']]],
-  ['cmp_12847',['Cmp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828',1,'SVF::VFGNode::Cmp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0',1,'SVF::SVFStmt::Cmp()']]],
-  ['concretek_12848',['ConcreteK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a9f76747494000cadf2e655a77f0e6ae5',1,'SVF::AbstractValue']]],
-  ['condimpl_12849',['CondImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da88380bb05f60a1349e192364ba6c5292',1,'SVF::PointerAnalysis']]],
-  ['conservative_12850',['Conservative',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7',1,'SVF::WPAPass']]],
-  ['const_5farray_5fobj_12851',['CONST_ARRAY_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aff4142c0c411dea07b484a19af514047',1,'SVF::ObjTypeInfo']]],
-  ['const_5fdata_12852',['CONST_DATA',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a5e5bc3a1838476fbd80c52720c9d103e',1,'SVF::ObjTypeInfo']]],
-  ['const_5fglobal_5fobj_12853',['CONST_GLOBAL_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a84c1bc6eaff950330a102afca1efc04c',1,'SVF::ObjTypeInfo']]],
-  ['const_5fstruct_5fobj_12854',['CONST_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a6443b9fadd2d34e00832b2215a120ebd',1,'SVF::ObjTypeInfo']]],
-  ['constantobj_12855',['ConstantObj',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89baa3ecb7c51e2cba67d1f9a5284c2f215f',1,'SVF::SymbolTableInfo']]],
-  ['constructor_12856',['CONSTRUCTOR',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22a331376f6d22d2346039db7a9c9a311c2',1,'SVF::CHGraph']]],
-  ['context_5fleak_12857',['CONTEXT_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da1524077f4425b7e2d6cc32917a02c356',1,'SVF::LeakChecker']]],
-  ['copy_12858',['Copy',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a29b0aa3353f866ef1655ab6d4716feb9',1,'SVF::ConstraintEdge::Copy()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b',1,'SVF::VFGNode::Copy()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad3469cdfb64f05163b5310b731b221da',1,'SVF::SVFStmt::Copy()']]],
-  ['cpu_12859',['CPU',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa',1,'SVF::SVFStat']]],
-  ['cscallstring_5fwpa_12860',['CSCallString_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ac9e931f254fa3471f5f5337cbca1de09',1,'SVF::PointerAnalysis']]],
-  ['cssummary_5fwpa_12861',['CSSummary_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adf8fe4349f84779601a0b41659ca8e27',1,'SVF::PointerAnalysis']]],
-  ['cxt_5fdda_12862',['Cxt_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a0ab6564c48897595c9d23382a026e0a8',1,'SVF::PointerAnalysis']]],
-  ['cycle_12863',['Cycle',['../classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300aca33b5832e3fca1c5966ecc4ce695f96',1,'SVF::CFBasicBlockGWTOComp']]]
+  ['call_12838',['Call',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00',1,'SVF::SVFStmt']]],
+  ['callcf_12839',['CallCF',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e',1,'SVF::ICFGEdge']]],
+  ['calldirvf_12840',['CallDirVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8383c27feab3f1acc67cacef9744c04a',1,'SVF::VFGEdge']]],
+  ['caller_12841',['Caller',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3af8ef890358aa9e45bc09407fc8cd36b6',1,'SVF::SVFBugEvent']]],
+  ['callindvf_12842',['CallIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a978c857fcc06d2f988bc9ce16ce10145',1,'SVF::VFGEdge']]],
+  ['callmssachi_12843',['CallMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18acdf2b1261a1be8a4a923a22311ecd1e4',1,'SVF::MSSADEF']]],
+  ['callmssamu_12844',['CallMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18',1,'SVF::MSSAMU']]],
+  ['callretedge_12845',['CallRetEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7aa968b68fb87a0135833105f4e6413c69',1,'SVF::PTACallGraphEdge']]],
+  ['callsite_12846',['CallSite',['../classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3aa16d1c3d5b68a356288ba49f4aee1629',1,'SVF::SVFBugEvent']]],
+  ['cbv_12847',['CBV',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923ea0397c2678894d1792fcd3432a7aa64fb',1,'SVF::PointsTo']]],
+  ['cflfici_5fwpa_12848',['CFLFICI_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a164c6de3baace1c63db75a228a5816bb',1,'SVF::PointerAnalysis']]],
+  ['cflfsci_5fwpa_12849',['CFLFSCI_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85afbe666887476ce8620aca97a159921bc',1,'SVF::PointerAnalysis']]],
+  ['cflfscs_5fwpa_12850',['CFLFSCS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab87dcf990c05d31f91b9bfdfcfb54b7d',1,'SVF::PointerAnalysis']]],
+  ['circo_12851',['CIRCO',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a88732178df8f5804ab976cc48e584674',1,'SVF::GraphProgram']]],
+  ['ck_5falloc_12852',['CK_ALLOC',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056acd7e3bca6e36e08205576482b1b0221e',1,'SVF::SaberCheckerAPI']]],
+  ['ck_5fdummy_12853',['CK_DUMMY',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a7e06261f283161194d11f4d27c417c45',1,'SVF::SaberCheckerAPI']]],
+  ['ck_5ffclose_12854',['CK_FCLOSE',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a731dcaf32786abf31c43be180dd366cb',1,'SVF::SaberCheckerAPI']]],
+  ['ck_5ffopen_12855',['CK_FOPEN',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a75cc4daa228ceb26f63cb1825da8a73e',1,'SVF::SaberCheckerAPI']]],
+  ['ck_5ffree_12856',['CK_FREE',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a0fa2e38d001b233c6563822491adf507',1,'SVF::SaberCheckerAPI']]],
+  ['cmp_12857',['Cmp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828',1,'SVF::VFGNode::Cmp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0',1,'SVF::SVFStmt::Cmp()']]],
+  ['concretek_12858',['ConcreteK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a9f76747494000cadf2e655a77f0e6ae5',1,'SVF::AbstractValue']]],
+  ['condimpl_12859',['CondImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da88380bb05f60a1349e192364ba6c5292',1,'SVF::PointerAnalysis']]],
+  ['conservative_12860',['Conservative',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7',1,'SVF::WPAPass']]],
+  ['const_5farray_5fobj_12861',['CONST_ARRAY_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aff4142c0c411dea07b484a19af514047',1,'SVF::ObjTypeInfo']]],
+  ['const_5fdata_12862',['CONST_DATA',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a5e5bc3a1838476fbd80c52720c9d103e',1,'SVF::ObjTypeInfo']]],
+  ['const_5fglobal_5fobj_12863',['CONST_GLOBAL_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a84c1bc6eaff950330a102afca1efc04c',1,'SVF::ObjTypeInfo']]],
+  ['const_5fstruct_5fobj_12864',['CONST_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a6443b9fadd2d34e00832b2215a120ebd',1,'SVF::ObjTypeInfo']]],
+  ['constantobj_12865',['ConstantObj',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89baa3ecb7c51e2cba67d1f9a5284c2f215f',1,'SVF::SymbolTableInfo']]],
+  ['constructor_12866',['CONSTRUCTOR',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22a331376f6d22d2346039db7a9c9a311c2',1,'SVF::CHGraph']]],
+  ['context_5fleak_12867',['CONTEXT_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da1524077f4425b7e2d6cc32917a02c356',1,'SVF::LeakChecker']]],
+  ['copy_12868',['Copy',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a29b0aa3353f866ef1655ab6d4716feb9',1,'SVF::ConstraintEdge::Copy()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b',1,'SVF::VFGNode::Copy()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad3469cdfb64f05163b5310b731b221da',1,'SVF::SVFStmt::Copy()']]],
+  ['cpu_12869',['CPU',['../classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa',1,'SVF::SVFStat']]],
+  ['cscallstring_5fwpa_12870',['CSCallString_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ac9e931f254fa3471f5f5337cbca1de09',1,'SVF::PointerAnalysis']]],
+  ['cssummary_5fwpa_12871',['CSSummary_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adf8fe4349f84779601a0b41659ca8e27',1,'SVF::PointerAnalysis']]],
+  ['cxt_5fdda_12872',['Cxt_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a0ab6564c48897595c9d23382a026e0a8',1,'SVF::PointerAnalysis']]],
+  ['cycle_12873',['Cycle',['../classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300aca33b5832e3fca1c5966ecc4ce695f96',1,'SVF::CFBasicBlockGWTOComp']]]
 ];

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

@@ -1,16 +1,16 @@
 var searchData=
 [
-  ['dataflow_12864',['DataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848acb817cbf655c365c02af3675588f06cc',1,'SVF::PTData']]],
-  ['dbug_12865',['DBUG',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a36e359346b349ead71f7ab095b0865af',1,'SVF::NodeIDAllocator']]],
-  ['default_5fpta_12866',['Default_PTA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adb3d4cbd8c38c1c498bc51198626a790',1,'SVF::PointerAnalysis']]],
-  ['dense_12867',['DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a9df17b1222681bba5e649895deb726f0',1,'SVF::NodeIDAllocator']]],
-  ['destructor_12868',['DESTRUCTOR',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22adfb68ad45ad216277b580d9a45926dc7',1,'SVF::CHGraph']]],
-  ['di_12869',['DI',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8ae9e3edea0bae930aa9af04699fca9506',1,'SVF::CommonCHGraph']]],
-  ['diff_12870',['Diff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a03a155517b9587d79c3f0b6dc3b72447',1,'SVF::PTData']]],
-  ['distinct_12871',['Distinct',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671a9da5f4ad2a43befdbc4be319bffc80ea',1,'SVF::MemSSA']]],
-  ['dot_12872',['DOT',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ae09e3feb3996d73e682cf2a5077c090c',1,'SVF::GraphProgram']]],
-  ['doublefree_12873',['DOUBLEFREE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4',1,'SVF::GenericBug']]],
-  ['dummyobjnode_12874',['DummyObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af',1,'SVF::SVFVar']]],
-  ['dummyvalnode_12875',['DummyValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8',1,'SVF::SVFVar']]],
-  ['dummyvprop_12876',['DummyVProp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2',1,'SVF::VFGNode']]]
+  ['dataflow_12874',['DataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848acb817cbf655c365c02af3675588f06cc',1,'SVF::PTData']]],
+  ['dbug_12875',['DBUG',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a36e359346b349ead71f7ab095b0865af',1,'SVF::NodeIDAllocator']]],
+  ['default_5fpta_12876',['Default_PTA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adb3d4cbd8c38c1c498bc51198626a790',1,'SVF::PointerAnalysis']]],
+  ['dense_12877',['DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a9df17b1222681bba5e649895deb726f0',1,'SVF::NodeIDAllocator']]],
+  ['destructor_12878',['DESTRUCTOR',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22adfb68ad45ad216277b580d9a45926dc7',1,'SVF::CHGraph']]],
+  ['di_12879',['DI',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8ae9e3edea0bae930aa9af04699fca9506',1,'SVF::CommonCHGraph']]],
+  ['diff_12880',['Diff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a03a155517b9587d79c3f0b6dc3b72447',1,'SVF::PTData']]],
+  ['distinct_12881',['Distinct',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671a9da5f4ad2a43befdbc4be319bffc80ea',1,'SVF::MemSSA']]],
+  ['dot_12882',['DOT',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ae09e3feb3996d73e682cf2a5077c090c',1,'SVF::GraphProgram']]],
+  ['doublefree_12883',['DOUBLEFREE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1f91a40ca53eb077cc947fae828554b4',1,'SVF::GenericBug']]],
+  ['dummyobjnode_12884',['DummyObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af',1,'SVF::SVFVar']]],
+  ['dummyvalnode_12885',['DummyValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8',1,'SVF::SVFVar']]],
+  ['dummyvprop_12886',['DummyVProp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2',1,'SVF::VFGNode']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['empty_12877',['Empty',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ae16d4995f32298086fd37b4759ec069c',1,'SVF::LockAnalysis::Empty()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a9d940442c782d5a1297102209540182f',1,'SVF::ForkJoinAnalysis::Empty()']]],
-  ['entrymssachi_12878',['EntryMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3',1,'SVF::MSSADEF']]]
+  ['empty_12887',['Empty',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ae16d4995f32298086fd37b4759ec069c',1,'SVF::LockAnalysis::Empty()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a9d940442c782d5a1297102209540182f',1,'SVF::ForkJoinAnalysis::Empty()']]],
+  ['entrymssachi_12888',['EntryMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3',1,'SVF::MSSADEF']]]
 ];

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

@@ -1,50 +1,50 @@
 var searchData=
 [
-  ['fadd_12879',['FAdd',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a97c70ced12e0f1c5e3c3708b13727e8e',1,'SVF::BinaryOPStmt']]],
-  ['fcmp_5ffalse_12880',['FCMP_FALSE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06',1,'SVF::CmpStmt']]],
-  ['fcmp_5foeq_12881',['FCMP_OEQ',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee',1,'SVF::CmpStmt']]],
-  ['fcmp_5foge_12882',['FCMP_OGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c',1,'SVF::CmpStmt']]],
-  ['fcmp_5fogt_12883',['FCMP_OGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486',1,'SVF::CmpStmt']]],
-  ['fcmp_5fole_12884',['FCMP_OLE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d',1,'SVF::CmpStmt']]],
-  ['fcmp_5folt_12885',['FCMP_OLT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa',1,'SVF::CmpStmt']]],
-  ['fcmp_5fone_12886',['FCMP_ONE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193',1,'SVF::CmpStmt']]],
-  ['fcmp_5ford_12887',['FCMP_ORD',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca936134e7e431c14148738c4ba3d42b44',1,'SVF::CmpStmt']]],
-  ['fcmp_5ftrue_12888',['FCMP_TRUE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7',1,'SVF::CmpStmt']]],
-  ['fcmp_5fueq_12889',['FCMP_UEQ',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021',1,'SVF::CmpStmt']]],
-  ['fcmp_5fuge_12890',['FCMP_UGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da',1,'SVF::CmpStmt']]],
-  ['fcmp_5fugt_12891',['FCMP_UGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c',1,'SVF::CmpStmt']]],
-  ['fcmp_5fule_12892',['FCMP_ULE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb',1,'SVF::CmpStmt']]],
-  ['fcmp_5fult_12893',['FCMP_ULT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d',1,'SVF::CmpStmt']]],
-  ['fcmp_5fune_12894',['FCMP_UNE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09',1,'SVF::CmpStmt']]],
-  ['fcmp_5funo_12895',['FCMP_UNO',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabdc74b4ebee0687c32e34c7995495c69',1,'SVF::CmpStmt']]],
-  ['fdiv_12896',['FDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a553540425a63724c8b7f2fd0ca25b567',1,'SVF::BinaryOPStmt']]],
-  ['fdp_12897',['FDP',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac3a20ad67d8b23a37a2c81ef793323a9',1,'SVF::GraphProgram']]],
-  ['fields_5fdda_12898',['FieldS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abe1d8104c77bfe4bbc201a64410c7f61',1,'SVF::PointerAnalysis']]],
-  ['fileneverclose_12899',['FILENEVERCLOSE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc',1,'SVF::GenericBug']]],
-  ['filepartialclose_12900',['FILEPARTIALCLOSE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4',1,'SVF::GenericBug']]],
-  ['fiobjnode_12901',['FIObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6',1,'SVF::SVFVar']]],
-  ['first_5ffcmp_5fpredicate_12902',['FIRST_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaf063247c279e47d1f477be1bd58b3d85',1,'SVF::CmpStmt']]],
-  ['first_5ffield_12903',['FIRST_FIELD',['../classSVF_1_1DCHEdge.html#a02dc7660f9603cd065e7098ae3f220ada3b49b95b713f585b717810dce5ac6564',1,'SVF::DCHEdge']]],
-  ['first_5ficmp_5fpredicate_12904',['FIRST_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca41466bf1e1bb63a6d83ee6a3817b6e1b',1,'SVF::CmpStmt']]],
-  ['flows_5fdda_12905',['FlowS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85aa43c83e2f0df003c158d4b1325b50b18',1,'SVF::PointerAnalysis']]],
-  ['fmul_12906',['FMul',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a22a047e74227056ef3340628fae80198',1,'SVF::BinaryOPStmt']]],
-  ['fneg_12907',['FNeg',['../classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8',1,'SVF::UnaryOPStmt']]],
-  ['fparm_12908',['FParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7',1,'SVF::VFGNode']]],
-  ['fpin_12909',['FPIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3c58aedc46cdafac26b47ec9674c2ac5',1,'SVF::VFGNode']]],
-  ['fpout_12910',['FPOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09',1,'SVF::VFGNode']]],
-  ['frem_12911',['FRem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6aafa66e75600b0098c4fa3304720cb7a6',1,'SVF::BinaryOPStmt']]],
-  ['fret_12912',['FRet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053',1,'SVF::VFGNode']]],
-  ['fscs_5fwpa_12913',['FSCS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a43837619e78e03dc95ec6e88959faf82',1,'SVF::PointerAnalysis']]],
-  ['fsdataflow_5fwpa_12914',['FSDATAFLOW_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a62281bc39fea50a88e55edf605620322',1,'SVF::PointerAnalysis']]],
-  ['fssparse_5fwpa_12915',['FSSPARSE_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad6ccf1ce66083278349c5c3111172d78',1,'SVF::PointerAnalysis']]],
-  ['fsub_12916',['FSub',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a05348a0e3f232ac552bb3ca56525c448',1,'SVF::BinaryOPStmt']]],
-  ['fullbufoverflow_12917',['FULLBUFOVERFLOW',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747',1,'SVF::GenericBug']]],
-  ['fullnullptrdereference_12918',['FULLNULLPTRDEREFERENCE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7',1,'SVF::GenericBug']]],
-  ['fullsvfg_12919',['FULLSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a5a28e6fd51e73e076091d4b6f4e61eaa',1,'SVF::VFG']]],
-  ['fullsvfg_5fopt_12920',['FULLSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6aab1abd6be4a29fe8fb03a82f85e568a0',1,'SVF::VFG']]],
-  ['funcallblock_12921',['FunCallBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376a58501ce2adf17a3da23a98f363ed9800',1,'SVF::ICFGNode']]],
-  ['function_5fobj_12922',['FUNCTION_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830af5f94b2a41dab25fa08c94a989fb9515',1,'SVF::ObjTypeInfo']]],
-  ['funentryblock_12923',['FunEntryBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ad2fb9517b64addcced67efe9cc83b994',1,'SVF::ICFGNode']]],
-  ['funexitblock_12924',['FunExitBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376acf25925678f7fa5fba01766bd06a1fb8',1,'SVF::ICFGNode']]],
-  ['funretblock_12925',['FunRetBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac731cdb9d1269f6c25e1c80159154921',1,'SVF::ICFGNode']]]
+  ['fadd_12889',['FAdd',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a97c70ced12e0f1c5e3c3708b13727e8e',1,'SVF::BinaryOPStmt']]],
+  ['fcmp_5ffalse_12890',['FCMP_FALSE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa100cf99398f6118d332191380574c06',1,'SVF::CmpStmt']]],
+  ['fcmp_5foeq_12891',['FCMP_OEQ',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca900bbc9c7824294c3a69c2cb006c27ee',1,'SVF::CmpStmt']]],
+  ['fcmp_5foge_12892',['FCMP_OGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5c4576ce636e323cbc3aa322480c5d2c',1,'SVF::CmpStmt']]],
+  ['fcmp_5fogt_12893',['FCMP_OGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486',1,'SVF::CmpStmt']]],
+  ['fcmp_5fole_12894',['FCMP_OLE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca9dd165c6da06811ffc8c2e53b30ab32d',1,'SVF::CmpStmt']]],
+  ['fcmp_5folt_12895',['FCMP_OLT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa',1,'SVF::CmpStmt']]],
+  ['fcmp_5fone_12896',['FCMP_ONE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193',1,'SVF::CmpStmt']]],
+  ['fcmp_5ford_12897',['FCMP_ORD',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca936134e7e431c14148738c4ba3d42b44',1,'SVF::CmpStmt']]],
+  ['fcmp_5ftrue_12898',['FCMP_TRUE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7',1,'SVF::CmpStmt']]],
+  ['fcmp_5fueq_12899',['FCMP_UEQ',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021',1,'SVF::CmpStmt']]],
+  ['fcmp_5fuge_12900',['FCMP_UGE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da',1,'SVF::CmpStmt']]],
+  ['fcmp_5fugt_12901',['FCMP_UGT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c',1,'SVF::CmpStmt']]],
+  ['fcmp_5fule_12902',['FCMP_ULE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8149cba2e9e265892f02bbd4a35fe6fb',1,'SVF::CmpStmt']]],
+  ['fcmp_5fult_12903',['FCMP_ULT',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaa6b852204a4d0758ebd632d8a88b966d',1,'SVF::CmpStmt']]],
+  ['fcmp_5fune_12904',['FCMP_UNE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09',1,'SVF::CmpStmt']]],
+  ['fcmp_5funo_12905',['FCMP_UNO',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acabdc74b4ebee0687c32e34c7995495c69',1,'SVF::CmpStmt']]],
+  ['fdiv_12906',['FDiv',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a553540425a63724c8b7f2fd0ca25b567',1,'SVF::BinaryOPStmt']]],
+  ['fdp_12907',['FDP',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac3a20ad67d8b23a37a2c81ef793323a9',1,'SVF::GraphProgram']]],
+  ['fields_5fdda_12908',['FieldS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abe1d8104c77bfe4bbc201a64410c7f61',1,'SVF::PointerAnalysis']]],
+  ['fileneverclose_12909',['FILENEVERCLOSE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadceda5dc123578fa5a4a7cad96011cbc',1,'SVF::GenericBug']]],
+  ['filepartialclose_12910',['FILEPARTIALCLOSE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca70f4fb1e58058129013de1fd04ed0bd4',1,'SVF::GenericBug']]],
+  ['fiobjnode_12911',['FIObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaabe491b0a744825250b97f407962c4a6',1,'SVF::SVFVar']]],
+  ['first_5ffcmp_5fpredicate_12912',['FIRST_FCMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaf063247c279e47d1f477be1bd58b3d85',1,'SVF::CmpStmt']]],
+  ['first_5ffield_12913',['FIRST_FIELD',['../classSVF_1_1DCHEdge.html#a02dc7660f9603cd065e7098ae3f220ada3b49b95b713f585b717810dce5ac6564',1,'SVF::DCHEdge']]],
+  ['first_5ficmp_5fpredicate_12914',['FIRST_ICMP_PREDICATE',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca41466bf1e1bb63a6d83ee6a3817b6e1b',1,'SVF::CmpStmt']]],
+  ['flows_5fdda_12915',['FlowS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85aa43c83e2f0df003c158d4b1325b50b18',1,'SVF::PointerAnalysis']]],
+  ['fmul_12916',['FMul',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a22a047e74227056ef3340628fae80198',1,'SVF::BinaryOPStmt']]],
+  ['fneg_12917',['FNeg',['../classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8',1,'SVF::UnaryOPStmt']]],
+  ['fparm_12918',['FParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7',1,'SVF::VFGNode']]],
+  ['fpin_12919',['FPIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3c58aedc46cdafac26b47ec9674c2ac5',1,'SVF::VFGNode']]],
+  ['fpout_12920',['FPOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09',1,'SVF::VFGNode']]],
+  ['frem_12921',['FRem',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6aafa66e75600b0098c4fa3304720cb7a6',1,'SVF::BinaryOPStmt']]],
+  ['fret_12922',['FRet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053',1,'SVF::VFGNode']]],
+  ['fscs_5fwpa_12923',['FSCS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a43837619e78e03dc95ec6e88959faf82',1,'SVF::PointerAnalysis']]],
+  ['fsdataflow_5fwpa_12924',['FSDATAFLOW_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a62281bc39fea50a88e55edf605620322',1,'SVF::PointerAnalysis']]],
+  ['fssparse_5fwpa_12925',['FSSPARSE_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad6ccf1ce66083278349c5c3111172d78',1,'SVF::PointerAnalysis']]],
+  ['fsub_12926',['FSub',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a05348a0e3f232ac552bb3ca56525c448',1,'SVF::BinaryOPStmt']]],
+  ['fullbufoverflow_12927',['FULLBUFOVERFLOW',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747',1,'SVF::GenericBug']]],
+  ['fullnullptrdereference_12928',['FULLNULLPTRDEREFERENCE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca4b2e0cde4ea45fb6a32a58343183d1d7',1,'SVF::GenericBug']]],
+  ['fullsvfg_12929',['FULLSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a5a28e6fd51e73e076091d4b6f4e61eaa',1,'SVF::VFG']]],
+  ['fullsvfg_5fopt_12930',['FULLSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6aab1abd6be4a29fe8fb03a82f85e568a0',1,'SVF::VFG']]],
+  ['funcallblock_12931',['FunCallBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376a58501ce2adf17a3da23a98f363ed9800',1,'SVF::ICFGNode']]],
+  ['function_5fobj_12932',['FUNCTION_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830af5f94b2a41dab25fa08c94a989fb9515',1,'SVF::ObjTypeInfo']]],
+  ['funentryblock_12933',['FunEntryBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ad2fb9517b64addcced67efe9cc83b994',1,'SVF::ICFGNode']]],
+  ['funexitblock_12934',['FunExitBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376acf25925678f7fa5fba01766bd06a1fb8',1,'SVF::ICFGNode']]],
+  ['funretblock_12935',['FunRetBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac731cdb9d1269f6c25e1c80159154921',1,'SVF::ICFGNode']]]
 ];

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

@@ -1,9 +1,9 @@
 var searchData=
 [
-  ['gep_12926',['Gep',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7',1,'SVF::VFGNode::Gep()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8',1,'SVF::SVFStmt::Gep()']]],
-  ['gepobjnode_12927',['GepObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f',1,'SVF::SVFVar']]],
-  ['gepvalnode_12928',['GepValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a',1,'SVF::SVFVar']]],
-  ['global_5fleak_12929',['GLOBAL_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da20b4563d5fc09a0a076800cd02f238f1',1,'SVF::LeakChecker']]],
-  ['globalblock_12930',['GlobalBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac93cf90864e69a21cbaefccbd48b8648',1,'SVF::ICFGNode']]],
-  ['globvar_5fobj_12931',['GLOBVAR_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad2ba0edfac1460f3fd89e7a6c4c4691b',1,'SVF::ObjTypeInfo']]]
+  ['gep_12936',['Gep',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7',1,'SVF::VFGNode::Gep()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8',1,'SVF::SVFStmt::Gep()']]],
+  ['gepobjnode_12937',['GepObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f',1,'SVF::SVFVar']]],
+  ['gepvalnode_12938',['GepValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a',1,'SVF::SVFVar']]],
+  ['global_5fleak_12939',['GLOBAL_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da20b4563d5fc09a0a076800cd02f238f1',1,'SVF::LeakChecker']]],
+  ['globalblock_12940',['GlobalBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac93cf90864e69a21cbaefccbd48b8648',1,'SVF::ICFGNode']]],
+  ['globvar_5fobj_12941',['GLOBVAR_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad2ba0edfac1460f3fd89e7a6c4c4691b',1,'SVF::ObjTypeInfo']]]
 ];

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

@@ -1,12 +1,12 @@
 var searchData=
 [
-  ['hare_5fpar_5ffor_12932',['HARE_PAR_FOR',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a4690967fd6d32fb82c5de637846a3476',1,'SVF::ThreadAPI']]],
-  ['hareparforedge_12933',['HareParForEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a17e0d58fd42d0d493087e698d4ecd838',1,'SVF::PTACallGraphEdge']]],
-  ['hasptr_5fobj_12934',['HASPTR_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad17b2a35fb492561c4011dbe3880c6c9',1,'SVF::ObjTypeInfo']]],
-  ['hclust_5fmethod_5faverage_12935',['HCLUST_METHOD_AVERAGE',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115',1,'fastcluster.h']]],
-  ['hclust_5fmethod_5fcomplete_12936',['HCLUST_METHOD_COMPLETE',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4',1,'fastcluster.h']]],
-  ['hclust_5fmethod_5fmedian_12937',['HCLUST_METHOD_MEDIAN',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddaa453b79910d9c6f7f57a179bcdf63474',1,'fastcluster.h']]],
-  ['hclust_5fmethod_5fsingle_12938',['HCLUST_METHOD_SINGLE',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024',1,'fastcluster.h']]],
-  ['hclust_5fmethod_5fsvf_5fbest_12939',['HCLUST_METHOD_SVF_BEST',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda66ab3fde95842ef6da0dae1f702a9618',1,'fastcluster.h']]],
-  ['heap_5fobj_12940',['HEAP_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a692b4b0df23bad19ea04d18b01bf445c',1,'SVF::ObjTypeInfo']]]
+  ['hare_5fpar_5ffor_12942',['HARE_PAR_FOR',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a4690967fd6d32fb82c5de637846a3476',1,'SVF::ThreadAPI']]],
+  ['hareparforedge_12943',['HareParForEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a17e0d58fd42d0d493087e698d4ecd838',1,'SVF::PTACallGraphEdge']]],
+  ['hasptr_5fobj_12944',['HASPTR_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad17b2a35fb492561c4011dbe3880c6c9',1,'SVF::ObjTypeInfo']]],
+  ['hclust_5fmethod_5faverage_12945',['HCLUST_METHOD_AVERAGE',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115',1,'fastcluster.h']]],
+  ['hclust_5fmethod_5fcomplete_12946',['HCLUST_METHOD_COMPLETE',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4',1,'fastcluster.h']]],
+  ['hclust_5fmethod_5fmedian_12947',['HCLUST_METHOD_MEDIAN',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddaa453b79910d9c6f7f57a179bcdf63474',1,'fastcluster.h']]],
+  ['hclust_5fmethod_5fsingle_12948',['HCLUST_METHOD_SINGLE',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024',1,'fastcluster.h']]],
+  ['hclust_5fmethod_5fsvf_5fbest_12949',['HCLUST_METHOD_SVF_BEST',['../fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda66ab3fde95842ef6da0dae1f702a9618',1,'fastcluster.h']]],
+  ['heap_5fobj_12950',['HEAP_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a692b4b0df23bad19ea04d18b01bf445c',1,'SVF::ObjTypeInfo']]]
 ];