svf-tools 1.0.853 → 1.0.855

package/SVF-doxygen/html/functions_func_c.html

@@ -515,6 +515,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1MutablePTData.html#a5756fb30b7bd405c04defb49a7d688f7">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a46ab9d8365d9f9db9d84f5b8bcd3309c">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
+<li>clearSolitaries()
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#a65c96cdd904e4240fbc7a044f89b91a1">SVF::ConstraintGraph</a>
+</li>
 <li>clearStat()
 : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#ab4c205136b22a13b54ceb48135730d23">SVF::FlowSensitiveStat</a>
 , <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#a6664f28eab3052988ab9e89766373981">SVF::VersionedFlowSensitiveStat</a>
@@ -557,7 +560,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#ae76dbc090bc0039de0c82fb9e9fa72bd">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a1fc4116b134aa87420d055b193208e68">SVF::MTAResultValidator</a>
 </li>
 <li>collectCandidateQueries()
 : <a class="el" href="classSVF_1_1AliasDDAClient.html#a21ca982b21346c7fef54978de2169360">SVF::AliasDDAClient</a>
@@ -574,7 +577,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>
@@ -691,7 +694,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1AccessPath.html#ae746362c42da05a641ae062658e40651">SVF::AccessPath</a>
 </li>
 <li>computeDDAPts()
-: <a class="el" href="classSVF_1_1ContextDDA.html#ae0f3b07267ded5f0ee879c39effff864">SVF::ContextDDA</a>
+: <a class="el" href="classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#a113faa56ee75eff39da19fd4b47a47e0">SVF::FlowDDA</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d">SVF::PointerAnalysis</a>
 </li>
@@ -747,7 +750,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#aad144061d006968ff4d6d21488b84801">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#a7217769c21c50c44f139006ec44d3a6f">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CondPTAImpl()
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a60678dda5071557483b27d09d26dc270">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -756,10 +759,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#a0999a4b34face00af83b3b840920fd3f">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>
@@ -816,10 +819,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#a23e16f4dd62ffb96e64318c60f594067">SVF::VFCFLGraphBuilder</a>
 </li>
 <li>ConsExeState()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a2c661a9a6742cd091dccabee30314f89">SVF::ConsExeState</a>
+: <a class="el" href="classSVF_1_1ConsExeState.html#ad619c8c3874b9c65e706651d6a1c22ab">SVF::ConsExeState</a>
 </li>
 <li>constant_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#ac088d7ffb9319033308b7aaee78f364d">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf">SVF::SVFModule</a>
 </li>
 <li>constant_end()
 : <a class="el" href="classSVF_1_1SVFModule.html#abd37790149389fe1fd3bf93196b302e0">SVF::SVFModule</a>
