svf-tools 1.0.549 → 1.0.550

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 (65) hide show
  1. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +38 -41
  2. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +70 -81
  3. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +2 -4
  4. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +9 -10
  5. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +7 -7
  6. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +24 -36
  7. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +141 -224
  8. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI_1_1Operation-members.html +8 -7
  9. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI_1_1Operation.html +81 -56
  10. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +1 -1
  11. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +60 -76
  12. package/SVF-doxygen/html/html/functions_a.html +6 -9
  13. package/SVF-doxygen/html/html/functions_c.html +2 -2
  14. package/SVF-doxygen/html/html/functions_e.html +2 -35
  15. package/SVF-doxygen/html/html/functions_enum.html +0 -3
  16. package/SVF-doxygen/html/html/functions_eval_e.html +0 -30
  17. package/SVF-doxygen/html/html/functions_f.html +3 -3
  18. package/SVF-doxygen/html/html/functions_func_g.html +20 -17
  19. package/SVF-doxygen/html/html/functions_func_o.html +1 -1
  20. package/SVF-doxygen/html/html/functions_func_p.html +3 -3
  21. package/SVF-doxygen/html/html/functions_func_s.html +10 -13
  22. package/SVF-doxygen/html/html/functions_g.html +21 -18
  23. package/SVF-doxygen/html/html/functions_i.html +6 -6
  24. package/SVF-doxygen/html/html/functions_l.html +3 -3
  25. package/SVF-doxygen/html/html/functions_o.html +20 -17
  26. package/SVF-doxygen/html/html/functions_p.html +12 -14
  27. package/SVF-doxygen/html/html/functions_r.html +7 -5
  28. package/SVF-doxygen/html/html/functions_s.html +22 -23
  29. package/SVF-doxygen/html/html/functions_t.html +7 -5
  30. package/SVF-doxygen/html/html/functions_v.html +6 -6
  31. package/SVF-doxygen/html/html/functions_vars_a.html +0 -3
  32. package/SVF-doxygen/html/html/functions_vars_o.html +7 -4
  33. package/SVF-doxygen/html/html/search/all_1.js +0 -1
  34. package/SVF-doxygen/html/html/search/all_10.js +10 -10
  35. package/SVF-doxygen/html/html/search/all_11.js +2 -2
  36. package/SVF-doxygen/html/html/search/all_12.js +7 -8
  37. package/SVF-doxygen/html/html/search/all_13.js +2 -2
  38. package/SVF-doxygen/html/html/search/all_14.js +1 -1
  39. package/SVF-doxygen/html/html/search/all_15.js +3 -3
  40. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  41. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  42. package/SVF-doxygen/html/html/search/all_5.js +0 -11
  43. package/SVF-doxygen/html/html/search/all_6.js +1 -1
  44. package/SVF-doxygen/html/html/search/all_7.js +5 -4
  45. package/SVF-doxygen/html/html/search/all_9.js +2 -2
  46. package/SVF-doxygen/html/html/search/all_c.js +3 -3
  47. package/SVF-doxygen/html/html/search/all_e.js +4 -4
  48. package/SVF-doxygen/html/html/search/all_f.js +6 -4
  49. package/SVF-doxygen/html/html/search/enums_3.js +0 -1
  50. package/SVF-doxygen/html/html/search/enumvalues_4.js +1 -11
  51. package/SVF-doxygen/html/html/search/functions_11.js +1 -2
  52. package/SVF-doxygen/html/html/search/functions_6.js +5 -4
  53. package/SVF-doxygen/html/html/search/functions_e.js +1 -1
  54. package/SVF-doxygen/html/html/search/functions_f.js +2 -2
  55. package/SVF-doxygen/html/html/search/variables_1.js +0 -1
  56. package/SVF-doxygen/html/html/search/variables_13.js +1 -1
  57. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  58. package/SVF-doxygen/html/html/search/variables_e.js +3 -3
  59. package/SVF-doxygen/html/html/search/variables_f.js +3 -2
  60. package/include/SVF-FE/SVFIRBuilder.h +1 -1
  61. package/include/Util/ExtAPI.h +17 -42
  62. package/include/Util/ExtAPI.json +1013 -989
  63. package/lib/SVF-FE/SVFIRBuilder.cpp +122 -222
  64. package/lib/Util/ExtAPI.cpp +53 -68
  65. package/package.json +1 -1
