svf-tools 1.0.905 → 1.0.907

package/SVF-doxygen/html/functions_h.html

@@ -90,7 +90,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#aac0c4c3f1c7cb1d89ebd2a3da2d49bd3">SVF::TCT</a>
 </li>
 <li>handleCallSite()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a6cbc336372afb947c783fb14c45426df">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#abbb4e49644121f6b038fd8fb4d7b0034">SVF::AbstractInterpretation</a>
 </li>
 <li>handleCallsiteModRef()
 : <a class="el" href="classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68">SVF::MRGenerator</a>
@@ -103,7 +103,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1AndersenSCD.html#aa0a496376f7bea2c417ef83c51d19a61">SVF::AndersenSCD</a>
 </li>
 <li>handleCycle()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a609f7f047d88f8a2f44cd783668dc179">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a71dff5d6a5b291014c0a65d3a6d7c8c1">SVF::AbstractInterpretation</a>
 </li>
 <li>handleDIBasicType()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a86bf48776ccf53092f4cb742cf95f8eb">SVF::DCHGraph</a>
@@ -121,7 +121,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DCHGraph.html#a671f379ae54eef247b5e013478eb3f0c">SVF::DCHGraph</a>
 </li>
 <li>handleExtAPI()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#ae002abb8711300ff52200f78f1463369">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a6cac9b69d85111a5a26373ec848a3282">SVF::AbstractInterpretation</a>
 , <a class="el" href="classSVF_1_1BufOverflowChecker.html#a1ed3cb0a1a118d9e505b192841a58dde">SVF::BufOverflowChecker</a>
 </li>
 <li>handleExtCall()
@@ -133,7 +133,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MHP.html#a8a95f8ae419b66310ce6f572caea2ca5">SVF::MHP</a>
 </li>
 <li>handleFunc()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#adb88a8be0bc1c1ac2d1546e9191c6f93">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a2e2253149e2bf114825a4e838118e012">SVF::AbstractInterpretation</a>
 </li>
 <li>handleGlobalCE()
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a72732ec0392d9d5b900fc12177890779">SVF::SymbolTableBuilder</a>
@@ -142,10 +142,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a1efd9406182eb86b1ee4829c931b566d">SVF::SymbolTableBuilder</a>
 </li>
 <li>handleGlobalNode()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a7efff2047b2b6017fdd210a8679817cd">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a276182afcfe95235ebd2d452424e87e7">SVF::AbstractInterpretation</a>
 </li>
 <li>handleICFGNode()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a714fa1f4794008f630de415414cf8bfd">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a9b179466955023f275b6692b59048846">SVF::AbstractInterpretation</a>
 , <a class="el" href="classSVF_1_1BufOverflowChecker.html#afa6b30220b0b3261205a909def9ca44e">SVF::BufOverflowChecker</a>
 </li>
 <li>handleIndCall()
@@ -174,10 +174,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1AndersenSCD.html#a7ae683eb8c607a0e742b44e3019b8cbc">SVF::AndersenSCD</a>
 </li>
 <li>handleMemcpy()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a37c0e12879d3320857a288191e6d2202">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#adf02c5bf1b86f00163b114a78e03120c">SVF::AbstractInterpretation</a>
 </li>
 <li>handleMemset()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#ad70015e99339c3beb3a911c0ff6f0144">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a568e2247536de76694dabfc5a5052b57">SVF::AbstractInterpretation</a>
 </li>
 <li>handleNonCandidateFun()
 : <a class="el" href="classSVF_1_1MHP.html#a2c1e4fac7b810021939ed26307d37816">SVF::MHP</a>
@@ -220,20 +220,20 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a1802d8ed854bef817afa748d2bbcea05">SVF::MTASVFGBuilder</a>
 </li>
 <li>handleStrcat()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a28c04e0a985eda44fe8532c44c7e05bb">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#acba90e968cebacca3da78ac765df33ef">SVF::AbstractInterpretation</a>
 </li>
 <li>handleStrcpy()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a0ed5456bdeaff7ab4e1decdff8ae2afb">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#ac941d1eb9b1216c8334d0685a471b774">SVF::AbstractInterpretation</a>
 </li>
 <li>handleSVFStatement()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a1d725fe50a7084bfa18bd47b941af885">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a896d04a02951947bc228bf97b2c00313">SVF::AbstractInterpretation</a>
 , <a class="el" href="classSVF_1_1BufOverflowChecker.html#a0b79c3694a08100d2d8d1b8109998131">SVF::BufOverflowChecker</a>
 </li>
 <li>handleTypedef()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a6d97a772afe16c1483e65eea81f82603">SVF::DCHGraph</a>
 </li>
 <li>handleWTONode()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a6c06e39df9b60a25480b4f485d1c2cbb">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a80d663262a8d909ef5756391cdd82246">SVF::AbstractInterpretation</a>
 </li>
 <li>HARE_PAR_FOR
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a4690967fd6d32fb82c5de637846a3476">SVF::ThreadAPI</a>
@@ -243,7 +243,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a17e0d58fd42d0d493087e698d4ecd838">SVF::PTACallGraphEdge</a>
 </li>
 <li>has_bottom()
