svf-tools 1.0.795 → 1.0.796

package/SVF-doxygen/html/functions_p.html

@@ -89,12 +89,12 @@ $(function() {
 <li>PAGEdgeSetTy
 : <a class="el" href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">SVF::SVFStmt</a>
 </li>
-<li>pagEdgeToFunMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58">SVF::MRGenerator</a>
-</li>
 <li>PAGEdgeToFunMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31">SVF::MRGenerator</a>
 </li>
+<li>pagEdgeToFunMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58">SVF::MRGenerator</a>
+</li>
 <li>PAGEdgeToSetMapTy
 : <a class="el" href="classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa">SVF::SVFStmt</a>
 </li>
@@ -397,12 +397,12 @@ $(function() {
 <li>Phi
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVF::SVFStmt</a>
 </li>
-<li>PHINodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b">SVF::SVFIR</a>
-</li>
 <li>phiNodeMap
 : <a class="el" href="classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9">SVF::SVFIR</a>
 </li>
+<li>PHINodeMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b">SVF::SVFIR</a>
+</li>
 <li>PHISet
 : <a class="el" href="classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f">SVF::MemSSA</a>
 , <a class="el" href="classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05">SVF::SVFG</a>
@@ -508,12 +508,12 @@ $(function() {
 <li>PossibilityDescription
 : <a class="el" href="classOptionBase.html#a0a048de2a9ea404cb6b6be6276e8f91e">OptionBase</a>
 </li>
-<li>possibilityDescriptions
-: <a class="el" href="classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1">OptionBase</a>
-</li>
 <li>PossibilityDescriptions
 : <a class="el" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">OptionBase</a>
 </li>
+<li>possibilityDescriptions
+: <a class="el" href="classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1">OptionBase</a>
+</li>
 <li>postDominate()
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a3eb0a564ba8047dc5512b2e79ba64313">SVF::SaberCondAllocator</a>
 , <a class="el" href="classSVF_1_1SVFFunction.html#acc4af12afb0bc14982060d2e3baa1929">SVF::SVFFunction</a>
@@ -898,12 +898,12 @@ $(function() {
 <li>PTAStat()
 : <a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat</a>
 </li>
-<li>ptaTy
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
-</li>
 <li>PTATY
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis</a>
 </li>
+<li>ptaTy
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
+</li>
 <li>PTAVector
 : <a class="el" href="classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a">SVF::DDAPass</a>
 </li>
@@ -981,18 +981,18 @@ $(function() {
 : <a class="el" href="classSVF_1_1ReaderPtrPool.html#a705d5d5fe6ebfb94157453b3403aaaaa">SVF::ReaderPtrPool&lt; T &gt;</a>
 , <a class="el" href="classSVF_1_1WriterPtrPool.html#a7a3246f7158330ed49088205610e042f">SVF::WriterPtrPool&lt; T &gt;</a>
 </li>
-<li>ptrToBVPtsMap
-: <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
-</li>
 <li>PtrToBVPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
-<li>ptrToCPtsMap
-: <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
+<li>ptrToBVPtsMap
+: <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
 <li>PtrToCPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
+<li>ptrToCPtsMap
+: <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
+</li>
 <li>ptrToId
 : <a class="el" href="classSVF_1_1WriterPtrPool.html#a9ad8e70372f0a86cb5027588a008abfe">SVF::WriterPtrPool&lt; T &gt;</a>
 </li>
@@ -1007,15 +1007,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e">SVF::FlowSensitiveStat</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>ptsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-</li>
-<li>PtsMap
-: <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-</li>
-<li>ptsMap
-: <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>PtsMapConstIter
 : <a class="el" href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>

package/SVF-doxygen/html/functions_r.html

@@ -616,19 +616,19 @@ $(function() {
 <li>reverseNodeMapping
 : <a class="el" href="classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1">SVF::PointsTo</a>
 </li>
+<li>RevPtsMap
+: <a class="el" href="classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
 <li>revPtsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>RevPtsMap
-: <a class="el" href="classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+: <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>revPtsMap
 : <a class="el" href="classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
-<li>RevPtsMap
-: <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-</li>
 <li>rid
 : <a class="el" href="classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4">SVF::MemRegion</a>
 </li>

package/SVF-doxygen/html/functions_s.html

@@ -964,12 +964,12 @@ $(function() {
 <li>StoreStmt()
 : <a class="el" href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">SVF::StoreStmt</a>
 </li>
-<li>storesToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
-</li>
 <li>StoresToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
 </li>
+<li>storesToMRsMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
+</li>
 <li>storesToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
 </li>
@@ -994,12 +994,12 @@ $(function() {
 <li>StoreVFGNode()
 : <a class="el" href="classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd">SVF::StoreVFGNode</a>
 </li>
-<li>strategy
-: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
-</li>
 <li>Strategy
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
 </li>
+<li>strategy
+: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
+</li>
 <li>stride
 : <a class="el" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo</a>
 </li>
@@ -1215,12 +1215,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd">SVF::ProgSlice</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58">SVF::SrcSnkDDA</a>
 </li>
-<li>svfgNodeToCondMap
-: <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
-</li>
 <li>SVFGNodeToCondMap
 : <a class="el" href="classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e">SVF::ProgSlice</a>
 </li>
+<li>svfgNodeToCondMap
+: <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
+</li>
 <li>SVFGNodeToCSIDMap
 : <a class="el" href="classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700">SVF::LeakChecker</a>
 </li>
@@ -1509,11 +1509,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f">SVF::LLVMModuleSet</a>
 , <a class="el" href="classSVF_1_1SVFIR.html#a8bfa675eed3c60a21134faa8e0b9e6b9">SVF::SVFIR</a>
 , <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6ca1b9d5bb267806f8aaae5a94ed36cc">SVF::SVFIRBuilder</a>
-, <a class="el" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">SVF::SVFModule</a>
 </li>
 <li>SVFModule()
 : <a class="el" href="classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8">SVF::SVFModule</a>
 </li>
+<li>svfModule
+: <a class="el" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">SVF::SVFModule</a>
+</li>
 <li>svfModuleFieldJson
 : <a class="el" href="classSVF_1_1SVFModuleReader.html#a5258ef11a30116a8c7cdd366faa6568c">SVF::SVFModuleReader</a>
 </li>
@@ -1630,7 +1632,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a2ab271d42ab82aea2adf8b0e641aa39c">SVF::CFLGraphBuilder</a>
 , <a class="el" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">SVF::CFLSolver</a>
 , <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">SVF::GrammarBase</a>
-, <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>
@@ -1660,7 +1662,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c">SVF::SymbolTableInfo</a>
 </li>
 <li>SymState()
-: <a class="el" href="classSVF_1_1SymState.html#aa820ec486eeeea1d1296e0b58ced750d">SVF::SymState</a>
+: <a class="el" href="classSVF_1_1SymState.html#a0362da88a176f1d814068ebeeeb0e665">SVF::SymState</a>
 </li>
 <li>symTabFieldJson
 : <a class="el" href="classSVF_1_1SymbolTableInfoReader.html#a4ebfcabecee32b0a226c2c57f6411a3c">SVF::SymbolTableInfoReader</a>

package/SVF-doxygen/html/functions_t.html

@@ -190,18 +190,18 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d">SVF::ThreadAPI</a>
 , <a class="el" href="classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f">SVF::ThreadCallGraph</a>
 </li>
-<li>TDAPIMap
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2">SVF::SaberCheckerAPI</a>
-</li>
 <li>tdAPIMap
 : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
 </li>
 <li>TDAPIMap
-: <a class="el" href="classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2">SVF::SaberCheckerAPI</a>
 </li>
 <li>tdAPIMap
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
 </li>
+<li>TDAPIMap
+: <a class="el" href="classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144">SVF::ThreadAPI</a>
+</li>
 <li>TDDead
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4">SVF::ForkJoinAnalysis</a>
 </li>
@@ -735,12 +735,12 @@ $(function() {
 <li>typeinfo
 : <a class="el" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">SVF::SVFType</a>
 </li>
-<li>TypeLocSetsMap
-: <a class="el" href="classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150">SVF::SVFIR</a>
-</li>
 <li>typeLocSetsMap
 : <a class="el" href="classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288">SVF::SVFIR</a>
 </li>
+<li>TypeLocSetsMap
+: <a class="el" href="classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150">SVF::SVFIR</a>
+</li>
 <li>TypeMap
 : <a class="el" href="classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f">SVF::POCRSolver</a>
 </li>

package/SVF-doxygen/html/functions_v.html

@@ -137,12 +137,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>

package/SVF-doxygen/html/globals_func_t.html

@@ -76,6 +76,9 @@ $(function() {
 <li>traverseOnICFG()
 : <a class="el" href="svf-ex_8cpp.html#addc5529c5b161d0c61eba4944428455e">svf-ex.cpp</a>
 </li>
+<li>traverseOnSVFStmt()
+: <a class="el" href="svf-ex_8cpp.html#a8fa9e6583c354b1883a32b8abf98779f">svf-ex.cpp</a>
+</li>
 <li>traverseOnVFG()
 : <a class="el" href="svf-ex_8cpp.html#ad58149e5445ad22ce478339e103ab42b">svf-ex.cpp</a>
 </li>

package/SVF-doxygen/html/globals_t.html

@@ -82,6 +82,9 @@ $(function() {
 <li>traverseOnICFG()
 : <a class="el" href="svf-ex_8cpp.html#addc5529c5b161d0c61eba4944428455e">svf-ex.cpp</a>
 </li>
+<li>traverseOnSVFStmt()
+: <a class="el" href="svf-ex_8cpp.html#a8fa9e6583c354b1883a32b8abf98779f">svf-ex.cpp</a>
+</li>
 <li>traverseOnVFG()
 : <a class="el" href="svf-ex_8cpp.html#ad58149e5445ad22ce478339e103ab42b">svf-ex.cpp</a>
 </li>

package/SVF-doxygen/html/namespaceSVF.html

@@ -1659,8 +1659,8 @@ Functions</h2></td></tr>
 <tr class="separator:ac9bc0a9e085bace3fcd2e92b6d418dab"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a94a4cec5b3ee29a335590943ae30fd65"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structcJSON.html">cJSON</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a94a4cec5b3ee29a335590943ae30fd65">jsonCreateMap</a> ()</td></tr>
 <tr class="separator:a94a4cec5b3ee29a335590943ae30fd65"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a49a1be0ba69daf3b4f695f41ad812825"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a49a1be0ba69daf3b4f695f41ad812825">__attribute__</a> ((weak)) std</td></tr>
-<tr class="separator:a49a1be0ba69daf3b4f695f41ad812825"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a270cea6bd661c951716620537919e157"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a270cea6bd661c951716620537919e157">__attribute__</a> ((weak)) <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="el" href="classSVF_1_1SVFType.html">SVFType</a></td></tr>
+<tr class="separator:a270cea6bd661c951716620537919e157"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><p>for isBitcode </p>
@@ -5213,13 +5213,13 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
 <tr><td class="fieldname"><a id="a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6"></a>PartialAlias&#160;</td><td class="fielddoc"></td></tr>
 </table>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00585">585</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00586"></a><span class="lineno">  586</span>&#160;{</div>
-<div class="line"><a name="l00587"></a><span class="lineno">  587</span>&#160;    <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">NoAlias</a>,</div>
-<div class="line"><a name="l00588"></a><span class="lineno">  588</span>&#160;    <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">MayAlias</a>,</div>
-<div class="line"><a name="l00589"></a><span class="lineno">  589</span>&#160;    <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">MustAlias</a>,</div>
-<div class="line"><a name="l00590"></a><span class="lineno">  590</span>&#160;    <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">PartialAlias</a>,</div>
-<div class="line"><a name="l00591"></a><span class="lineno">  591</span>&#160;};</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00604">604</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00605"></a><span class="lineno">  605</span>&#160;{</div>
+<div class="line"><a name="l00606"></a><span class="lineno">  606</span>&#160;    <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">NoAlias</a>,</div>
+<div class="line"><a name="l00607"></a><span class="lineno">  607</span>&#160;    <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">MayAlias</a>,</div>
+<div class="line"><a name="l00608"></a><span class="lineno">  608</span>&#160;    <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">MustAlias</a>,</div>
+<div class="line"><a name="l00609"></a><span class="lineno">  609</span>&#160;    <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">PartialAlias</a>,</div>
+<div class="line"><a name="l00610"></a><span class="lineno">  610</span>&#160;};</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -5273,13 +5273,13 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
 <tr><td class="fieldname"><a id="a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f"></a>NoModRef&#160;</td><td class="fielddoc"></td></tr>
 </table>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00577">577</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00578"></a><span class="lineno">  578</span>&#160;{</div>
-<div class="line"><a name="l00579"></a><span class="lineno">  579</span>&#160;    <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30">ModRef</a>,</div>
-<div class="line"><a name="l00580"></a><span class="lineno">  580</span>&#160;    <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76">Ref</a>,</div>
-<div class="line"><a name="l00581"></a><span class="lineno">  581</span>&#160;    <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0">Mod</a>,</div>
-<div class="line"><a name="l00582"></a><span class="lineno">  582</span>&#160;    <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f">NoModRef</a>,</div>
-<div class="line"><a name="l00583"></a><span class="lineno">  583</span>&#160;};</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00596">596</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00597"></a><span class="lineno">  597</span>&#160;{</div>
+<div class="line"><a name="l00598"></a><span class="lineno">  598</span>&#160;    <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30">ModRef</a>,</div>
+<div class="line"><a name="l00599"></a><span class="lineno">  599</span>&#160;    <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76">Ref</a>,</div>
+<div class="line"><a name="l00600"></a><span class="lineno">  600</span>&#160;    <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0">Mod</a>,</div>
+<div class="line"><a name="l00601"></a><span class="lineno">  601</span>&#160;    <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f">NoModRef</a>,</div>
+<div class="line"><a name="l00602"></a><span class="lineno">  602</span>&#160;};</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -5315,8 +5315,8 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
 </div>
 </div>
 <h2 class="groupheader">Function Documentation</h2>
-<a id="a49a1be0ba69daf3b4f695f41ad812825"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a49a1be0ba69daf3b4f695f41ad812825">&#9670;&nbsp;</a></span>__attribute__()</h2>
+<a id="a270cea6bd661c951716620537919e157"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a270cea6bd661c951716620537919e157">&#9670;&nbsp;</a></span>__attribute__()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -5333,16 +5333,23 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
 
 <p class="definition">Definition at line <a class="el" href="SVFType_8cpp_source.html#l00007">7</a> of file <a class="el" href="SVFType_8cpp_source.html">SVFType.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;{</div>
-<div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;    std::ostringstream os;</div>
-<div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;    <a class="code" href="cJSON_8cpp.html#ae71e2aec89bf140e6430cb7d5ca417c5">print</a>(os);</div>
-<div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;    <span class="keywordflow">return</span> os.str();</div>
-<div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;}</div>
-<div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160; </div>
-<div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;std::ostream&amp; <a class="code" href="namespaceSVF.html#af95793adab8fb9aa19e19027e73372a6">operator&lt;&lt;</a>(std::ostream&amp; os, <span class="keyword">const</span> SVFType&amp; <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>)</div>
-<div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;{</div>
-<div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;    <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>.print(os);</div>
-<div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;    <span class="keywordflow">return</span> os;</div>
-<div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;}</div>
+<div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;    assert(<span class="stringliteral">&quot;SVFType::getLLVMByteSize should be implemented or supported by fronted&quot;</span> &amp;&amp; <span class="keyword">false</span>);</div>
+<div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;    abort();</div>
+<div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;}</div>
+<div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160; </div>
+<div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<a class="code" href="namespaceSVF.html#a270cea6bd661c951716620537919e157">__attribute__</a>((weak))</div>
+<div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> SVFType::toString()<span class="keyword"> const</span></div>
+<div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="keyword"></span>{</div>
+<div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;    std::ostringstream os;</div>
+<div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;    <a class="code" href="cJSON_8cpp.html#ae71e2aec89bf140e6430cb7d5ca417c5">print</a>(os);</div>
+<div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;    <span class="keywordflow">return</span> os.str();</div>
+<div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;}</div>
+<div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160; </div>
+<div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;std::ostream&amp; <a class="code" href="namespaceSVF.html#af95793adab8fb9aa19e19027e73372a6">operator&lt;&lt;</a>(std::ostream&amp; os, <span class="keyword">const</span> SVFType&amp; <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>)</div>
+<div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;{</div>
+<div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;    <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a>.print(os);</div>
+<div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;    <span class="keywordflow">return</span> os;</div>
+<div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -8662,11 +8669,11 @@ template&lt;typename GraphType &gt; </div>
 </div>
 </div><!-- contents -->
 <div class="ttc" id="astructcJSON_html_ad43f8de2571e504c4c5ce0a36990e6e1"><div class="ttname"><a href="structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1">cJSON::valuestring</a></div><div class="ttdeci">char * valuestring</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00115">cJSON.h:115</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76">SVF::Ref</a></div><div class="ttdeci">@ Ref</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00580">SVFType.h:580</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76">SVF::Ref</a></div><div class="ttdeci">@ Ref</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00599">SVFType.h:599</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MRVer_html_a45b70add039a7f134e8d44bfc6b8f0bc"><div class="ttname"><a href="classSVF_1_1MRVer.html#a45b70add039a7f134e8d44bfc6b8f0bc">SVF::MRVer::getID</a></div><div class="ttdeci">MRVERID getID() const</div><div class="ttdoc">Get MRVERID.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00081">MSSAMuChi.h:81</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MRVer_html_a63bd0641be553860cc5f517634b65825"><div class="ttname"><a href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">SVF::MRVer::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return the memory region.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00063">MSSAMuChi.h:63</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f">SVF::NoModRef</a></div><div class="ttdeci">@ NoModRef</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00582">SVFType.h:582</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f">SVF::NoModRef</a></div><div class="ttdeci">@ NoModRef</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00601">SVFType.h:601</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MSSADEF_html_ab3070e4293ceb5ca9c25702f76ac427c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c">SVF::MSSADEF::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return memory region.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00354">MSSAMuChi.h:354</a></div></div>
 <div class="ttc" id="astructcJSON_html_aa6b47e9a4b0e0a26f519b1a2b6739983"><div class="ttname"><a href="structcJSON.html#aa6b47e9a4b0e0a26f519b1a2b6739983">cJSON::string</a></div><div class="ttdeci">char * string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00122">cJSON.h:122</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_ae71e2aec89bf140e6430cb7d5ca417c5"><div class="ttname"><a href="cJSON_8cpp.html#ae71e2aec89bf140e6430cb7d5ca417c5">print</a></div><div class="ttdeci">static unsigned char * print(const cJSON *const item, cJSON_bool format, const internal_hooks *const hooks)</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01189">cJSON.cpp:1189</a></div></div>
@@ -8674,18 +8681,19 @@ template&lt;typename GraphType &gt; </div>
 <div class="ttc" id="acJSON_8h_html_a6288dae99eabb0a393b1d4974e01cde7"><div class="ttname"><a href="cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7">number</a></div><div class="ttdeci">const char *const const double number</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00268">cJSON.h:268</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdoc">LLVM Basic classes.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00080">BasicTypes.h:80</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_af95793adab8fb9aa19e19027e73372a6"><div class="ttname"><a href="namespaceSVF.html#af95793adab8fb9aa19e19027e73372a6">SVF::operator&lt;&lt;</a></div><div class="ttdeci">IntervalValue operator&lt;&lt;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Left binary shift of IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00736">IntervalValue.h:736</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdeci">@ NoAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00587">SVFType.h:587</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdeci">@ NoAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00606">SVFType.h:606</a></div></div>
 <div class="ttc" id="acJSON_8h_html_a25d22ecc7e656d2c59332072684e8766"><div class="ttname"><a href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a></div><div class="ttdeci">const char *const name</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00264">cJSON.h:264</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30">SVF::ModRef</a></div><div class="ttdeci">@ ModRef</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00579">SVFType.h:579</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30">SVF::ModRef</a></div><div class="ttdeci">@ ModRef</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00598">SVFType.h:598</a></div></div>
 <div class="ttc" id="astructcJSON_html_a4b21817d0fd2919901abadac73214e7f"><div class="ttname"><a href="structcJSON.html#a4b21817d0fd2919901abadac73214e7f">cJSON::valuedouble</a></div><div class="ttdeci">double valuedouble</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00119">cJSON.h:119</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a165cd8904ba9f1ae6e0fa1752ba78caaaf3515b032dca85081a3d653d0cb9b995"><div class="ttname"><a href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaf3515b032dca85081a3d653d0cb9b995">SVF::BuildDirection::bidirection</a></div><div class="ttdeci">@ bidirection</div></div>
 <div class="ttc" id="acJSON_8h_html_a750b5d744c39a06bfb13e6eb010e35d0"><div class="ttname"><a href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a></div><div class="ttdeci">int index</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00170">cJSON.h:170</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">SVF::MayAlias</a></div><div class="ttdeci">@ MayAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00588">SVFType.h:588</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">SVF::MayAlias</a></div><div class="ttdeci">@ MayAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00607">SVFType.h:607</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemRegion_html_adad8c2b08ab6a512f0c3aa90b4416f60"><div class="ttname"><a href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">SVF::MemRegion::dumpStr</a></div><div class="ttdeci">std::string dumpStr() const</div><div class="ttdoc">Dump string.</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00093">MemRegion.h:93</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a165cd8904ba9f1ae6e0fa1752ba78caaaac7938d40cfc2307e2bf325d28e7884e"><div class="ttname"><a href="namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaac7938d40cfc2307e2bf325d28e7884e">SVF::BuildDirection::plain</a></div><div class="ttdeci">@ plain</div></div>
 <div class="ttc" id="anamespaceSVF_html_a33124cbc57355f15793da18e69f6b9d7"><div class="ttname"><a href="namespaceSVF.html#a33124cbc57355f15793da18e69f6b9d7">SVF::jsonIsNumber</a></div><div class="ttdeci">bool jsonIsNumber(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00838">SVFFileSystem.cpp:838</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ae27267f89add1338fd5afe3a38f61ebd"><div class="ttname"><a href="namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd">SVF::WriteGraph</a></div><div class="ttdeci">std::ofstream &amp; WriteGraph(std::ofstream &amp;O, const GraphType &amp;G, bool ShortNames=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00328">GraphWriter.h:328</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_abe7df84818bd194fefc80d766e0998da"><div class="ttname"><a href="SVFFileSystem_8h.html#abe7df84818bd194fefc80d766e0998da">JSON_KEY</a></div><div class="ttdeci">#define JSON_KEY(json)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00064">SVFFileSystem.h:64</a></div></div>
+<div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 <div class="ttc" id="astructcJSON_html_ade862b880379b5e2a591f7326401fa8d"><div class="ttname"><a href="structcJSON.html#ade862b880379b5e2a591f7326401fa8d">cJSON::next</a></div><div class="ttdeci">struct cJSON * next</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00106">cJSON.h:106</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8cpp_html_aee01a3d251dee6a05d621f5265d92e84"><div class="ttname"><a href="SVFFileSystem_8cpp.html#aee01a3d251dee6a05d621f5265d92e84">humanReadableOption</a></div><div class="ttdeci">static const Option&lt; bool &gt; humanReadableOption(&quot;human-readable&quot;, &quot;Whether to output human-readable JSON&quot;, true)</div></div>
 <div class="ttc" id="anamespaceSVF_html_a0ffc17ff9b5cc328ff112e7f9ff21552"><div class="ttname"><a href="namespaceSVF.html#a0ffc17ff9b5cc328ff112e7f9ff21552">SVF::jsonGetNumber</a></div><div class="ttdeci">double jsonGetNumber(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00885">SVFFileSystem.cpp:885</a></div></div>
@@ -8697,7 +8705,7 @@ template&lt;typename GraphType &gt; </div>
 <div class="ttc" id="anamespaceSVF_html_af5b6ec9770091c42227a45491b00b349afdacc59903d2677ef91777d78c7b80a7"><div class="ttname"><a href="namespaceSVF.html#af5b6ec9770091c42227a45491b00b349afdacc59903d2677ef91777d78c7b80a7">SVF::ZB_Width</a></div><div class="ttdeci">@ ZB_Width</div><div class="ttdoc">The returned value is numeric_limits&lt;T&gt;::digits.</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00039">SparseBitVector.h:39</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00052">SVFType.h:52</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MSSADEF_html_a4cabef62b821efb0c88efb304fd0a70c"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a4cabef62b821efb0c88efb304fd0a70c">SVF::MSSADEF::getType</a></div><div class="ttdeci">DEFTYPE getType() const</div><div class="ttdoc">Return type of this CHI.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00360">MSSAMuChi.h:360</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">SVF::PartialAlias</a></div><div class="ttdeci">@ PartialAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00590">SVFType.h:590</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">SVF::PartialAlias</a></div><div class="ttdeci">@ PartialAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00609">SVFType.h:609</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8h_html_a499ce9b5ddc1be98376f5a5791b38c86"><div class="ttname"><a href="SVFFileSystem_8h.html#a499ce9b5ddc1be98376f5a5791b38c86">ABORT_MSG</a></div><div class="ttdeci">#define ABORT_MSG(reason)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00032">SVFFileSystem.h:32</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a708e67ca4653f2e7b07a08cae850c33d"><div class="ttname"><a href="namespaceSVF.html#a708e67ca4653f2e7b07a08cae850c33d">SVF::jsonIsArray</a></div><div class="ttdeci">bool jsonIsArray(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00854">SVFFileSystem.cpp:854</a></div></div>
@@ -8710,10 +8718,11 @@ template&lt;typename GraphType &gt; </div>
 <div class="ttc" id="anamespaceSVF_html_aea1a0f85b05e5149f57ed788ba631e49"><div class="ttname"><a href="namespaceSVF.html#aea1a0f85b05e5149f57ed788ba631e49">SVF::jsonIsString</a></div><div class="ttdeci">bool jsonIsString(const cJSON *item)</div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8cpp_source.html#l00843">SVFFileSystem.cpp:843</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MRVer_html_a170a933f25684bda23321ba05c7a7d88"><div class="ttname"><a href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">SVF::MRVer::getSSAVersion</a></div><div class="ttdeci">MRVERSION getSSAVersion() const</div><div class="ttdoc">Return SSA version.</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00069">MSSAMuChi.h:69</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8cpp_html_ab25baccb41e3b67ef0bfdaa1336c9649"><div class="ttname"><a href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a></div><div class="ttdeci">#define F(f)</div></div>
-<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">SVF::MustAlias</a></div><div class="ttdeci">@ MustAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00589">SVFType.h:589</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">SVF::MustAlias</a></div><div class="ttdeci">@ MustAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00608">SVFType.h:608</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00054">SVFType.h:54</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a270cea6bd661c951716620537919e157"><div class="ttname"><a href="namespaceSVF.html#a270cea6bd661c951716620537919e157">SVF::__attribute__</a></div><div class="ttdeci">__attribute__((weak)) u32_t SVFType</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8cpp_source.html#l00007">SVFType.cpp:7</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad43c3812e6d13e0518d9f8b8f463ffcf"><div class="ttname"><a href="cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf">count</a></div><div class="ttdeci">int count</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00216">cJSON.h:216</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0">SVF::Mod</a></div><div class="ttdeci">@ Mod</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00581">SVFType.h:581</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0">SVF::Mod</a></div><div class="ttdeci">@ Mod</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00600">SVFType.h:600</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_a6ea693e884dae57fb36b03a8ba6cad27"><div class="ttname"><a href="cJSON_8cpp.html#a6ea693e884dae57fb36b03a8ba6cad27">valuedouble</a></div><div class="ttdeci">newitem valuedouble</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02741">cJSON.cpp:2741</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/namespacemembers.html

@@ -65,7 +65,7 @@ $(function() {
 
 <h3><a id="index__5F"></a>- _ -</h3><ul>
 <li>__attribute__()
-: <a class="el" href="namespaceSVF.html#a49a1be0ba69daf3b4f695f41ad812825">SVF</a>
+: <a class="el" href="namespaceSVF.html#a270cea6bd661c951716620537919e157">SVF</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/namespacemembers_func.html

@@ -65,7 +65,7 @@ $(function() {
 
 <h3><a id="index__5F"></a>- _ -</h3><ul>
 <li>__attribute__()
-: <a class="el" href="namespaceSVF.html#a49a1be0ba69daf3b4f695f41ad812825">SVF</a>
+: <a class="el" href="namespaceSVF.html#a270cea6bd661c951716620537919e157">SVF</a>
 </li>
 </ul>
 </div><!-- contents -->

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['_5f_5fattribute_5f_5f_0',['__attribute__',['../extapi_8c.html#a605c932bc9e318024b90b57f957d603a',1,'__attribute__((annotate("ALLOC_RET"))): extapi.c'],['../extapi_8c.html#a1b6d5744331e4fab2b704bde770885a7',1,'__attribute__((annotate("REALLOC_RET"))): extapi.c'],['../extapi_8c.html#af072dda71b6309dc2f601b34b213cda1',1,'__attribute__((annotate("ALLOC_ARG0"))): extapi.c'],['../extapi_8c.html#abc6faf2bc026b332471fc83164cf3413',1,'__attribute__((annotate("ALLOC_ARG1"))): extapi.c'],['../extapi_8c.html#a53c0080eb2a99f7efc3be63f1c63ba89',1,'__attribute__((annotate("ALLOC_ARG2"))): extapi.c'],['../extapi_8c.html#a559e62edd847a597c92f3acd9b8b6ba4',1,'__attribute__((annotate("MEMCPY"))): extapi.c'],['../extapi_8c.html#adcb0d3ff88a32d766b60a847f84871ec',1,'__attribute__((annotate("MEMSET"))): extapi.c'],['../extapi_8c.html#ad32a60532b1ae70c19221d180ade9b74',1,'__attribute__((annotate("OVERWRITE"))): extapi.c'],['../namespaceSVF.html#a49a1be0ba69daf3b4f695f41ad812825',1,'SVF::__attribute__()'],['../SVFValue_8cpp.html#a81025d840e81f5c9a9c6b70a5377ac6f',1,'__attribute__(): SVFValue.cpp']]],
+  ['_5f_5fattribute_5f_5f_0',['__attribute__',['../extapi_8c.html#a605c932bc9e318024b90b57f957d603a',1,'__attribute__((annotate("ALLOC_RET"))): extapi.c'],['../extapi_8c.html#a1b6d5744331e4fab2b704bde770885a7',1,'__attribute__((annotate("REALLOC_RET"))): extapi.c'],['../extapi_8c.html#af072dda71b6309dc2f601b34b213cda1',1,'__attribute__((annotate("ALLOC_ARG0"))): extapi.c'],['../extapi_8c.html#abc6faf2bc026b332471fc83164cf3413',1,'__attribute__((annotate("ALLOC_ARG1"))): extapi.c'],['../extapi_8c.html#a53c0080eb2a99f7efc3be63f1c63ba89',1,'__attribute__((annotate("ALLOC_ARG2"))): extapi.c'],['../extapi_8c.html#a559e62edd847a597c92f3acd9b8b6ba4',1,'__attribute__((annotate("MEMCPY"))): extapi.c'],['../extapi_8c.html#adcb0d3ff88a32d766b60a847f84871ec',1,'__attribute__((annotate("MEMSET"))): extapi.c'],['../extapi_8c.html#ad32a60532b1ae70c19221d180ade9b74',1,'__attribute__((annotate("OVERWRITE"))): extapi.c'],['../namespaceSVF.html#a270cea6bd661c951716620537919e157',1,'SVF::__attribute__()'],['../SVFValue_8cpp.html#a81025d840e81f5c9a9c6b70a5377ac6f',1,'__attribute__(): SVFValue.cpp']]],
   ['_5f_5fctype_5fb_5floc_1',['__ctype_b_loc',['../extapi_8c.html#ab9defe9717c79e55af6a95e6ce7addb2',1,'extapi.c']]],
   ['_5f_5fctype_5ftolower_5floc_2',['__ctype_tolower_loc',['../extapi_8c.html#ab80118dda05e64167867c0a7ee84bec7',1,'extapi.c']]],
   ['_5f_5fctype_5ftoupper_5floc_3',['__ctype_toupper_loc',['../extapi_8c.html#a45737a9e57d118eb6f6298e4411e3d3d',1,'extapi.c']]],

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

@@ -18,7 +18,7 @@ var searchData=
   ['accesspath_2ecpp_178',['AccessPath.cpp',['../AccessPath_8cpp.html',1,'']]],
   ['accesspath_2eh_179',['AccessPath.h',['../AccessPath_8h.html',1,'']]],
   ['accessupperbound_180',['accessUpperBound',['../classSVF_1_1BufferOverflowBug.html#a04cb8d2b008019cf48e2d70ba20c3098',1,'SVF::BufferOverflowBug']]],
-  ['accumulateconstantbyteoffset_181',['accumulateConstantByteOffset',['../classSVF_1_1GepStmt.html#aeef864ea656824c228f755a183364901',1,'SVF::GepStmt']]],
+  ['accumulateconstantbyteoffset_181',['accumulateConstantByteOffset',['../classSVF_1_1GepStmt.html#a28a7ca818584abdc2d345b41d592c5dc',1,'SVF::GepStmt']]],
   ['accumulateconstantoffset_182',['accumulateConstantOffset',['../classSVF_1_1GepStmt.html#a1dd264b9f3b43d04aa1396443ad6ad33',1,'SVF::GepStmt']]],
   ['actualinofindcs_183',['actualInOfIndCS',['../classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6',1,'SVF::SVFGOPT']]],
   ['actualinsvfgnode_184',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html',1,'SVF::ActualINSVFGNode'],['../classSVF_1_1ActualINSVFGNode.html#a7f2648ebb69ebc53638dceb4382b41b0',1,'SVF::ActualINSVFGNode::ActualINSVFGNode()']]],