package/SVF-doxygen/html/html/search/all_12.js CHANGED
@@ -33,7 +33,7 @@ var searchData=
33
33
  ['scalar',['SCALAR',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb',1,'SVF::DCHNode']]],
34
34
  ['scalarevolution',['ScalarEvolution',['../namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42',1,'SVF']]],
35
35
  ['scalarevolutionwrapperpass',['ScalarEvolutionWrapperPass',['../namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01',1,'SVF']]],
36
- ['scc',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive::SCC'],['../classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629',1,'SVF::MRGenerator::SCC()'],['../classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33',1,'SVF::WPASolver::SCC()'],['../classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70',1,'SVF::WPASolver::scc()']]],
36
+ ['scc',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive::SCC'],['../classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70',1,'SVF::WPASolver::scc()'],['../classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629',1,'SVF::MRGenerator::SCC()'],['../classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33',1,'SVF::WPASolver::SCC()']]],
37
37
  ['scc_2eh',['SCC.h',['../SCC_8h.html',1,'']]],
38
38
  ['scccandidates',['sccCandidates',['../classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40',1,'SVF::AndersenSCD']]],
39
39
  ['sccdetect',['SCCDetect',['../classSVF_1_1Andersen.html#a31ea24432ff42ab86a4728f2bde571bc',1,'SVF::Andersen::SCCDetect()'],['../classSVF_1_1AndersenSCD.html#a70f69baf47587b742b5013a63a3ce593',1,'SVF::AndersenSCD::SCCDetect()'],['../classSVF_1_1FlowSensitive.html#a5f8a1493f7550a3f7a295e25d87bce12',1,'SVF::FlowSensitive::SCCDetect()'],['../classSVF_1_1WPAFSSolver.html#a2d4cfae34bd4a55f1fe03881c87f8708',1,'SVF::WPAFSSolver::SCCDetect()'],['../classSVF_1_1WPASolver.html#aaa932894d00b69cfa741f9987a9cc6b8',1,'SVF::WPASolver::SCCDetect()'],['../classSVF_1_1WPASolver.html#a16d371c8f6a9bdb1ca984bcb287d6c5a',1,'SVF::WPASolver::SCCDetect(NodeSet &candidates)']]],
@@ -58,7 +58,6 @@ var searchData=
58
58
  ['set',['set',['../classSVF_1_1CondStdSet.html#ae11deddad534be115d29daad08c90599',1,'SVF::CondStdSet::set()'],['../classSVF_1_1CondPointsToSet.html#aadf2576b55bbdb82d7affc8466c09861',1,'SVF::CondPointsToSet::set()'],['../classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa',1,'SVF::PointsTo::set()'],['../classSVF_1_1CoreBitVector.html#a553e3e51bffe1aab04adc047e0fd3f24',1,'SVF::CoreBitVector::set()'],['../structSVF_1_1SparseBitVectorElement.html#a094acafea02f3c117445267e75c9a629',1,'SVF::SparseBitVectorElement::set()'],['../classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832',1,'SVF::SparseBitVector::set()'],['../namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb',1,'SVF::Set()'],['../tools_2WPA_2CMakeLists_8txt.html#ae39f71bb639d7a22f29d4bc42f72b57f',1,'set(): CMakeLists.txt']]],
59
59
  ['setactualindef',['setActualINDef',['../classSVF_1_1SVFGOPT.html#a490695ab536cd455c531fbdc57499cac',1,'SVF::SVFGOPT']]],
60
60
  ['setallreachable',['setAllReachable',['../classSVF_1_1ProgSlice.html#ae6102647fa4985142c293116516612cd',1,'SVF::ProgSlice']]],
61
- ['setargs',['setArgs',['../classSVF_1_1ExtAPI_1_1Operation.html#ac82ed2bae3d953f524ca9defc06feba8',1,'SVF::ExtAPI::Operation']]],
62
61
  ['setattributekinds',['setAttributeKinds',['../classSVF_1_1GrammarBase.html#a1e1bf1e32bcd7c68ce789c2f9f6327c0',1,'SVF::GrammarBase']]],
63
62
  ['setbasenode',['setBaseNode',['../classSVF_1_1GepObjVar.html#a5e371fae7592d763661a7cb777107ff4',1,'SVF::GepObjVar']]],
64
63
  ['setbb',['setBB',['../classSVF_1_1SVFStmt.html#a852730edf374d18a3fb3985211ed7623',1,'SVF::SVFStmt']]],
@@ -120,7 +119,7 @@ var searchData=
120
119
  ['setnumoffieldsandelems',['setNumOfFieldsAndElems',['../classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3',1,'SVF::StInfo']]],
121
120
  ['setobjfieldinsensitive',['setObjFieldInsensitive',['../classSVF_1_1PointerAnalysis.html#ac5683fe2e24b393ccc5cb6d8bc92cf2b',1,'SVF::PointerAnalysis']]],
122
121
  ['setoffset',['setOffset',['../classSVF_1_1DCHEdge.html#a70f757826082c95766c8324c1264e977',1,'SVF::DCHEdge']]],
123
- ['setoperation',['setOperation',['../classSVF_1_1ExtAPI_1_1Operation.html#ab602429a772a2d6942cfb18eef10a09a',1,'SVF::ExtAPI::Operation']]],
122
+ ['setoperands',['setOperands',['../classSVF_1_1ExtAPI_1_1Operation.html#a901c5524219bee81a00414d7c92c26f8',1,'SVF::ExtAPI::Operation']]],
124
123
  ['setopver',['setOpVer',['../classSVF_1_1MSSAPHISVFGNode.html#a928a57d7f518c5af98a0245d9221e671',1,'SVF::MSSAPHISVFGNode::setOpVer()'],['../classSVF_1_1CmpVFGNode.html#a41bcdd6b46a31c8d15533342478dc236',1,'SVF::CmpVFGNode::setOpVer()'],['../classSVF_1_1BinaryOPVFGNode.html#a76c67d31ffb67c4ef102471898ae2709',1,'SVF::BinaryOPVFGNode::setOpVer()'],['../classSVF_1_1UnaryOPVFGNode.html#a3b082eef98b8393499908f6c430b8d6c',1,'SVF::UnaryOPVFGNode::setOpVer()'],['../classSVF_1_1PHIVFGNode.html#a36f469a129063b43161a8d1423414ce5',1,'SVF::PHIVFGNode::setOpVer()'],['../classSVF_1_1MSSACHI.html#a245d8ee9e81ba4fe6f41533baf471331',1,'SVF::MSSACHI::setOpVer()'],['../classSVF_1_1MSSAPHI.html#a74f663dc5ecc659e98542a53414b7988',1,'SVF::MSSAPHI::setOpVer()']]],
125
124
  ['setopverandbb',['setOpVerAndBB',['../classSVF_1_1IntraPHIVFGNode.html#a7e5fd83393224ece808de83cbf496882',1,'SVF::IntraPHIVFGNode']]],
126
125
  ['setpag',['setPAG',['../classSVF_1_1DDAClient.html#a21badb317a249bbb506615182671b32c',1,'SVF::DDAClient']]],
@@ -265,7 +264,7 @@ var searchData=
265
264
  ['storeset',['storeset',['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator::storeset()'],['../classSVF_1_1MTA.html#a891e56104b9c2daa8b052e3821e85b9b',1,'SVF::MTA::StoreSet()']]],
266
265
  ['storestmt',['StoreStmt',['../classSVF_1_1StoreStmt.html',1,'SVF::StoreStmt'],['../classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb',1,'SVF::StoreStmt::StoreStmt()'],['../classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42',1,'SVF::StoreStmt::StoreStmt(const StoreStmt &)'],['../classSVF_1_1StoreStmt.html#a39ee0d8cc951aff0d6418a3d743fb3ae',1,'SVF::StoreStmt::StoreStmt(SVFVar *s, SVFVar *d, const IntraICFGNode *st)']]],
267
266
  ['storestomrsmap',['storesToMRsMap',['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator::storesToMRsMap()'],['../classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c',1,'SVF::MRGenerator::StoresToMRsMap()']]],
268
- ['storestopointstomap',['storesToPointsToMap',['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator::storesToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d',1,'SVF::MRGenerator::StoresToPointsToMap()']]],
267
+ ['storestopointstomap',['StoresToPointsToMap',['../classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d',1,'SVF::MRGenerator::StoresToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator::storesToPointsToMap()']]],
269
268
  ['storesvfgnode',['StoreSVFGNode',['../namespaceSVF.html#a54c5725186e66ead6faf53c10a288714',1,'SVF']]],
270
269
  ['storetime',['storeTime',['../classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7',1,'SVF::FlowSensitive']]],
271
270
  ['storetochisetmap',['StoreToChiSetMap',['../classSVF_1_1MemSSA.html#acfee1bb5534026ce991a1ab5e796c6b9',1,'SVF::MemSSA']]],
@@ -274,7 +273,7 @@ var searchData=
274
273
  ['storevfgnode',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html',1,'SVF::StoreVFGNode'],['../classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd',1,'SVF::StoreVFGNode::StoreVFGNode()'],['../classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a',1,'SVF::StoreVFGNode::StoreVFGNode(const StoreVFGNode &)'],['../classSVF_1_1StoreVFGNode.html#ae7ee09f0e965b6487a38a58c4f51b20b',1,'SVF::StoreVFGNode::StoreVFGNode(NodeID id, const StoreStmt *edge)']]],
275
274
  ['str2kind',['str2Kind',['../classSVF_1_1GrammarBase.html#ad2d56d8cdc4539d4201d1995fb36e772',1,'SVF::GrammarBase']]],
276
275
  ['str2symbol',['str2Symbol',['../classSVF_1_1GrammarBase.html#a5c081c6ff0501fc91b71352995d6d9dc',1,'SVF::GrammarBase']]],
277
- ['strategy',['Strategy',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator::Strategy()'],['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator::strategy()']]],
276
+ ['strategy',['strategy',['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator::strategy()'],['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator::Strategy()']]],
278
277
  ['stride',['stride',['../classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2',1,'SVF::StInfo']]],
279
278
  ['strides',['strides',['../classSVF_1_1ConstraintNode.html#a873ba0c14dc57bd603c4a6b4d73e4278',1,'SVF::ConstraintNode']]],
280
279
  ['string',['string',['../structcJSON.html#aa6b47e9a4b0e0a26f519b1a2b6739983',1,'cJSON::string()'],['../cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458',1,'string(): cJSON.h'],['../cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24',1,'string(): cJSON.cpp']]],
@@ -308,10 +307,10 @@ var searchData=
308
307
  ['svfbb',['SVFBB',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4',1,'SVF::SVFValue']]],
309
308
  ['svffunc',['SVFFunc',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577',1,'SVF::SVFValue']]],
310
309
  ['svffunction',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF::SVFFunction'],['../classSVF_1_1SVFFunction.html#aed73a0604a9fc5b6560ce87cfeaa3944',1,'SVF::SVFFunction::SVFFunction(const std::string &val)'],['../classSVF_1_1SVFFunction.html#ae7a55d86a87088f7d70254980e4325b3',1,'SVF::SVFFunction::SVFFunction(Function *f)'],['../classSVF_1_1SVFFunction.html#a9f26d10b95201148e0ef54ee7ad9e022',1,'SVF::SVFFunction::SVFFunction(Function *f, BasicBlock *exitBB, std::vector< const BasicBlock *> reachableBBs)']]],
311
- ['svfg',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF::SVFG'],['../classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12',1,'SVF::SVFG::SVFG()'],['../classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()']]],
310
+ ['svfg',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF::SVFG'],['../classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()'],['../classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12',1,'SVF::SVFG::SVFG()']]],
312
311
  ['svfg_2ecpp',['SVFG.cpp',['../SVFG_8cpp.html',1,'']]],
313
312
  ['svfg_2eh',['SVFG.h',['../SVFG_8h.html',1,'']]],
314
- ['svfgbuilder',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF::SVFGBuilder'],['../classSVF_1_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a',1,'SVF::DDAVFSolver::svfgBuilder()'],['../classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7',1,'SVF::SVFG::SVFGBuilder()'],['../classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e',1,'SVF::SVFGBuilder::SVFGBuilder()']]],
313
+ ['svfgbuilder',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF::SVFGBuilder'],['../classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7',1,'SVF::SVFG::SVFGBuilder()'],['../classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e',1,'SVF::SVFGBuilder::SVFGBuilder()'],['../classSVF_1_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a',1,'SVF::DDAVFSolver::svfgBuilder()']]],
315
314
  ['svfgbuilder_2ecpp',['SVFGBuilder.cpp',['../SVFGBuilder_8cpp.html',1,'']]],
316
315
  ['svfgbuilder_2eh',['SVFGBuilder.h',['../SVFGBuilder_8h.html',1,'']]],
317
316
  ['svfgedge',['SVFGEdge',['../namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9',1,'SVF']]],
@@ -349,7 +348,7 @@ var searchData=
349
348
  ['svfgwithindcall',['SVFGWithIndCall',['../classSVF_1_1SVFGBuilder.html#a70de38086437635d2e44d2a0c9fdded9',1,'SVF::SVFGBuilder']]],
350
349
  ['svfgwithindirectcall',['SVFGWithIndirectCall',['../classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2',1,'SVF::Options']]],
351
350
  ['svfinst',['SVFInst',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd',1,'SVF::SVFValue']]],
352
- ['svfir',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF::SVFIR'],['../classSVF_1_1CFLAlias.html#a0bf4ce7e4fb3d1d95608c06420cc65dc',1,'SVF::CFLAlias::svfir()'],['../classSVF_1_1SVFVar.html#a6dbb40e8ee92033b77440c44acd8a868',1,'SVF::SVFVar::SVFIR()'],['../classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636',1,'SVF::SVFIR::SVFIR()']]],
351
+ ['svfir',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF::SVFIR'],['../classSVF_1_1SVFVar.html#a6dbb40e8ee92033b77440c44acd8a868',1,'SVF::SVFVar::SVFIR()'],['../classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636',1,'SVF::SVFIR::SVFIR()'],['../classSVF_1_1CFLAlias.html#a0bf4ce7e4fb3d1d95608c06420cc65dc',1,'SVF::CFLAlias::svfir()']]],
353
352
  ['svfir_2ecpp',['SVFIR.cpp',['../SVFIR_8cpp.html',1,'']]],
354
353
  ['svfir_2eh',['SVFIR.h',['../SVFIR_8h.html',1,'']]],
355
354
  ['svfirbuilder',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html',1,'SVF::SVFIRBuilder'],['../classSVF_1_1SVFIR.html#a46fadea4d08baefc8fbc1d8928da7f6b',1,'SVF::SVFIR::SVFIRBuilder()'],['../classSVF_1_1SVFIRBuilder.html#a8c25c3903cda26312f182014f29069fc',1,'SVF::SVFIRBuilder::SVFIRBuilder()']]],
package/SVF-doxygen/html/html/search/all_13.js CHANGED
@@ -39,7 +39,7 @@ var searchData=
39
39
  ['td_5ftype',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
40
40
  ['tdalive',['TDAlive',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a2abecc56b7d5c644f7e14c98d33d0a0a',1,'SVF::ForkJoinAnalysis']]],
41
41
  ['tdapi',['tdAPI',['../classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f',1,'SVF::ThreadCallGraph::tdAPI()'],['../classSVF_1_1MTAResultValidator.html#aa0ca978e95529568edc4bdac1ffac110',1,'SVF::MTAResultValidator::tdAPI()'],['../classSVF_1_1PCG.html#a8215dc3643d1c4fb3d489e80cd3db336',1,'SVF::PCG::tdAPI()'],['../classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d',1,'SVF::ThreadAPI::tdAPI()']]],
42
- ['tdapimap',['TDAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144',1,'SVF::ThreadAPI::TDAPIMap()'],['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()']]],
42
+ ['tdapimap',['tdAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()'],['../classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144',1,'SVF::ThreadAPI::TDAPIMap()']]],
43
43
  ['tddead',['TDDead',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4',1,'SVF::ForkJoinAnalysis']]],
44
44
  ['tdforkedge',['TDForkEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7af32caf15ca19d512b5183bcf0d859cd7',1,'SVF::PTACallGraphEdge']]],
45
45
  ['tdforkpe',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF::TDForkPE'],['../classSVF_1_1TDForkPE.html#a8d474c87f2f641336064270536fae8ae',1,'SVF::TDForkPE::TDForkPE()'],['../classSVF_1_1TDForkPE.html#ad55687afd603a027c4d7124061fce40b',1,'SVF::TDForkPE::TDForkPE(const TDForkPE &)'],['../classSVF_1_1TDForkPE.html#ae28fa8ad500a11208410adbfd0d19ea5',1,'SVF::TDForkPE::TDForkPE(SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunEntryICFGNode *entry)']]],
@@ -91,7 +91,7 @@ var searchData=
91
91
  ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
92
92
  ['timeofsccdetection',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
93
93
  ['timeofsccmerges',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
94
- ['timeofssarenaming',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
94
+ ['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
95
95
  ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
96
96
  ['timestatmap',['timeStatMap',['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat::timeStatMap()'],['../classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10',1,'SVF::PTAStat::TIMEStatMap()']]],
97
97
  ['tinterphi',['TInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69',1,'SVF::VFGNode']]],
package/SVF-doxygen/html/html/search/all_14.js CHANGED
@@ -33,7 +33,7 @@ var searchData=
33
33
  ['updatecachedpointsto',['updateCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#a239a55960dfbbe73df63063070a18b56',1,'SVF::DDAVFSolver']]],
34
34
  ['updatecallgraph',['updateCallGraph',['../classSVF_1_1CFLAlias.html#a9637bcb592d250b5556b242d2ffc88fa',1,'SVF::CFLAlias::updateCallGraph()'],['../classSVF_1_1ICFG.html#a5a00682b75726cacc1b4d88bbf40c824',1,'SVF::ICFG::updateCallGraph()'],['../classSVF_1_1ThreadCallGraph.html#ae25bca6e64ceedc56f1e2f1ae30f89eb',1,'SVF::ThreadCallGraph::updateCallGraph()'],['../classSVF_1_1VFG.html#a0c0a7c8f0bd27bc9e88ce54c0809b11b',1,'SVF::VFG::updateCallGraph()'],['../classSVF_1_1BVDataPTAImpl.html#aa534e475fa34fa322c567bc376a3da70',1,'SVF::BVDataPTAImpl::updateCallGraph()'],['../classSVF_1_1SVFIRBuilder.html#a22bd51c6fe770d179867342164ec2767',1,'SVF::SVFIRBuilder::updateCallGraph()'],['../classSVF_1_1AndersenBase.html#ac05796a5672ddb5bd0e08924d79da065',1,'SVF::AndersenBase::updateCallGraph()'],['../classSVF_1_1Andersen.html#a6c60b761ddf3d6bf08c8a9c3f6fd9f0b',1,'SVF::Andersen::updateCallGraph()'],['../classSVF_1_1AndersenSCD.html#a512c636bdaafe6a3ac8f0cc29392c573',1,'SVF::AndersenSCD::updateCallGraph()'],['../classSVF_1_1FlowSensitive.html#a9d81537ec20196315a9a2541477ec5bf',1,'SVF::FlowSensitive::updateCallGraph()']]],
35
35
  ['updatecallgraphandsvfg',['updateCallGraphAndSVFG',['../classSVF_1_1ContextDDA.html#a6fb1be7eef65008c7fbab6bdfe186061',1,'SVF::ContextDDA::updateCallGraphAndSVFG()'],['../classSVF_1_1DDAVFSolver.html#a637dddedd96942d56de6fd6d10c09169',1,'SVF::DDAVFSolver::updateCallGraphAndSVFG()'],['../classSVF_1_1FlowDDA.html#ae6257ef91e9d1c5aa95fdf5333c528b0',1,'SVF::FlowDDA::updateCallGraphAndSVFG()']]],
36
- ['updatecallgraphtime',['UpdateCallGraphTime',['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()'],['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()']]],
36
+ ['updatecallgraphtime',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()'],['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()']]],
37
37
  ['updateconnectednodes',['updateConnectedNodes',['../classSVF_1_1FlowSensitive.html#a1886b4964efa92cfff761493d12768b8',1,'SVF::FlowSensitive::updateConnectedNodes()'],['../classSVF_1_1VersionedFlowSensitive.html#a18f24fe34af677e2a8c78ee89b89be1c',1,'SVF::VersionedFlowSensitive::updateConnectedNodes()']]],
38
38
  ['updatedfinfromin',['updateDFInFromIn',['../classSVF_1_1DFPTData.html#a88cf9cd48ee5c1b8b3c71b379f23ab6b',1,'SVF::DFPTData::updateDFInFromIn()'],['../classSVF_1_1MutableDFPTData.html#ac3ebc5afa531118b2b4446d23e3b8c7a',1,'SVF::MutableDFPTData::updateDFInFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#a775ef6458314a1febef3f7372f6a2bbc',1,'SVF::MutableIncDFPTData::updateDFInFromIn()'],['../classSVF_1_1PersistentDFPTData.html#a9b61c0557c6b1460af2328709011b32e',1,'SVF::PersistentDFPTData::updateDFInFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#a5b015e6801e4320e45e7942f9db82a42',1,'SVF::PersistentIncDFPTData::updateDFInFromIn()']]],
39
39
  ['updatedfinfromout',['updateDFInFromOut',['../classSVF_1_1DFPTData.html#a2ec4fb73d87f10c86fac34b3500532b3',1,'SVF::DFPTData::updateDFInFromOut()'],['../classSVF_1_1MutableDFPTData.html#a85c0d93ee01d2c93c255e5a369248d1b',1,'SVF::MutableDFPTData::updateDFInFromOut()'],['../classSVF_1_1MutableIncDFPTData.html#ad199b4b84f7aab48ff1510b118e2982f',1,'SVF::MutableIncDFPTData::updateDFInFromOut()'],['../classSVF_1_1PersistentDFPTData.html#abfacbe37d9e0b5f05eabec66c60c2e2b',1,'SVF::PersistentDFPTData::updateDFInFromOut()'],['../classSVF_1_1PersistentIncDFPTData.html#a9191992b978b643f2d51633b2e330ec6',1,'SVF::PersistentIncDFPTData::updateDFInFromOut()']]],
package/SVF-doxygen/html/html/search/all_15.js CHANGED
@@ -23,10 +23,10 @@ var searchData=
23
23
  ['valuedouble',['valuedouble',['../structcJSON.html#a4b21817d0fd2919901abadac73214e7f',1,'cJSON::valuedouble()'],['../cJSON_8cpp.html#a6ea693e884dae57fb36b03a8ba6cad27',1,'valuedouble(): cJSON.cpp']]],
24
24
  ['valueint',['valueint',['../structcJSON.html#a369cea49494eb5d4409d532a731a0fbf',1,'cJSON::valueint()'],['../cJSON_8cpp.html#a467a5974a6eae3b3059a89ba909c2a9c',1,'valueint(): cJSON.cpp']]],
25
25
  ['valuestring',['valuestring',['../structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1',1,'cJSON::valuestring()'],['../cJSON_8h.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.h'],['../cJSON_8cpp.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.cpp']]],
26
- ['valuetoedgemap',['ValueToEdgeMap',['../classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24',1,'SVF::IRGraph::ValueToEdgeMap()'],['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph::valueToEdgeMap()']]],
26
+ ['valuetoedgemap',['valueToEdgeMap',['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph::valueToEdgeMap()'],['../classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24',1,'SVF::IRGraph::ValueToEdgeMap()']]],
27
27
  ['valuetoidmapty',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e',1,'SVF::SymbolTableInfo']]],
28
28
  ['valvar',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF::ValVar'],['../classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb',1,'SVF::ValVar::ValVar()']]],
29
- ['var2labelmap',['var2LabelMap',['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt::var2LabelMap()'],['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt::Var2LabelMap()']]],
29
+ ['var2labelmap',['Var2LabelMap',['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt::Var2LabelMap()'],['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt::var2LabelMap()']]],
30
30
  ['var_5farray_5fobj',['VAR_ARRAY_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c',1,'SVF::ObjTypeInfo']]],
31
31
  ['var_5fstruct_5fobj',['VAR_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aaf98981bd15b41f543fd99d0c6222f08',1,'SVF::ObjTypeInfo']]],
32
32
  ['varargnode',['VarargNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf',1,'SVF::SVFVar']]],
@@ -36,7 +36,7 @@ var searchData=
36
36
  ['varargsyms',['varargSyms',['../classSVF_1_1SymbolTableInfo.html#ac449cd925dc05758c990179c0748e1d5',1,'SVF::SymbolTableInfo']]],
37
37
  ['varhasnewdfinpts',['varHasNewDFInPts',['../classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353',1,'SVF::MutableIncDFPTData::varHasNewDFInPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952',1,'SVF::PersistentIncDFPTData::varHasNewDFInPts()']]],
38
38
  ['varhasnewdfoutpts',['varHasNewDFOutPts',['../classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab',1,'SVF::MutableIncDFPTData::varHasNewDFOutPts()'],['../classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53',1,'SVF::PersistentIncDFPTData::varHasNewDFOutPts()']]],
39
- ['variableattribute',['variableAttribute',['../structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942',1,'SVF::GrammarBase::Symbol::variableAttribute()'],['../classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759',1,'SVF::GrammarBase::VariableAttribute()']]],
39
+ ['variableattribute',['VariableAttribute',['../classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759',1,'SVF::GrammarBase::VariableAttribute()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942',1,'SVF::GrammarBase::Symbol::variableAttribute()']]],
40
40
  ['variantfield',['variantField',['../classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757',1,'SVF::GepStmt']]],
41
41
  ['variantgep',['VariantGep',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a',1,'SVF::ConstraintEdge']]],
42
42
  ['variantgepcgedge',['VariantGepCGEdge',['../classSVF_1_1VariantGepCGEdge.html',1,'SVF::VariantGepCGEdge'],['../classSVF_1_1VariantGepCGEdge.html#abfea1a5cc983b1773b307c8dcd42dd02',1,'SVF::VariantGepCGEdge::VariantGepCGEdge()'],['../classSVF_1_1VariantGepCGEdge.html#a72e674854fa023f9634fc6c1b9c1af6a',1,'SVF::VariantGepCGEdge::VariantGepCGEdge(const VariantGepCGEdge &)'],['../classSVF_1_1VariantGepCGEdge.html#ac1aba938a28a9705625b4294c7d35bb6',1,'SVF::VariantGepCGEdge::VariantGepCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
package/SVF-doxygen/html/html/search/all_16.js CHANGED
@@ -5,7 +5,7 @@ var searchData=
5
5
  ['which',['which',['../cJSON_8h.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.h'],['../cJSON_8cpp.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.cpp']]],
6
6
  ['while',['while',['../cJSON_8cpp.html#a209b15238c5803bc547b2d77e02f29b4',1,'cJSON.cpp']]],
7
7
  ['withoverflowinst',['WithOverflowInst',['../namespaceSVF.html#a77a55960401110383dde69324277f67a',1,'SVF']]],
8
- ['word',['Word',['../classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c',1,'SVF::CoreBitVector::Word()'],['../structSVF_1_1SparseBitVectorElement.html#a5d43d980591d14d3a3d0782be034ed4f',1,'SVF::SparseBitVectorElement::word()']]],
8
+ ['word',['word',['../structSVF_1_1SparseBitVectorElement.html#a5d43d980591d14d3a3d0782be034ed4f',1,'SVF::SparseBitVectorElement::word()'],['../classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c',1,'SVF::CoreBitVector::Word()']]],
9
9
  ['wordit',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
10
10
  ['wordnumber',['WordNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
11
11
  ['words',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
package/SVF-doxygen/html/html/search/all_3.js CHANGED
@@ -412,7 +412,7 @@ var searchData=
412
412
  ['context',['context',['../classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535',1,'SVF::ContextCond::context()'],['../classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466',1,'SVF::CxtStmtDPItem::context()'],['../classSVF_1_1CxtDPItem.html#ab89e9f588054ad8a99d9af8e756c951b',1,'SVF::CxtDPItem::context()']]],
413
413
  ['context_5fleak',['CONTEXT_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da1524077f4425b7e2d6cc32917a02c356',1,'SVF::LeakChecker']]],
414
414
  ['contextcond',['ContextCond',['../classSVF_1_1ContextCond.html',1,'SVF::ContextCond'],['../classSVF_1_1ContextCond.html#a9b81bf11679645d32d50b91bdb6d2dc1',1,'SVF::ContextCond::ContextCond()'],['../classSVF_1_1ContextCond.html#a5f31275f74ff9eb5734481f36275c6d9',1,'SVF::ContextCond::ContextCond(const ContextCond &cond)'],['../classSVF_1_1ContextCond.html#a9ddc22484df27618c5095445f33b4cf1',1,'SVF::ContextCond::ContextCond(ContextCond &&cond) noexcept']]],
415
- ['contextdda',['ContextDDA',['../classSVF_1_1ContextDDA.html',1,'SVF::ContextDDA'],['../classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1',1,'SVF::DDAStat::contextDDA()'],['../classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05',1,'SVF::ContextDDA::ContextDDA()']]],
415
+ ['contextdda',['ContextDDA',['../classSVF_1_1ContextDDA.html',1,'SVF::ContextDDA'],['../classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05',1,'SVF::ContextDDA::ContextDDA()'],['../classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1',1,'SVF::DDAStat::contextDDA()']]],
416
416
  ['contextdda_2ecpp',['ContextDDA.cpp',['../ContextDDA_8cpp.html',1,'']]],
417
417
  ['contextdda_2eh',['ContextDDA.h',['../ContextDDA_8h.html',1,'']]],
418
418
  ['contextinsensitive',['ContextInsensitive',['../classSVF_1_1Options.html#ac3ad7d0cf734e867b91a081aad1faff2',1,'SVF::Options']]],
package/SVF-doxygen/html/html/search/all_5.js CHANGED
@@ -109,16 +109,6 @@ var searchData=
109
109
  ['exit',['exit',['../classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f',1,'SVF::RetPE']]],
110
110
  ['exitbb',['exitBB',['../classSVF_1_1SVFFunction.html#a2215730d8469cc3f4bf0c0f16b47a7fc',1,'SVF::SVFFunction']]],
111
111
  ['expandfiobjs',['expandFIObjs',['../classSVF_1_1BVDataPTAImpl.html#a798c84d5e861de2b61bcb1a86385f721',1,'SVF::BVDataPTAImpl::expandFIObjs(const PointsTo &pts, PointsTo &expandedPts)'],['../classSVF_1_1BVDataPTAImpl.html#aa6a7186152037452599406a74b05d0e1',1,'SVF::BVDataPTAImpl::expandFIObjs(const NodeBS &pts, NodeBS &expandedPts)'],['../classSVF_1_1CondPTAImpl.html#a87b48287d7edb97fc120200fe0e5218d',1,'SVF::CondPTAImpl::expandFIObjs()']]],
112
- ['ext_5faddr',['EXT_ADDR',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094aedaa8f975941f17692f993d8a8b6dd30',1,'SVF::ExtAPI']]],
113
- ['ext_5fcomplex',['EXT_COMPLEX',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094aa9e95e42adbdc4db3dd5e76785916154',1,'SVF::ExtAPI']]],
114
- ['ext_5fcopy',['EXT_COPY',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094aaaaeb3443da98c5132ebcf33617962de',1,'SVF::ExtAPI']]],
115
- ['ext_5fcopy_5fmn',['EXT_COPY_MN',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094acfb80bb18d5cc826c04a57517b9d723a',1,'SVF::ExtAPI']]],
116
- ['ext_5fcopy_5fn',['EXT_COPY_N',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094a16fe812578afb8f018b6dd503c7bad49',1,'SVF::ExtAPI']]],
117
- ['ext_5ffunptr',['EXT_FUNPTR',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094ab6db72191d9b7d667fb6f7bd5b200d24',1,'SVF::ExtAPI']]],
118
- ['ext_5fgep',['EXT_GEP',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094acc6ac00f0ce70874f3a624927b6257fa',1,'SVF::ExtAPI']]],
119
- ['ext_5fload',['EXT_LOAD',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094ab21117e18dd413220f4a331629d32bd8',1,'SVF::ExtAPI']]],
120
- ['ext_5fother',['EXT_OTHER',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094a894fdba1a423fe49fa357f87ea69cf69',1,'SVF::ExtAPI']]],
121
- ['ext_5fstore',['EXT_STORE',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094a501a7dadb95aa1a97b8fe111c7838900',1,'SVF::ExtAPI']]],
122
112
  ['extapi',['ExtAPI',['../classSVF_1_1ExtAPI.html',1,'SVF::ExtAPI'],['../classSVF_1_1ExtAPI.html#ab793be4b6f8f0a025599e76f5df2a4eb',1,'SVF::ExtAPI::ExtAPI()']]],
123
113
  ['extapi_2ecpp',['ExtAPI.cpp',['../ExtAPI_8cpp.html',1,'']]],
124
114
  ['extapi_2eh',['ExtAPI.h',['../ExtAPI_8h.html',1,'']]],
@@ -129,7 +119,6 @@ var searchData=
129
119
  ['extendto',['extendTo',['../classSVF_1_1CoreBitVector.html#a73e5b15854f4f56f50992ed0d0cc7349',1,'SVF::CoreBitVector']]],
130
120
  ['externalpag',['ExternalPAG',['../classSVF_1_1SVFIR.html#a294bb5e174030882a385c790ab835bb3',1,'SVF::SVFIR']]],
131
121
  ['externmap',['externMap',['../classSVF_1_1CFLGraphBuilder.html#a91f1f0e8abc8d781eaf8b1a4f025c18e',1,'SVF::CFLGraphBuilder']]],
132
- ['extf_5ft',['extf_t',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094',1,'SVF::ExtAPI']]],
133
122
  ['extop',['extOp',['../classSVF_1_1ExtAPI.html#a552feab663622681db231d5b48f00d75',1,'SVF::ExtAPI']]],
134
123
  ['extractattributestrfromsymbolstr',['extractAttributeStrFromSymbolStr',['../classSVF_1_1GrammarBase.html#a9f56cebea336079e35f5f3a288eb356f',1,'SVF::GrammarBase']]],
135
124
  ['extractelementinst',['ExtractElementInst',['../namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356',1,'SVF']]],
package/SVF-doxygen/html/html/search/all_6.js CHANGED
@@ -159,7 +159,7 @@ var searchData=
159
159
  ['funretmap',['funRetMap',['../classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5',1,'SVF::SVFIR']]],
160
160
  ['funset',['FunSet',['../classSVF_1_1LockAnalysis.html#a561bb2fbfbeee9117efad7c7c70871d8',1,'SVF::LockAnalysis::FunSet()'],['../classSVF_1_1MHP.html#a0cacd62ca23e5f025dba503b0537c15a',1,'SVF::MHP::FunSet()'],['../classSVF_1_1PCG.html#a0dea1e31042fa960f7a259949e142bcf',1,'SVF::PCG::FunSet()'],['../classSVF_1_1TCT.html#a3123719a96acbefe0e9944c68ba44185',1,'SVF::TCT::FunSet()']]],
161
161
  ['funtoargslistmap',['FunToArgsListMap',['../classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63',1,'SVF::SVFIR']]],
162
- ['funtocallgraphnodemap',['FunToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14',1,'SVF::PTACallGraph::FunToCallGraphNodeMap()'],['../classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367',1,'SVF::PTACallGraph::funToCallGraphNodeMap()']]],
162
+ ['funtocallgraphnodemap',['funToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367',1,'SVF::PTACallGraph::funToCallGraphNodeMap()'],['../classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14',1,'SVF::PTACallGraph::FunToCallGraphNodeMap()']]],
163
163
  ['funtodtmap',['funToDTMap',['../classSVF_1_1PTACFInfoBuilder.html#a99580fd5a2cc7185d26198c53efe422d',1,'SVF::PTACFInfoBuilder::funToDTMap()'],['../classSVF_1_1PTACFInfoBuilder.html#a69109de5fddf4042037bc6d66563a9e5',1,'SVF::PTACFInfoBuilder::FunToDTMap()']]],
164
164
  ['funtoentrychisetmap',['funToEntryChiSetMap',['../classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec',1,'SVF::MemSSA::funToEntryChiSetMap()'],['../classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca',1,'SVF::MemSSA::FunToEntryChiSetMap()']]],
165
165
  ['funtoexitbbsmap',['funToExitBBsMap',['../classSVF_1_1SaberCondAllocator.html#ad1620cc7482aeb464b53cfce64e17cc3',1,'SVF::SaberCondAllocator::funToExitBBsMap()'],['../classSVF_1_1SaberCondAllocator.html#a37b7a293dcd12bd13639c55482e856e1',1,'SVF::SaberCondAllocator::FunToExitBBsMap()']]],
package/SVF-doxygen/html/html/search/all_7.js CHANGED
@@ -83,7 +83,7 @@ var searchData=
83
83
  ['get_5fnumeral_5fint64',['get_numeral_int64',['../classSVF_1_1Z3Expr.html#ad94bbaa31e6df4e8b8238d69b8f4ae06',1,'SVF::Z3Expr']]],
84
84
  ['get_5fobject_5fitem',['get_object_item',['../cJSON_8cpp.html#a768303890e9be802d51b0e0a110302f4',1,'cJSON.cpp']]],
85
85
  ['get_5fopargs',['get_opArgs',['../classSVF_1_1ExtAPI.html#a906a3728bbcfb7a43ac0938ffcb3df23',1,'SVF::ExtAPI']]],
86
- ['get_5fopname',['get_opName',['../classSVF_1_1ExtAPI.html#a1832c19de2fd7ff01793e75a051d3f24',1,'SVF::ExtAPI']]],
86
+ ['get_5fopname',['get_opName',['../classSVF_1_1ExtAPI.html#a1930d622cd47f7fd875e1964b65ec506',1,'SVF::ExtAPI']]],
87
87
  ['get_5fsort',['get_sort',['../classSVF_1_1Z3Expr.html#a8b2b5fa74704d776a2cd415b599a1393',1,'SVF::Z3Expr']]],
88
88
  ['get_5ftype',['get_type',['../classSVF_1_1ExtAPI.html#a411a034f872afcf62ce5456e408ccf41',1,'SVF::ExtAPI::get_type(const SVF::SVFFunction *callee)'],['../classSVF_1_1ExtAPI.html#accdb0b7f3ae8d4028bd09f3d861aa2be',1,'SVF::ExtAPI::get_type(const std::string &funName)']]],
89
89
  ['getabstractstate',['getAbstractState',['../classSVF_1_1SymState.html#a10ac726895d843b2d8e75c735a409af8',1,'SVF::SymState']]],
@@ -103,7 +103,7 @@ var searchData=
103
103
  ['getaliasmemregions',['getAliasMemRegions',['../classSVF_1_1MRGenerator.html#ad740188222439c089907fa6c6c951f02',1,'SVF::MRGenerator']]],
104
104
  ['getallcallsitesinvokingcallee',['getAllCallSitesInvokingCallee',['../classSVF_1_1PTACallGraph.html#a80070e2f50ed1036d334250841215ca8',1,'SVF::PTACallGraph']]],
105
105
  ['getallfieldsobjvars',['getAllFieldsObjVars',['../classSVF_1_1ConstraintGraph.html#afd200919cf8742bb62bb0bde279a558a',1,'SVF::ConstraintGraph::getAllFieldsObjVars()'],['../classSVF_1_1PointerAnalysis.html#a5dddd53b4ca9d7cc23d88ed9f3de9fde',1,'SVF::PointerAnalysis::getAllFieldsObjVars()'],['../classSVF_1_1SVFIR.html#a7276e82b4648ed0e1b3d1b8b37b24089',1,'SVF::SVFIR::getAllFieldsObjVars(const MemObj *obj)'],['../classSVF_1_1SVFIR.html#a942072d153928e478c76e4b7f1fafa29',1,'SVF::SVFIR::getAllFieldsObjVars(NodeID id)']]],
106
- ['getalloperations',['getAllOperations',['../classSVF_1_1ExtAPI.html#aaca305f9ab8ede457a525379235a58f9',1,'SVF::ExtAPI']]],
106
+ ['getalloperations',['getAllOperations',['../classSVF_1_1ExtAPI.html#a9b15082f3c118da731705bba3924507d',1,'SVF::ExtAPI']]],
107
107
  ['getallpts',['getAllPts',['../classSVF_1_1PTData.html#adbe2b955f119871b54dc502de84b94c4',1,'SVF::PTData::getAllPts()'],['../classSVF_1_1MutablePTData.html#ad20254ace6d9976da2099413f5790458',1,'SVF::MutablePTData::getAllPts()'],['../classSVF_1_1MutableDiffPTData.html#adb89579b46a478f6d0e30e790838dca9',1,'SVF::MutableDiffPTData::getAllPts()'],['../classSVF_1_1MutableDFPTData.html#ac9120fbb056e23cdf84646a37d809a8d',1,'SVF::MutableDFPTData::getAllPts()'],['../classSVF_1_1MutableVersionedPTData.html#a6cac338e74f869d0e708c7e2b356b5d7',1,'SVF::MutableVersionedPTData::getAllPts()'],['../classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3',1,'SVF::PersistentPointsToCache::getAllPts()'],['../classSVF_1_1PersistentPTData.html#aadba2724dfe3cb745d9e9d73b8c3de67',1,'SVF::PersistentPTData::getAllPts()'],['../classSVF_1_1PersistentDiffPTData.html#a3bad0126e25b0a7134e8ef25869bd40e',1,'SVF::PersistentDiffPTData::getAllPts()'],['../classSVF_1_1PersistentDFPTData.html#a98f84bffeba6bd7dc140f1d5b63ff368',1,'SVF::PersistentDFPTData::getAllPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a6c9ad3635f73b805289cc1f14cdcf09a',1,'SVF::PersistentVersionedPTData::getAllPts()']]],
108
108
  ['getallvalidptrs',['getAllValidPtrs',['../classSVF_1_1PointerAnalysis.html#a60b111647e000cc983aa52513f90afbc',1,'SVF::PointerAnalysis::getAllValidPtrs()'],['../classSVF_1_1SVFIR.html#a7990c72dd6d645d713f19ed973841484',1,'SVF::SVFIR::getAllValidPtrs()']]],
109
109
  ['getanalysisty',['getAnalysisTy',['../classSVF_1_1PointerAnalysis.html#ac23f71c1307cda9cba44acc40059f0a3',1,'SVF::PointerAnalysis']]],
@@ -112,7 +112,6 @@ var searchData=
112
112
  ['getarg',['getArg',['../classSVF_1_1SVFFunction.html#a59b01d4e4d83db08e9df3e165e37c29a',1,'SVF::SVFFunction']]],
113
113
  ['getargoperand',['getArgOperand',['../classSVF_1_1CallSite.html#a5cd372d9fab846228fb0ee746001309a',1,'SVF::CallSite']]],
114
114
  ['getargpos',['getArgPos',['../classSVF_1_1ExtAPI.html#a848ec5976f48f84274bb6a295160fb04',1,'SVF::ExtAPI']]],
115
- ['getargs',['getArgs',['../classSVF_1_1ExtAPI_1_1Operation.html#a836c35b94a827e29cd2e24982f5bc307',1,'SVF::ExtAPI::Operation']]],
116
115
  ['getargsofuncalledfunction',['getArgsOfUncalledFunction',['../classSVF_1_1SVFModule.html#a3f69d3542809cd6c2ddf579dd1505e36',1,'SVF::SVFModule']]],
117
116
  ['getargument',['getArgument',['../classSVF_1_1CallSite.html#a26a594d36bbb5b77e7085502812d9ca2',1,'SVF::CallSite']]],
118
117
  ['getattributedkind',['getAttributedKind',['../classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275',1,'SVF::GrammarBase']]],
@@ -534,7 +533,9 @@ var searchData=
534
533
  ['getoffsetvaluevec',['getOffsetValueVec',['../classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c',1,'SVF::LocationSet::getOffsetValueVec()'],['../classSVF_1_1GepStmt.html#a37811e62495493454405cb33e4a2b904',1,'SVF::GepStmt::getOffsetValueVec()']]],
535
534
  ['getopcode',['getOpcode',['../classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f',1,'SVF::BinaryOPStmt::getOpcode()'],['../classSVF_1_1UnaryOPStmt.html#af29723d5e777b10d53d48263a786f5b6',1,'SVF::UnaryOPStmt::getOpcode()']]],
536
535
  ['getoperand',['getOperand',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31',1,'llvm::generic_bridge_gep_type_iterator']]],
537
- ['getoperation',['getOperation',['../classSVF_1_1ExtAPI_1_1Operation.html#a9c01fa3f654f55000b8adcab05f2e26f',1,'SVF::ExtAPI::Operation']]],
536
+ ['getoperands',['getOperands',['../classSVF_1_1ExtAPI_1_1Operation.html#aca70af83508022bb19bcefaf007a4467',1,'SVF::ExtAPI::Operation']]],
537
+ ['getoperandstr',['getOperandStr',['../classSVF_1_1ExtAPI_1_1Operation.html#ae2b5f412aae6d3aa1c769579b377636a',1,'SVF::ExtAPI::Operation']]],
538
+ ['getoperator',['getOperator',['../classSVF_1_1ExtAPI_1_1Operation.html#a2344036fc095c47072ee4c1fb4955745',1,'SVF::ExtAPI::Operation']]],
538
539
  ['getopicfgnode',['getOpICFGNode',['../classSVF_1_1PhiStmt.html#a0b97394bc1946c0185d2c11fbc2181f4',1,'SVF::PhiStmt']]],
539
540
  ['getopincomingbb',['getOpIncomingBB',['../classSVF_1_1IntraPHIVFGNode.html#a3a6ef9d2b10a6f2f1ac1b25590f56a70',1,'SVF::IntraPHIVFGNode']]],
540
541
  ['getopndvars',['getOpndVars',['../classSVF_1_1MultiOpndStmt.html#a0441f2646fed28830439c41a0704ed4b',1,'SVF::MultiOpndStmt']]],
package/SVF-doxygen/html/html/search/all_9.js CHANGED
@@ -16,7 +16,7 @@ var searchData=
16
16
  ['icfgnode',['ICFGNode',['../classSVF_1_1ICFGNode.html',1,'SVF::ICFGNode'],['../classSVF_1_1ICFGNode.html#ae6fe836e269ac36f14b2d2b1499a11e6',1,'SVF::ICFGNode::ICFGNode()'],['../classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8',1,'SVF::VFGNode::icfgNode()'],['../classSVF_1_1SVFStmt.html#a50046a1500ec6e2819ef55162e70cc71',1,'SVF::SVFStmt::icfgNode()']]],
17
17
  ['icfgnode_2eh',['ICFGNode.h',['../ICFGNode_8h.html',1,'']]],
18
18
  ['icfgnode2ptasvfstmtsmap',['icfgNode2PTASVFStmtsMap',['../classSVF_1_1SVFIR.html#aaae756185bbd5b7175e96f8928a989c2',1,'SVF::SVFIR']]],
19
- ['icfgnode2svfstmtsmap',['icfgNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7',1,'SVF::SVFIR::icfgNode2SVFStmtsMap()'],['../classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0',1,'SVF::SVFIR::ICFGNode2SVFStmtsMap()']]],
19
+ ['icfgnode2svfstmtsmap',['ICFGNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0',1,'SVF::SVFIR::ICFGNode2SVFStmtsMap()'],['../classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7',1,'SVF::SVFIR::icfgNode2SVFStmtsMap()']]],
20
20
  ['icfgnodeidtonodemapty',['ICFGNodeIDToNodeMapTy',['../classSVF_1_1ICFG.html#af1fe5708c6f67fd87fa1edaa6c73ff5d',1,'SVF::ICFG']]],
21
21
  ['icfgnodek',['ICFGNodeK',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376',1,'SVF::ICFGNode']]],
22
22
  ['icfgnodes',['icfgNodes',['../classSVF_1_1SVFLoop.html#a062e4b336b9b8315a9fc1107c9cab840',1,'SVF::SVFLoop']]],
@@ -118,7 +118,7 @@ var searchData=
118
118
  ['inserttocflgrammar',['insertToCFLGrammar',['../classSVF_1_1CFGNormalizer.html#ad08f183a1b8ca69201f965f224e92950',1,'SVF::CFGNormalizer']]],
119
119
  ['insertvalueinst',['InsertValueInst',['../namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24',1,'SVF']]],
120
120
  ['inst',['inst',['../classSVF_1_1IntraICFGNode.html#ac160eae9228d5b6627a6ca74da0b03e4',1,'SVF::IntraICFGNode::inst()'],['../classSVF_1_1LoadMU.html#a7bbac3ff5455aa1340f348c7cb239c46',1,'SVF::LoadMU::inst()'],['../classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2',1,'SVF::StoreCHI::inst()'],['../classSVF_1_1CxtStmt.html#a237b8738885e57d5a9b984221f611567',1,'SVF::CxtStmt::inst()']]],
121
- ['inst2labelmap',['inst2LabelMap',['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt::inst2LabelMap()'],['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt::Inst2LabelMap()']]],
121
+ ['inst2labelmap',['Inst2LabelMap',['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt::Inst2LabelMap()'],['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt::inst2LabelMap()']]],
122
122
  ['inst_5fiterator',['inst_iterator',['../namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b',1,'SVF']]],
123
123
  ['instance',['INSTANCE',['../classSVF_1_1DCHEdge.html#a48f01c4a02c4e278a1ab70b16efdef4ba3e807b4caeb170c5cd1e855ac1a92d77',1,'SVF::DCHEdge']]],
124
124
  ['instantce',['INSTANTCE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676a8721eaefd547d6ba5229463d644815f4',1,'SVF::CHEdge']]],
package/SVF-doxygen/html/html/search/all_c.js CHANGED
@@ -28,10 +28,10 @@ var searchData=
28
28
  ['llvmloopanalysis_2eh',['LLVMLoopAnalysis.h',['../LLVMLoopAnalysis_8h.html',1,'']]],
29
29
  ['llvmmodule_2ecpp',['LLVMModule.cpp',['../LLVMModule_8cpp.html',1,'']]],
30
30
  ['llvmmodule_2eh',['LLVMModule.h',['../LLVMModule_8h.html',1,'']]],
31
- ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::llvmModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet::LLVMModuleSet()']]],
31
+ ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet::LLVMModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::llvmModuleSet()']]],
32
32
  ['llvmutil_2ecpp',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
33
33
  ['llvmutil_2eh',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
34
- ['load',['load',['../classSVF_1_1ExeState.html#a80bd7f3746198459bbcb59274cebc013',1,'SVF::ExeState::load(const Z3Expr &loc)'],['../classSVF_1_1ExeState.html#a8b58d74bd718d66cde9ad7e868d6137a',1,'SVF::ExeState::load(u32_t objId)'],['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2',1,'SVF::ConstraintEdge::Load()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80',1,'SVF::VFGNode::Load()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5',1,'SVF::SVFStmt::Load()'],['../CFLGrammar_8txt.html#af3f0b3f464e928b7fc87347dc041501d',1,'Load(): CFLGrammar.txt']]],
34
+ ['load',['Load',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2',1,'SVF::ConstraintEdge::Load()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80',1,'SVF::VFGNode::Load()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5',1,'SVF::SVFStmt::Load()'],['../classSVF_1_1ExeState.html#a80bd7f3746198459bbcb59274cebc013',1,'SVF::ExeState::load(const Z3Expr &loc)'],['../classSVF_1_1ExeState.html#a8b58d74bd718d66cde9ad7e868d6137a',1,'SVF::ExeState::load(u32_t objId)'],['../CFLGrammar_8txt.html#af3f0b3f464e928b7fc87347dc041501d',1,'Load(): CFLGrammar.txt']]],
35
35
  ['load2musetmap',['load2MuSetMap',['../classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6',1,'SVF::MemSSA']]],
36
36
  ['loadbar',['Loadbar',['../CFLGrammar_8txt.html#ac9e2ada624dc7eee357e865e0d89c84a',1,'CFLGrammar.txt']]],
37
37
  ['loadcgedge',['LoadCGEdge',['../classSVF_1_1LoadCGEdge.html',1,'SVF::LoadCGEdge'],['../classSVF_1_1LoadCGEdge.html#a74ccf27a1e90fb8f47e9cecf7bd38cf7',1,'SVF::LoadCGEdge::LoadCGEdge()'],['../classSVF_1_1LoadCGEdge.html#a7dd1e2dd057e0985fd837222f8042019',1,'SVF::LoadCGEdge::LoadCGEdge(const LoadCGEdge &)'],['../classSVF_1_1LoadCGEdge.html#a36a21551732bbe3f7ff4babc0804bff2',1,'SVF::LoadCGEdge::LoadCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
@@ -40,7 +40,7 @@ var searchData=
40
40
  ['loadinst',['LoadInst',['../namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0',1,'SVF']]],
41
41
  ['loadmodules',['loadModules',['../classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789',1,'SVF::LLVMModuleSet']]],
42
42
  ['loadmssamu',['LoadMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019',1,'SVF::MSSAMU']]],
43
- ['loadmu',['LoadMU',['../classSVF_1_1LoadMU.html',1,'SVF::LoadMU< Cond >'],['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()'],['../classSVF_1_1LoadMU.html#aaf916feaa76c3eaf96dcff576ef366ca',1,'SVF::LoadMU::LoadMU()']]],
43
+ ['loadmu',['LoadMU',['../classSVF_1_1LoadMU.html',1,'SVF::LoadMU< Cond >'],['../classSVF_1_1LoadMU.html#aaf916feaa76c3eaf96dcff576ef366ca',1,'SVF::LoadMU::LoadMU()'],['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()']]],
44
44
  ['loadoutedges',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
45
45
  ['loadset',['loadset',['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator::loadset()'],['../classSVF_1_1MTA.html#a80356495b6c45bac59dc15fd7a99730b',1,'SVF::MTA::LoadSet()']]],
46
46
  ['loadsrcnodes',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
package/SVF-doxygen/html/html/search/all_e.js CHANGED
@@ -23,7 +23,7 @@ var searchData=
23
23
  ['noalias',['NoAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239',1,'SVF']]],
24
24
  ['noaliasscopedeclinst',['NoAliasScopeDeclInst',['../namespaceSVF.html#a2f7d8bb0a9f60fe855dd82e7b1a6a090',1,'SVF']]],
25
25
  ['noalloc',['noalloc',['../structprintbuffer.html#aa2a7966b71dc3535e4e3789c33ec5368',1,'printbuffer::noalloc()'],['../cJSON_8cpp.html#a2212121102d55231315839f800aa1350',1,'noalloc(): cJSON.cpp']]],
26
- ['node',['Node',['../classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1',1,'SVF::List::Node()'],['../classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6',1,'SVF::SCCDetection::Node()'],['../classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4',1,'SVF::WPASolver::Node()'],['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode::node()']]],
26
+ ['node',['node',['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode::node()'],['../classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1',1,'SVF::List::Node()'],['../classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6',1,'SVF::SCCDetection::Node()'],['../classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4',1,'SVF::WPASolver::Node()']]],
27
27
  ['node_5findex',['Node_Index',['../classSVF_1_1SCCDetection.html#a5fa111bb849052b8a753194cd0cd5e0c',1,'SVF::SCCDetection::Node_Index()'],['../classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0',1,'SVF::WPASolver::Node_Index()']]],
28
28
  ['node_5fiterator',['node_iterator',['../classSVF_1_1SrcSnkSolver.html#a14a76b28f06e167bf66e15b336570cd3',1,'SVF::SrcSnkSolver::node_iterator()'],['../classSVF_1_1GraphReachSolver.html#a4e5126b0e97e490ce65804e2017f0084',1,'SVF::GraphReachSolver::node_iterator()'],['../classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8',1,'SVF::SCCDetection::node_iterator()']]],
29
29
  ['nodeallocstrat',['NodeAllocStrat',['../classSVF_1_1Options.html#a2537be131132830c63d408133619a065',1,'SVF::Options']]],
@@ -95,7 +95,7 @@ var searchData=
95
95
  ['numgtintregions',['NumGtIntRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad7cb36a1f0f67864fb8290e9dfd7b639',1,'SVF::NodeIDAllocator::Clusterer']]],
96
96
  ['numnodes',['numNodes',['../classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62',1,'SVF::NodeIDAllocator']]],
97
97
  ['numnontrivialregionobjects',['NumNonTrivialRegionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1bf9461c717e8dabaee6a57f3d76d61f',1,'SVF::NodeIDAllocator::Clusterer']]],
98
- ['numobjects',['numObjects',['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()']]],
98
+ ['numobjects',['NumObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()'],['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()']]],
99
99
  ['numofactualin',['numOfActualIn',['../classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569',1,'SVF::SVFGStat']]],
100
100
  ['numofactualout',['numOfActualOut',['../classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505',1,'SVF::SVFGStat']]],
101
101
  ['numofactualparam',['numOfActualParam',['../classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76',1,'SVF::SVFGStat']]],
@@ -158,7 +158,7 @@ var searchData=
158
158
  ['numofmhpld',['numOfMHPLd',['../classSVF_1_1MTAAnnotator.html#a29e0123620ab072fddc45331c6aa46e8',1,'SVF::MTAAnnotator']]],
159
159
  ['numofmhpqueries',['numOfMHPQueries',['../classSVF_1_1MHP.html#ab8bd382e0c70b0feb2a291ecc4043106',1,'SVF::MHP']]],
160
160
  ['numofmhpst',['numOfMHPSt',['../classSVF_1_1MTAAnnotator.html#a3a53e90b4f361d1298983bc89795b3d2',1,'SVF::MTAAnnotator']]],
161
- ['numofmssaphi',['NumOfMSSAPhi',['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()'],['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()']]],
161
+ ['numofmssaphi',['numOfMSSAPhi',['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()'],['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()']]],
162
162
  ['numofnewsvfgedges',['numOfNewSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a019a4597074fdad6e51d936ed4ead0d9',1,'SVF::MTASVFGBuilder']]],
163
163
  ['numofnodes',['numOfNodes',['../classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788',1,'SVF::ICFGStat::numOfNodes()'],['../classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302',1,'SVF::SVFGStat::numOfNodes()']]],
164
164
  ['numofnodesincycles',['NumOfNodesInCycles',['../classSVF_1_1PTAStat.html#aea3e95097b3b9d326bef0d36f17e51a5',1,'SVF::PTAStat']]],
@@ -196,7 +196,7 @@ var searchData=
196
196
  ['numofretnodes',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
197
197
  ['numofreturns',['NumOfReturns',['../classSVF_1_1PTAStat.html#a0a552611fcd20e1310290bdae404a514',1,'SVF::PTAStat']]],
198
198
  ['numofscc',['numOfSCC',['../classSVF_1_1FlowSensitive.html#a0ac955bf06261eec1c6bb78ec99652e3',1,'SVF::FlowSensitive']]],
199
- ['numofsccdetection',['NumOfSCCDetection',['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()'],['../classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968',1,'SVF::AndersenBase::numOfSCCDetection()']]],
199
+ ['numofsccdetection',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968',1,'SVF::AndersenBase::numOfSCCDetection()'],['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()']]],
200
200
  ['numofsfr',['NumOfSfr',['../classSVF_1_1PTAStat.html#a07a1db62ddba50bda787b2985ef8d135',1,'SVF::PTAStat']]],
201
201
  ['numofsfrs',['numOfSfrs',['../classSVF_1_1AndersenBase.html#a25b00d9ca71cbdd27530fc5d0dc84ee5',1,'SVF::AndersenBase']]],
202
202
  ['numofstackobjs',['NumOfStackObjs',['../classSVF_1_1PTAStat.html#ae05503909688a17dc1f282d1d029d24e',1,'SVF::PTAStat']]],
package/SVF-doxygen/html/html/search/all_f.js CHANGED
@@ -18,10 +18,12 @@ var searchData=
18
18
  ['ontheflycallgraphsolve',['onTheFlyCallGraphSolve',['../classSVF_1_1CFLAlias.html#a25b38896aef06dad19532f7678291b37',1,'SVF::CFLAlias::onTheFlyCallGraphSolve()'],['../classSVF_1_1BVDataPTAImpl.html#a9830d4676fd424b633f8e4d918734296',1,'SVF::BVDataPTAImpl::onTheFlyCallGraphSolve()']]],
19
19
  ['ontheflyiterbudgetforstat',['OnTheFlyIterBudgetForStat',['../classSVF_1_1PointerAnalysis.html#afc320fbf269404fe128e69c98e6f9cac',1,'SVF::PointerAnalysis']]],
20
20
  ['oobresetvisited',['OOBResetVisited',['../classSVF_1_1DDAVFSolver.html#ab60c701f1881d88aa4440991fb972638',1,'SVF::DDAVFSolver']]],
21
- ['op_5fpair',['op_pair',['../classSVF_1_1ExtAPI.html#a495b6db60a6266b83cf511965a57f6a3',1,'SVF::ExtAPI']]],
21
+ ['op',['op',['../classSVF_1_1ExtAPI_1_1Operation.html#a1e8979a53cf1edb5df00a5f28b6c19e9',1,'SVF::ExtAPI::Operation']]],
22
22
  ['opcache',['OpCache',['../classSVF_1_1PersistentPointsToCache.html#a896bab5039f4bf2d0da71045e2c63ad7',1,'SVF::PersistentPointsToCache']]],
23
23
  ['opcode',['opcode',['../classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a',1,'SVF::BinaryOPStmt::opcode()'],['../classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6',1,'SVF::UnaryOPStmt::opcode()']]],
24
- ['operation',['Operation',['../classSVF_1_1ExtAPI_1_1Operation.html',1,'SVF::ExtAPI::Operation'],['../classSVF_1_1ExtAPI_1_1Operation.html#ad5b7fd4408d5d33e2963008d30dcbdc9',1,'SVF::ExtAPI::Operation::operation()'],['../classSVF_1_1ExtAPI_1_1Operation.html#a453f37464f5c6261e22e845948f36c94',1,'SVF::ExtAPI::Operation::Operation()'],['../classSVF_1_1ExtAPI_1_1Operation.html#a4faa2c9e9e1bb86ceb1ffeb0621134cc',1,'SVF::ExtAPI::Operation::Operation(std::string op, std::vector< std::string > args)']]],
24
+ ['operands',['operands',['../classSVF_1_1ExtAPI_1_1Operation.html#ae3539c507b6284b849c136418507e72b',1,'SVF::ExtAPI::Operation']]],
25
+ ['operandstr',['operandStr',['../classSVF_1_1ExtAPI_1_1Operation.html#a56d03123021f1f628361a4080fa573ce',1,'SVF::ExtAPI::Operation']]],
26
+ ['operation',['Operation',['../classSVF_1_1ExtAPI_1_1Operation.html',1,'SVF::ExtAPI::Operation'],['../classSVF_1_1ExtAPI_1_1Operation.html#a453f37464f5c6261e22e845948f36c94',1,'SVF::ExtAPI::Operation::Operation()'],['../classSVF_1_1ExtAPI_1_1Operation.html#a6fe4cc69b9181548940cbc67f7b6b315',1,'SVF::ExtAPI::Operation::Operation(std::string opn, std::vector< std::string > varstr)']]],
25
27
  ['operator_20_26',['operator &',['../classSVF_1_1Z3Expr.html#a73d51389a359eff6654df3c1ee24834c',1,'SVF::Z3Expr::operator &()'],['../namespaceSVF.html#aaa21ff095e66a18937f29246e213f69d',1,'SVF::operator &(const PointsTo &lhs, const PointsTo &rhs)'],['../namespaceSVF.html#a47b11c4e305a8a1e2dc387c2f9d4617e',1,'SVF::operator &(const SparseBitVector< ElementSize > &LHS, const SparseBitVector< ElementSize > &RHS)'],['../namespaceSVF.html#aaa21ff095e66a18937f29246e213f69d',1,'SVF::operator &(const PointsTo &lhs, const PointsTo &rhs)']]],
26
28
  ['operator_20_26_26',['operator &&',['../classSVF_1_1Z3Expr.html#af8529f1d313f1e702adc76612f9d86ad',1,'SVF::Z3Expr']]],
27
29
  ['operator_20_26_3d',['operator &=',['../classSVF_1_1CondStdSet.html#abb97324d865818f0a51992ee86d1c5ad',1,'SVF::CondStdSet::operator &=()'],['../classSVF_1_1PointsTo.html#a164aced0d6a19dd7ba8124ec2e77674c',1,'SVF::PointsTo::operator &=()'],['../classSVF_1_1CoreBitVector.html#ae84257a1544b94c9abf5c8d0f6cfaec9',1,'SVF::CoreBitVector::operator &=()'],['../classSVF_1_1SparseBitVector.html#a1f7e6424f8bfc68589a9947b26e0b62f',1,'SVF::SparseBitVector::operator &=()']]],
@@ -64,7 +66,7 @@ var searchData=
64
66
  ['opver',['opVer',['../classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757',1,'SVF::MSSACHI']]],
65
67
  ['opverbegin',['opVerBegin',['../classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a',1,'SVF::MSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#aff4e88ef6569d3c4f29b532d610cd2b9',1,'SVF::IntraMSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904',1,'SVF::CmpVFGNode::opVerBegin()'],['../classSVF_1_1BinaryOPVFGNode.html#adaff45c46c4cc8158bd3147d304deab5',1,'SVF::BinaryOPVFGNode::opVerBegin()'],['../classSVF_1_1UnaryOPVFGNode.html#ab63ddaa05181f2c60ca7a001001a908d',1,'SVF::UnaryOPVFGNode::opVerBegin()'],['../classSVF_1_1PHIVFGNode.html#a2e00f6d582aa4ac9aa116cc6d5c79369',1,'SVF::PHIVFGNode::opVerBegin()'],['../classSVF_1_1MSSAPHI.html#a940f9afa26bf54c7175276ea27003c2f',1,'SVF::MSSAPHI::opVerBegin()']]],
66
68
  ['opverend',['opVerEnd',['../classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf',1,'SVF::MSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a5e78faceb497b0f3cb6f8f1a9fc4f799',1,'SVF::IntraMSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c',1,'SVF::CmpVFGNode::opVerEnd()'],['../classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4',1,'SVF::BinaryOPVFGNode::opVerEnd()'],['../classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c',1,'SVF::UnaryOPVFGNode::opVerEnd()'],['../classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20',1,'SVF::PHIVFGNode::opVerEnd()'],['../classSVF_1_1MultiOpndStmt.html#ad53097d07487d564e7d13f9d7d9ab10c',1,'SVF::MultiOpndStmt::opVerEnd()'],['../classSVF_1_1MSSAPHI.html#a2a49ad9d2eedf1dea98d725b13878d88',1,'SVF::MSSAPHI::opVerEnd()']]],
67
- ['opvers',['opVers',['../classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139',1,'SVF::MSSAPHISVFGNode::opVers()'],['../classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c',1,'SVF::CmpVFGNode::opVers()'],['../classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc',1,'SVF::BinaryOPVFGNode::opVers()'],['../classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1',1,'SVF::UnaryOPVFGNode::opVers()'],['../classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca',1,'SVF::PHIVFGNode::opVers()'],['../classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271',1,'SVF::MSSAPHI::opVers()'],['../classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb',1,'SVF::MSSAPHISVFGNode::OPVers()'],['../classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22',1,'SVF::CmpVFGNode::OPVers()'],['../classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990',1,'SVF::BinaryOPVFGNode::OPVers()'],['../classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41',1,'SVF::UnaryOPVFGNode::OPVers()'],['../classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c',1,'SVF::PHIVFGNode::OPVers()'],['../classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba',1,'SVF::MSSAPHI::OPVers()']]],
69
+ ['opvers',['OPVers',['../classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb',1,'SVF::MSSAPHISVFGNode::OPVers()'],['../classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22',1,'SVF::CmpVFGNode::OPVers()'],['../classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990',1,'SVF::BinaryOPVFGNode::OPVers()'],['../classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41',1,'SVF::UnaryOPVFGNode::OPVers()'],['../classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c',1,'SVF::PHIVFGNode::OPVers()'],['../classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba',1,'SVF::MSSAPHI::OPVers()'],['../classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139',1,'SVF::MSSAPHISVFGNode::opVers()'],['../classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c',1,'SVF::CmpVFGNode::opVers()'],['../classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc',1,'SVF::BinaryOPVFGNode::opVers()'],['../classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1',1,'SVF::UnaryOPVFGNode::opVers()'],['../classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca',1,'SVF::PHIVFGNode::opVers()'],['../classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271',1,'SVF::MSSAPHI::opVers()']]],
68
70
  ['or',['OR',['../classSVF_1_1Z3Expr.html#ac063ed06c3495b790c02fe57c781b34e',1,'SVF::Z3Expr']]],
69
71
  ['orderedmap',['OrderedMap',['../namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6',1,'SVF']]],
70
72
  ['orderednodeset',['OrderedNodeSet',['../namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8',1,'SVF']]],
@@ -91,6 +93,6 @@ var searchData=
91
93
  ['outs',['outs',['../namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61',1,'SVF::SVFUtil']]],
92
94
  ['outstream',['OutStream',['../namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31',1,'SVF']]],
93
95
  ['outupdatedvarmap',['outUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e',1,'SVF::MutableIncDFPTData::outUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0',1,'SVF::PersistentIncDFPTData::outUpdatedVarMap()']]],
94
- ['overlap',['Overlap',['../classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c',1,'SVF::LocationSet::Overlap()'],['../classSVF_1_1CondPTAImpl.html#adf0acbb0c605278e43d88787d651bbd8',1,'SVF::CondPTAImpl::overlap()']]],
96
+ ['overlap',['overlap',['../classSVF_1_1CondPTAImpl.html#adf0acbb0c605278e43d88787d651bbd8',1,'SVF::CondPTAImpl::overlap()'],['../classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c',1,'SVF::LocationSet::Overlap()']]],
95
97
  ['owned_5fmodules',['owned_modules',['../classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2',1,'SVF::LLVMModuleSet']]]
96
98
  ];
package/SVF-doxygen/html/html/search/enums_3.js CHANGED
@@ -1,6 +1,5 @@
1
1
  var searchData=
2
2
  [
3
3
  ['enum_5finout',['ENUM_INOUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71',1,'SVF::FlowSensitiveStat']]],
4
- ['extf_5ft',['extf_t',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094',1,'SVF::ExtAPI']]],
5
4
  ['exttype',['extType',['../classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199ca',1,'SVF::ExtAPI']]]
6
5
  ];
package/SVF-doxygen/html/html/search/enumvalues_4.js CHANGED
@@ -33,15 +33,5 @@ var searchData=
33
33
  ['eft_5fstd_5frb_5ftree_5fincrement',['EFT_STD_RB_TREE_INCREMENT',['../classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa31d0b620d3344c68ecfd71c9faf1d598',1,'SVF::ExtAPI']]],
34
34
  ['eft_5fstd_5frb_5ftree_5finsert_5fand_5frebalance',['EFT_STD_RB_TREE_INSERT_AND_REBALANCE',['../classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caafedd2f66497ed9404b8b3cb1d16a3f0b',1,'SVF::ExtAPI']]],
35
35
  ['empty',['Empty',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ae16d4995f32298086fd37b4759ec069c',1,'SVF::LockAnalysis::Empty()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a9d940442c782d5a1297102209540182f',1,'SVF::ForkJoinAnalysis::Empty()']]],
36
- ['entrymssachi',['EntryMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3',1,'SVF::MSSADEF']]],
37
- ['ext_5faddr',['EXT_ADDR',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094aedaa8f975941f17692f993d8a8b6dd30',1,'SVF::ExtAPI']]],
38
- ['ext_5fcomplex',['EXT_COMPLEX',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094aa9e95e42adbdc4db3dd5e76785916154',1,'SVF::ExtAPI']]],
39
- ['ext_5fcopy',['EXT_COPY',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094aaaaeb3443da98c5132ebcf33617962de',1,'SVF::ExtAPI']]],
40
- ['ext_5fcopy_5fmn',['EXT_COPY_MN',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094acfb80bb18d5cc826c04a57517b9d723a',1,'SVF::ExtAPI']]],
41
- ['ext_5fcopy_5fn',['EXT_COPY_N',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094a16fe812578afb8f018b6dd503c7bad49',1,'SVF::ExtAPI']]],
42
- ['ext_5ffunptr',['EXT_FUNPTR',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094ab6db72191d9b7d667fb6f7bd5b200d24',1,'SVF::ExtAPI']]],
43
- ['ext_5fgep',['EXT_GEP',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094acc6ac00f0ce70874f3a624927b6257fa',1,'SVF::ExtAPI']]],
44
- ['ext_5fload',['EXT_LOAD',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094ab21117e18dd413220f4a331629d32bd8',1,'SVF::ExtAPI']]],
45
- ['ext_5fother',['EXT_OTHER',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094a894fdba1a423fe49fa357f87ea69cf69',1,'SVF::ExtAPI']]],
46
- ['ext_5fstore',['EXT_STORE',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094a501a7dadb95aa1a97b8fe111c7838900',1,'SVF::ExtAPI']]]
36
+ ['entrymssachi',['EntryMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18af0a554492277c9964a67ab9cd23071d3',1,'SVF::MSSADEF']]]
47
37
  ];
package/SVF-doxygen/html/html/search/functions_11.js CHANGED
@@ -16,7 +16,6 @@ var searchData=
16
16
  ['set',['set',['../classSVF_1_1CondStdSet.html#ae11deddad534be115d29daad08c90599',1,'SVF::CondStdSet::set()'],['../classSVF_1_1CondPointsToSet.html#aadf2576b55bbdb82d7affc8466c09861',1,'SVF::CondPointsToSet::set()'],['../classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa',1,'SVF::PointsTo::set()'],['../classSVF_1_1CoreBitVector.html#a553e3e51bffe1aab04adc047e0fd3f24',1,'SVF::CoreBitVector::set()'],['../structSVF_1_1SparseBitVectorElement.html#a094acafea02f3c117445267e75c9a629',1,'SVF::SparseBitVectorElement::set()'],['../classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832',1,'SVF::SparseBitVector::set()'],['../tools_2WPA_2CMakeLists_8txt.html#ae39f71bb639d7a22f29d4bc42f72b57f',1,'set(): CMakeLists.txt']]],
17
17
  ['setactualindef',['setActualINDef',['../classSVF_1_1SVFGOPT.html#a490695ab536cd455c531fbdc57499cac',1,'SVF::SVFGOPT']]],
18
18
  ['setallreachable',['setAllReachable',['../classSVF_1_1ProgSlice.html#ae6102647fa4985142c293116516612cd',1,'SVF::ProgSlice']]],
19
- ['setargs',['setArgs',['../classSVF_1_1ExtAPI_1_1Operation.html#ac82ed2bae3d953f524ca9defc06feba8',1,'SVF::ExtAPI::Operation']]],
20
19
  ['setattributekinds',['setAttributeKinds',['../classSVF_1_1GrammarBase.html#a1e1bf1e32bcd7c68ce789c2f9f6327c0',1,'SVF::GrammarBase']]],
21
20
  ['setbasenode',['setBaseNode',['../classSVF_1_1GepObjVar.html#a5e371fae7592d763661a7cb777107ff4',1,'SVF::GepObjVar']]],
22
21
  ['setbb',['setBB',['../classSVF_1_1SVFStmt.html#a852730edf374d18a3fb3985211ed7623',1,'SVF::SVFStmt']]],
@@ -78,7 +77,7 @@ var searchData=
78
77
  ['setnumoffieldsandelems',['setNumOfFieldsAndElems',['../classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3',1,'SVF::StInfo']]],
79
78
  ['setobjfieldinsensitive',['setObjFieldInsensitive',['../classSVF_1_1PointerAnalysis.html#ac5683fe2e24b393ccc5cb6d8bc92cf2b',1,'SVF::PointerAnalysis']]],
80
79
  ['setoffset',['setOffset',['../classSVF_1_1DCHEdge.html#a70f757826082c95766c8324c1264e977',1,'SVF::DCHEdge']]],
81
- ['setoperation',['setOperation',['../classSVF_1_1ExtAPI_1_1Operation.html#ab602429a772a2d6942cfb18eef10a09a',1,'SVF::ExtAPI::Operation']]],
80
+ ['setoperands',['setOperands',['../classSVF_1_1ExtAPI_1_1Operation.html#a901c5524219bee81a00414d7c92c26f8',1,'SVF::ExtAPI::Operation']]],
82
81
  ['setopver',['setOpVer',['../classSVF_1_1MSSAPHISVFGNode.html#a928a57d7f518c5af98a0245d9221e671',1,'SVF::MSSAPHISVFGNode::setOpVer()'],['../classSVF_1_1CmpVFGNode.html#a41bcdd6b46a31c8d15533342478dc236',1,'SVF::CmpVFGNode::setOpVer()'],['../classSVF_1_1BinaryOPVFGNode.html#a76c67d31ffb67c4ef102471898ae2709',1,'SVF::BinaryOPVFGNode::setOpVer()'],['../classSVF_1_1UnaryOPVFGNode.html#a3b082eef98b8393499908f6c430b8d6c',1,'SVF::UnaryOPVFGNode::setOpVer()'],['../classSVF_1_1PHIVFGNode.html#a36f469a129063b43161a8d1423414ce5',1,'SVF::PHIVFGNode::setOpVer()'],['../classSVF_1_1MSSACHI.html#a245d8ee9e81ba4fe6f41533baf471331',1,'SVF::MSSACHI::setOpVer()'],['../classSVF_1_1MSSAPHI.html#a74f663dc5ecc659e98542a53414b7988',1,'SVF::MSSAPHI::setOpVer()']]],
83
82
  ['setopverandbb',['setOpVerAndBB',['../classSVF_1_1IntraPHIVFGNode.html#a7e5fd83393224ece808de83cbf496882',1,'SVF::IntraPHIVFGNode']]],
84
83
  ['setpag',['setPAG',['../classSVF_1_1DDAClient.html#a21badb317a249bbb506615182671b32c',1,'SVF::DDAClient']]],
package/SVF-doxygen/html/html/search/functions_6.js CHANGED
@@ -23,7 +23,7 @@ var searchData=
23
23
  ['get_5fnumeral_5fint64',['get_numeral_int64',['../classSVF_1_1Z3Expr.html#ad94bbaa31e6df4e8b8238d69b8f4ae06',1,'SVF::Z3Expr']]],
24
24
  ['get_5fobject_5fitem',['get_object_item',['../cJSON_8cpp.html#a768303890e9be802d51b0e0a110302f4',1,'cJSON.cpp']]],
25
25
  ['get_5fopargs',['get_opArgs',['../classSVF_1_1ExtAPI.html#a906a3728bbcfb7a43ac0938ffcb3df23',1,'SVF::ExtAPI']]],
26
- ['get_5fopname',['get_opName',['../classSVF_1_1ExtAPI.html#a1832c19de2fd7ff01793e75a051d3f24',1,'SVF::ExtAPI']]],
26
+ ['get_5fopname',['get_opName',['../classSVF_1_1ExtAPI.html#a1930d622cd47f7fd875e1964b65ec506',1,'SVF::ExtAPI']]],
27
27
  ['get_5fsort',['get_sort',['../classSVF_1_1Z3Expr.html#a8b2b5fa74704d776a2cd415b599a1393',1,'SVF::Z3Expr']]],
28
28
  ['get_5ftype',['get_type',['../classSVF_1_1ExtAPI.html#a411a034f872afcf62ce5456e408ccf41',1,'SVF::ExtAPI::get_type(const SVF::SVFFunction *callee)'],['../classSVF_1_1ExtAPI.html#accdb0b7f3ae8d4028bd09f3d861aa2be',1,'SVF::ExtAPI::get_type(const std::string &funName)']]],
29
29
  ['getabstractstate',['getAbstractState',['../classSVF_1_1SymState.html#a10ac726895d843b2d8e75c735a409af8',1,'SVF::SymState']]],
@@ -43,7 +43,7 @@ var searchData=
43
43
  ['getaliasmemregions',['getAliasMemRegions',['../classSVF_1_1MRGenerator.html#ad740188222439c089907fa6c6c951f02',1,'SVF::MRGenerator']]],
44
44
  ['getallcallsitesinvokingcallee',['getAllCallSitesInvokingCallee',['../classSVF_1_1PTACallGraph.html#a80070e2f50ed1036d334250841215ca8',1,'SVF::PTACallGraph']]],
45
45
  ['getallfieldsobjvars',['getAllFieldsObjVars',['../classSVF_1_1ConstraintGraph.html#afd200919cf8742bb62bb0bde279a558a',1,'SVF::ConstraintGraph::getAllFieldsObjVars()'],['../classSVF_1_1PointerAnalysis.html#a5dddd53b4ca9d7cc23d88ed9f3de9fde',1,'SVF::PointerAnalysis::getAllFieldsObjVars()'],['../classSVF_1_1SVFIR.html#a7276e82b4648ed0e1b3d1b8b37b24089',1,'SVF::SVFIR::getAllFieldsObjVars(const MemObj *obj)'],['../classSVF_1_1SVFIR.html#a942072d153928e478c76e4b7f1fafa29',1,'SVF::SVFIR::getAllFieldsObjVars(NodeID id)']]],
46
- ['getalloperations',['getAllOperations',['../classSVF_1_1ExtAPI.html#aaca305f9ab8ede457a525379235a58f9',1,'SVF::ExtAPI']]],
46
+ ['getalloperations',['getAllOperations',['../classSVF_1_1ExtAPI.html#a9b15082f3c118da731705bba3924507d',1,'SVF::ExtAPI']]],
47
47
  ['getallpts',['getAllPts',['../classSVF_1_1PTData.html#adbe2b955f119871b54dc502de84b94c4',1,'SVF::PTData::getAllPts()'],['../classSVF_1_1MutablePTData.html#ad20254ace6d9976da2099413f5790458',1,'SVF::MutablePTData::getAllPts()'],['../classSVF_1_1MutableDiffPTData.html#adb89579b46a478f6d0e30e790838dca9',1,'SVF::MutableDiffPTData::getAllPts()'],['../classSVF_1_1MutableDFPTData.html#ac9120fbb056e23cdf84646a37d809a8d',1,'SVF::MutableDFPTData::getAllPts()'],['../classSVF_1_1MutableVersionedPTData.html#a6cac338e74f869d0e708c7e2b356b5d7',1,'SVF::MutableVersionedPTData::getAllPts()'],['../classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3',1,'SVF::PersistentPointsToCache::getAllPts()'],['../classSVF_1_1PersistentPTData.html#aadba2724dfe3cb745d9e9d73b8c3de67',1,'SVF::PersistentPTData::getAllPts()'],['../classSVF_1_1PersistentDiffPTData.html#a3bad0126e25b0a7134e8ef25869bd40e',1,'SVF::PersistentDiffPTData::getAllPts()'],['../classSVF_1_1PersistentDFPTData.html#a98f84bffeba6bd7dc140f1d5b63ff368',1,'SVF::PersistentDFPTData::getAllPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a6c9ad3635f73b805289cc1f14cdcf09a',1,'SVF::PersistentVersionedPTData::getAllPts()']]],
48
48
  ['getallvalidptrs',['getAllValidPtrs',['../classSVF_1_1PointerAnalysis.html#a60b111647e000cc983aa52513f90afbc',1,'SVF::PointerAnalysis::getAllValidPtrs()'],['../classSVF_1_1SVFIR.html#a7990c72dd6d645d713f19ed973841484',1,'SVF::SVFIR::getAllValidPtrs()']]],
49
49
  ['getanalysisty',['getAnalysisTy',['../classSVF_1_1PointerAnalysis.html#ac23f71c1307cda9cba44acc40059f0a3',1,'SVF::PointerAnalysis']]],
@@ -52,7 +52,6 @@ var searchData=
52
52
  ['getarg',['getArg',['../classSVF_1_1SVFFunction.html#a59b01d4e4d83db08e9df3e165e37c29a',1,'SVF::SVFFunction']]],
53
53
  ['getargoperand',['getArgOperand',['../classSVF_1_1CallSite.html#a5cd372d9fab846228fb0ee746001309a',1,'SVF::CallSite']]],
54
54
  ['getargpos',['getArgPos',['../classSVF_1_1ExtAPI.html#a848ec5976f48f84274bb6a295160fb04',1,'SVF::ExtAPI']]],
55
- ['getargs',['getArgs',['../classSVF_1_1ExtAPI_1_1Operation.html#a836c35b94a827e29cd2e24982f5bc307',1,'SVF::ExtAPI::Operation']]],
56
55
  ['getargsofuncalledfunction',['getArgsOfUncalledFunction',['../classSVF_1_1SVFModule.html#a3f69d3542809cd6c2ddf579dd1505e36',1,'SVF::SVFModule']]],
57
56
  ['getargument',['getArgument',['../classSVF_1_1CallSite.html#a26a594d36bbb5b77e7085502812d9ca2',1,'SVF::CallSite']]],
58
57
  ['getattributedkind',['getAttributedKind',['../classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275',1,'SVF::GrammarBase']]],
@@ -473,7 +472,9 @@ var searchData=
473
472
  ['getoffsetvaluevec',['getOffsetValueVec',['../classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c',1,'SVF::LocationSet::getOffsetValueVec()'],['../classSVF_1_1GepStmt.html#a37811e62495493454405cb33e4a2b904',1,'SVF::GepStmt::getOffsetValueVec()']]],
474
473
  ['getopcode',['getOpcode',['../classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f',1,'SVF::BinaryOPStmt::getOpcode()'],['../classSVF_1_1UnaryOPStmt.html#af29723d5e777b10d53d48263a786f5b6',1,'SVF::UnaryOPStmt::getOpcode()']]],
475
474
  ['getoperand',['getOperand',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31',1,'llvm::generic_bridge_gep_type_iterator']]],
476
- ['getoperation',['getOperation',['../classSVF_1_1ExtAPI_1_1Operation.html#a9c01fa3f654f55000b8adcab05f2e26f',1,'SVF::ExtAPI::Operation']]],
475
+ ['getoperands',['getOperands',['../classSVF_1_1ExtAPI_1_1Operation.html#aca70af83508022bb19bcefaf007a4467',1,'SVF::ExtAPI::Operation']]],
476
+ ['getoperandstr',['getOperandStr',['../classSVF_1_1ExtAPI_1_1Operation.html#ae2b5f412aae6d3aa1c769579b377636a',1,'SVF::ExtAPI::Operation']]],
477
+ ['getoperator',['getOperator',['../classSVF_1_1ExtAPI_1_1Operation.html#a2344036fc095c47072ee4c1fb4955745',1,'SVF::ExtAPI::Operation']]],
477
478
  ['getopicfgnode',['getOpICFGNode',['../classSVF_1_1PhiStmt.html#a0b97394bc1946c0185d2c11fbc2181f4',1,'SVF::PhiStmt']]],
478
479
  ['getopincomingbb',['getOpIncomingBB',['../classSVF_1_1IntraPHIVFGNode.html#a3a6ef9d2b10a6f2f1ac1b25590f56a70',1,'SVF::IntraPHIVFGNode']]],
479
480
  ['getopndvars',['getOpndVars',['../classSVF_1_1MultiOpndStmt.html#a0441f2646fed28830439c41a0704ed4b',1,'SVF::MultiOpndStmt']]],
package/SVF-doxygen/html/html/search/functions_e.js CHANGED
@@ -5,7 +5,7 @@ var searchData=
5
5
  ['objvar',['ObjVar',['../classSVF_1_1ObjVar.html#a3ccbe6bbe3f565641e0cf46c5ecbb6bb',1,'SVF::ObjVar']]],
6
6
  ['ontheflycallgraphsolve',['onTheFlyCallGraphSolve',['../classSVF_1_1CFLAlias.html#a25b38896aef06dad19532f7678291b37',1,'SVF::CFLAlias::onTheFlyCallGraphSolve()'],['../classSVF_1_1BVDataPTAImpl.html#a9830d4676fd424b633f8e4d918734296',1,'SVF::BVDataPTAImpl::onTheFlyCallGraphSolve()']]],
7
7
  ['oobresetvisited',['OOBResetVisited',['../classSVF_1_1DDAVFSolver.html#ab60c701f1881d88aa4440991fb972638',1,'SVF::DDAVFSolver']]],
8
- ['operation',['Operation',['../classSVF_1_1ExtAPI_1_1Operation.html#a453f37464f5c6261e22e845948f36c94',1,'SVF::ExtAPI::Operation::Operation()'],['../classSVF_1_1ExtAPI_1_1Operation.html#a4faa2c9e9e1bb86ceb1ffeb0621134cc',1,'SVF::ExtAPI::Operation::Operation(std::string op, std::vector< std::string > args)']]],
8
+ ['operation',['Operation',['../classSVF_1_1ExtAPI_1_1Operation.html#a453f37464f5c6261e22e845948f36c94',1,'SVF::ExtAPI::Operation::Operation()'],['../classSVF_1_1ExtAPI_1_1Operation.html#a6fe4cc69b9181548940cbc67f7b6b315',1,'SVF::ExtAPI::Operation::Operation(std::string opn, std::vector< std::string > varstr)']]],
9
9
  ['operator_20_26',['operator &',['../namespaceSVF.html#aaa21ff095e66a18937f29246e213f69d',1,'SVF::operator &(const PointsTo &lhs, const PointsTo &rhs)'],['../namespaceSVF.html#a47b11c4e305a8a1e2dc387c2f9d4617e',1,'SVF::operator &(const SparseBitVector< ElementSize > &LHS, const SparseBitVector< ElementSize > &RHS)'],['../namespaceSVF.html#aaa21ff095e66a18937f29246e213f69d',1,'SVF::operator &(const PointsTo &lhs, const PointsTo &rhs)']]],
10
10
  ['operator_20_26_3d',['operator &=',['../classSVF_1_1CondStdSet.html#abb97324d865818f0a51992ee86d1c5ad',1,'SVF::CondStdSet::operator &=()'],['../classSVF_1_1PointsTo.html#a164aced0d6a19dd7ba8124ec2e77674c',1,'SVF::PointsTo::operator &=()'],['../classSVF_1_1CoreBitVector.html#ae84257a1544b94c9abf5c8d0f6cfaec9',1,'SVF::CoreBitVector::operator &=()'],['../classSVF_1_1SparseBitVector.html#a1f7e6424f8bfc68589a9947b26e0b62f',1,'SVF::SparseBitVector::operator &=()']]],
11
11
  ['operator_20u32_5ft',['operator u32_t',['../structSVF_1_1GrammarBase_1_1Symbol.html#a7ba35f7585b191a29573a9e116aa927f',1,'SVF::GrammarBase::Symbol::operator u32_t()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#ada693de7fbe70e37120eed8dca3c143f',1,'SVF::GrammarBase::Symbol::operator u32_t() const']]],