-: <a class="el" href="classSVF_1_1IntervalESBase.html#a2387b671954d5c1fdd4b08b71ffa0e6c">SVF::IntervalESBase</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#a52aa9356624716fcaecc3c55bf7043c4">SVF::AbstractState</a>
 </li>
 <li>has_static()
 : <a class="el" href="classSVF_1_1ExtAPI.html#a9ba485eb5c452f8fb273c625126bad96">SVF::ExtAPI</a>
@@ -267,7 +267,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a88f6468b9b43bbb06ef757d884580a50">SVF::VFG</a>
 </li>
 <li>hasBranchES()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a28df4f2bd5b337468f254cd609adb25f">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a8095a9c37c9ca4b96f2279df6f59bbf9">SVF::AbstractInterpretation</a>
 </li>
 <li>hasCallGraphEdge()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#af8df9ca6d906453fa3f7168aa84fd087">SVF::PTACallGraph</a>
@@ -294,7 +294,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#abfb338ce36ad46a9654d50dd6e2b07f1">SVF::MemSSA</a>
 </li>
 <li>hasCmpBranchES()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#ac7a25ad5cbc1a6132869ae54b805f73a">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#ae0c0148baf6f7510bf8e70ee3ad626bf">SVF::AbstractInterpretation</a>
 </li>
 <li>hasConstraintNode()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#aad6c37476edfd9ae92dc8c0d004d782d">SVF::ConstraintGraph</a>
@@ -384,13 +384,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#adb2025048dc69f0689f526c58df29802">SVF::TCT</a>
 </li>
 <li>hash()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a374e087ef40804ed00a631ed22e91590">SVF::ConsExeState</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#a38608261ed9a3f7b25cd68748456924b">SVF::AbstractState</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#af979ecb48d3d5296bce5bd0b4676e359">SVF::CoreBitVector</a>
-, <a class="el" href="classSVF_1_1ExeState.html#a2e63af0f29d04484c09cca217b799986">SVF::ExeState</a>
-, <a class="el" href="classSVF_1_1IntervalESBase.html#a2ecbba4a55776562262b6ddc9f0d9101">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#a85b0e711160d67ea84f426025b980dce">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#a32b52339998976ec5bdd9f2cc7ed9e3f">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#a021da964784427cfb9f4353e2678ce73">SVF::RelExeState</a>
+, <a class="el" href="classSVF_1_1SparseAbstractState.html#a1b8fd82fa6d63135a32acd33e3618354">SVF::SparseAbstractState</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a631cb7cee0e1f9b7204b9293f4e516a9">SVF::Z3Expr</a>
 </li>
 <li>hasICFGNode()
@@ -413,7 +411,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PTACallGraph.html#a71a63c53a093ea8e450fb53fd60c9424">SVF::PTACallGraph</a>
 </li>
 <li>hasInEdgesES()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a6f02cd1885c0879cb88149c91998291f">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#adb96deda4bbb81956a6cfa5740503cb7">SVF::AbstractInterpretation</a>
 </li>
 <li>hasInterICFGEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#a86535e50d1feba706b19491d905baef1">SVF::ICFG</a>
@@ -458,7 +456,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#a6bd9390c6cd2a3d7a3752fba76acfb46">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#af5e356e82c3f93b65bd89908e0f465dc">SVF::MemSSA</a>
 </li>
 <li>hasNode()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25">SVF::DCHGraph</a>
@@ -534,7 +532,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#af678e138df136d6f3cd53826dfa4486c">SVF::SymbolTableInfo</a>
 </li>
 <li>hasSwitchBranchES()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#adc740771e712644d08f95fc6c488c1af">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#ad5e8e749aec9d1c040c6be7eb26748e2">SVF::AbstractInterpretation</a>
 </li>
 <li>hasTCTNode()
 : <a class="el" href="classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a">SVF::TCT</a>
@@ -546,7 +544,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#a98214e970762f43d0e9ad719961b4021">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a5f7c92af1a4ce33e4746f5b65c9c8421">SVF::ThreadCallGraph</a>
 </li>
 <li>hasThreadStmtSet()
 : <a class="el" href="classSVF_1_1MHP.html#a27d031e9c7c4706d7ee1750668e83b99">SVF::MHP</a>