npm - svf-tools - Versions diffs - 1.0.562 → 1.0.565 - Mend

svf-tools 1.0.562 → 1.0.565

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (187) hide show

package/SVF-doxygen/html/html/functions_vars_n.html CHANGED Viewed

@@ -135,12 +135,6 @@ $(function() {
 <li>nullPtrSyms
 : <a class="el" href="classSVF_1_1SVFModule.html#a54f4857ba920d4d7c36d5258616d5dae">SVF::SVFModule</a>
 </li>
-<li>NumberOfFieldInsensitiveObj
-: <a class="el" href="classSVF_1_1PTAStat.html#ad1a7e7aec8f272017be7d0b6acda86a4">SVF::PTAStat</a>
-</li>
-<li>NumberOfFieldSensitiveObj
-: <a class="el" href="classSVF_1_1PTAStat.html#ab62eb21c7dc03f68b0509c31451b2e98">SVF::PTAStat</a>
-</li>
 <li>NumGtIntRegions
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad7cb36a1f0f67864fb8290e9dfd7b639">SVF::NodeIDAllocator::Clusterer</a>
 </li>
@@ -171,9 +165,6 @@ $(function() {
 <li>numOfAddr
 : <a class="el" href="classSVF_1_1SVFGStat.html#aa6a39e0f1d41d67cb3441389a943bf5f">SVF::SVFGStat</a>
 </li>
-<li>NumOfAddrs
-: <a class="el" href="classSVF_1_1PTAStat.html#ac5bf59a0a7a760c9fec5f22dedec5eb6">SVF::PTAStat</a>
-</li>
 <li>numOfAliasLd
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aa1572c2a9f260ff66c9da661fd669a5f">SVF::MTAAnnotator</a>
 </li>
@@ -204,18 +195,9 @@ $(function() {
 <li>numOfCallNodes
 : <a class="el" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">SVF::ICFGStat</a>
 </li>
-<li>NumOfCalls
-: <a class="el" href="classSVF_1_1PTAStat.html#a6cbeca77d0681f7da28979cbd0f661b2">SVF::PTAStat</a>
-</li>
-<li>NumOfConstantObjs
-: <a class="el" href="classSVF_1_1PTAStat.html#ae74458d96423e4a7391fe8697d5a9a67">SVF::PTAStat</a>
-</li>
 <li>numOfCopy
 : <a class="el" href="classSVF_1_1SVFGStat.html#ac86d6d7cb0090ab665729b56111ca464">SVF::SVFGStat</a>
 </li>
-<li>NumOfCopys
-: <a class="el" href="classSVF_1_1PTAStat.html#a97a8b662356fc89cdd2cb9463fa5578b">SVF::PTAStat</a>
-</li>
 <li>NumOfCSChi
 : <a class="el" href="classSVF_1_1MemSSAStat.html#a921a0f4eba4b891ab9b7699ea0d3f91c">SVF::MemSSAStat</a>
 </li>
@@ -228,9 +210,6 @@ $(function() {
 <li>NumOfCSMu
 : <a class="el" href="classSVF_1_1MemSSAStat.html#a7b07190a20361e30999cd9107749599d">SVF::MemSSAStat</a>
 </li>
-<li>NumOfCycles
-: <a class="el" href="classSVF_1_1PTAStat.html#ac518843a4148ecc45027ccc19a690c05">SVF::PTAStat</a>
-</li>
 <li>numOfEdges
 : <a class="el" href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">SVF::ICFGStat</a>
 </li>
@@ -246,9 +225,6 @@ $(function() {
 <li>numOfFieldExpand
 : <a class="el" href="classSVF_1_1AndersenBase.html#a9f453ec1b4236b8194ae590981217259">SVF::AndersenBase</a>
 </li>
-<li>NumOfFieldExpand
-: <a class="el" href="classSVF_1_1PTAStat.html#a1745e5c3c026a130a70954da9c0074b1">SVF::PTAStat</a>
-</li>
 <li>numOfFlattenElements
 : <a class="el" href="classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4">SVF::StInfo</a>
 </li>
@@ -267,9 +243,6 @@ $(function() {
 <li>numOfFormalRet
 : <a class="el" href="classSVF_1_1SVFGStat.html#a29807c066e60ef3905a5e01e0b86ffd2">SVF::SVFGStat</a>
 </li>
-<li>NumOfFunctionObjs
-: <a class="el" href="classSVF_1_1PTAStat.html#ae9952b7456b5102113d1fee4d9d7801a">SVF::PTAStat</a>
-</li>
 <li>NumOfFunHasEntryChi
 : <a class="el" href="classSVF_1_1MemSSAStat.html#aee2e0df55c40745a9b9aac415aa7a399">SVF::MemSSAStat</a>
 </li>
@@ -279,27 +252,6 @@ $(function() {
 <li>numOfGep
 : <a class="el" href="classSVF_1_1SVFGStat.html#a862cd075a7c9d5019acfabe608ab7905">SVF::SVFGStat</a>
 </li>
-<li>NumOfGepFieldObjects
-: <a class="el" href="classSVF_1_1PTAStat.html#a16f9bdb5387471d0bd825c4a9cbcb22e">SVF::PTAStat</a>
-</li>
-<li>NumOfGepFieldPointers
-: <a class="el" href="classSVF_1_1PTAStat.html#a164249b9d35606387e628529c643d119">SVF::PTAStat</a>
-</li>
-<li>NumOfGeps
-: <a class="el" href="classSVF_1_1PTAStat.html#acc5e4740e11cb6f9794723e5f61ab63b">SVF::PTAStat</a>
-</li>
-<li>NumOfGlobalObjs
-: <a class="el" href="classSVF_1_1PTAStat.html#a57574c85a5a875a05ef83d3c916cf3e5">SVF::PTAStat</a>
-</li>
-<li>NumOfHeapObjs
-: <a class="el" href="classSVF_1_1PTAStat.html#a4aff48eaa2045ee619a8ea793a9234b8">SVF::PTAStat</a>
-</li>
-<li>NumOfIndirectCallSites
-: <a class="el" href="classSVF_1_1PTAStat.html#a618707c52da086e04f5e7bff31794cf3">SVF::PTAStat</a>
-</li>
-<li>NumOfIndirectEdgeSolved
-: <a class="el" href="classSVF_1_1PTAStat.html#ad51d2bd924f049e440b3d0dd0d423524">SVF::PTAStat</a>
-</li>
 <li>numOfIntraEdges
 : <a class="el" href="classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658">SVF::ICFGStat</a>
 </li>
@@ -309,9 +261,6 @@ $(function() {
 <li>numOfIteration
 : <a class="el" href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
-<li>NumOfIterations
-: <a class="el" href="classSVF_1_1PTAStat.html#ae95fb0771a71ead27da79a45cac47a36">SVF::PTAStat</a>
-</li>
 <li>numOfLoad
 : <a class="el" href="classSVF_1_1SVFGStat.html#a7c80f2332b97a3228e2ad7621162167a">SVF::SVFGStat</a>
 </li>
@@ -321,18 +270,12 @@ $(function() {
 <li>NumOfLoadMu
 : <a class="el" href="classSVF_1_1MemSSAStat.html#a284dbb01e051945a40179b315bdb112f">SVF::MemSSAStat</a>
 </li>
-<li>NumOfLoads
-: <a class="el" href="classSVF_1_1PTAStat.html#a4aa7356142f51d942063be5a2910940f">SVF::PTAStat</a>
-</li>
 <li>numOfLockedQueries
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a80c56ebc6b9b594e97b56767f451ff8b">SVF::LockAnalysis</a>
 </li>
 <li>NumOfMaxRegion
 : <a class="el" href="classSVF_1_1MemSSAStat.html#acf3732557238de882bf7f34c49bd6cee">SVF::MemSSAStat</a>
 </li>
-<li>NumOfMemObjects
-: <a class="el" href="classSVF_1_1PTAStat.html#a5c09f41916e40d784a63e301584511f9">SVF::PTAStat</a>
-</li>
 <li>NumOfMemRegions
 : <a class="el" href="classSVF_1_1MemSSAStat.html#a95695aa32886776804e192b4c4ddcc1d">SVF::MemSSAStat</a>
 </li>
@@ -358,9 +301,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">SVF::ICFGStat</a>
 , <a class="el" href="classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302">SVF::SVFGStat</a>
 </li>
-<li>NumOfNodesInCycles
-: <a class="el" href="classSVF_1_1PTAStat.html#aea3e95097b3b9d326bef0d36f17e51a5">SVF::PTAStat</a>
-</li>
 <li>numOfNodesInSCC
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a9f3fe97202db8170fa9f47c5684bce75">SVF::FlowSensitive</a>
 </li>
@@ -370,30 +310,9 @@ $(function() {
 <li>numOfNonLocalSt
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a3c07f9964623b3895b1bab59a63dccfb">SVF::MTAAnnotator</a>
 </li>
-<li>NumOfNonPtrObjs
-: <a class="el" href="classSVF_1_1PTAStat.html#a9014371b8ed95ab8135eed2a7fa945f1">SVF::PTAStat</a>
-</li>
-<li>NumOfNullPointer
-: <a class="el" href="classSVF_1_1PTAStat.html#a1211e1c7f16b715f32ecdef83f39a8c6">SVF::PTAStat</a>
-</li>
-<li>NumOfObjsHasConstArray
-: <a class="el" href="classSVF_1_1PTAStat.html#adb31b163f0cbb9d9ce207ef5d8c075fa">SVF::PTAStat</a>
-</li>
-<li>NumOfObjsHasConstStruct
-: <a class="el" href="classSVF_1_1PTAStat.html#a918051b1d0eb4f49c349352408cc9751">SVF::PTAStat</a>
-</li>
-<li>NumOfObjsHasVarArray
-: <a class="el" href="classSVF_1_1PTAStat.html#a78693e8bf93d712eb76c9d6dc0c45ae6">SVF::PTAStat</a>
-</li>
-<li>NumOfObjsHasVarStruct
-: <a class="el" href="classSVF_1_1PTAStat.html#a95edd35cec92fa4cacc8b59b5eecc827">SVF::PTAStat</a>
-</li>
 <li>numOfPhi
 : <a class="el" href="classSVF_1_1SVFGStat.html#a0e1fcb9154aad266406c4da4861ba020">SVF::SVFGStat</a>
 </li>
-<li>NumOfPointers
-: <a class="el" href="classSVF_1_1PTAStat.html#a218748b401bdd3d5eebd45eea0026b12">SVF::PTAStat</a>
-</li>
 <li>numOfProcessedActualParam
 : <a class="el" href="classSVF_1_1FlowSensitive.html#abdc30e45347579986c42795a436a1251">SVF::FlowSensitive</a>
 </li>
@@ -401,16 +320,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1AndersenBase.html#a4acad18a6eb585ba9e3d2276dd591067">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#ae4253bc632ffffe2498263c90f456ca7">SVF::FlowSensitive</a>
 </li>
-<li>NumOfProcessedAddrs
-: <a class="el" href="classSVF_1_1PTAStat.html#a0de03cdb382b353c6c1495c0f80cfe19">SVF::PTAStat</a>
-</li>
 <li>numOfProcessedCopy
 : <a class="el" href="classSVF_1_1AndersenBase.html#a04acd871bd1b98cd9e83e395334ac130">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a19e017f3ed6429fa30687018e64dae54">SVF::FlowSensitive</a>
 </li>
-<li>NumOfProcessedCopys
-: <a class="el" href="classSVF_1_1PTAStat.html#ad30b36fb1884d1ef0b01c3b36a245211">SVF::PTAStat</a>
-</li>
 <li>numOfProcessedFormalRet
 : <a class="el" href="classSVF_1_1FlowSensitive.html#ae048cc5350cf2b075c05f5d84777a3c5">SVF::FlowSensitive</a>
 </li>
@@ -418,16 +331,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1AndersenBase.html#aa1246b392aeae1fd10c8a9ebedcc2dd9">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a88a111b6bc347d6562db7af8bd8f2f0e">SVF::FlowSensitive</a>
 </li>
-<li>NumOfProcessedGeps
-: <a class="el" href="classSVF_1_1PTAStat.html#aaa9d98f868c0724cb57c6934e783d1e5">SVF::PTAStat</a>
-</li>
 <li>numOfProcessedLoad
 : <a class="el" href="classSVF_1_1AndersenBase.html#a69aae96fc1c99bf108075e5061f50f9e">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a0e1a0bdbf4f81a3600ac26ac011ac268">SVF::FlowSensitive</a>
 </li>
-<li>NumOfProcessedLoads
-: <a class="el" href="classSVF_1_1PTAStat.html#a17531fa1df42df0b19191d61853380d9">SVF::PTAStat</a>
-</li>
 <li>numOfProcessedMSSANode
 : <a class="el" href="classSVF_1_1FlowSensitive.html#af71a5ae3aef022c569e89f40515072cf">SVF::FlowSensitive</a>
 </li>
@@ -438,12 +345,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1AndersenBase.html#a2b763519509ce21cf40893c01f8357b6">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a669e8f1dd8572b7dcff373c9787a923d">SVF::FlowSensitive</a>
 </li>
-<li>NumOfProcessedStores
-: <a class="el" href="classSVF_1_1PTAStat.html#a5b9bc0e9dac6ac97199476f6b7ea1edf">SVF::PTAStat</a>
-</li>
-<li>NumOfPWCCycles
-: <a class="el" href="classSVF_1_1PTAStat.html#aefcc3638fac7034ab3542be8eb01ab58">SVF::PTAStat</a>
-</li>
 <li>numOfRemovedPTS
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a07c3f5fa2e0092dac28521cf901a26cf">SVF::MTASVFGBuilder</a>
 </li>
@@ -462,27 +363,15 @@ $(function() {
 <li>numOfRetNodes
 : <a class="el" href="classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de">SVF::ICFGStat</a>
 </li>
-<li>NumOfReturns
-: <a class="el" href="classSVF_1_1PTAStat.html#a0a552611fcd20e1310290bdae404a514">SVF::PTAStat</a>
-</li>
 <li>numOfSCC
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a0ac955bf06261eec1c6bb78ec99652e3">SVF::FlowSensitive</a>
 </li>
 <li>numOfSCCDetection
 : <a class="el" href="classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968">SVF::AndersenBase</a>
 </li>
-<li>NumOfSCCDetection
-: <a class="el" href="classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699">SVF::PTAStat</a>
-</li>
-<li>NumOfSfr
-: <a class="el" href="classSVF_1_1PTAStat.html#a07a1db62ddba50bda787b2985ef8d135">SVF::PTAStat</a>
-</li>
 <li>numOfSfrs
 : <a class="el" href="classSVF_1_1AndersenBase.html#a25b00d9ca71cbdd27530fc5d0dc84ee5">SVF::AndersenBase</a>
 </li>
-<li>NumOfStackObjs
-: <a class="el" href="classSVF_1_1PTAStat.html#ae05503909688a17dc1f282d1d029d24e">SVF::PTAStat</a>
-</li>
 <li>numOfStore
 : <a class="el" href="classSVF_1_1SVFGStat.html#a4d15f2de3f226c26cb2af57176444ec9">SVF::SVFGStat</a>
 </li>
@@ -492,9 +381,6 @@ $(function() {
 <li>NumOfStoreHasChi
 : <a class="el" href="classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f">SVF::MemSSAStat</a>
 </li>
-<li>NumOfStores
-: <a class="el" href="classSVF_1_1PTAStat.html#a656ad9980ff05af396ed6754c50916e7">SVF::PTAStat</a>
-</li>
 <li>numOfTotalQueries
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ad648ad9cda4070f9aec1addef0067627">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a26ae18993915d76b704232cded9811c2">SVF::MHP</a>

package/SVF-doxygen/html/html/functions_vars_p.html CHANGED Viewed

@@ -233,12 +233,6 @@ $(function() {
 <li>PrintValidRes
 : <a class="el" href="classSVF_1_1Options.html#ac609142ee5a0caaf3ac51238ec421c2e">SVF::Options</a>
 </li>
-<li>ProcessCopyGepTime
-: <a class="el" href="classSVF_1_1PTAStat.html#a95a0a7861731072baeaf75354531875f">SVF::PTAStat</a>
-</li>
-<li>ProcessLoadStoreTime
-: <a class="el" href="classSVF_1_1PTAStat.html#aeb6a52c31ecd004670e85f24b01d75d6">SVF::PTAStat</a>
-</li>
 <li>processTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#ae2e58d18abcdddc7a5a87f4edc5f3b72">SVF::FlowSensitive</a>
 </li>
@@ -306,7 +300,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTData.html#abe01b39afed97b540c9bb8a8634afa28">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>PTNumStatMap
-: <a class="el" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">SVF::PTAStat</a>
+: <a class="el" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">SVF::SVFStat</a>
 </li>
 <li>ptr
 : <a class="el" href="classSVF_1_1PTASCEV.html#aa6b49b5cbe5057d779685c9ebe763421">SVF::PTASCEV</a>

package/SVF-doxygen/html/html/functions_vars_s.html CHANGED Viewed

@@ -91,12 +91,6 @@ $(function() {
 <li>sccCandidates
 : <a class="el" href="classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40">SVF::AndersenSCD</a>
 </li>
-<li>SCCDetectionTime
-: <a class="el" href="classSVF_1_1PTAStat.html#ad4c1cf3750341f73987c37745f3bd2aa">SVF::PTAStat</a>
-</li>
-<li>SCCMergeTime
-: <a class="el" href="classSVF_1_1PTAStat.html#a8c4101e697057269def501d14a987287">SVF::PTAStat</a>
-</li>
 <li>sccTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#af496fa9aa2f4d59594950b2ad121deff">SVF::FlowSensitive</a>
 </li>
@@ -181,8 +175,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">SVF::GrammarBase</a>
 </li>
 <li>startTime
-: <a class="el" href="classSVF_1_1PTAStat.html#a59e0fe6fa506f1cf319b5acaf9d28be9">SVF::PTAStat</a>
-, <a class="el" href="classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669">SVF::SVFStat</a>
+: <a class="el" href="classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669">SVF::SVFStat</a>
 </li>
 <li>stat
 : <a class="el" href="classSVF_1_1MemSSA.html#a4fc930040ec54eb60629da18fb6a4d04">SVF::MemSSA</a>

package/SVF-doxygen/html/html/functions_vars_t.html CHANGED Viewed

@@ -132,6 +132,15 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969">SVF::CxtThreadProc</a>
 , <a class="el" href="classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269">SVF::CxtThreadStmt</a>
 </li>
+<li>timeOfBuildingLLVMModule
+: <a class="el" href="classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5">SVF::SVFStat</a>
+</li>
+<li>timeOfBuildingSVFIR
+: <a class="el" href="classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c">SVF::SVFStat</a>
+</li>
+<li>timeOfBuildingSymbolTable
+: <a class="el" href="classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e">SVF::SVFStat</a>
+</li>
 <li>timeOfCollapse
 : <a class="el" href="classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25">SVF::AndersenBase</a>
 </li>
@@ -181,9 +190,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
-<li>TotalAnalysisTime
-: <a class="el" href="classSVF_1_1PTAStat.html#a25001a6d794d91056f37d954d9660910">SVF::PTAStat</a>
-</li>
 <li>totalCallSiteNum
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a276338e88cc286f6a1808b1fcdf74d9a">SVF::PTACallGraph</a>
 </li>
@@ -232,18 +238,6 @@ $(function() {
 <li>totalMRNum
 : <a class="el" href="classSVF_1_1MemRegion.html#a23857f301395cbbad10f6f93256a7398">SVF::MemRegion</a>
 </li>
-<li>TotalNumOfEdges
-: <a class="el" href="classSVF_1_1PTAStat.html#a3afc0a36232a0388d8aa42c68219cb26">SVF::PTAStat</a>
-</li>
-<li>TotalNumOfFieldObjects
-: <a class="el" href="classSVF_1_1PTAStat.html#ac0e0a1c49d33e02f5cc0f21565ce627d">SVF::PTAStat</a>
-</li>
-<li>TotalNumOfObjects
-: <a class="el" href="classSVF_1_1PTAStat.html#acd9848f15aa359550e86c7b857df84ed">SVF::PTAStat</a>
-</li>
-<li>TotalNumOfPointers
-: <a class="el" href="classSVF_1_1PTAStat.html#a1a4d418fd9e5413e7ffbbfe57f5e0560">SVF::PTAStat</a>
-</li>
 <li>totalOutEdge
 : <a class="el" href="classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a">SVF::SVFGStat</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_u.html CHANGED Viewed

@@ -79,9 +79,6 @@ $(function() {
 <li>updateCallGraphTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07">SVF::FlowSensitive</a>
 </li>
-<li>UpdateCallGraphTime
-: <a class="el" href="classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894">SVF::PTAStat</a>
-</li>
 <li>updateTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226">SVF::FlowSensitive</a>
 </li>

package/SVF-doxygen/html/html/functions_w.html CHANGED Viewed

@@ -85,39 +85,39 @@ $(function() {
 <li>WordSize
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">SVF::CoreBitVector</a>
 </li>
+<li>WorkList
+: <a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">SVF::CFLSolver</a>
+</li>
 <li>worklist
 : <a class="el" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">SVF::CFLSolver</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">SVF::CFLSolver</a>
-, <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00">SVF::ConstraintGraph</a>
+, <a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
+: <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
 , <a class="el" href="classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b">SVF::LeakChecker</a>
 , <a class="el" href="classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039">SVF::SaberSVFGBuilder</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a">SVF::SrcSnkDDA</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
+: <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
+, <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>worklist
-: <a class="el" href="classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
-, <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
-</li>
-<li>WorkList
-: <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>WorkStack
 : <a class="el" href="classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e">SVF::CSC</a>

package/SVF-doxygen/html/html/globals_a.html CHANGED Viewed

@@ -75,7 +75,6 @@ $(function() {
 </li>
 <li>Addr
 : <a class="el" href="CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#aceb4ff2aa6371c1133bbcd5309b0bed1">PEGGrammar.txt</a>
 </li>
 <li>Addrbar
 : <a class="el" href="PEGGrammar_8txt.html#a43cf87c9fa668dbee3d5e626a136c8fe">PEGGrammar.txt</a>

package/SVF-doxygen/html/html/globals_c.html CHANGED Viewed

@@ -194,13 +194,12 @@ $(function() {
 <li>convertExpression()
 : <a class="el" href="BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1">BreakConstantExpr.cpp</a>
 </li>
+<li>Copy
+: <a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">CFLGrammar.txt</a>
+</li>
 <li>copy
 : <a class="el" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">cJSON.cpp</a>
 </li>
-<li>Copy
-: <a class="el" href="PEGGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">PEGGrammar.txt</a>
-, <a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">CFLGrammar.txt</a>
-</li>
 <li>count
 : <a class="el" href="cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf">cJSON.h</a>
 , <a class="el" href="cJSON_8cpp.html#ad43c3812e6d13e0518d9f8b8f463ffcf">cJSON.cpp</a>
@@ -209,8 +208,8 @@ $(function() {
 : <a class="el" href="cJSON_8cpp.html#ac06bbc307a6f39fe58aafbcb82fbf4b3">cJSON.cpp</a>
 </li>
 <li>cutree_cdist()
-: <a class="el" href="fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.h</a>
-, <a class="el" href="fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.cpp</a>
+: <a class="el" href="fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.cpp</a>
+, <a class="el" href="fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.h</a>
 </li>
 <li>cutree_k()
 : <a class="el" href="fastcluster_8cpp.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.cpp</a>

package/SVF-doxygen/html/html/globals_e.html CHANGED Viewed

@@ -82,7 +82,6 @@ $(function() {
 </li>
 <li>epsilon
 : <a class="el" href="CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">PEGGrammar.txt</a>
 </li>
 <li>EXTAPI_JSON_PATH
 : <a class="el" href="ExtAPI_8h.html#ad9bef4304f41728bb3edf259c6b67668">ExtAPI.h</a>

package/SVF-doxygen/html/html/globals_f.html CHANGED Viewed

@@ -63,14 +63,13 @@ $(function() {
 <h3><a id="index_f"></a>- f -</h3><ul>
 <li>F
 : <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">PEGGrammar.txt</a>
 </li>
 <li>false
 : <a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">cJSON.cpp</a>
 </li>
 <li>Fbar
-: <a class="el" href="CFLGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">PEGGrammar.txt</a>
+: <a class="el" href="PEGGrammar_8txt.html#aee5c79fee9c1ec4a4aa9d34ab57045a0">PEGGrammar.txt</a>
+, <a class="el" href="CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2">CFLGrammar.txt</a>
 </li>
 <li>fc_isnan()
 : <a class="el" href="fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0">fastcluster.cpp</a>

package/SVF-doxygen/html/html/globals_func.html CHANGED Viewed

@@ -159,6 +159,9 @@ $(function() {
 <h3><a id="index_f"></a>- f -</h3><ul>
+<li>Fbar()
+: <a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">PEGGrammar.txt</a>
+</li>
 <li>fc_isnan()
 : <a class="el" href="fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0">fastcluster.cpp</a>
 </li>

package/SVF-doxygen/html/html/globals_g.html CHANGED Viewed

@@ -63,22 +63,20 @@ $(function() {
 <h3><a id="index_g"></a>- g -</h3><ul>
 <li>Gep_0
 : <a class="el" href="CFLGrammar_8txt.html#ace8178aa913f2a15d4b3f12778dfc6f1">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#aedc3573eed4e9af781034300bff32d69">PEGGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#ac43027733e3d0a01bde9269f9d27779a">PEGGrammar.txt</a>
 </li>
 <li>Gep_1
 : <a class="el" href="CFLGrammar_8txt.html#a92c75ced313339aea5e3e0c9f0726e5a">CFLGrammar.txt</a>
 </li>
 <li>Gep_i
-: <a class="el" href="CFLGrammar_8txt.html#af184db68cfa45428afdc186dd62e32a3">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#af184db68cfa45428afdc186dd62e32a3">PEGGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">CFLGrammar.txt</a>
 </li>
 <li>Gepbar_0
-: <a class="el" href="CFLGrammar_8txt.html#ab2278962121baf68c9efd38abb522942">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#ab2278962121baf68c9efd38abb522942">PEGGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a38750813346a2f7d4d2f74101bf1be37">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#aaab9e4b252aa2de33bb0019bc388164d">PEGGrammar.txt</a>
 </li>
 <li>Gepbar_i
-: <a class="el" href="CFLGrammar_8txt.html#aa3f2c8659adb9738e29e47d3a607ff1e">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#aa3f2c8659adb9738e29e47d3a607ff1e">PEGGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a1e1e10a9f0c4b902df72da76a308ae21">CFLGrammar.txt</a>
 </li>
 <li>gepNodeNumIndex
 : <a class="el" href="PAGBuilderFromFile_8cpp.html#a1af3947dbaf1ad4364bc4818f70ead40">PAGBuilderFromFile.cpp</a>

package/SVF-doxygen/html/html/globals_m.html CHANGED Viewed

@@ -61,16 +61,13 @@ $(function() {
 <div class="textblock">Here is a list of all file members with links to the files they belong to:</div>
 <h3><a id="index_m"></a>- m -</h3><ul>
-<li>M
-: <a class="el" href="PEGGrammar_8txt.html#abd600039647a1e73c88e7161fa6eb989">PEGGrammar.txt</a>
-</li>
 <li>main()
 : <a class="el" href="cfl_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">cfl.cpp</a>
-, <a class="el" href="svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">svf-ex.cpp</a>
+, <a class="el" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">dda.cpp</a>
+, <a class="el" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">mta.cpp</a>
 , <a class="el" href="wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">wpa.cpp</a>
 , <a class="el" href="saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">saber.cpp</a>
-, <a class="el" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">mta.cpp</a>
-, <a class="el" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">dda.cpp</a>
+, <a class="el" href="svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">svf-ex.cpp</a>
 </li>
 <li>Memflow
 : <a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">CFLGrammar.txt</a>

package/SVF-doxygen/html/html/globals_vars.html CHANGED Viewed

@@ -78,7 +78,6 @@ $(function() {
 </li>
 <li>Addr
 : <a class="el" href="CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#aceb4ff2aa6371c1133bbcd5309b0bed1">PEGGrammar.txt</a>
 </li>
 <li>Addrbar
 : <a class="el" href="CFLGrammar_8txt.html#a11ba05967682e1a34391b8c3309de1e6">CFLGrammar.txt</a>
@@ -123,12 +122,11 @@ $(function() {
 <li>content
 : <a class="el" href="cJSON_8cpp.html#a7886d4c98c027896a652ad0ada741709">cJSON.cpp</a>
 </li>
-<li>copy
-: <a class="el" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">cJSON.cpp</a>
-</li>
 <li>Copy
 : <a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">PEGGrammar.txt</a>
+</li>
+<li>copy
+: <a class="el" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">cJSON.cpp</a>
 </li>
 <li>count
 : <a class="el" href="cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf">cJSON.h</a>
@@ -147,7 +145,6 @@ $(function() {
 </li>
 <li>epsilon
 : <a class="el" href="CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">PEGGrammar.txt</a>
 </li>
 </ul>
@@ -155,11 +152,10 @@ $(function() {
 <h3><a id="index_f"></a>- f -</h3><ul>
 <li>F
 : <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">PEGGrammar.txt</a>
 </li>
 <li>Fbar
-: <a class="el" href="CFLGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">PEGGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#aee5c79fee9c1ec4a4aa9d34ab57045a0">PEGGrammar.txt</a>
 </li>
 <li>fmt
 : <a class="el" href="cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.h</a>
@@ -175,22 +171,20 @@ $(function() {
 <h3><a id="index_g"></a>- g -</h3><ul>
 <li>Gep_0
 : <a class="el" href="CFLGrammar_8txt.html#ace8178aa913f2a15d4b3f12778dfc6f1">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#aedc3573eed4e9af781034300bff32d69">PEGGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#ac43027733e3d0a01bde9269f9d27779a">PEGGrammar.txt</a>
 </li>
 <li>Gep_1
 : <a class="el" href="CFLGrammar_8txt.html#a92c75ced313339aea5e3e0c9f0726e5a">CFLGrammar.txt</a>
 </li>
 <li>Gep_i
-: <a class="el" href="CFLGrammar_8txt.html#af184db68cfa45428afdc186dd62e32a3">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#af184db68cfa45428afdc186dd62e32a3">PEGGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">CFLGrammar.txt</a>
 </li>
 <li>Gepbar_0
-: <a class="el" href="CFLGrammar_8txt.html#ab2278962121baf68c9efd38abb522942">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#ab2278962121baf68c9efd38abb522942">PEGGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a38750813346a2f7d4d2f74101bf1be37">CFLGrammar.txt</a>
+, <a class="el" href="PEGGrammar_8txt.html#aaab9e4b252aa2de33bb0019bc388164d">PEGGrammar.txt</a>
 </li>
 <li>Gepbar_i
-: <a class="el" href="CFLGrammar_8txt.html#aa3f2c8659adb9738e29e47d3a607ff1e">CFLGrammar.txt</a>
-, <a class="el" href="PEGGrammar_8txt.html#aa3f2c8659adb9738e29e47d3a607ff1e">PEGGrammar.txt</a>
+: <a class="el" href="CFLGrammar_8txt.html#a1e1e10a9f0c4b902df72da76a308ae21">CFLGrammar.txt</a>
 </li>
 <li>gepNodeNumIndex
 : <a class="el" href="PAGBuilderFromFile_8cpp.html#a1af3947dbaf1ad4364bc4818f70ead40">PAGBuilderFromFile.cpp</a>
@@ -258,9 +252,6 @@ $(function() {
 <h3><a id="index_m"></a>- m -</h3><ul>
-<li>M
-: <a class="el" href="PEGGrammar_8txt.html#abd600039647a1e73c88e7161fa6eb989">PEGGrammar.txt</a>
-</li>
 <li>Memflow
 : <a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">CFLGrammar.txt</a>
 </li>

package/SVF-doxygen/html/html/mta_8cpp.html CHANGED Viewed

@@ -155,7 +155,7 @@ Functions</h2></td></tr>
 <div class="ttc" id="classSVF_1_1MTA_html_a9c4b9eb2c04de305a30114019c3b1dae"><div class="ttname"><a href="classSVF_1_1MTA.html#a9c4b9eb2c04de305a30114019c3b1dae">SVF::MTA::runOnModule</a></div><div class="ttdeci">virtual bool runOnModule(Module &amp;module)</div><div class="ttdoc">We start the pass here. </div><div class="ttdef"><b>Definition:</b> <a href="MTA_8cpp_source.html#l00067">MTA.cpp:67</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1LLVMUtil_html_accdd44093d6d145dc92edeaaff3f5732"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732">SVF::LLVMUtil::processArguments</a></div><div class="ttdeci">void processArguments(int argc, char **argv, int &amp;arg_num, char **arg_value, std::vector&lt; std::string &gt; &amp;moduleNameVec)</div><div class="ttdoc">Parse argument for multi-module analysis. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00436">LLVMUtil.cpp:436</a></div></div>
 <div class="ttc" id="classSVF_1_1MTA_html"><div class="ttname"><a href="classSVF_1_1MTA.html">SVF::MTA</a></div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00057">MTA.h:57</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFModule_html_aa03ab5272652290f30870c6e2d053d98"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">SVF::SVFModule::buildSymbolTableInfo</a></div><div class="ttdeci">void buildSymbolTableInfo()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8cpp_source.html#l00030">SVFModule.cpp:30</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFModule_html_aa03ab5272652290f30870c6e2d053d98"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">SVF::SVFModule::buildSymbolTableInfo</a></div><div class="ttdeci">void buildSymbolTableInfo()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8cpp_source.html#l00031">SVFModule.cpp:31</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>