svf-tools 1.0.905 → 1.0.907

package/SVF-doxygen/html/functions_func.html

@@ -65,13 +65,16 @@ $(function() {
 
 <h3><a id="index_a"></a>- a -</h3><ul>
 <li>abstract_consequence()
-: <a class="el" href="classSVF_1_1RelationSolver.html#a012d18ece2c66ba6e784ae9578171369">SVF::RelationSolver</a>
+: <a class="el" href="classSVF_1_1RelationSolver.html#a575995a08ab7d186e03e9632398500ce">SVF::RelationSolver</a>
 </li>
-<li>AbstractExecution()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a84d8fedb7e9d23e92ffcb74b4cfbf78c">SVF::AbstractExecution</a>
+<li>AbstractInterpretation()
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a4080994b793d9510c00cb3a0260e0a61">SVF::AbstractInterpretation</a>
+</li>
+<li>AbstractState()
+: <a class="el" href="classSVF_1_1AbstractState.html#a6772fed9390734578b46b85cbf9ba95f">SVF::AbstractState</a>
 </li>
 <li>AbstractValue()
-: <a class="el" href="classSVF_1_1AbstractValue.html#a40a7792f8cf21c268990d546ccc0a378">SVF::AbstractValue</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#a7178510882afd1cf133be9eba03b9522">SVF::AbstractValue</a>
 </li>
 <li>accept()
 : <a class="el" href="classSVF_1_1WTO.html#af2ac6543be66a6ca5911f49f16c341c4">SVF::WTO&lt; GraphT &gt;</a>
@@ -83,16 +86,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a4bfa849a30d1982ae597d26b4a01dd0f">SVF::SaberSVFGBuilder</a>
 </li>
 <li>AccessMemoryViaCallArgs()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#ac920e03f019c47e585f6d0138f91585f">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a048e203517ac727e6fe0653e1f24052c">SVF::AbstractInterpretation</a>
 </li>
 <li>AccessMemoryViaCopyStmt()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a20df87d2a269c3feab3acc40e4cd8801">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a550c12360c2149ba0e55bdf4cf7b8dd0">SVF::AbstractInterpretation</a>
 </li>
 <li>AccessMemoryViaLoadStmt()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a98f3c7d5e4b3722b717071cd320c8a60">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#ac60581a57407fa4c65b1975f5be687b8">SVF::AbstractInterpretation</a>
 </li>
 <li>AccessMemoryViaRetNode()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a140acf4733b46855c8627cf10dbb0bd5">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a29fe7c63c61a7aec8ae1477a061f5bf2">SVF::AbstractInterpretation</a>
 </li>
 <li>AccessPair()
 : <a class="el" href="classSVF_1_1RaceResultValidator_1_1AccessPair.html#a7dd2f8afab59ee4d107a6bfdb6c151ea">SVF::RaceResultValidator::AccessPair</a>
@@ -702,7 +705,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607">SVF::VFG</a>
 </li>
 <li>addObjNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a20ded5829d5975dfaca33f9c64113fe6">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#af9b5c67ca0d91ed20d6ee2d44c1acbd1">SVF::SVFIR</a>
 </li>
 <li>addOffsetVarAndGepTypePair()
 : <a class="el" href="classSVF_1_1AccessPath.html#a2358a8194b5e2c4bcbb5218dee7fcbcd">SVF::AccessPath</a>
@@ -824,7 +827,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>AddrStmt()
-: <a class="el" href="classSVF_1_1AddrStmt.html#a2576465276cd68b6d2029e1838c3b487">SVF::AddrStmt</a>
+: <a class="el" href="classSVF_1_1AddrStmt.html#a0fa28f3a081cd6d32801ab245b6e95ae">SVF::AddrStmt</a>
 </li>
 <li>AddrVFGNode()
 : <a class="el" href="classSVF_1_1AddrVFGNode.html#ae83e51310f51cfb9cd7e2bb2002d758a">SVF::AddrVFGNode</a>
@@ -1017,7 +1020,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#af298651d6ef2030ca13ae6a9db622eb4">SVF::SVFIR</a>
 </li>
 <li>addVarargNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d">SVF::SVFIR</a>
 </li>
 <li>addVariantGepCGEdge()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f">SVF::ConstraintGraph</a>
@@ -1051,22 +1054,22 @@ $(function() {
 : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>AEStat()
-: <a class="el" href="classSVF_1_1AEStat.html#a1e297f15d582d8c94c128a146ec92e1d">SVF::AEStat</a>
+: <a class="el" href="classSVF_1_1AEStat.html#a9a3a1cc22654d3d259599005a5336923">SVF::AEStat</a>
 </li>
 <li>alias()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a236d3e9c894fd7c34c8d7a77ac11dd48">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#ab40891c44b83103fc240c1e7c7c60855">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a167a232a697976602c2ad0eb6d35c2d6">SVF::CondPTAImpl&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a63c474d3a2d4d196e167d6969c6ad21f">SVF::BVDataPTAImpl</a>
+, <a class="el" href="classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a">SVF::CFLAlias</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#adb1ed3728d53a13c94402392155e9913">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#ae1323233941cdc9b99332e4b954a2217">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#a92e19b9ddf342d688ff0f1aa6cecc729">SVF::WPAPass</a>
 </li>
 <li>alias_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">SVF::SVFModule</a>
 </li>
 <li>alias_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">SVF::SVFModule</a>
 </li>
 <li>AliasDDAClient()
 : <a class="el" href="classSVF_1_1AliasDDAClient.html#af55b1ccfa6cfaa6ec079b19d62288cb6">SVF::AliasDDAClient</a>
@@ -1094,7 +1097,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#aa7979418bed24fcecfc6fa04532cd586">SVF::ProgSlice</a>
 </li>
 <li>analyse()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a46364bb8814f7bf6ddd492aa7dc58ffb">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a2670b663d2c5afa974dfc0f316a273d1">SVF::AbstractInterpretation</a>
 </li>
 <li>analyze()
 : <a class="el" href="classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751">SVF::AndersenBase</a>
@@ -1175,15 +1178,8 @@ $(function() {
 <li>applyEdgeMask()
 : <a class="el" href="classSVF_1_1SVFIRReader.html#aa554326050f1e921449b560d94b7bb07">SVF::SVFIRReader</a>
 </li>
-<li>applyPhi()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a6304348363989dde61754ae161756f0f">SVF::ConsExeState</a>
-</li>
-<li>applySelect()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a3f5fa4efdd0f45b375f18596734f3d07">SVF::ConsExeState</a>
-</li>
 <li>applySummary()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a600317df0db3e813b952727884111cdd">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a198e8d5f586a698462dee2c3fde8c83e">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ad247b7d3ff5fd99c0d92cac8f1c876eb">SVF::SVFIR2AbsState</a>
 </li>
 <li>arg_empty()
 : <a class="el" href="classSVF_1_1CallSite.html#ad084f7734007db7b14444b20bb980dd3">SVF::CallSite</a>
@@ -1197,11 +1193,8 @@ $(function() {
 <li>ArgumentVFGNode()
 : <a class="el" href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">SVF::ArgumentVFGNode</a>
 </li>
-<li>assign()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8">SVF::ConsExeState</a>
-</li>
 <li>AssignStmt()
-: <a class="el" href="classSVF_1_1AssignStmt.html#a05751cd905e9b21a80d6144072fa97fb">SVF::AssignStmt</a>
+: <a class="el" href="classSVF_1_1AssignStmt.html#a41bf9092cbdfccb9724bd58e10aa51a6">SVF::AssignStmt</a>
 </li>
 <li>atEnd()
 : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ad3af46dcfb0e2846587eb5a71f38161f">SVF::CoreBitVector::CoreBitVectorIterator</a>

package/SVF-doxygen/html/functions_func_b.html

@@ -124,13 +124,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1WTOCycleDepth.html#a05e5c2f26d21fea5197205e23fea7d3a">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 </li>
 <li>beta()
-: <a class="el" href="classSVF_1_1RelationSolver.html#ac4abc5e1eb3b638710572c958162c22c">SVF::RelationSolver</a>
+: <a class="el" href="classSVF_1_1RelationSolver.html#a342d3c7d5192449fb10e9c3bab2de24f">SVF::RelationSolver</a>
 </li>
 <li>bilateral()
-: <a class="el" href="classSVF_1_1RelationSolver.html#a0df88638c5e3f8cd56d34088b96199f1">SVF::RelationSolver</a>
+: <a class="el" href="classSVF_1_1RelationSolver.html#a23c59e437950b139dde49f11eb45b63a">SVF::RelationSolver</a>
 </li>
 <li>Bilateral_time()
-: <a class="el" href="classSymblicAbstractionTest.html#ad6525df45acfeb1c9c31fc54219a4217">SymblicAbstractionTest</a>
+: <a class="el" href="classSymblicAbstractionTest.html#ad9539ad539a0e3848b7ad1d65ebe81fe">SymblicAbstractionTest</a>
 </li>
 <li>BinaryOPStmt()
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a4c87a90a0190b50c0318c0f316f4fc2a">SVF::BinaryOPStmt</a>
@@ -151,14 +151,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a6d5cdb3b78e4ed482b0da4c64323b463">SVF::SVFGOPT</a>
 </li>
 <li>bottom()
-: <a class="el" href="classSVF_1_1IntervalESBase.html#a839e8ee927c1cad86aef3059b41ba2eb">SVF::IntervalESBase</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#a325ac3691d7252d0dcef9aa5f774b4c4">SVF::AbstractState</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">SVF::IntervalValue</a>
 </li>
-<li>bottomConstant()
-: <a class="el" href="classSVF_1_1SingleAbsValue.html#a0e7dde6b5ae9a605230a49b3216ea6e8">SVF::SingleAbsValue</a>
-</li>
 <li>BoundedZ3Expr()
-: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a1a40023fb0648399943689ee553f4c66">SVF::BoundedZ3Expr</a>
+: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a6b0b0f37eccc094d2afbb7bdefc7cbfa">SVF::BoundedZ3Expr</a>
 </li>
 <li>BoxedOptSolver()
 : <a class="el" href="classSVF_1_1RelationSolver.html#aaae7ac9ed7d0e17f39948c37b867ada9">SVF::RelationSolver</a>
@@ -176,10 +173,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1BreakConstantGEPs.html#a5397ce21e78d09c8d1cdc3f912d53a7f">SVF::BreakConstantGEPs</a>
 </li>
 <li>BS()
-: <a class="el" href="classSVF_1_1RelationSolver.html#a7e827609a1d69c6517f1a3eee0326fc3">SVF::RelationSolver</a>
+: <a class="el" href="classSVF_1_1RelationSolver.html#a98f7e3ae9f43aea178d77a58ac8e927f">SVF::RelationSolver</a>
 </li>
 <li>BS_time()
-: <a class="el" href="classSymblicAbstractionTest.html#a61df4b66ebc9b3eb38d773aa375ee759">SymblicAbstractionTest</a>
+: <a class="el" href="classSymblicAbstractionTest.html#a00618d1c3ca0c30883aad8f95e9f9f30">SymblicAbstractionTest</a>
 </li>
 <li>BufferOverflowBug()
 : <a class="el" href="classSVF_1_1BufferOverflowBug.html#ac05f2603f96431354402ea526da27fec">SVF::BufferOverflowBug</a>
@@ -193,7 +190,7 @@ $(function() {
 <li>build()
 : <a class="el" href="classSVF_1_1CDGBuilder.html#aeeb38d897babfeff1844c643dda8ae97">SVF::CDGBuilder</a>
 , <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383">SVF::CFLGraphBuilder</a>
-, <a class="el" href="classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505">SVF::GrammarBuilder</a>
+, <a class="el" href="classSVF_1_1GrammarBuilder.html#a11bd8225be12650c811ba968cc3935b3">SVF::GrammarBuilder</a>
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250">SVF::ICFGBuilder</a>
 , <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d">SVF::LLVMLoopAnalysis</a>
 , <a class="el" href="classSVF_1_1LLVMModuleSet.html#af8edfe08027020f14b81b44362c6018e">SVF::LLVMModuleSet</a>
@@ -237,7 +234,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGBuilder.html#a87ad835786fb8fed2a24c122fa839c25">SVF::CHGBuilder</a>
 </li>
 <li>buildCHGNodes()
-: <a class="el" href="classSVF_1_1CHGBuilder.html#a648e97899c16a5634fc8369aef8a031f">SVF::CHGBuilder</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#abca5a0a010fdb63a3fa8b92ea0dd55e6">SVF::CHGBuilder</a>
 </li>
 <li>buildClassNameToAncestorsDescendantsMap()
 : <a class="el" href="classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb">SVF::CHGBuilder</a>
@@ -269,9 +266,6 @@ $(function() {
 <li>buildGlobalDefToRepMap()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#aaab03cb6ff665bc008c67b866ba81e47">SVF::LLVMModuleSet</a>
 </li>
-<li>buildGlobES()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a4cdddbbcb6b07f2db9cfad565ca7e57b">SVF::ConsExeState</a>
-</li>
 <li>buildICFGNodeControlMap()
 : <a class="el" href="classSVF_1_1CDGBuilder.html#ab56c8f3ab29a907d420622dd8e933f0d">SVF::CDGBuilder</a>
 </li>
@@ -318,7 +312,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#ad036bf2b7354dd106edce47939b64c78">SVF::LLVMLoopAnalysis</a>
 </li>
 <li>buildSVFModule()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f8e769251c89433311eeb6f98d115e9">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#ae919327019b5014f64b754dbdeb07f75">SVF::LLVMModuleSet</a>
 </li>
 <li>buildSymbolTable()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a15e97e3f2ba62d3fe444bb17cd637dbd">SVF::LLVMModuleSet</a>

package/SVF-doxygen/html/functions_func_c.html

@@ -123,7 +123,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a3c85fd2084e52df869cb8fcf2dab6486">SVF::CoreBitVector</a>
 </li>
 <li>canSafelyAccessMemory()
-: <a class="el" href="classSVF_1_1BufOverflowChecker.html#ace5ad1d6a63d5392044fee2ecbc9236e">SVF::BufOverflowChecker</a>
+: <a class="el" href="classSVF_1_1BufOverflowChecker.html#ad68fa02efad8b628e4542dc9ab6c58bf">SVF::BufOverflowChecker</a>
 </li>
 <li>canSet()
 : <a class="el" href="classOption.html#a25507245c3b4b8d2d52ab069d756bc31">Option&lt; T &gt;</a>
@@ -210,7 +210,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CFLVF.html#a20c6a97e620239c72f402ddf470852bf">SVF::CFLVF</a>
 </li>
 <li>checkPointAllSet()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#aaa2f3713bd6d39bb4e9b5119b64277c7">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#acea2c82e5b463db6f097e9a9641f601b">SVF::AbstractInterpretation</a>
 </li>
 <li>checkRelation()
 : <a class="el" href="classSVF_1_1AccessPath.html#a98b8b3428479259fbafd9e527ecc09bb">SVF::AccessPath</a>
@@ -239,16 +239,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHNode.html#aa80276c1d5160a401232a310554fd934">SVF::CHNode</a>
 </li>
 <li>classof()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a9c23029833558b082c613fa5e0f14c0d">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#aa2d9b63cb2d303e6a1d4fe84a0df265f">SVF::AbstractInterpretation</a>
 , <a class="el" href="classSVF_1_1ActualINSVFGNode.html#a73ccbee2a81439e70ea0c096d113a89b">SVF::ActualINSVFGNode</a>
 , <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a810b526c35918ed894c8dc2f95d44cb3">SVF::ActualOUTSVFGNode</a>
-, <a class="el" href="classSVF_1_1ActualParmVFGNode.html#a5d0c195ba42dc0dd48a360cba326d502">SVF::ActualParmVFGNode</a>
+, <a class="el" href="classSVF_1_1ActualParmVFGNode.html#acd3b55d18cb1227f7631df8e4912fdb3">SVF::ActualParmVFGNode</a>
 , <a class="el" href="classSVF_1_1ActualRetVFGNode.html#ab814b942e8ba02ed51f11ea6fcadd608">SVF::ActualRetVFGNode</a>
 , <a class="el" href="classSVF_1_1AddrCGEdge.html#a541102364cd692d5f53a6aaef8b41965">SVF::AddrCGEdge</a>
 , <a class="el" href="classSVF_1_1AddrStmt.html#a32e129c9f7aa16be8c5c8569989f691f">SVF::AddrStmt</a>
 , <a class="el" href="classSVF_1_1AddrVFGNode.html#a5ad9c37ae429e0ac4c4fae224364f177">SVF::AddrVFGNode</a>
 , <a class="el" href="classSVF_1_1Andersen.html#aaec53980b25ed769fa9a985860f810b5">SVF::Andersen</a>
-, <a class="el" href="classSVF_1_1AndersenBase.html#a0167fa7b59571c07b2cbec08905f6629">SVF::AndersenBase</a>
+, <a class="el" href="classSVF_1_1AndersenBase.html#afa4d710b093a6c7a33cb1aef823781f0">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1ArgumentVFGNode.html#ab6179be01a029e52df59480c20a92ef2">SVF::ArgumentVFGNode</a>
 , <a class="el" href="classSVF_1_1AssignStmt.html#a4f94b6731f324e44fc4d4e06d7acdbf7">SVF::AssignStmt</a>
 , <a class="el" href="classSVF_1_1BinaryOPStmt.html#ab5a0f41455474643e8dd97aaab0aaab5">SVF::BinaryOPStmt</a>
@@ -256,12 +256,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1BranchStmt.html#a750ffca6648fafedfb271fb90d975847">SVF::BranchStmt</a>
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#abaeefcd88c47e21065947f7587af2181">SVF::BranchVFGNode</a>
 , <a class="el" href="classSVF_1_1BufferOverflowBug.html#a236e3cf3e81ec4248547b3011323e45f">SVF::BufferOverflowBug</a>
-, <a class="el" href="classSVF_1_1BufOverflowChecker.html#ace460f7684aedf51c9907c995b94b653">SVF::BufOverflowChecker</a>
+, <a class="el" href="classSVF_1_1BufOverflowChecker.html#aecc0ded0645b8a8c43a3d466b642ce08">SVF::BufOverflowChecker</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a6ba68138c10d1fbe5be6346c8dfeca74">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CallCFGEdge.html#a38b56212fb58934ee50079b1e69ad5ff">SVF::CallCFGEdge</a>
 , <a class="el" href="classSVF_1_1CallCHI.html#a7c0708ad9a2aa6278b1e7404340ca2ad">SVF::CallCHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CallDirSVFGEdge.html#a977cb840fbed0b89b445a1b7384d3352">SVF::CallDirSVFGEdge</a>
-, <a class="el" href="classSVF_1_1CallICFGNode.html#ad064bfbbc08c297d66071ff7a9c0c991">SVF::CallICFGNode</a>
+, <a class="el" href="classSVF_1_1CallICFGNode.html#a406c851efb93f7b838f3246deb2610ec">SVF::CallICFGNode</a>
 , <a class="el" href="classSVF_1_1CallIndSVFGEdge.html#a9da25118e904862eb1f39231c2b191bd">SVF::CallIndSVFGEdge</a>
 , <a class="el" href="classSVF_1_1CallMU.html#af8a0defe4c5b36893e155a4b074c0f30">SVF::CallMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73">SVF::CallPE</a>
@@ -306,7 +306,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1InterICFGNode.html#a67ef8b6f4d8961c54145df0ce8a5c843">SVF::InterICFGNode</a>
 , <a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#a62c0f4f98a42fe65f1dd570ec277b13f">SVF::InterMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1InterPHIVFGNode.html#af05335676298acd6ad0bf2f445c8105b">SVF::InterPHIVFGNode</a>
-, <a class="el" href="classSVF_1_1IntervalValue.html#a101633c38e284f6e2bcad852daa3baae">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1IntraCFGEdge.html#a70bdadf898a10c6db89e9f432529092c">SVF::IntraCFGEdge</a>
 , <a class="el" href="classSVF_1_1IntraDirSVFGEdge.html#a66c199063471c5b3fcbe6a8cce47a1fe">SVF::IntraDirSVFGEdge</a>
 , <a class="el" href="classSVF_1_1IntraICFGNode.html#a295649753e583729a9f3bfd9e8a1e87f">SVF::IntraICFGNode</a>
@@ -380,7 +379,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFVirtualCallInst.html#a1d7057e02488b26ca34aefa045f733e9">SVF::SVFVirtualCallInst</a>
 , <a class="el" href="classSVF_1_1TCTEdge.html#a38d3af1f146d4e70574874c7ec28f6f3">SVF::TCTEdge</a>
 , <a class="el" href="classSVF_1_1TDForkPE.html#a79317f2ac92ace129a1ccf802406498d">SVF::TDForkPE</a>
-, <a class="el" href="classSVF_1_1TDJoinPE.html#ace17257476d0ee089a9f9cb8dc63e3f2">SVF::TDJoinPE</a>
+, <a class="el" href="classSVF_1_1TDJoinPE.html#a18e24262f5be7835bc830ea410acc19d">SVF::TDJoinPE</a>
 , <a class="el" href="classSVF_1_1ThreadCallGraph.html#a4ba42f59f0a6a7ea5b059f6e8df64d89">SVF::ThreadCallGraph</a>
 , <a class="el" href="classSVF_1_1ThreadForkEdge.html#a4d2c3601a3fd530d178ec00ee3e1bc5d">SVF::ThreadForkEdge</a>
 , <a class="el" href="classSVF_1_1ThreadJoinEdge.html#a0fb671c87fecd2fd9c2dab4187a47d37">SVF::ThreadJoinEdge</a>
@@ -400,14 +399,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1AndersenBase.html#aebfe0c7238eb24f74f105b950b86cb5e">SVF::AndersenBase</a>
 </li>
 <li>clear()
-: <a class="el" href="classSVF_1_1CFLFIFOWorkList.html#a0899c25a81dfad2d134785c31ab6ad56">SVF::CFLFIFOWorkList&lt; Data &gt;</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#a46651dcb1b9c85bee52a4fad897d8ab3">SVF::AbstractState</a>
+, <a class="el" href="classSVF_1_1CFLFIFOWorkList.html#a0899c25a81dfad2d134785c31ab6ad56">SVF::CFLFIFOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#ad81774f0ad13fb21579180fc15affd7b">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a4c49e2964276825744ffce26fc43ec36">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#a1e523bab1013a9f3e9eaea56e53afa58">SVF::CoreBitVector</a>
 , <a class="el" href="classSVF_1_1CSC.html#ac531556d88bedad2717aacc6575bfedd">SVF::CSC</a>
 , <a class="el" href="classSVF_1_1FIFOWorkList.html#a29d9fec1ea7b8e5456342522eea403ad">SVF::FIFOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1FILOWorkList.html#a97265eb340b48436c39f77f4095693fb">SVF::FILOWorkList&lt; Data &gt;</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#a4849103f97f0c03e434882c32e8d695b">SVF::IntervalESBase</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a446112803c54ca937f8b85e42a4a1381">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a712da72277711b9aa1b33a197f6ff23f">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#ac8da1a3357c3bc529f6ca85615486951">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -465,9 +464,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1PTData.html#a877888f12d9f8048002cc0e6b83d45ac">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a4bfd083fae6ff689945ed34632e208e9">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
-<li>clearKeyNodesSet()
-: <a class="el" href="classSVF_1_1SymState.html#ad9acb96857f02bf0515b5c9f51f890cd">SVF::SymState</a>
-</li>
 <li>clearMSSA()
 : <a class="el" href="classSVF_1_1SVFG.html#aeba803e60699f9d9422596d161d44241">SVF::SVFG</a>
 </li>
@@ -519,7 +515,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CmpStmt.html#a6e11c486468a8fe0f7aa38a0546b8328">SVF::CmpStmt</a>
 </li>
 <li>CmpVFGNode()
-: <a class="el" href="classSVF_1_1CmpVFGNode.html#a003f5049433ade9cdad5f3050532af8e">SVF::CmpVFGNode</a>
+: <a class="el" href="classSVF_1_1CmpVFGNode.html#adcb91fca3c1cd9e23c8996dd825504ac">SVF::CmpVFGNode</a>
 </li>
 <li>collapseField()
 : <a class="el" href="classSVF_1_1Andersen.html#af4a0d960ef198047517bb32ee1e24a61">SVF::Andersen</a>
@@ -544,7 +540,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a9de695122660c1d8b65e1f3dab8a7ece">SVF::MRGenerator</a>
 </li>
 <li>collectCallsiteTargets()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a1fc4116b134aa87420d055b193208e68">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#ae76dbc090bc0039de0c82fb9e9fa72bd">SVF::MTAResultValidator</a>
 </li>
 <li>collectCandidateQueries()
 : <a class="el" href="classSVF_1_1AliasDDAClient.html#a21ca982b21346c7fef54978de2169360">SVF::AliasDDAClient</a>
@@ -552,7 +548,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1FunptrDDAClient.html#ac158889bf01d3fcb4f58c44577e398ab">SVF::FunptrDDAClient</a>
 </li>
 <li>collectCheckPoint()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#afb6de3effc0f483836bfe9f42aca760d">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#aae7c67e9c423599442be721b55cd7279">SVF::AbstractInterpretation</a>
 </li>
 <li>collectCxtInsenEdgeForRecur()
 : <a class="el" href="classSVF_1_1DDAPass.html#af8bc7f84e7dc8c7032eec6162a837ba6">SVF::DDAPass</a>
@@ -564,7 +560,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae03db88ef0ad0da2c31cf1623b32165f">SVF::LockAnalysis</a>
 </li>
 <li>collectCxtThreadTargets()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a63ec4f6251cc95ee96aff15b4924abdc">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a430c03371b2b5b7300c5c3a68d633909">SVF::MTAResultValidator</a>
 </li>
 <li>collectCycleInfo()
 : <a class="el" href="classSVF_1_1AndersenStat.html#ae35507bebe6a1a9a64ab379473c85cad">SVF::AndersenStat</a>
@@ -583,7 +579,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a2d0492c50159a5f97a587874c6877286">SVF::SaberSVFGBuilder</a>
 </li>
 <li>collectInterleavingTargets()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a044d4c936df5b37496076c173f0dd503">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a3c3eacff786230d093d27615ff360ed4">SVF::MTAResultValidator</a>
 </li>
 <li>collectLoadStoreInst()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#ab84e4295f1137090bdf9e0608a4c2077">SVF::MTAAnnotator</a>
@@ -656,7 +652,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#abc8b35d432db78bd5282010c7c800d70">SVF::SymbolTableBuilder</a>
 </li>
 <li>collectValidationTargets()
-: <a class="el" href="classSVF_1_1RaceResultValidator.html#a3aa6ef4733150b1ea4ae396263e2d1e4">SVF::RaceResultValidator</a>
+: <a class="el" href="classSVF_1_1RaceResultValidator.html#adb3030fc7514506e2592e11898217375">SVF::RaceResultValidator</a>
 </li>
 <li>collectVararg()
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#add1f3d59a4a8234fb398ed52d4b2115e">SVF::SymbolTableBuilder</a>
@@ -740,7 +736,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SaberCondAllocator.html#a2e4c3f5149a5085a5c8bb7547eae8161">SVF::SaberCondAllocator</a>
 </li>
 <li>CondPointsToSet()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#a7217769c21c50c44f139006ec44d3a6f">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#aad144061d006968ff4d6d21488b84801">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CondPTAImpl()
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a60678dda5071557483b27d09d26dc270">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -749,10 +745,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a8a3d10d0aaf4708e7e44bedc6be077e0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 </li>
 <li>CondStdSet()
-: <a class="el" href="classSVF_1_1CondStdSet.html#a1f3e8aa09ca8e7f252525e35c4886c5b">SVF::CondStdSet&lt; Element &gt;</a>
+: <a class="el" href="classSVF_1_1CondStdSet.html#a3f1885562bb34c3ccbd15117788725e0">SVF::CondStdSet&lt; Element &gt;</a>
 </li>
 <li>CondVar()
-: <a class="el" href="classSVF_1_1CondVar.html#a93101c4401ed4ced33d64b5726e9cd69">SVF::CondVar&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondVar.html#afd729e068419ed45bb9da8d5920f8674">SVF::CondVar&lt; Cond &gt;</a>
 </li>
 <li>connectAInAndFIn()
 : <a class="el" href="classSVF_1_1SVFG.html#ac9ab2a95cd7a09bbe4b4aa3e6fafaf62">SVF::SVFG</a>
@@ -808,9 +804,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#a9feeeca8a919b19693e48d6a382c8871">SVF::AliasCFLGraphBuilder</a>
 , <a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#a23e16f4dd62ffb96e64318c60f594067">SVF::VFCFLGraphBuilder</a>
 </li>
-<li>ConsExeState()
-: <a class="el" href="classSVF_1_1ConsExeState.html#ae2868bff69d249ff28daff28fd3c86ea">SVF::ConsExeState</a>
-</li>
 <li>constant_begin()
 : <a class="el" href="classSVF_1_1SVFModule.html#ac088d7ffb9319033308b7aaee78f364d">SVF::SVFModule</a>
 </li>
@@ -844,7 +837,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#afa7d9f6209904acd7893ae583e28dafd">SVF::PointerAnalysis</a>
 </li>
 <li>contains()
-: <a class="el" href="classSVF_1_1AddressValue.html#a6c18835f554f02ead25ea3c1cf981e8f">SVF::AddressValue</a>
+: <a class="el" href="structSVF_1_1AbstractValue.html#ab5766ae22f3aa34b5866a8822544f58e">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1AddressValue.html#a6c18835f554f02ead25ea3c1cf981e8f">SVF::AddressValue</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#a5af00bb26800882ab96c470ee9fc4632">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#af08c16aed45dfa65472f0b5ae518add2">SVF::CoreBitVector</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#afcb91d48a79aeba3c78c1a41b0730a73">SVF::IntervalValue</a>
@@ -852,28 +846,28 @@ $(function() {
 , <a class="el" href="classSVF_1_1SparseBitVector.html#abbd0e0cf759fad7858224ed8a63aade8">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 </li>
 <li>contentToJson()
-: <a class="el" href="classSVF_1_1SVFIRWriter.html#a4bd182143a96162df126de2bdb964f4a">SVF::SVFIRWriter</a>
+: <a class="el" href="classSVF_1_1SVFIRWriter.html#aa7c88a48d18d052895733771f2ad9e2d">SVF::SVFIRWriter</a>
 </li>
 <li>ContextCond()
-: <a class="el" href="classSVF_1_1ContextCond.html#a9b81bf11679645d32d50b91bdb6d2dc1">SVF::ContextCond</a>
+: <a class="el" href="classSVF_1_1ContextCond.html#a9ddc22484df27618c5095445f33b4cf1">SVF::ContextCond</a>
 </li>
 <li>ContextDDA()
 : <a class="el" href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA</a>
 </li>
 <li>CopyCGEdge()
-: <a class="el" href="classSVF_1_1CopyCGEdge.html#ac82949d49688f428d09842bda0ba1d53">SVF::CopyCGEdge</a>
+: <a class="el" href="classSVF_1_1CopyCGEdge.html#a90cbb8b4085648811f95afde4175a168">SVF::CopyCGEdge</a>
 </li>
 <li>CopyStmt()
 : <a class="el" href="classSVF_1_1CopyStmt.html#aa965d58e96e8729d16d66387ee09eac7">SVF::CopyStmt</a>
 </li>
 <li>CopyVFGNode()
-: <a class="el" href="classSVF_1_1CopyVFGNode.html#aee4a402546b3df92412a5252c9608818">SVF::CopyVFGNode</a>
+: <a class="el" href="classSVF_1_1CopyVFGNode.html#a0f3f697a0053bf5847db95f526bec1e7">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
-: <a class="el" href="classSVF_1_1CoreBitVector.html#aa25de5d26935c74e156c5f6604b3d8a8">SVF::CoreBitVector</a>
+: <a class="el" href="classSVF_1_1CoreBitVector.html#a93f42d767c99bdf788dc4df4881751c5">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
-: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ae209179f396c8b5b788ff6d2c437e5d6">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#add4da76753804d22314f070e1ad1ce6f">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
 <li>count()
 : <a class="el" href="classSVF_1_1CondStdSet.html#aa19e82905537f3ae41f64fce070ee555">SVF::CondStdSet&lt; Element &gt;</a>
@@ -899,13 +893,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFLBase.html#a824da17d03599090d4e3b4c50aeccff9">SVF::CFLBase</a>
 </li>
 <li>cptsBegin()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cptsEnd()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a20026db57cfef6bf6a978140b2372cea">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cpyItvToLocal()
-: <a class="el" href="classSVF_1_1IntervalExeState.html#a052d677fb5ee940ed0686f3d67d10d19">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1SparseAbstractState.html#ac7717435e73e20f9ee94700d1838419f">SVF::SparseAbstractState</a>
 </li>
 <li>createAndersenSCD()
 : <a class="el" href="classSVF_1_1AndersenSCD.html#ad403be45ff1c69fccdff6c5f3f1959c2">SVF::AndersenSCD</a>
@@ -952,9 +946,6 @@ $(function() {
 <li>createICFGNode()
 : <a class="el" href="classSVF_1_1SVFIRReader.html#a75dcf9f3ecdcc65151566e9f6e296eea">SVF::SVFIRReader</a>
 </li>
-<li>createIntervalValue()
-: <a class="el" href="classSVF_1_1IntervalESBase.html#a080484bdcd9287e95d0ced0fa474fd05">SVF::IntervalESBase</a>
-</li>
 <li>createMR()
 : <a class="el" href="classSVF_1_1MRGenerator.html#ac18324bd2b862c3cdbf65494bf69ecb5">SVF::MRGenerator</a>
 </li>
@@ -1006,7 +997,7 @@ $(function() {
 <li>csHasVtblsBasedonCHA()
 : <a class="el" href="classSVF_1_1CHGraph.html#acd4907aa926a4c7fdc3964700d721f79">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1CommonCHGraph.html#aff7363feebc20267dad7230666b583b1">SVF::CommonCHGraph</a>
-, <a class="el" href="classSVF_1_1DCHGraph.html#afc7235305640be3d6dbae8199d5c8611">SVF::DCHGraph</a>
+, <a class="el" href="classSVF_1_1DCHGraph.html#a2fef8f7209f100c7a266cf3102b1219b">SVF::DCHGraph</a>
 </li>
 <li>CxtDPItem()
 : <a class="el" href="classSVF_1_1CxtDPItem.html#ab2adb60f776ed2cde73253ff367e14cf">SVF::CxtDPItem</a>

package/SVF-doxygen/html/functions_func_d.html

@@ -158,7 +158,7 @@ $(function() {
 : <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a543da98c9818fbfd235152beab355e9c">SVF::GenericGraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;</a>
 </li>
 <li>directCallFunPass()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#aff1c9582db75361b68aaaf0c4b8b6f0d">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a2a317e4263c4d8acbc5088a18a3849aa">SVF::AbstractInterpretation</a>
 </li>
 <li>directCallsBegin()
 : <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a750e50a9022451e406c4819979edffa5">SVF::PTACallGraphEdge</a>

package/SVF-doxygen/html/functions_func_e.html

@@ -158,21 +158,14 @@ $(function() {
 , <a class="el" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">SVF::NumericLiteral</a>
 </li>
 <li>equals()
-: <a class="el" href="classSVF_1_1AddressValue.html#a04456fe47889dd8f1b712255c9598fe9">SVF::AddressValue</a>
-, <a class="el" href="classSVF_1_1ExeState.html#a45be8c439528b7560024fa51f36a8ffb">SVF::ExeState</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#a9133df5ab00e7c2918a8047fd0bdfb08">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#a69f5125f14b129607fafb3717160f4c1">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#a65131e4b96d21984c6907ac4fb32e973">SVF::AbstractState</a>
+, <a class="el" href="structSVF_1_1AbstractValue.html#ae8a8fb4dc6ff1d7faddea6a9b1e65f1e">SVF::AbstractValue</a>
+, <a class="el" href="classSVF_1_1AddressValue.html#a04456fe47889dd8f1b712255c9598fe9">SVF::AddressValue</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#ac06d554ff5f63c43f9b02378800488c1">SVF::IntervalValue</a>
-</li>
-<li>equalVar()
-: <a class="el" href="classSVF_1_1ConsExeState.html#ad3914ce88b680803d7744c4fa63fa93b">SVF::ConsExeState</a>
-</li>
-<li>eqVarToAddrs()
-: <a class="el" href="classSVF_1_1ExeState.html#a0a24ad3ced48b6755b7fc917d0f0fbb9">SVF::ExeState</a>
+, <a class="el" href="classSVF_1_1SparseAbstractState.html#a305f05501629a3bb74789d297ed3383a">SVF::SparseAbstractState</a>
 </li>
 <li>eqVarToValMap()
-: <a class="el" href="classSVF_1_1ConsExeState.html#ae024143db76c3350ed581db661393052">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#a5fbb3e0a06cb36f020a6de20ebd04ad1">SVF::IntervalESBase</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#adb1ce2a16c501aefa7c902e9bec012f6">SVF::AbstractState</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#aaa5306f4f26b5a11342a726c2f7e4bb6">SVF::RelExeState</a>
 </li>
 <li>evalFinalCond()
@@ -205,21 +198,18 @@ $(function() {
 <li>executedByTheSameThread()
 : <a class="el" href="classSVF_1_1MHP.html#ac10a8f3a4b09dc257be9edabccea3fbb">SVF::MHP</a>
 </li>
-<li>ExeState()
-: <a class="el" href="classSVF_1_1ExeState.html#a2e79702693c4fce03ab9fc03d1ceb2b8">SVF::ExeState</a>
-</li>
 <li>existsVar()
 : <a class="el" href="classSVF_1_1RelExeState.html#a85573e2041f53c49da9f92b95ccbc052">SVF::RelExeState</a>
 </li>
 <li>expandFIObjs()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aa6a7186152037452599406a74b05d0e1">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a798c84d5e861de2b61bcb1a86385f721">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#a87b48287d7edb97fc120200fe0e5218d">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
 <li>ExtAPI()
 : <a class="el" href="classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb">SVF::ExtAPI</a>
 </li>
 <li>extCallPass()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#acf4a6c3fe5a2239512acb791b9aba854">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a271d3ac0f8725108e324b5c391988c49">SVF::AbstractInterpretation</a>
 </li>
 <li>extendBackward()
 : <a class="el" href="classSVF_1_1CoreBitVector.html#ab6d789e3c68390a9026fd4f8c4cf344a">SVF::CoreBitVector</a>