svf-tools 1.0.757 → 1.0.759

package/SVF-doxygen/html/html/functions_func_h.html

@@ -112,10 +112,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DCHGraph.html#a671f379ae54eef247b5e013478eb3f0c">SVF::DCHGraph</a>
 </li>
 <li>handleExtCall()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a72df6ed8720f609607c8a00a254d881f">SVF::SVFIRBuilder</a>
-</li>
-<li>handleExtCallStat()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#aaa6191fa37723bba849e6eae2decc7b9">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a8b664a9d689562bd857f056e6e08c59b">SVF::SVFIRBuilder</a>
 </li>
 <li>handleFork()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#adddbc09b7b99170cd0941f22ccc7e561">SVF::ForkJoinAnalysis</a>
@@ -205,9 +202,6 @@ $(function() {
 <li>has_static()
 : <a class="el" href="classSVF_1_1ExtAPI.html#ae20ea24cce02de87d89a2d0b773a2357">SVF::ExtAPI</a>
 </li>
-<li>has_static2()
-: <a class="el" href="classSVF_1_1ExtAPI.html#ad3eefa086aa514e4d245a975ea3d45b5">SVF::ExtAPI</a>
-</li>
 <li>hasActualINSVFGNodes()
 : <a class="el" href="classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399">SVF::SVFG</a>
 </li>
@@ -300,6 +294,9 @@ $(function() {
 <li>hasEdgeDestLabels()
 : <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623">SVF::DefaultDOTGraphTraits</a>
 </li>
+<li>hasExtFuncAnnotation()
+: <a class="el" href="classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd">SVF::ExtAPI</a>
+</li>
 <li>hasFlag()
 : <a class="el" href="classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7">SVF::CHNode</a>
 , <a class="el" href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">SVF::DCHNode</a>
@@ -386,10 +383,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#a59125bb4878bc347dbdbc74aa6ec4cdf">SVF::TCT</a>
 </li>
 <li>hasLabeledEdge()
-: <a class="el" href="classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0">SVF::IRGraph</a>
+: <a class="el" href="classSVF_1_1IRGraph.html#a1c999e2fd771e4fda192af096e3ec92c">SVF::IRGraph</a>
 </li>
 <li>hasLoop()
-: <a class="el" href="classSVF_1_1TCT.html#a79e221b4bc173c089aba46101b20a512">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#a103d85882e753fe90893a4f0e78dda26">SVF::TCT</a>
 </li>
 <li>hasLoopInfo()
 : <a class="el" href="classSVF_1_1SVFFunction.html#aee05370109d7667c40ca34c454c66714">SVF::SVFFunction</a>
@@ -402,7 +399,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f">SVF::MRGenerator</a>
 </li>
 <li>hasMU()
-: <a class="el" href="classSVF_1_1MemSSA.html#af5e356e82c3f93b65bd89908e0f465dc">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a6bd9390c6cd2a3d7a3752fba76acfb46">SVF::MemSSA</a>
 </li>
 <li>hasNode()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25">SVF::DCHGraph</a>
@@ -417,7 +414,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a7d2072c3c0ae571077a2aa2c3586451d">SVF::LockAnalysis</a>
 </li>
 <li>hasOutgoingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>hasOutgoingEdges()
 : <a class="el" href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">SVF::SVFVar</a>
@@ -488,7 +485,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64">SVF::ICFG</a>
 </li>
 <li>hasThreadJoinEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a5f7c92af1a4ce33e4746f5b65c9c8421">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a98214e970762f43d0e9ad719961b4021">SVF::ThreadCallGraph</a>
 </li>
 <li>hasThreadStmtSet()
 : <a class="el" href="classSVF_1_1MHP.html#a27d031e9c7c4706d7ee1750668e83b99">SVF::MHP</a>

package/SVF-doxygen/html/html/functions_func_i.html

@@ -453,9 +453,6 @@ $(function() {
 <li>is_bool()
 : <a class="el" href="classSVF_1_1Z3Expr.html#aa4344471835568e6101780d3aece1900">SVF::Z3Expr</a>
 </li>
-<li>is_dealloc()
-: <a class="el" href="classSVF_1_1ExtAPI.html#aeef27a358ba1815760c893bd2d2335b1">SVF::ExtAPI</a>
-</li>
 <li>is_ext()
 : <a class="el" href="classSVF_1_1ExtAPI.html#a21f45c806672255c044d39490990eae2">SVF::ExtAPI</a>
 </li>
@@ -466,8 +463,11 @@ $(function() {
 <li>is_infinity()
 : <a class="el" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">SVF::NumericLiteral</a>
 </li>
-<li>is_memset_or_memcpy()
-: <a class="el" href="classSVF_1_1ExtAPI.html#ac5a4aa1c93ec7f37478fd8a399734cc0">SVF::ExtAPI</a>
+<li>is_memcpy()
+: <a class="el" href="classSVF_1_1ExtAPI.html#aadc8f2e0ff777e3f611a7d741def0742">SVF::ExtAPI</a>
+</li>
+<li>is_memset()
+: <a class="el" href="classSVF_1_1ExtAPI.html#a9f6e5cd617ab57ef9da0bab6c3c9cdc8">SVF::ExtAPI</a>
 </li>
 <li>is_minus_infinite()
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a90c87bed7210246db310dbecc61326ac">SVF::BoundedZ3Expr</a>
@@ -475,9 +475,6 @@ $(function() {
 <li>is_minus_infinity()
 : <a class="el" href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">SVF::NumericLiteral</a>
 </li>
-<li>is_noop()
-: <a class="el" href="classSVF_1_1ExtAPI.html#a82ebf71c5214f891f17e842e0b133b4f">SVF::ExtAPI</a>
-</li>
 <li>is_numeral()
 : <a class="el" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0">SVF::Z3Expr</a>
@@ -491,9 +488,6 @@ $(function() {
 <li>is_realloc()
 : <a class="el" href="classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4">SVF::ExtAPI</a>
 </li>
-<li>is_sameSignature()
-: <a class="el" href="classSVF_1_1ExtAPI.html#a5e8b816a3eb894f6b09403852df0d01b">SVF::ExtAPI</a>
-</li>
 <li>is_true()
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a69384aac86c966e7ae8609f5ea97361c">SVF::BoundedZ3Expr</a>
 </li>
@@ -597,9 +591,6 @@ $(function() {
 <li>isCallIndirectVFGEdge()
 : <a class="el" href="classSVF_1_1VFGEdge.html#ae14a5f58064e6c08b53a3cffcc050077">SVF::VFGEdge</a>
 </li>
-<li>isCallOp()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a23b88769670c5b5984fbcad8803f4dbf">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>isCallSiteRetSVFGNode()
 : <a class="el" href="classSVF_1_1SVFG.html#ad189e45b0c810e68566ccc3bdb3f2e59">SVF::SVFG</a>
 </li>
@@ -628,9 +619,6 @@ $(function() {
 <li>isConnectingTwoCallSites()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#aa23c967a8fcadbaf47e93a5b3610c84d">SVF::SVFGOPT</a>
 </li>
-<li>isConOp()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a394d6a81c65acabc339a73891994879e">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>isConstantArray()
 : <a class="el" href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb">SVF::MemObj</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#ac1ee7a720959c0e97496870d6e759212">SVF::ObjTypeInfo</a>
@@ -822,7 +810,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6">SVF::CxtThread</a>
 </li>
 <li>isInLoop()
-: <a class="el" href="classSVF_1_1ICFG.html#ae115e70bf53f25c0ca6b1f22acccf5b5">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#ac0600b9ff2521ec2b205dc35c276397d">SVF::ICFG</a>
 , <a class="el" href="classSVF_1_1SVFLoop.html#af2433fcc43f4e22fdf97ca2672a5dfa3">SVF::SVFLoop</a>
 </li>
 <li>isInloop()
@@ -912,7 +900,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#ab6c2beac6b9f1e4fc1fdd4d657232389">SVF::TCT</a>
 </li>
 <li>isMemAlloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a512741dffe68d4bbb761c5c178ea8c67">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a71cbe5fbf582d0801f604595d3dfb416">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemcpy()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
@@ -991,9 +979,6 @@ $(function() {
 <li>isOutOfBudgetQuery()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a7994236bff84ba8244592fdf5e546734">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
-<li>isOverwrittenAppFunction()
-: <a class="el" href="classSVF_1_1ExtAPI.html#a370b7d654a2f48226a848a5f1d7fb234">SVF::ExtAPI</a>
-</li>
 <li>isParForSite()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#ae18f0b3245694145f6d9262ee28c6453">SVF::ThreadCallGraph</a>
 </li>
@@ -1016,7 +1001,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae912e35cddd4235a663f84f70c3881e7">SVF::LockAnalysis</a>
 </li>
 <li>isProtectedByCommonCxtLock()
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a3e2e629a588b44ed39e529babb59a4f9">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a32c0c5bdd676302f1c9e797d540278d8">SVF::LockAnalysis</a>
 </li>
 <li>isProtectedByCommonLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a213bd0dfeba620498dabcfa4fa3a018c">SVF::LockAnalysis</a>
@@ -1168,13 +1153,13 @@ $(function() {
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab8376e0cbdff101b7b981141637e3da3">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a742161b465774d74306df68a2bbe95e8">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a62a5d4709eb9f1e4e9dd20b87dac8c42">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a3e175d985de53d0aadb026168e8a1a0e">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f">SVF::ThreadAPI</a>
 </li>
 <li>isTDFork()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a66965759d876309c64faf4b755afc2a7">SVF::ForkJoinAnalysis</a>
@@ -1185,7 +1170,7 @@ $(function() {
 <li>isTDJoin()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a97151d74790b2853249d0cc94bb0904f">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a3352c8718f909c9fbed4ef7f5cf050a2">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a68b10ffa2775fe7d8c1476409c0f54ab">SVF::ThreadAPI</a>
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ad1184e1c2d583fa0b03bd1892152925a">SVF::LockAnalysis</a>
@@ -1231,6 +1216,9 @@ $(function() {
 <li>isUnreachable()
 : <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#aac4d533d1c7abfefbd54507357e240f4">SVF::SVFLoopAndDomInfo</a>
 </li>
+<li>isUsedExtFunction()
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#aa259d688db36387c824ebfa741d4692d">SVF::LLVMModuleSet</a>
+</li>
 <li>isValidPointer()
 : <a class="el" href="classSVF_1_1SVFIR.html#addc84dae75be8e8b9deccdb4360736d3">SVF::SVFIR</a>
 </li>
@@ -1283,10 +1271,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#af790af4146197682dd4f9abfad1434f6">SVF::ConstraintGraph</a>
 </li>
 <li>iter_adaptor_base()
-: <a class="el" href="classSVF_1_1iter__adaptor__base.html#aae17978dbc68365513742c0ed6dd6e77">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__adaptor__base.html#ad3e91fd59221ddbdc889bc081159f611">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 </li>
 <li>iter_range()
-: <a class="el" href="classSVF_1_1iter__range.html#aa4d5bc9762f2d7686b9ab36078e0a319">SVF::iter_range&lt; IteratorT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__range.html#ac3a12d857b57fbe7b81987f56655cb3b">SVF::iter_range&lt; IteratorT &gt;</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/functions_func_n.html

@@ -103,9 +103,6 @@ $(function() {
 <li>nextSetIndex()
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a087f69adea5e9e83bd908a1ab0ee1383">SVF::CoreBitVector</a>
 </li>
-<li>no_struct_alloc()
-: <a class="el" href="classSVF_1_1ExtAPI.html#a934e293bd4050cb1ab5c19e8ad391ebe">SVF::ExtAPI</a>
-</li>
 <li>node()
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTONode.html#ab0b71fd36e24dcc7ff4f5489a5ee1444">SVF::CFBasicBlockGWTONode</a>
 </li>

package/SVF-doxygen/html/html/functions_func_p.html

@@ -85,12 +85,6 @@ $(function() {
 , <a class="el" href="classOptionMap.html#a80523ee22ddb28f5837ad3fb07fd7dd5">OptionMap&lt; T &gt;</a>
 , <a class="el" href="classOptionMultiple.html#af175c4dde2e877dbf52eb20bd836615e">OptionMultiple&lt; T &gt;</a>
 </li>
-<li>parseAtomaticOp()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a1865c0300cfa064c5455683e05100bd2">SVF::SVFIRBuilder</a>
-</li>
-<li>parseExtFunctionOps()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a082057b80e897227996b616c5fcb4b3e">SVF::SVFIRBuilder</a>
-</li>
 <li>parseOptions()
 : <a class="el" href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">OptionBase</a>
 </li>
@@ -273,9 +267,6 @@ $(function() {
 <li>preProcessBCs()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a2fdc1bd61b8f6cdf6c07a5059b641b04">SVF::LLVMModuleSet</a>
 </li>
-<li>preProcessExtCall()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a1d168cf5e868a53ddaefc7d01531197a">SVF::SVFIRBuilder</a>
-</li>
 <li>print()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#aa87bf07fc538c2cf425138727e7acbce">SVF::ConstraintGraph</a>
 , <a class="el" href="classSVF_1_1DCHGraph.html#a5f08ed4cbba3e4b7a348d5ad77664726">SVF::DCHGraph</a>
@@ -354,7 +345,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a7d101df4e73b8fbf9ec0df25190417b5">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>printTable()
-: <a class="el" href="classSVF_1_1IntervalExeState.html#abf57a44b95108e255242f630ba33f37b">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1IntervalExeState.html#adbfb716c41fdc758f792e8ffb81a17fa">SVF::IntervalExeState</a>
 </li>
 <li>printTDFuns()
 : <a class="el" href="classSVF_1_1PCG.html#af8af0a2a2159261bf05abe226c43006e">SVF::PCG</a>
@@ -446,7 +437,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a3abffe1434386b1ce349fbed0cfe0967">SVF::FlowSensitive</a>
 </li>
 <li>propagateVersion()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ad1aa83a71379164d3b7ccf6b61639cb1">SVF::VersionedFlowSensitive</a>
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a7a98162b69de90f80ce853a6ff43af56">SVF::VersionedFlowSensitive</a>
 </li>
 <li>propagateViaObj()
 : <a class="el" href="classSVF_1_1ContextDDA.html#a45d7a381fec0692b4d2f7d0eec47ccf1">SVF::ContextDDA</a>
@@ -533,7 +524,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a028734f4520172aa5abed48628b44dc3">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ac5993b55304d38e077d19c4ac2d680f0">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a68a2ad4480af7d40bd604d81afbc3d0b">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1TCT.html#a625cd9d7ca85c0581af13e9e0c16960e">SVF::TCT</a>
+, <a class="el" href="classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169">SVF::TCT</a>
 </li>
 <li>pushIntoWorklist()
 : <a class="el" href="classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34">SVF::CFLSolver</a>

package/SVF-doxygen/html/html/functions_func_s.html

@@ -156,9 +156,6 @@ $(function() {
 <li>setBaseNode()
 : <a class="el" href="classSVF_1_1GepObjVar.html#a5e371fae7592d763661a7cb777107ff4">SVF::GepObjVar</a>
 </li>
-<li>setBasicOp()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ad855d88d7bb5ad8cc830bc16c68c8e0c">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>setBB()
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0e45ab5b38059371c47d5f2011118a4d">SVF::SVFStmt</a>
 </li>
@@ -175,30 +172,12 @@ $(function() {
 <li>setCalledOperand()
 : <a class="el" href="classSVF_1_1SVFCallInst.html#a6dd304f555d2d2388c4430e57b0d2b91">SVF::SVFCallInst</a>
 </li>
-<li>setCalleeArguments()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a226fdc0e1a042362ddb4932985380bb9">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>setCalleeName()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#ae02f2ece898788fba63be881f6933737">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>setCalleeOperands()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#acd6c8f25a60553838da38cd95c511df4">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>setCalleeReturn()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7a30442030f29343602c7beb9ff7b86b">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>setCallGraph()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#afc2b0eeb1d5d5f292690f3c949217c38">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>setCallGraphSCC()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#abd652b2627f68d7d4f8bf3bdb20ce975">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
-<li>setCallOp()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7f91d7cc64fc7a201abd8f2a50bd8515">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>setCallStmtNum()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a8ae0261c6840d7fd168b7ca9492b573e">SVF::ExtAPI::ExtFunctionOps</a>
-</li>
 <li>setCDN()
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a49d0128828b44df0a8631dd193ed8898">SVF::CFBasicBlockGWTO</a>
 </li>
@@ -211,12 +190,6 @@ $(function() {
 <li>setCondInst()
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a97d540340f9039b3f8bd1527fc7d7ebb">SVF::SaberCondAllocator</a>
 </li>
-<li>setCondition()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a9c704685bd6e4e6c14ebbec6a9154200">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>setConOp()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a0f01a1637d9aa0c75ef25df0566ecf7f">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>setConstDataOrAggData()
 : <a class="el" href="classSVF_1_1SVFValue.html#afe1de41ca3215b325d0ca61814c6bd6b">SVF::SVFValue</a>
 </li>
@@ -266,12 +239,6 @@ $(function() {
 <li>setDetectPWC()
 : <a class="el" href="classSVF_1_1Andersen.html#a1462bdde3748b1513e92a119b8a43794">SVF::Andersen</a>
 </li>
-<li>setDstID()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#ac55f2f1e2618664fa1997f998a6c52d5">SVF::ExtAPI::Operand</a>
-</li>
-<li>setDstValue()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#a798ee2bb519bb26c71afbb3bfa524df5">SVF::ExtAPI::Operand</a>
-</li>
 <li>setEBNFSigns()
 : <a class="el" href="classSVF_1_1GrammarBase.html#ad87ca88d62e7bc3a189652c707a72e12">SVF::GrammarBase</a>
 </li>
@@ -285,12 +252,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a7421cab74f02c7ab54aefb3242ed6c77">SVF::SVFIR2ConsExeState</a>
 , <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a2e9ecde8db07741daa112649c432cbfd">SVF::SVFIR2ItvExeState</a>
 </li>
-<li>setExtFunName()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#ad4dffa55424ae06f1d3fba4654a0a107">SVF::ExtAPI::ExtFunctionOps</a>
-</li>
-<li>setFalseBranchOperands()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#af629e2baaa18f5663fe4c17565629ed6">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>setFieldInsensitive()
 : <a class="el" href="classSVF_1_1MemObj.html#ab9637ea9acd1f8ae4933b4ab2b997e5c">SVF::MemObj</a>
 </li>
@@ -432,15 +393,6 @@ $(function() {
 <li>setOffset()
 : <a class="el" href="classSVF_1_1DCHEdge.html#a70f757826082c95766c8324c1264e977">SVF::DCHEdge</a>
 </li>
-<li>setOffsetOrSize()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#ae768fbf44ca01515e3ef553c41d10c22">SVF::ExtAPI::Operand</a>
-</li>
-<li>setOffsetOrSizeStr()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#ac1ba5035a89a7d4070d928b3c29826de">SVF::ExtAPI::Operand</a>
-</li>
-<li>setOperations()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtFunctionOps.html#a972a0ef112f58f2aa28c00d3b5db82b2">SVF::ExtAPI::ExtFunctionOps</a>
-</li>
 <li>setOpVer()
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a76c67d31ffb67c4ef102471898ae2709">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#a41bcdd6b46a31c8d15533342478dc236">SVF::CmpVFGNode</a>
@@ -453,9 +405,6 @@ $(function() {
 <li>setOpVerAndBB()
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a7e5fd83393224ece808de83cbf496882">SVF::IntraPHIVFGNode</a>
 </li>
-<li>setOverWrittenAppFunction()
-: <a class="el" href="classSVF_1_1ExtAPI.html#ab8d480022352929fe193ef21617c440c">SVF::ExtAPI</a>
-</li>
 <li>setPAG()
 : <a class="el" href="classSVF_1_1DDAClient.html#a21badb317a249bbb506615182671b32c">SVF::DDAClient</a>
 </li>
@@ -515,12 +464,6 @@ $(function() {
 <li>setSourceLoc()
 : <a class="el" href="classSVF_1_1SVFValue.html#a588acec1904d440797ca4500f63f7d28">SVF::SVFValue</a>
 </li>
-<li>setSrcID()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#ab0e1b9953acf05220df3337df55fbe95">SVF::ExtAPI::Operand</a>
-</li>
-<li>setSrcValue()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#a5a81ebcd4b8633fce7fed83e7c92cc5d">SVF::ExtAPI::Operand</a>
-</li>
 <li>setStartKind()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">SVF::GrammarBase</a>
 </li>
@@ -549,12 +492,6 @@ $(function() {
 <li>setTotalKind()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a">SVF::GrammarBase</a>
 </li>
-<li>setTrueBranchOperands()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a61db2bb411165cd5e5dd9cb73392db51">SVF::ExtAPI::ExtOperation</a>
-</li>
-<li>setType()
-: <a class="el" href="classSVF_1_1ExtAPI_1_1Operand.html#afb4a1cdc9aa9836ed3bd2384cf119d05">SVF::ExtAPI::Operand</a>
-</li>
 <li>setTypeInfo()
 : <a class="el" href="classSVF_1_1SVFType.html#aef5999ada62dac3cc946d832ac66948c">SVF::SVFType</a>
 </li>
@@ -618,7 +555,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1Z3Expr.html#afb3478316592a395c6d473791b5a0981">SVF::Z3Expr</a>
 </li>
 <li>SingleAbsValue()
-: <a class="el" href="classSVF_1_1SingleAbsValue.html#a25308965f46578943ccd544052425c4d">SVF::SingleAbsValue</a>
+: <a class="el" href="classSVF_1_1SingleAbsValue.html#a6bd4803e4afa8e07596052a54fb01fdd">SVF::SingleAbsValue</a>
 </li>
 <li>sinksBegin()
 : <a class="el" href="classSVF_1_1ProgSlice.html#adf620c97daed49735d21b485c448b4a2">SVF::ProgSlice</a>
@@ -674,13 +611,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#ad0cb9de24cbc99d148f63b694dc3908e">SVF::SrcSnkDDA</a>
 </li>
 <li>SparseBitVector()
-: <a class="el" href="classSVF_1_1SparseBitVector.html#a4f618377a31eba119de672b0be4936bc">SVF::SparseBitVector&lt; ElementSize &gt;</a>
+: <a class="el" href="classSVF_1_1SparseBitVector.html#a8bb2c6e68fadfae0428bc6ce5d63ad88">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 </li>
 <li>SparseBitVectorElement()
 : <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a8097db31608c859c3cf8053e303821d3">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
 </li>
 <li>SparseBitVectorIterator()
-: <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5fe4841ca223f13c2aeec4c6e69a7b43">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a008d235a4a8163e7bf38718d0fd0e6f7">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>spawneesBegin()
 : <a class="el" href="classSVF_1_1PCG.html#a45932c2f1a05398b4ad8753dcb621a1f">SVF::PCG</a>
@@ -702,7 +639,7 @@ $(function() {
 </li>
 <li>split()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#ad26006e14c866d694bc6e2ebaa41ded9">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a5edb70bdb93b8258de0ba7122a8707f5">SVF::MTAResultValidator</a>
 </li>
 <li>SrcSnkDDA()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd">SVF::SrcSnkDDA</a>
@@ -745,18 +682,18 @@ $(function() {
 : <a class="el" href="classSVF_1_1Steensgaard.html#ac79e21396243dfa969136daee5ecdbd4">SVF::Steensgaard</a>
 </li>
 <li>StInfo()
-: <a class="el" href="classSVF_1_1StInfo.html#a987855f323885732080eff793dda1100">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#a8c6d6933ad2c4be044d0a3557736e28d">SVF::StInfo</a>
 </li>
 <li>StmtDPItem()
-: <a class="el" href="classSVF_1_1StmtDPItem.html#a3882dc175baaccfa1f811dcbfef98f71">SVF::StmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1StmtDPItem.html#aed9239e5558569f6e957e691fa1872d7">SVF::StmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>StmtVFGNode()
 : <a class="el" href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">SVF::StmtVFGNode</a>
 </li>
 <li>store()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a79b012f5f551dfb27ce1ca3d193dba55">SVF::ConsExeState</a>
+: <a class="el" href="classSVF_1_1ConsExeState.html#adbf80e78f27a30f257fa8790f1cb78f5">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a65be64fc3b46b3d8e0c22d8a478df5cb">SVF::IntervalExeState</a>
-, <a class="el" href="classSVF_1_1RelExeState.html#a3a2d5de4c61fab8b277308a186795a13">SVF::RelExeState</a>
+, <a class="el" href="classSVF_1_1RelExeState.html#a29be58e0074d7495c36713fd96832823">SVF::RelExeState</a>
 </li>
 <li>StoreCGEdge()
 : <a class="el" href="classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50">SVF::StoreCGEdge</a>
@@ -765,7 +702,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1StoreCHI.html#a83f353ef765d6c57b07d9f1996e02444">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
 <li>StoreStmt()
-: <a class="el" href="classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42">SVF::StoreStmt</a>
+: <a class="el" href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">SVF::StoreStmt</a>
 </li>
 <li>storeVAddrs()
 : <a class="el" href="classSVF_1_1ExeState.html#aad0556739ce5b173054c81cbbfff4b72">SVF::ExeState</a>
@@ -795,11 +732,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFGNormalizer.html#aea5ebe156b9536c617fc9c6acac00a61">SVF::CFGNormalizer</a>
 </li>
 <li>subNodes()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48981e6555ad221d08f16ed2df708027">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aa2b23b22bb0304ce07ab9b14f0fdc395">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>SVFArgument()
-: <a class="el" href="classSVF_1_1SVFArgument.html#a97816023e6da0a37bc1e2878c11eb123">SVF::SVFArgument</a>
+: <a class="el" href="classSVF_1_1SVFArgument.html#aeeed6b5a59c5bf4eb4af77ec2345dccf">SVF::SVFArgument</a>
 </li>
 <li>SVFArrayType()
 : <a class="el" href="classSVF_1_1SVFArrayType.html#a2cbe7feac254dabd3742121bfc871d06">SVF::SVFArrayType</a>
@@ -820,19 +757,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFCallInst.html#a6cdb5b727c559d3c041aba94e6f64596">SVF::SVFCallInst</a>
 </li>
 <li>SVFConstant()
-: <a class="el" href="classSVF_1_1SVFConstant.html#a3aacbc8f43aec414af229be6a9622a08">SVF::SVFConstant</a>
+: <a class="el" href="classSVF_1_1SVFConstant.html#a71fcd1abcde6dfc35f2da9fb25227165">SVF::SVFConstant</a>
 </li>
 <li>SVFConstantData()
 : <a class="el" href="classSVF_1_1SVFConstantData.html#a1ea9ae8d6d2b29c8357132b40de45bf0">SVF::SVFConstantData</a>
 </li>
 <li>SVFConstantFP()
-: <a class="el" href="classSVF_1_1SVFConstantFP.html#a25657c39dd158866cd5d0958b301573e">SVF::SVFConstantFP</a>
+: <a class="el" href="classSVF_1_1SVFConstantFP.html#a85f6c8bd4169c01e46170b001d3a5a80">SVF::SVFConstantFP</a>
 </li>
 <li>SVFConstantInt()
 : <a class="el" href="classSVF_1_1SVFConstantInt.html#ad9338bb99a77d76d1c83275d8a32f7d2">SVF::SVFConstantInt</a>
 </li>
 <li>SVFConstantNullPtr()
-: <a class="el" href="classSVF_1_1SVFConstantNullPtr.html#a299954e2cad5ee41b51fcff4a92439b3">SVF::SVFConstantNullPtr</a>
+: <a class="el" href="classSVF_1_1SVFConstantNullPtr.html#ae853223a57df1816c3d382113b7b7b70">SVF::SVFConstantNullPtr</a>
 </li>
 <li>SVFFunction()
 : <a class="el" href="classSVF_1_1SVFFunction.html#a7e965c21a8afe7fca32d0f41b16361cf">SVF::SVFFunction</a>
@@ -847,7 +784,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e">SVF::SVFGBuilder</a>
 </li>
 <li>SVFGlobalValue()
-: <a class="el" href="classSVF_1_1SVFGlobalValue.html#aec81144051355d04775807130d22356f">SVF::SVFGlobalValue</a>
+: <a class="el" href="classSVF_1_1SVFGlobalValue.html#ac004fb727468898e90673328119b6059">SVF::SVFGlobalValue</a>
 </li>
 <li>SVFGNodeLockSpan()
 : <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e">SVF::SVFGNodeLockSpan</a>
@@ -865,7 +802,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03">SVF::SVFGStat</a>
 </li>
 <li>SVFInstruction()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#a976cc9df05994e7e1b11fcdd22febcc5">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVF::SVFInstruction</a>
 </li>
 <li>SVFIntegerType()
 : <a class="el" href="classSVF_1_1SVFIntegerType.html#aaafab8007dd15f498259320fec1f99f2">SVF::SVFIntegerType</a>
@@ -904,7 +841,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFOtherType.html#a1d9f683bbcd6dc76e85f841a2b00d95e">SVF::SVFOtherType</a>
 </li>
 <li>SVFOtherValue()
-: <a class="el" href="classSVF_1_1SVFOtherValue.html#a3966c98b9807e4d5f30869c3abccaaa9">SVF::SVFOtherValue</a>
+: <a class="el" href="classSVF_1_1SVFOtherValue.html#a81c02b9a60fa577a786250e088b49493">SVF::SVFOtherValue</a>
 </li>
 <li>SVFPointerType()
 : <a class="el" href="classSVF_1_1SVFPointerType.html#aef13cd2cd8b7a0d603aac7456b8b78d3">SVF::SVFPointerType</a>
@@ -913,7 +850,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26">SVF::SVFStat</a>
 </li>
 <li>SVFStmt()
-: <a class="el" href="classSVF_1_1SVFStmt.html#a2ab7295fe26d2c6d2d5c9fd027f96a47">SVF::SVFStmt</a>
+: <a class="el" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVF::SVFStmt</a>
 </li>
 <li>SVFStructType()
 : <a class="el" href="classSVF_1_1SVFStructType.html#acb09f35e745bc341d15285d528bc1240">SVF::SVFStructType</a>
@@ -922,7 +859,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType</a>
 </li>
 <li>SVFValue()
-: <a class="el" href="classSVF_1_1SVFValue.html#a5860aa7cc16de3c221f06742d0d832dd">SVF::SVFValue</a>
+: <a class="el" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVF::SVFValue</a>
 </li>
 <li>SVFVar()
 : <a class="el" href="classSVF_1_1SVFVar.html#a83626a4beb124b35bcd5af86c9fc62fd">SVF::SVFVar</a>
@@ -931,7 +868,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFVirtualCallInst.html#a57fa2d35c2df09e607b5d23852fca2fd">SVF::SVFVirtualCallInst</a>
 </li>
 <li>Symbol()
-: <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767">SVF::GrammarBase::Symbol</a>
+: <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">SVF::GrammarBase::Symbol</a>
 </li>
 <li>SymbolInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo</a>