svf-tools 1.0.897 → 1.0.899

package/SVF-doxygen/html/functions_func_b.html

@@ -124,7 +124,7 @@ $(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#af0c2db68bffbb223b845ca307b86c10a">SVF::RelationSolver</a>
+: <a class="el" href="classSVF_1_1RelationSolver.html#ac4abc5e1eb3b638710572c958162c22c">SVF::RelationSolver</a>
 </li>
 <li>bilateral()
 : <a class="el" href="classSVF_1_1RelationSolver.html#a0df88638c5e3f8cd56d34088b96199f1">SVF::RelationSolver</a>
@@ -158,7 +158,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SingleAbsValue.html#a0e7dde6b5ae9a605230a49b3216ea6e8">SVF::SingleAbsValue</a>
 </li>
 <li>BoundedZ3Expr()
-: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a6b0b0f37eccc094d2afbb7bdefc7cbfa">SVF::BoundedZ3Expr</a>
+: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a1a40023fb0648399943689ee553f4c66">SVF::BoundedZ3Expr</a>
 </li>
 <li>BoxedOptSolver()
 : <a class="el" href="classSVF_1_1RelationSolver.html#aaae7ac9ed7d0e17f39948c37b867ada9">SVF::RelationSolver</a>
@@ -193,7 +193,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#a11bd8225be12650c811ba968cc3935b3">SVF::GrammarBuilder</a>
+, <a class="el" href="classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505">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>

package/SVF-doxygen/html/functions_func_g.html

@@ -728,6 +728,10 @@ $(function() {
 <li>getCopyInEdges()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#aa7fda7753c353db3284e087270ab7cd0">SVF::ConstraintNode</a>
 </li>
+<li>getCopyKind()
+: <a class="el" href="classSVF_1_1CopyStmt.html#a35cad8865b3d8d90b29e845a91c2eee1">SVF::CopyStmt</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a090378de3e320d9589d7847c0a6b1936">SVF::SVFIRBuilder</a>
+</li>
 <li>getCopyOutEdges()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#ab77173aa8af6155b569f20ff0cdcec72">SVF::ConstraintNode</a>
 </li>
@@ -1082,7 +1086,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#ae9fe4c9382f13d339db3baa39d956b05">SVF::ForkJoinAnalysis</a>
 </li>
 <li>getExpr()
-: <a class="el" href="classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55">SVF::Z3Expr</a>
+: <a class="el" href="classSVF_1_1NumericLiteral.html#ac2994e13c3572b114c57a9bb4f155d67">SVF::NumericLiteral</a>
+, <a class="el" href="classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55">SVF::Z3Expr</a>
 </li>
 <li>getExprSize()
 : <a class="el" href="classSVF_1_1Z3Expr.html#a7cf1481ad29951ca46c1d4418f28c91e">SVF::Z3Expr</a>
@@ -1206,6 +1211,15 @@ $(function() {
 <li>getForwardSliceSize()
 : <a class="el" href="classSVF_1_1ProgSlice.html#aae54f4e8a827f55abe08762b69d9f84b">SVF::ProgSlice</a>
 </li>
+<li>getFPToSIntValue()
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ad53e6d2fc9d1410df236584bb66c585a">SVF::SVFIR2ItvExeState</a>
+</li>
+<li>getFPToUIntValue()
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a25165fdbe2b56b34ee8ab094bbe89494">SVF::SVFIR2ItvExeState</a>
+</li>
+<li>getFPTruncValue()
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ad633ce5462cf878b4bc9e6e5ab079354">SVF::SVFIR2ItvExeState</a>
+</li>
 <li>getFPValue()
 : <a class="el" href="classSVF_1_1SVFConstantFP.html#aeb4e17aacb17c53ff5663175dd762abc">SVF::SVFConstantFP</a>
 </li>
@@ -1513,6 +1527,11 @@ $(function() {
 <li>getInterVFEdgesForIndirectCallSite()
 : <a class="el" href="classSVF_1_1SVFG.html#a49fc2c505720d5cfa57231529d1c7534">SVF::SVFG</a>
 </li>
+<li>getIntNumeral()
+: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a38f6609bbf9faf010ee5b3c317db5506">SVF::BoundedZ3Expr</a>
+, <a class="el" href="classSVF_1_1IntervalValue.html#a4f9d13c0f642fcad6ddb86ea79fac6e3">SVF::IntervalValue</a>
+, <a class="el" href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">SVF::NumericLiteral</a>
+</li>
 <li>getIntOneZ3Expr()
 : <a class="el" href="classSVF_1_1ConsExeState.html#abc69e7a4742ed1a925d7b0b72d2b9497">SVF::ConsExeState</a>
 </li>
@@ -1747,7 +1766,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#af402037fa1a5cffee0db9b97f49d3473">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a2e9bdaf8789eed5af34cc70e7eb0ba01">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99">SVF::MRGenerator</a>
@@ -1968,7 +1987,7 @@ $(function() {
 </li>
 <li>getObject()
 : <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#ac10a4b9c2ee536cfcb74120d86c0619f">SVF::DummyVersionPropSVFGNode</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a25b86c16d11b4d50ccc28ead525687ae">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1">SVF::SVFIR</a>
 </li>
 <li>getObjectNode()
 : <a class="el" href="classSVF_1_1IRGraph.html#ab1e2f58c350ec14763b4d8a424984d47">SVF::IRGraph</a>
@@ -2086,7 +2105,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>
@@ -2187,7 +2206,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFInstruction.html#a51c967b9e808b077562fbf25a04bafdc">SVF::SVFInstruction</a>
 </li>
 <li>getPredMap()
-: <a class="el" href="classSVF_1_1POCRSolver.html#a585aa205c1da08d33aac52552a8a1a75">SVF::POCRSolver</a>
+: <a class="el" href="classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584">SVF::POCRSolver</a>
 </li>
 <li>getPreds()
 : <a class="el" href="classSVF_1_1POCRSolver.html#a7445cae0169e04f898798a75aa737177">SVF::POCRSolver</a>
@@ -2260,11 +2279,11 @@ $(function() {
 , <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>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#abcfcbbb3fab89b89168409c1f714e1ed">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ae705d46ac78d39f0779c0bf05e39f8b3">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
@@ -2290,6 +2309,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFFunction.html#a90e39f78f4908f8a8ef3948d9158791c">SVF::SVFFunction</a>
 , <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#a95099f1b621c4f0d6d53798d7eab4e3b">SVF::SVFLoopAndDomInfo</a>
 </li>
+<li>getRealNumeral()
+: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#aa9305d8e1b9ba3201522704f39295d90">SVF::BoundedZ3Expr</a>
+, <a class="el" href="classSVF_1_1IntervalValue.html#aa13c0ab01450d10c9603ea46f0fe3293">SVF::IntervalValue</a>
+, <a class="el" href="classSVF_1_1NumericLiteral.html#aa69f9536301d6529eb1d0caaec2fcc63">SVF::NumericLiteral</a>
+</li>
 <li>getRefInfoForCall()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a965a31712341b1fc02e667f325423ca2">SVF::MRGenerator</a>
 </li>
@@ -2422,6 +2446,7 @@ $(function() {
 </li>
 <li>getSExtValue()
 : <a class="el" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">SVF::SVFConstantInt</a>
+, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a5d65dbc9a43181494a32d41a03065685">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>getSiblingThread()
 : <a class="el" href="classSVF_1_1TCT.html#a60e63f6ddfe78c4cf4fd3a70875b727f">SVF::TCT</a>
@@ -2443,6 +2468,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#a03a1ef4d56958fa4a0c3a3a95806203d">SVF::ProgSlice</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a1145c601df2e3dec1e32e43613447b96">SVF::SrcSnkDDA</a>
 </li>
+<li>getSIntToFPValue()
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ad3b0ac993ccfb0846f62aeb5eaf62b30">SVF::SVFIR2ItvExeState</a>
+</li>
 <li>getSolver()
 : <a class="el" href="classSVF_1_1Z3Expr.html#a16721e960145864d0835eb95f2ae4681">SVF::Z3Expr</a>
 </li>
@@ -2598,7 +2626,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a25821b0feeb3b08e00ec9d444520b727">SVF::LLVMModuleSet</a>
 </li>
 <li>getSVFFunction()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a6ff4127e778810f613e594782643ad22">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33">SVF::LLVMModuleSet</a>
 , <a class="el" href="classSVF_1_1SVFModule.html#afdb11f5fcbb6e7ed2689e3387bb78850">SVF::SVFModule</a>
 </li>
 <li>getSVFG()
@@ -2709,7 +2737,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#aac9d98a33fbaa6defa3f847d0bbe76d6">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT</a>
 </li>
 <li>getTCTNodeNum()
 : <a class="el" href="classSVF_1_1TCT.html#af03bfeae7e09a9f62d96ba59632e588f">SVF::TCT</a>
@@ -2767,6 +2795,9 @@ $(function() {
 <li>getTrueZ3Expr()
 : <a class="el" href="classSVF_1_1ConsExeState.html#a823502a869baf70a07294e265601cf2f">SVF::ConsExeState</a>
 </li>
+<li>getTruncValue()
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a15dbee007f3afb718a202f50fa87177f">SVF::SVFIR2ItvExeState</a>
+</li>
 <li>getType()
 : <a class="el" href="classSVF_1_1CallSite.html#a93e70225ce9c55ca65ea9d5cf737206f">SVF::CallSite</a>
 , <a class="el" href="classSVF_1_1DCHNode.html#aaf4036d892bdae02a01d31bfe3db2153">SVF::DCHNode</a>
@@ -2790,7 +2821,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a4eebcc8dc7f23ead07c64bf523d0e68e">SVF::SymbolTableBuilder</a>
 </li>
 <li>getTypeInfo()
-: <a class="el" href="classSVF_1_1SVFType.html#af25ae6ae537f65f96917a66ce1bb3cf1">SVF::SVFType</a>
+: <a class="el" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">SVF::SVFType</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d">SVF::SymbolTableInfo</a>
 </li>
 <li>getTypeLocSetsMap()
@@ -2799,6 +2830,9 @@ $(function() {
 <li>getTypeOfElement()
 : <a class="el" href="classSVF_1_1SVFArrayType.html#a28da1169748e38b891133b76568a2759">SVF::SVFArrayType</a>
 </li>
+<li>getUIntToFPValue()
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aaeef5c66931c38f2ea2002b53b255530">SVF::SVFIR2ItvExeState</a>
+</li>
 <li>getUnaryOPVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a1ba67eb17437a1a47c230614c1e3d9fd">SVF::VFG</a>
 </li>
@@ -2944,12 +2978,13 @@ $(function() {
 </li>
 <li>getZExtValue()
 : <a class="el" href="classSVF_1_1SVFConstantInt.html#aabc3c47a6e4036bf993fe29fa195bf1e">SVF::SVFConstantInt</a>
+, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a1fba1d6d8b8d4de37e644ee229a0e5c5">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>global_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
 </li>
 <li>global_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
 </li>
 <li>GlobalICFGNode()
 : <a class="el" href="classSVF_1_1GlobalICFGNode.html#a01e8a9844fcad1cc5faa22d8b0e0efd7">SVF::GlobalICFGNode</a>

package/SVF-doxygen/html/functions_func_i.html

@@ -492,6 +492,11 @@ $(function() {
 <li>is_infinity()
 : <a class="el" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">SVF::NumericLiteral</a>
 </li>
+<li>is_int()
+: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a58d8ae08daa2fca500f71dee768f8306">SVF::BoundedZ3Expr</a>
+, <a class="el" href="classSVF_1_1IntervalValue.html#a20d391da7bcd46a14c5ec1960aee2536">SVF::IntervalValue</a>
+, <a class="el" href="classSVF_1_1NumericLiteral.html#a75fc2abc930b9405130106a51c29f314">SVF::NumericLiteral</a>
+</li>
 <li>is_memcpy()
 : <a class="el" href="classSVF_1_1ExtAPI.html#aadc8f2e0ff777e3f611a7d741def0742">SVF::ExtAPI</a>
 </li>
@@ -514,6 +519,11 @@ $(function() {
 <li>is_plus_infinity()
 : <a class="el" href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7">SVF::NumericLiteral</a>
 </li>
+<li>is_real()
+: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a20cc4c32610c776082cb7910488f4c42">SVF::BoundedZ3Expr</a>
+, <a class="el" href="classSVF_1_1IntervalValue.html#aef151a05c0f4a2a1aa3f9091f5258ee6">SVF::IntervalValue</a>
+, <a class="el" href="classSVF_1_1NumericLiteral.html#a2fe2eb429c125e33014bab7e21c77b9e">SVF::NumericLiteral</a>
+</li>
 <li>is_realloc()
 : <a class="el" href="classSVF_1_1ExtAPI.html#ac6d6bdc51a6b75d6d5741cb751559fe4">SVF::ExtAPI</a>
 </li>
@@ -724,7 +734,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1AbstractExecution.html#a319fe24ebb925f70fde574d5b17c3b98">SVF::AbstractExecution</a>
 </li>
 <li>isFClose()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a01b12585cad8b75ce635670cd5c7d874">SVF::SaberCheckerAPI</a>
 </li>
 <li>isFieldInsenCondMemObj()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -882,7 +892,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#aa759d7cf2aa537a375daef4c637e597e">SVF::LockAnalysis</a>
 </li>
 <li>isInSameCSSpan()
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a1c23ab16b5c7ab5bb482a5828e615bbb">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a8595b976bf60d161561e5494257aa179">SVF::LockAnalysis</a>
 </li>
 <li>isInSameSpan()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a1c1b63a8bd7449ebeb2c31b0532e9337">SVF::LockAnalysis</a>
@@ -961,7 +971,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
 </li>
 <li>isMemDealloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#aa6323d60c58b06f94a1645b26d3305ae">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a6bfc01d7e72b8c587b2e494aa923f908">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemset()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93">SVF::MTAAnnotator</a>
@@ -1200,17 +1210,17 @@ $(function() {
 : <a class="el" href="classSVF_1_1SingleAbsValue.html#adea2bf196a9717c252f33f2707510d12">SVF::SingleAbsValue</a>
 </li>
 <li>isTailofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a9c8681767551575a18ee141f7336db05">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af8ea2da28e9818d4f9e4e9528997f023">SVF::MTASVFGBuilder</a>
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab8376e0cbdff101b7b981141637e3da3">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a742161b465774d74306df68a2bbe95e8">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a62a5d4709eb9f1e4e9dd20b87dac8c42">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a3e175d985de53d0aadb026168e8a1a0e">SVF::ThreadAPI</a>
 </li>
 <li>isTDFork()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a66965759d876309c64faf4b755afc2a7">SVF::ForkJoinAnalysis</a>
@@ -1225,7 +1235,7 @@ $(function() {
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ad1184e1c2d583fa0b03bd1892152925a">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a1d5c84fd83e120820bfb3458e0231fdf">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a1bba2e9df7a74e7e2f728267ff4bfe0f">SVF::ThreadAPI</a>
 </li>
 <li>isTemplate()
 : <a class="el" href="classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749">SVF::CHNode</a>
@@ -1319,7 +1329,7 @@ $(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>

package/SVF-doxygen/html/functions_func_n.html

@@ -170,7 +170,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#a396018d1b2888b76f83eb233a46905a1">SVF::NumericLiteral</a>
+: <a class="el" href="classSVF_1_1NumericLiteral.html#a851b5ce5328fd08c1e06ed5ed5883cb9">SVF::NumericLiteral</a>
 </li>
 <li>numToStr()
 : <a class="el" href="classSVF_1_1SVFIRWriter.html#a10ce46b10bad5f0f3dbcff5bf5818626">SVF::SVFIRWriter</a>

package/SVF-doxygen/html/functions_func_p.html

@@ -526,7 +526,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#aa98a5b427a92eca1e043efcdf7945169">SVF::TCT</a>
+, <a class="el" href="classSVF_1_1TCT.html#a625cd9d7ca85c0581af13e9e0c16960e">SVF::TCT</a>
 </li>
 <li>pushIntoWorklist()
 : <a class="el" href="classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34">SVF::CFLSolver</a>

package/SVF-doxygen/html/functions_func_z.html

@@ -65,7 +65,7 @@ $(function() {
 
 <h3><a id="index_z"></a>- z -</h3><ul>
 <li>Z3Expr()
-: <a class="el" href="classSVF_1_1Z3Expr.html#a7a952918c0f3105d31da2ee00af4cffb">SVF::Z3Expr</a>
+: <a class="el" href="classSVF_1_1Z3Expr.html#abda8e52003e163cda25d75a4cb520290">SVF::Z3Expr</a>
 </li>
 <li>z3Expr2NumValue()
 : <a class="el" href="classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043">SVF::ConsExeState</a>

package/SVF-doxygen/html/functions_g.html

@@ -799,6 +799,10 @@ $(function() {
 <li>getCopyInEdges()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#aa7fda7753c353db3284e087270ab7cd0">SVF::ConstraintNode</a>
 </li>
+<li>getCopyKind()
+: <a class="el" href="classSVF_1_1CopyStmt.html#a35cad8865b3d8d90b29e845a91c2eee1">SVF::CopyStmt</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a090378de3e320d9589d7847c0a6b1936">SVF::SVFIRBuilder</a>
+</li>
 <li>getCopyOutEdges()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#ab77173aa8af6155b569f20ff0cdcec72">SVF::ConstraintNode</a>
 </li>
@@ -1153,7 +1157,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#ae9fe4c9382f13d339db3baa39d956b05">SVF::ForkJoinAnalysis</a>
 </li>
 <li>getExpr()
-: <a class="el" href="classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55">SVF::Z3Expr</a>
+: <a class="el" href="classSVF_1_1NumericLiteral.html#ac2994e13c3572b114c57a9bb4f155d67">SVF::NumericLiteral</a>
+, <a class="el" href="classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55">SVF::Z3Expr</a>
 </li>
 <li>getExprSize()
 : <a class="el" href="classSVF_1_1Z3Expr.html#a7cf1481ad29951ca46c1d4418f28c91e">SVF::Z3Expr</a>
@@ -1277,6 +1282,15 @@ $(function() {
 <li>getForwardSliceSize()
 : <a class="el" href="classSVF_1_1ProgSlice.html#aae54f4e8a827f55abe08762b69d9f84b">SVF::ProgSlice</a>
 </li>
+<li>getFPToSIntValue()
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ad53e6d2fc9d1410df236584bb66c585a">SVF::SVFIR2ItvExeState</a>
+</li>
+<li>getFPToUIntValue()
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a25165fdbe2b56b34ee8ab094bbe89494">SVF::SVFIR2ItvExeState</a>
+</li>
+<li>getFPTruncValue()
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ad633ce5462cf878b4bc9e6e5ab079354">SVF::SVFIR2ItvExeState</a>
+</li>
 <li>getFPValue()
 : <a class="el" href="classSVF_1_1SVFConstantFP.html#aeb4e17aacb17c53ff5663175dd762abc">SVF::SVFConstantFP</a>
 </li>
@@ -1584,6 +1598,11 @@ $(function() {
 <li>getInterVFEdgesForIndirectCallSite()
 : <a class="el" href="classSVF_1_1SVFG.html#a49fc2c505720d5cfa57231529d1c7534">SVF::SVFG</a>
 </li>
+<li>getIntNumeral()
+: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a38f6609bbf9faf010ee5b3c317db5506">SVF::BoundedZ3Expr</a>
+, <a class="el" href="classSVF_1_1IntervalValue.html#a4f9d13c0f642fcad6ddb86ea79fac6e3">SVF::IntervalValue</a>
+, <a class="el" href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">SVF::NumericLiteral</a>
+</li>
 <li>getIntOneZ3Expr()
 : <a class="el" href="classSVF_1_1ConsExeState.html#abc69e7a4742ed1a925d7b0b72d2b9497">SVF::ConsExeState</a>
 </li>
@@ -1818,7 +1837,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>
@@ -1894,7 +1913,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">SVF::SVFG</a>
 </li>
 <li>getMUSet()
-: <a class="el" href="classSVF_1_1MemSSA.html#af1a7b3ca0144ebff3747715e89646fbb">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#af4d11a0c7da0ddd7dff8d75a00279847">SVF::MemSSA</a>
 </li>
 <li>getMutDFPTDataTy()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483">SVF::BVDataPTAImpl</a>
@@ -2039,7 +2058,7 @@ $(function() {
 </li>
 <li>getObject()
 : <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#ac10a4b9c2ee536cfcb74120d86c0619f">SVF::DummyVersionPropSVFGNode</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a25b86c16d11b4d50ccc28ead525687ae">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1">SVF::SVFIR</a>
 </li>
 <li>getObjectNode()
 : <a class="el" href="classSVF_1_1IRGraph.html#ab1e2f58c350ec14763b4d8a424984d47">SVF::IRGraph</a>
@@ -2157,7 +2176,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>
@@ -2255,10 +2274,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt</a>
 </li>
 <li>getPredInstructions()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#a51c967b9e808b077562fbf25a04bafdc">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#acc18d048b6f6b07bf1786980bb2d74f8">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>
@@ -2331,16 +2350,16 @@ $(function() {
 , <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#aaf519166d2e0ca3c81088b52a1cf3066">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &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_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>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ae705d46ac78d39f0779c0bf05e39f8b3">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#abcfcbbb3fab89b89168409c1f714e1ed">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#adcba3355f96357493d8a7520ff00cc97">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#ab4680948b690b4e04d19a133d825b849">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a4d27be04d38089e86b8b6a1d22e9d8f8">SVF::WPAPass</a>
 </li>
 <li>getPtsMap()
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a979486e35b529fbc62b2974899627113">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -2361,6 +2380,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFFunction.html#a90e39f78f4908f8a8ef3948d9158791c">SVF::SVFFunction</a>
 , <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#a95099f1b621c4f0d6d53798d7eab4e3b">SVF::SVFLoopAndDomInfo</a>
 </li>
+<li>getRealNumeral()
+: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#aa9305d8e1b9ba3201522704f39295d90">SVF::BoundedZ3Expr</a>
+, <a class="el" href="classSVF_1_1IntervalValue.html#aa13c0ab01450d10c9603ea46f0fe3293">SVF::IntervalValue</a>
+, <a class="el" href="classSVF_1_1NumericLiteral.html#aa69f9536301d6529eb1d0caaec2fcc63">SVF::NumericLiteral</a>
+</li>
 <li>getRefInfoForCall()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a965a31712341b1fc02e667f325423ca2">SVF::MRGenerator</a>
 </li>
@@ -2493,6 +2517,7 @@ $(function() {
 </li>
 <li>getSExtValue()
 : <a class="el" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">SVF::SVFConstantInt</a>
+, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a5d65dbc9a43181494a32d41a03065685">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>getSiblingThread()
 : <a class="el" href="classSVF_1_1TCT.html#a60e63f6ddfe78c4cf4fd3a70875b727f">SVF::TCT</a>
@@ -2514,6 +2539,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#a03a1ef4d56958fa4a0c3a3a95806203d">SVF::ProgSlice</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a1145c601df2e3dec1e32e43613447b96">SVF::SrcSnkDDA</a>
 </li>
+<li>getSIntToFPValue()
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ad3b0ac993ccfb0846f62aeb5eaf62b30">SVF::SVFIR2ItvExeState</a>
+</li>
 <li>getSolver()
 : <a class="el" href="classSVF_1_1Z3Expr.html#a16721e960145864d0835eb95f2ae4681">SVF::Z3Expr</a>
 </li>
@@ -2613,7 +2641,7 @@ $(function() {
 </li>
 <li>getStringArg()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a1b1b841451fe51cb58417e864a28cbfc">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a1ac51d2847f9bdee27092ab22211bb61">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a75057911bf08c167ead4232c4a2b25f4">SVF::MTAResultValidator</a>
 </li>
 <li>getStrlen()
 : <a class="el" href="classSVF_1_1AbstractExecution.html#a99be86146ad4ddbdb900cdb6b324f943">SVF::AbstractExecution</a>
@@ -2645,13 +2673,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#ab0c8049934aab960ee734db76086016a">SVF::POCRSolver</a>
+: <a class="el" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">SVF::POCRSolver</a>
 </li>
 <li>getSuccNodes()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSuccs()
 : <a class="el" href="classSVF_1_1POCRSolver.html#ac3ee0745b684b851c3bac9b55bcbb7b9">SVF::POCRSolver</a>
@@ -2669,7 +2697,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a25821b0feeb3b08e00ec9d444520b727">SVF::LLVMModuleSet</a>
 </li>
 <li>getSVFFunction()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a6ff4127e778810f613e594782643ad22">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33">SVF::LLVMModuleSet</a>
 , <a class="el" href="classSVF_1_1SVFModule.html#afdb11f5fcbb6e7ed2689e3387bb78850">SVF::SVFModule</a>
 </li>
 <li>getSVFG()
@@ -2766,7 +2794,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a8c6617f2df59ff166b13242060707013">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ae72d7dcd1e0836e5d1c5a2c682abe31c">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2838,6 +2866,9 @@ $(function() {
 <li>getTrueZ3Expr()
 : <a class="el" href="classSVF_1_1ConsExeState.html#a823502a869baf70a07294e265601cf2f">SVF::ConsExeState</a>
 </li>
+<li>getTruncValue()
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a15dbee007f3afb718a202f50fa87177f">SVF::SVFIR2ItvExeState</a>
+</li>
 <li>getType()
 : <a class="el" href="classSVF_1_1CallSite.html#a93e70225ce9c55ca65ea9d5cf737206f">SVF::CallSite</a>
 , <a class="el" href="classSVF_1_1DCHNode.html#aaf4036d892bdae02a01d31bfe3db2153">SVF::DCHNode</a>
@@ -2861,7 +2892,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a4eebcc8dc7f23ead07c64bf523d0e68e">SVF::SymbolTableBuilder</a>
 </li>
 <li>getTypeInfo()
-: <a class="el" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">SVF::SVFType</a>
+: <a class="el" href="classSVF_1_1SVFType.html#af25ae6ae537f65f96917a66ce1bb3cf1">SVF::SVFType</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d">SVF::SymbolTableInfo</a>
 </li>
 <li>getTypeLocSetsMap()
@@ -2870,6 +2901,9 @@ $(function() {
 <li>getTypeOfElement()
 : <a class="el" href="classSVF_1_1SVFArrayType.html#a28da1169748e38b891133b76568a2759">SVF::SVFArrayType</a>
 </li>
+<li>getUIntToFPValue()
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#aaeef5c66931c38f2ea2002b53b255530">SVF::SVFIR2ItvExeState</a>
+</li>
 <li>getUnaryOPVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a1ba67eb17437a1a47c230614c1e3d9fd">SVF::VFG</a>
 </li>
@@ -3015,12 +3049,13 @@ $(function() {
 </li>
 <li>getZExtValue()
 : <a class="el" href="classSVF_1_1SVFConstantInt.html#aabc3c47a6e4036bf993fe29fa195bf1e">SVF::SVFConstantInt</a>
+, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a1fba1d6d8b8d4de37e644ee229a0e5c5">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>global_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
 </li>
 <li>global_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
 </li>
 <li>global_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">SVF::SVFModule</a>