@@ -859,7 +862,7 @@ $(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#a13ccbeaef98b61c2df16319932397280">SVF::SVFIRWriter</a>
+: <a class="el" href="classSVF_1_1SVFIRWriter.html#a2305753e0dc75a34bf32abe39bee7f57">SVF::SVFIRWriter</a>
 </li>
 <li>ContextCond()
 : <a class="el" href="classSVF_1_1ContextCond.html#a5f31275f74ff9eb5734481f36275c6d9">SVF::ContextCond</a>
@@ -868,19 +871,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA</a>
 </li>
 <li>CopyCGEdge()
-: <a class="el" href="classSVF_1_1CopyCGEdge.html#a0e950b306ec8d45e38f0320c63681ecd">SVF::CopyCGEdge</a>
+: <a class="el" href="classSVF_1_1CopyCGEdge.html#ac82949d49688f428d09842bda0ba1d53">SVF::CopyCGEdge</a>
 </li>
 <li>CopyStmt()
-: <a class="el" href="classSVF_1_1CopyStmt.html#a69b179ef052408034786d32a52c52389">SVF::CopyStmt</a>
+: <a class="el" href="classSVF_1_1CopyStmt.html#aa965d58e96e8729d16d66387ee09eac7">SVF::CopyStmt</a>
 </li>
 <li>CopyVFGNode()
 : <a class="el" href="classSVF_1_1CopyVFGNode.html#a0f3f697a0053bf5847db95f526bec1e7">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
-: <a class="el" href="classSVF_1_1CoreBitVector.html#adb5b13df8bc76f00ceb145711cfb77e1">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#add4da76753804d22314f070e1ad1ce6f">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ae209179f396c8b5b788ff6d2c437e5d6">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
 <li>count()
 : <a class="el" href="classSVF_1_1CondStdSet.html#aa19e82905537f3ae41f64fce070ee555">SVF::CondStdSet&lt; Element &gt;</a>
@@ -903,7 +906,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFLBase.html#a824da17d03599090d4e3b4c50aeccff9">SVF::CFLBase</a>
 </li>
 <li>cptsBegin()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cptsEnd()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#aa4c47630b9a06d70375daf5e9237303d">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -1010,22 +1013,22 @@ $(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#a1c2b14fd60bd4902bfc520c9ba08c6e8">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#a53fa464132d5e51e832158d2e928db32">SVF::CxtDPItem</a>
 </li>
 <li>CxtProc()
-: <a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">SVF::CxtProc</a>
+: <a class="el" href="classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc">SVF::CxtProc</a>
 </li>
 <li>cxtSize()
 : <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
 </li>
 <li>CxtStmt()
-: <a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">SVF::CxtStmt</a>
+: <a class="el" href="classSVF_1_1CxtStmt.html#a1fa357ea71dee45deac94141ef8cdd32">SVF::CxtStmt</a>
 </li>
 <li>CxtStmtDPItem()
-: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>CxtThread()
 : <a class="el" href="classSVF_1_1CxtThread.html#ad05fb5464900d6d444c1fd3a6e0d9280">SVF::CxtThread</a>

package/SVF-doxygen/html/functions_func_g.html

@@ -707,6 +707,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SingleAbsValue.html#ae0c7a037d08c7759f577ef8e76fb733e">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aff392b7d4b703223338700209c2567cd">SVF::SVFIR2ItvExeState</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#acfdff582a0188678c10939165a40df30">SVF::Z3Expr</a>
+, <a class="el" href="classSymblicAbstractionTest.html#ab41926db0c2711a98319c8d544c7c7e2">SymblicAbstractionTest</a>
 </li>
 <li>getContexts()
 : <a class="el" href="classSVF_1_1ContextCond.html#a73d4d6ed38898b912926d044268fd35b">SVF::ContextCond</a>
@@ -1143,7 +1144,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1StInfo.html#a55e5fd85f232c1867c5c6a73646d53eb">SVF::StInfo</a>
 </li>
 <li>getFlattenedFieldIdxVec()
-: <a class="el" href="classSVF_1_1StInfo.html#aaf05447c20c9f90eea64ab6e88d6ab05">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#a21b71971462da15891eb9ebfbce0aba2">SVF::StInfo</a>
 </li>
 <li>getFlattenElementTypes()
 : <a class="el" href="classSVF_1_1StInfo.html#a03bfeee0406c7e54557e74f3a8e848b7">SVF::StInfo</a>
@@ -1735,7 +1736,7 @@ $(function() {
 </li>
 <li>getModRefInfo()
 : <a class="el" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a081be672a9fc1b1fd93f00d390b8fc95">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#af402037fa1a5cffee0db9b97f49d3473">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99">SVF::MRGenerator</a>
@@ -2078,7 +2079,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#afdd89e26a7c168762bfe85746252827f">SVF::RaceResultValidator</a>
 </li>
 <li>getOutputforInterlevAnalysis()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#ac24a8a6922d9dc9edecab3bc45bc9204">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a9f7c30f6bb29630101b034009f7d944c">SVF::MTAResultValidator</a>
 </li>
 <li>getPAG()
 : <a class="el" href="classSVF_1_1FSMPTA.html#ad93ee6450a9eb498369bf63acc9f6578">SVF::FSMPTA</a>
@@ -2167,7 +2168,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1WriterPtrPool.html#a5df00a28f394187fee526a96a4065a78">SVF::WriterPtrPool&lt; T &gt;</a>
 </li>
 <li>getPostDomTreeMap()
-: <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#ad07f95e790b5c3a50c864155aa20a083">SVF::SVFLoopAndDomInfo</a>
+: <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#a6b87fa0530b6d94f201a0989b35c2277">SVF::SVFLoopAndDomInfo</a>
 </li>
 <li>getPredecessors()
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">SVF::SVFBasicBlock</a>
@@ -2176,17 +2177,17 @@ $(function() {
 : <a class="el" href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt</a>
 </li>
 <li>getPredInstructions()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#acc18d048b6f6b07bf1786980bb2d74f8">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a51c967b9e808b077562fbf25a04bafdc">SVF::SVFInstruction</a>
 </li>
 <li>getPredMap()
-: <a class="el" href="classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584">SVF::POCRSolver</a>
+: <a class="el" href="classSVF_1_1POCRSolver.html#a585aa205c1da08d33aac52552a8a1a75">SVF::POCRSolver</a>
 </li>
 <li>getPreds()
 : <a class="el" href="classSVF_1_1POCRSolver.html#a7445cae0169e04f898798a75aa737177">SVF::POCRSolver</a>
 </li>
 <li>getPreviousMemoryAccessInst()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a0be1cdab3c36835044e3b26d5d8402e6">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a2ddf3189b3f90986752282b1c6bd003d">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#ad029f7a9a5161191a44d1e841f9d6114">SVF::RaceResultValidator</a>
 </li>
 <li>getPrevNodes()
@@ -2251,11 +2252,11 @@ $(function() {
 <li>getPts()
 : <a class="el" href="classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#aaf519166d2e0ca3c81088b52a1cf3066">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a2adbaa59c46d611a448594b74745e986">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ab1246073bd0e0395528f8ec53281e315">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a82621bb9b53ccb479cb7278df9a4e366">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2273,7 +2274,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getPtsSubSetMap()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
 </li>
 <li>getRangeLimitFromType()
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#afbb9ff1f2c47d2afda117bf63a80a1a7">SVF::SVFIR2ItvExeState</a>
@@ -2379,7 +2380,7 @@ $(function() {
 <li>getRevPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aa30608bc36dcfde45c896d4a15a08ca1">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2563,13 +2564,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFBasicBlock.html#a66f51cd41e93ad055c4a0c2874e73fae">SVF::SVFBasicBlock</a>
 </li>
 <li>getSuccInstructions()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#a6364671e823166d1192bf791a8dd412b">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a281d6b024afeeb96bac281eb23ce3f1f">SVF::SVFInstruction</a>
 </li>
 <li>getSuccMap()
-: <a class="el" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">SVF::POCRSolver</a>
+: <a class="el" href="classSVF_1_1POCRSolver.html#ab0c8049934aab960ee734db76086016a">SVF::POCRSolver</a>
 </li>
 <li>getSuccNodes()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSuccs()
 : <a class="el" href="classSVF_1_1POCRSolver.html#ac3ee0745b684b851c3bac9b55bcbb7b9">SVF::POCRSolver</a>
@@ -2678,7 +2679,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a4fb40a0bed7cad99e9be5480455a6a71">SVF::CFBasicBlockGWTO</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a8c6617f2df59ff166b13242060707013">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a34ea034a2bd7b7cb51317ed441ca5b38">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#ae72d7dcd1e0836e5d1c5a2c682abe31c">SVF::ThreadAPI</a>
@@ -2695,7 +2696,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a6ac3c91742a6e9088c4e9cf1b7d2f42e">SVF::TCT</a>
 </li>
 <li>getTCTNode()
-: <a class="el" href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#aac9d98a33fbaa6defa3f847d0bbe76d6">SVF::TCT</a>
 </li>
 <li>getTCTNodeNum()
 : <a class="el" href="classSVF_1_1TCT.html#af03bfeae7e09a9f62d96ba59632e588f">SVF::TCT</a>

package/SVF-doxygen/html/functions_func_n.html

@@ -167,7 +167,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a8d8f9e91b62b94d876f34066de7944d4">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>NumericLiteral()
-: <a class="el" href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">SVF::NumericLiteral</a>
+: <a class="el" href="classSVF_1_1NumericLiteral.html#a18b2e134e047b2dde1774b93bb5b40dd">SVF::NumericLiteral</a>
 </li>
 <li>numToStr()
 : <a class="el" href="classSVF_1_1SVFIRWriter.html#a10ce46b10bad5f0f3dbcff5bf5818626">SVF::SVFIRWriter</a>

package/SVF-doxygen/html/functions_func_r.html

@@ -357,7 +357,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#aa87e9ca3c9a9dc6ae5cc88a0182a8154">SVF::SrcSnkDDA</a>
 </li>
 <li>requiredBits()
-: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad0f0a6b61a044db819c253f8b9ab093e">SVF::NodeIDAllocator::Clusterer</a>
+: <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a9aea96839c51ac1e2cbf4813174bb21c">SVF::NodeIDAllocator::Clusterer</a>
 </li>
 <li>reserve()
 : <a class="el" href="classSVF_1_1ReaderPtrPool.html#ac9c1431385ac03aeabbe56603dc9ad92">SVF::ReaderPtrPool&lt; T &gt;</a>
@@ -430,7 +430,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1RetMU.html#a8cd41b018ddef450d17a20ea83ce3fee">SVF::RetMU&lt; Cond &gt;</a>
 </li>
 <li>RetPE()
-: <a class="el" href="classSVF_1_1RetPE.html#aa6378c78b2cc253ab036d54aaca11f85">SVF::RetPE</a>
+: <a class="el" href="classSVF_1_1RetPE.html#a80129364e04411956caf75077bdbd89a">SVF::RetPE</a>
 </li>
 <li>retPEBegin()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132">SVF::FormalRetVFGNode</a>
@@ -460,6 +460,9 @@ $(function() {
 <li>RSY()
 : <a class="el" href="classSVF_1_1RelationSolver.html#a657af041f883e7b1a3f9892453a2c4cf">SVF::RelationSolver</a>
 </li>
+<li>RSY_time()
+: <a class="el" href="classSymblicAbstractionTest.html#abaa1ae92b79979cfabee1a2b8a284f80">SymblicAbstractionTest</a>
+</li>
 <li>runOnModule()
 : <a class="el" href="classSVF_1_1BreakConstantGEPs.html#ae99ceb7923161d54e7d0a687f4f68e1a">SVF::BreakConstantGEPs</a>
 , <a class="el" href="classSVF_1_1DDAPass.html#aca46f1d464f5766ae666661a164a51a9">SVF::DDAPass</a>

package/SVF-doxygen/html/functions_func_s.html

@@ -345,10 +345,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextCond.html#a084679a423e78217ca10794775c25b1d">SVF::ContextCond</a>
 </li>
 <li>setMemUsageAfter()
-: <a class="el" href="classSVF_1_1DDAStat.html#a9353910ceb01b53da6e880ebeb157433">SVF::DDAStat</a>
+: <a class="el" href="classSVF_1_1PTAStat.html#a286e5985644f2bc13abbceaa2b586c92">SVF::PTAStat</a>
 </li>
 <li>setMemUsageBefore()
-: <a class="el" href="classSVF_1_1DDAStat.html#accadfa44f7cf9f107e4c8d100ce8db0d">SVF::DDAStat</a>
+: <a class="el" href="classSVF_1_1PTAStat.html#a206fdc31ee7bd8fce1695847c40785e0">SVF::PTAStat</a>
 </li>
 <li>setModelConstants()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4decfc9e7f5dc096d7bfa42d6965763d">SVF::SymbolTableInfo</a>
@@ -718,13 +718,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1ExeState.html#a99f4437a7e350fec131d48f52082d672">SVF::ExeState</a>
 </li>
 <li>StoreCGEdge()
-: <a class="el" href="classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50">SVF::StoreCGEdge</a>
+: <a class="el" href="classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815">SVF::StoreCGEdge</a>
 </li>
 <li>StoreCHI()
 : <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#acbea1ddbde90259b668b21f80f56cfbb">SVF::StoreStmt</a>
+: <a class="el" href="classSVF_1_1StoreStmt.html#a757010d593152a65285a11e5160549ae">SVF::StoreStmt</a>
 </li>
 <li>StoreVFGNode()
 : <a class="el" href="classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd">SVF::StoreVFGNode</a>
@@ -755,7 +755,7 @@ $(function() {
 , <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#aeeed6b5a59c5bf4eb4af77ec2345dccf">SVF::SVFArgument</a>
+: <a class="el" href="classSVF_1_1SVFArgument.html#a97816023e6da0a37bc1e2878c11eb123">SVF::SVFArgument</a>
 </li>
 <li>SVFArrayType()
 : <a class="el" href="classSVF_1_1SVFArrayType.html#a0bd51b8ae0f3601da2dc6d31757c01a3">SVF::SVFArrayType</a>
@@ -764,7 +764,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#a2f21fd47b023a9786f8ab39faaca0a27">SVF::SVFBasicBlock</a>
 </li>
 <li>SVFBlackHoleValue()
-: <a class="el" href="classSVF_1_1SVFBlackHoleValue.html#ac057a29cad0944d1b359e6cd23adcec2">SVF::SVFBlackHoleValue</a>
+: <a class="el" href="classSVF_1_1SVFBlackHoleValue.html#a6d94a1c1c0f229165e3327a09521e28c">SVF::SVFBlackHoleValue</a>
 </li>
 <li>SVFBugEvent()
 : <a class="el" href="classSVF_1_1SVFBugEvent.html#af012270169f767655456ae0e09add06a">SVF::SVFBugEvent</a>
@@ -773,10 +773,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFBugReport.html#af163790aa2065d72be8c31c281abee20">SVF::SVFBugReport</a>
 </li>
 <li>SVFCallInst()
-: <a class="el" href="classSVF_1_1SVFCallInst.html#a8216a845734b0f363a82fd9190702633">SVF::SVFCallInst</a>
+: <a class="el" href="classSVF_1_1SVFCallInst.html#a6cdb5b727c559d3c041aba94e6f64596">SVF::SVFCallInst</a>
 </li>
 <li>SVFConstant()
-: <a class="el" href="classSVF_1_1SVFConstant.html#a71fcd1abcde6dfc35f2da9fb25227165">SVF::SVFConstant</a>
+: <a class="el" href="classSVF_1_1SVFConstant.html#a3aacbc8f43aec414af229be6a9622a08">SVF::SVFConstant</a>
 </li>
 <li>SVFConstantData()
 : <a class="el" href="classSVF_1_1SVFConstantData.html#a1ea9ae8d6d2b29c8357132b40de45bf0">SVF::SVFConstantData</a>
@@ -785,13 +785,13 @@ $(function() {
 : <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>
+: <a class="el" href="classSVF_1_1SVFConstantInt.html#a66b861e33c5a3911ecd8e6e4441cb664">SVF::SVFConstantInt</a>
 </li>
 <li>SVFConstantNullPtr()
 : <a class="el" href="classSVF_1_1SVFConstantNullPtr.html#a299954e2cad5ee41b51fcff4a92439b3">SVF::SVFConstantNullPtr</a>
 </li>
 <li>SVFFunction()
-: <a class="el" href="classSVF_1_1SVFFunction.html#a0cf5ddbb884a0a99f43b7741f1ce2786">SVF::SVFFunction</a>
+: <a class="el" href="classSVF_1_1SVFFunction.html#a7e965c21a8afe7fca32d0f41b16361cf">SVF::SVFFunction</a>
 </li>
 <li>SVFFunctionType()
 : <a class="el" href="classSVF_1_1SVFFunctionType.html#af4bacdbcf4867575f6f27fc26aa66bbe">SVF::SVFFunctionType</a>
@@ -803,7 +803,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>
@@ -848,7 +848,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#a2b5c892437d21ece0a9e0ae7a285b622">SVF::SVFLoopAndDomInfo</a>
 </li>
 <li>SVFMetadataAsValue()
-: <a class="el" href="classSVF_1_1SVFMetadataAsValue.html#adc92d08f450556000a4386294c6c4370">SVF::SVFMetadataAsValue</a>
+: <a class="el" href="classSVF_1_1SVFMetadataAsValue.html#a98acb125d1694aa233538de7618739bf">SVF::SVFMetadataAsValue</a>
 </li>
 <li>SVFModule()
 : <a class="el" href="classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8">SVF::SVFModule</a>
@@ -860,7 +860,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFOtherType.html#a4811e1d34753e19e27d552a254f0d0af">SVF::SVFOtherType</a>
 </li>
 <li>SVFOtherValue()
-: <a class="el" href="classSVF_1_1SVFOtherValue.html#a81c02b9a60fa577a786250e088b49493">SVF::SVFOtherValue</a>
+: <a class="el" href="classSVF_1_1SVFOtherValue.html#a3966c98b9807e4d5f30869c3abccaaa9">SVF::SVFOtherValue</a>
 </li>
 <li>SVFPointerType()
 : <a class="el" href="classSVF_1_1SVFPointerType.html#a2ce46de03df7896cc43e466189ba6ba2">SVF::SVFPointerType</a>
@@ -869,7 +869,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#adf471a114f91b87ea9bb981441babb24">SVF::SVFStructType</a>
@@ -886,8 +886,11 @@ $(function() {
 <li>SVFVirtualCallInst()
 : <a class="el" href="classSVF_1_1SVFVirtualCallInst.html#a57fa2d35c2df09e607b5d23852fca2fd">SVF::SVFVirtualCallInst</a>
 </li>
+<li>SymblicAbstractionTest()
+: <a class="el" href="classSymblicAbstractionTest.html#a257f62679b2ee86ffbadf33ca5031ed1">SymblicAbstractionTest</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>

package/SVF-doxygen/html/functions_func_t.html

@@ -101,6 +101,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1SparseBitVector.html#a355247d17d1c17b857b4ee572e19b91f">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 , <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a7a5d223870e32035863f6596727c6775">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
 </li>
+<li>test_print()
+: <a class="el" href="classSymblicAbstractionTest.html#a99d94e268fb6e622a85a9acae737fd6f">SymblicAbstractionTest</a>
+</li>
 <li>testIndCallReachability()
 : <a class="el" href="classSVF_1_1ContextDDA.html#a05ac33ca33efb58099839f72050bb008">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#ae48534b36222578855708c298f81f554">SVF::FlowDDA</a>
@@ -108,9 +111,46 @@ $(function() {
 <li>testOutOfBudget()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a3fb52286c5324ea3d58e22c630b307e3">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
+<li>testRelExeState1_1()
+: <a class="el" href="classSymblicAbstractionTest.html#acc4852ec2f03ec67e39c67629275cdf5">SymblicAbstractionTest</a>
+</li>
+<li>testRelExeState1_2()
+: <a class="el" href="classSymblicAbstractionTest.html#a0316fb86d1751ecacf5845ca07764f40">SymblicAbstractionTest</a>
+</li>
+<li>testRelExeState2_1()
+: <a class="el" href="classSymblicAbstractionTest.html#a32fbde1fbb997be55abfdc308de68fc1">SymblicAbstractionTest</a>
+</li>
+<li>testRelExeState2_2()
+: <a class="el" href="classSymblicAbstractionTest.html#a40b9879a5465f960bbd4fad6654304aa">SymblicAbstractionTest</a>
+</li>
+<li>testRelExeState2_3()
+: <a class="el" href="classSymblicAbstractionTest.html#a7c319b15dd3bd82a7c805ba6dd60beab">SymblicAbstractionTest</a>
+</li>
+<li>testRelExeState2_4()
+: <a class="el" href="classSymblicAbstractionTest.html#a2e3d2a2d9a78fffa641523a2e4809c02">SymblicAbstractionTest</a>
+</li>
+<li>testRelExeState2_5()
+: <a class="el" href="classSymblicAbstractionTest.html#aaba97f696f9518c31af8ace984b39bcf">SymblicAbstractionTest</a>
+</li>
+<li>testRelExeState3_1()
+: <a class="el" href="classSymblicAbstractionTest.html#ac3016e7a57f46af01d20de7e785a4cce">SymblicAbstractionTest</a>
+</li>
+<li>testRelExeState3_2()
+: <a class="el" href="classSymblicAbstractionTest.html#a56541a5e9bc61f092ee3c48700f00bf7">SymblicAbstractionTest</a>
+</li>
+<li>testRelExeState3_3()
+: <a class="el" href="classSymblicAbstractionTest.html#a7c87dfedc9c7b32df42f14334bc732b0">SymblicAbstractionTest</a>
+</li>
+<li>testRelExeState3_4()
+: <a class="el" href="classSymblicAbstractionTest.html#ae7b7853f6a6a3cbc2c04d3dfea83ad43">SymblicAbstractionTest</a>
+</li>
+<li>testRelExeState4_1()
+: <a class="el" href="classSymblicAbstractionTest.html#a986b2278abd2ee64507fa769a66c999c">SymblicAbstractionTest</a>
+</li>
 <li>testsValidation()
 : <a class="el" href="classSVF_1_1DoubleFreeChecker.html#a06cf937c92c88627796f09b0a87a5263">SVF::DoubleFreeChecker</a>
 , <a class="el" href="classSVF_1_1LeakChecker.html#aaf5d098e0d08929a108fb59bff46e424">SVF::LeakChecker</a>
+, <a class="el" href="classSymblicAbstractionTest.html#a66155c2b52131a7782382d8e5da560fc">SymblicAbstractionTest</a>
 </li>
 <li>ThreadAPI()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a9c5ea333cc420bc3b8d8765c664ab128">SVF::ThreadAPI</a>
@@ -141,7 +181,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e">SVF::Z3Expr</a>
 </li>
 <li>toJson()
-: <a class="el" href="classSVF_1_1SVFIRWriter.html#abfc963e87fa6be80b0e2c68f97c7d03d">SVF::SVFIRWriter</a>
+: <a class="el" href="classSVF_1_1SVFIRWriter.html#af798ab5997e573bd5e400e8b08fb72f1">SVF::SVFIRWriter</a>
 </li>
 <li>toNodeBS()
 : <a class="el" href="classSVF_1_1PointsTo.html#ad1d19d52800341484a136c6d5e0112ea">SVF::PointsTo</a>

package/SVF-doxygen/html/functions_func_~.html

@@ -523,6 +523,9 @@ $(function() {
 <li>~SVFVar()
 : <a class="el" href="classSVF_1_1SVFVar.html#ab76f9dea1559bd9b10b870dbc7bb454a">SVF::SVFVar</a>
 </li>
+<li>~SymblicAbstractionTest()
+: <a class="el" href="classSymblicAbstractionTest.html#a5d3a169debb25093761f6e9f812f29b4">SymblicAbstractionTest</a>
+</li>
 <li>~SymbolTableInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a6efac0ae8ebf2865067136675be5a340">SVF::SymbolTableInfo</a>
 </li>