svf-tools 1.0.812 → 1.0.813

package/SVF-doxygen/html/functions_v.html

@@ -64,11 +64,6 @@ $(function() {
 <div class="textblock">Here is a list of all class members with links to the classes they belong to:</div>
 
 <h3><a id="index_v"></a>- v -</h3><ul>
-<li>VAddrs
-: <a class="el" href="classSVF_1_1ExeState.html#aa1355e828af78b55b5d23f2dffa330f1">SVF::ExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#ac0f37bed8d0e8f5cd65b532c1ad727b6">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a2b6de5a37851f83ed3fa8f69145148a8">SVF::SVFIR2ItvExeState</a>
-</li>
 <li>ValDomain
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791">SVF::LockAnalysis</a>
@@ -137,12 +132,12 @@ $(function() {
 <li>valuestring
 : <a class="el" href="structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1">cJSON</a>
 </li>
-<li>ValueToEdgeMap
-: <a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">SVF::IRGraph</a>
-</li>
 <li>valueToEdgeMap
 : <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
 </li>
+<li>ValueToEdgeMap
+: <a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">SVF::IRGraph</a>
+</li>
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af">SVF::SymbolTableInfo</a>
 </li>
@@ -201,14 +196,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">SVF::ConstraintEdge</a>
 </li>
 <li>VariantGepCGEdge()
-: <a class="el" href="classSVF_1_1VariantGepCGEdge.html#a72e674854fa023f9634fc6c1b9c1af6a">SVF::VariantGepCGEdge</a>
+: <a class="el" href="classSVF_1_1VariantGepCGEdge.html#abfea1a5cc983b1773b307c8dcd42dd02">SVF::VariantGepCGEdge</a>
 </li>
 <li>varKills
 : <a class="el" href="classSVF_1_1MemSSA.html#ae64f97a984765a43f05df26b57a43a43">SVF::MemSSA</a>
 </li>
 <li>varToAddrs()
 : <a class="el" href="classSVF_1_1ConsExeState.html#aa3f16fb06541184e49ef4f4ea95d894c">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409">SVF::ExeState</a>
+</li>
+<li>VarToAddrs
+: <a class="el" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">SVF::ExeState</a>
+</li>
+<li>varToAddrs()
+: <a class="el" href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409">SVF::ExeState</a>
 </li>
 <li>VarToPropNodeMap
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3">SVF::VersionedFlowSensitive</a>
@@ -216,9 +216,6 @@ $(function() {
 <li>varToString()
 : <a class="el" href="classSVF_1_1ConsExeState.html#a000e1c5692e4027b38569898f683bada">SVF::ConsExeState</a>
 </li>
-<li>VarToVAddrs
-: <a class="el" href="classSVF_1_1ExeState.html#aab6dfbae3f5d743d5fff6bba3327f231">SVF::ExeState</a>
-</li>
 <li>VarToValMap
 : <a class="el" href="classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#ae2b12e4add0714aa861f790864e098ff">SVF::IntervalExeState</a>
@@ -360,7 +357,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIRReader.html#ae46f4cf64824aa037447540ad60b239c">SVF::SVFIRReader</a>
 </li>
 <li>virtToJson()
-: <a class="el" href="classSVF_1_1SVFIRWriter.html#aa31d36234ac21e5d67586cd601ccd85a">SVF::SVFIRWriter</a>
+: <a class="el" href="classSVF_1_1SVFIRWriter.html#aef21822272ff9a57cdeb4a8b7a326047">SVF::SVFIRWriter</a>
 </li>
 <li>virtualFunctionToIDMap
 : <a class="el" href="classSVF_1_1CHGraph.html#a70a2bab82563a910d32a9169030596c0">SVF::CHGraph</a>
@@ -378,7 +375,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CSC.html#a2863ae212693f9ca6341e23f9d9634bf">SVF::CSC</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#af799d7043e501e43e04e51fd4d6c6571">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedFlowSensitive_1_1SCC.html#abbac2470771fc7dbc702eda9031bcad8">SVF::VersionedFlowSensitive::SCC</a>
-, <a class="el" href="classSVF_1_1WTOVisitor.html#aa338935535bb5c855224aa01d624f9d8">SVF::WTOVisitor</a>
+, <a class="el" href="classSVF_1_1WTOVisitor.html#a091a17f6b7eeee138fcde4499eb17311">SVF::WTOVisitor</a>
 </li>
 <li>visitAllocaInst()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a4be150eb37b75e4c081dfe38429f2089">SVF::SVFIRBuilder</a>
@@ -411,7 +408,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#ac61e0c5f667ebeb4788d07253e6a733c">SVF::SVFIRBuilder</a>
 </li>
 <li>visited()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a8038a801ba0fc31149847a49e074b210">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48a7c2de3119762694cdc0a4db77213a">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#aa7f342aa9281749d16bb377acf14c0d7">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>visitedCTPs

package/SVF-doxygen/html/functions_vars.html

@@ -211,12 +211,12 @@ $(function() {
 <li>_lb
 : <a class="el" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">SVF::IntervalValue</a>
 </li>
+<li>_locToAddrs
+: <a class="el" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">SVF::ExeState</a>
+</li>
 <li>_locToItvVal
 : <a class="el" href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">SVF::IntervalExeState</a>
 </li>
-<li>_locToVAddrs
-: <a class="el" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">SVF::ExeState</a>
-</li>
 <li>_locToVal
 : <a class="el" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4">SVF::RelExeState</a>
@@ -512,12 +512,12 @@ $(function() {
 <li>_ub
 : <a class="el" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">SVF::IntervalValue</a>
 </li>
+<li>_varToAddrs
+: <a class="el" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">SVF::ExeState</a>
+</li>
 <li>_varToItvVal
 : <a class="el" href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">SVF::IntervalExeState</a>
 </li>
-<li>_varToVAddrs
-: <a class="el" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">SVF::ExeState</a>
-</li>
 <li>_varToVal
 : <a class="el" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#ab4cede761cb0bdc082da8e53cd2d5b06">SVF::RelExeState</a>

package/SVF-doxygen/html/functions_vars_g.html

@@ -106,8 +106,8 @@ $(function() {
 <li>globalES
 : <a class="el" href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">SVF::IntervalExeState</a>
 </li>
-<li>globalNullVaddrs
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a75d5dfbc8252ef0994951af32aa53b74">SVF::SVFIR2ItvExeState</a>
+<li>globalNulladdrs
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a1579525f7cf7779aba58c4bdde2be4b0">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>GlobalSet
 : <a class="el" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">SVF::SVFModule</a>

package/SVF-doxygen/html/functions_w.html

@@ -73,12 +73,12 @@ $(function() {
 <li>widen_with()
 : <a class="el" href="classSVF_1_1IntervalValue.html#ab7ddcc29a116944a91db24af90d4c144">SVF::IntervalValue</a>
 </li>
+<li>widenAddrs()
+: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a198fd724be35f415851a2467c3930f76">SVF::SVFIR2ItvExeState</a>
+</li>
 <li>widening()
 : <a class="el" href="classSVF_1_1IntervalExeState.html#abc8edb74e55f40dbc7bb5182d4ef1199">SVF::IntervalExeState</a>
 </li>
-<li>widenVAddrs()
-: <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a57cbbcc977705ba7cd660bb5b632a66c">SVF::SVFIR2ItvExeState</a>
-</li>
 <li>widenWith()
 : <a class="el" href="classSVF_1_1IntervalExeState.html#acfbe4dbb85e802a0456b7223a26280d3">SVF::IntervalExeState</a>
 </li>

package/SVF-doxygen/html/search/all_0.js

@@ -56,8 +56,8 @@ var searchData=
   ['_5fkind_53',['_kind',['../classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172',1,'SVF::AbstractValue::_kind()'],['../classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8',1,'SVF::ExeState::_kind()']]],
   ['_5fla_54',['_la',['../classSVF_1_1LockResultValidator.html#ae68afb4d129dc6cecfc3561f6a17c798',1,'SVF::LockResultValidator']]],
   ['_5flb_55',['_lb',['../classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95',1,'SVF::IntervalValue']]],
-  ['_5floctoitvval_56',['_locToItvVal',['../classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71',1,'SVF::IntervalExeState']]],
-  ['_5floctovaddrs_57',['_locToVAddrs',['../classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72',1,'SVF::ExeState']]],
+  ['_5floctoaddrs_56',['_locToAddrs',['../classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a',1,'SVF::ExeState']]],
+  ['_5floctoitvval_57',['_locToItvVal',['../classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71',1,'SVF::IntervalExeState']]],
   ['_5floctoval_58',['_locToVal',['../classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19',1,'SVF::ConsExeState::_locToVal()'],['../classSVF_1_1RelExeState.html#ab2bae973796c52765500b506844286e4',1,'SVF::RelExeState::_locToVal()']]],
   ['_5fmaxaddrtakenvarpts_59',['_MaxAddrTakenVarPts',['../classSVF_1_1FlowSensitiveStat.html#a7c88e2528a93511ba8dde4805cadcd30',1,'SVF::FlowSensitiveStat']]],
   ['_5fmaxcptssize_60',['_MaxCPtsSize',['../classSVF_1_1DDAStat.html#ad07ab73cc0bc650c692de9983b126348',1,'SVF::DDAStat']]],
@@ -151,8 +151,8 @@ var searchData=
   ['_5ftype_148',['_type',['../classSVF_1_1CFBasicBlockGWTOComp.html#afc8a2840e779e319aa4088cf7deecf54',1,'SVF::CFBasicBlockGWTOComp']]],
   ['_5ftypestate_149',['_typeState',['../classSVF_1_1SymState.html#aaf72b784ae851cec1c6676f2f8f9038b',1,'SVF::SymState']]],
   ['_5fub_150',['_ub',['../classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff',1,'SVF::IntervalValue']]],
-  ['_5fvartoitvval_151',['_varToItvVal',['../classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77',1,'SVF::IntervalExeState']]],
-  ['_5fvartovaddrs_152',['_varToVAddrs',['../classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66',1,'SVF::ExeState']]],
+  ['_5fvartoaddrs_151',['_varToAddrs',['../classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712',1,'SVF::ExeState']]],
+  ['_5fvartoitvval_152',['_varToItvVal',['../classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77',1,'SVF::IntervalExeState']]],
   ['_5fvartoval_153',['_varToVal',['../classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df',1,'SVF::ConsExeState::_varToVal()'],['../classSVF_1_1RelExeState.html#ab4cede761cb0bdc082da8e53cd2d5b06',1,'SVF::RelExeState::_varToVal()']]],
   ['_5fvisited_154',['_visited',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a721df427172da5cb0dc46d804c4f4485',1,'SVF::SCCDetection::GNodeSCCInfo::_visited()'],['../classSVF_1_1CSC.html#a98bf29b1b9a1ffee14fe65a7f6b56672',1,'SVF::CSC::_visited()']]],
   ['_5fvmrssusageafter_155',['_vmrssUsageAfter',['../classSVF_1_1DDAStat.html#ae9ab20769220af396b72de5ae873f865',1,'SVF::DDAStat']]],