svf-tools 1.0.910 → 1.0.911
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.
- package/SVF-doxygen/html/AbstractInterpretation_8cpp.html +5 -5
- package/SVF-doxygen/html/AbstractInterpretation_8cpp_source.html +1151 -1131
- package/SVF-doxygen/html/AbstractInterpretation_8h_source.html +31 -31
- package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +457 -450
- package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +2 -2
- package/SVF-doxygen/html/SVFIR2AbsState_8h_source.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1AEStat.html +116 -114
- package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation-members.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation.html +1009 -991
- package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +118 -115
- package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState-members.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState.html +32 -32
- package/SVF-doxygen/html/functions.html +2 -2
- package/SVF-doxygen/html/functions_func_g.html +13 -13
- package/SVF-doxygen/html/functions_g.html +9 -9
- package/SVF-doxygen/html/functions_p.html +6 -6
- package/SVF-doxygen/html/functions_s.html +7 -7
- package/SVF-doxygen/html/functions_t.html +2 -2
- package/SVF-doxygen/html/functions_v.html +6 -6
- package/SVF-doxygen/html/functions_vars.html +2 -2
- package/SVF-doxygen/html/functions_w.html +9 -17
- package/SVF-doxygen/html/search/all_0.js +1 -1
- package/SVF-doxygen/html/search/all_10.js +3 -3
- package/SVF-doxygen/html/search/all_12.js +5 -5
- package/SVF-doxygen/html/search/all_13.js +4 -4
- package/SVF-doxygen/html/search/all_15.js +3 -3
- package/SVF-doxygen/html/search/all_16.js +1 -1
- package/SVF-doxygen/html/search/all_7.js +248 -248
- package/SVF-doxygen/html/search/functions_10.js +1 -1
- package/SVF-doxygen/html/search/functions_7.js +247 -247
- package/SVF-doxygen/html/search/variables_0.js +1 -1
- package/SVF-doxygen/html/search/variables_12.js +1 -1
- package/SVF-doxygen/html/search/variables_13.js +2 -2
- package/package.json +1 -1
- package/svf/include/AE/Svfexe/AbstractInterpretation.h +1 -1
- package/svf/include/AE/Svfexe/SVFIR2AbsState.h +1 -1
- package/svf/lib/AE/Svfexe/AbstractInterpretation.cpp +88 -68
- package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +37 -30
|
@@ -32,7 +32,7 @@ var searchData=
|
|
|
32
32
|
['sb_5finfesible_5281',['SB_INFESIBLE',['../classSVF_1_1Annotator.html#a556138c152d52921d6f0a709a826a93a',1,'SVF::Annotator']]],
|
|
33
33
|
['sb_5fslicesink_5282',['SB_SLICESINK',['../classSVF_1_1Annotator.html#a3edacb8703c74abf42c4a29761a3437f',1,'SVF::Annotator']]],
|
|
34
34
|
['sb_5fslicesource_5283',['SB_SLICESOURCE',['../classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744',1,'SVF::Annotator']]],
|
|
35
|
-
['sbv_5284',['
|
|
35
|
+
['sbv_5284',['sbv',['../classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084',1,'SVF::PointsTo::sbv()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a',1,'SVF::PointsTo::SBV()']]],
|
|
36
36
|
['sbvit_5285',['sbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a735a2a9f0c3f4bc3997edf11b133c0f9',1,'SVF::PointsTo::PointsToIterator']]],
|
|
37
37
|
['scalar_5286',['SCALAR',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb',1,'SVF::DCHNode']]],
|
|
38
38
|
['scalarevolution_5287',['ScalarEvolution',['../namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42',1,'SVF']]],
|
|
@@ -304,7 +304,7 @@ var searchData=
|
|
|
304
304
|
['stmtvfgnode_5553',['StmtVFGNode',['../classSVF_1_1StmtVFGNode.html',1,'SVF::StmtVFGNode'],['../classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d',1,'SVF::StmtVFGNode::StmtVFGNode()']]],
|
|
305
305
|
['stnodeset_5554',['stnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a772436f5edc7b4bed3a3e8f0e55ac5ce',1,'SVF::MTASVFGBuilder']]],
|
|
306
306
|
['stopanalysislimittimer_5555',['stopAnalysisLimitTimer',['../namespaceSVF_1_1SVFUtil.html#a168f7f7a3a8c70dbf2b5b4269cd4c7c5',1,'SVF::SVFUtil']]],
|
|
307
|
-
['store_5556',['
|
|
307
|
+
['store_5556',['Store',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47',1,'SVF::ConstraintEdge::Store()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8',1,'SVF::VFGNode::Store()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc',1,'SVF::SVFStmt::Store()'],['../classSVF_1_1AbstractState.html#a1f935ea8ab16b04699284bf92bbbb23c',1,'SVF::AbstractState::store()'],['../classSVF_1_1RelExeState.html#a3a2d5de4c61fab8b277308a186795a13',1,'SVF::RelExeState::store(const Z3Expr &loc, const Z3Expr &value)'],['../classSVF_1_1RelExeState.html#a29be58e0074d7495c36713fd96832823',1,'SVF::RelExeState::store(u32_t objId, const Z3Expr &z3Expr)']]],
|
|
308
308
|
['store2chisetmap_5557',['store2ChiSetMap',['../classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a',1,'SVF::MemSSA']]],
|
|
309
309
|
['storebar_5558',['storebar',['../PAGGrammar_8txt.html#a07b9538bf6c870253aed4d379891604c',1,'PAGGrammar.txt']]],
|
|
310
310
|
['storecgedge_5559',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF::StoreCGEdge'],['../classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815',1,'SVF::StoreCGEdge::StoreCGEdge()'],['../classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50',1,'SVF::StoreCGEdge::StoreCGEdge(const StoreCGEdge &)'],['../classSVF_1_1StoreCGEdge.html#afdba4e02b1ccdc19fdc18bbe43363e79',1,'SVF::StoreCGEdge::StoreCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
|
|
@@ -318,7 +318,7 @@ var searchData=
|
|
|
318
318
|
['storeoutedges_5567',['storeOutEdges',['../classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1',1,'SVF::ConstraintNode']]],
|
|
319
319
|
['storeset_5568',['storeset',['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator::storeset()'],['../classSVF_1_1MTA.html#a6bcd86c36f8f4307c4951a23021af92e',1,'SVF::MTA::StoreSet()']]],
|
|
320
320
|
['storestmt_5569',['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#a757010d593152a65285a11e5160549ae',1,'SVF::StoreStmt::StoreStmt(SVFVar *s, SVFVar *d, const IntraICFGNode *st)']]],
|
|
321
|
-
['storestomrsmap_5570',['
|
|
321
|
+
['storestomrsmap_5570',['StoresToMRsMap',['../classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c',1,'SVF::MRGenerator::StoresToMRsMap()'],['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator::storesToMRsMap()']]],
|
|
322
322
|
['storestopointstomap_5571',['storesToPointsToMap',['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator::storesToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d',1,'SVF::MRGenerator::StoresToPointsToMap()']]],
|
|
323
323
|
['storesvfgnode_5572',['StoreSVFGNode',['../namespaceSVF.html#a54c5725186e66ead6faf53c10a288714',1,'SVF']]],
|
|
324
324
|
['storetime_5573',['storeTime',['../classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7',1,'SVF::FlowSensitive']]],
|
|
@@ -418,7 +418,7 @@ var searchData=
|
|
|
418
418
|
['svffunction_5667',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF::SVFFunction'],['../classSVF_1_1SVFBasicBlock.html#afcfae770b6ed1235cc1aa6c123b3a048',1,'SVF::SVFBasicBlock::SVFFunction()'],['../classSVF_1_1SVFFunction.html#a494434af0d933dfd926bedcb8937f0f8',1,'SVF::SVFFunction::SVFFunction(const SVFType *ty, const SVFFunctionType *ft, bool declare, bool intrinsic, bool addrTaken, bool varg, SVFLoopAndDomInfo *ld)'],['../classSVF_1_1SVFFunction.html#a7e965c21a8afe7fca32d0f41b16361cf',1,'SVF::SVFFunction::SVFFunction(void)=delete']]],
|
|
419
419
|
['svffunctionty_5668',['SVFFunctionTy',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6',1,'SVF::SVFType']]],
|
|
420
420
|
['svffunctiontype_5669',['SVFFunctionType',['../classSVF_1_1SVFFunctionType.html',1,'SVF::SVFFunctionType'],['../classSVF_1_1SVFFunctionType.html#af4bacdbcf4867575f6f27fc26aa66bbe',1,'SVF::SVFFunctionType::SVFFunctionType()']]],
|
|
421
|
-
['svfg_5670',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF::SVFG'],['../
|
|
421
|
+
['svfg_5670',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF::SVFG'],['../classSVF_1_1CFLVF.html#aed71ea423497a4f64c8b62ee4187210e',1,'SVF::CFLVF::svfg()'],['../classSVF_1_1SVFGBuilder.html#af9f454c48ebf26376fca06cdcec0f9cc',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#a07d48490eda50ee6d31f295150409cf3',1,'SVF::SVFG::SVFG()']]],
|
|
422
422
|
['svfg_2ecpp_5671',['SVFG.cpp',['../SVFG_8cpp.html',1,'']]],
|
|
423
423
|
['svfg_2eh_5672',['SVFG.h',['../SVFG_8h.html',1,'']]],
|
|
424
424
|
['svfgbuilder_5673',['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()']]],
|
|
@@ -464,7 +464,7 @@ var searchData=
|
|
|
464
464
|
['svfinstruction_5713',['SVFInstruction',['../classSVF_1_1SVFInstruction.html',1,'SVF::SVFInstruction'],['../classSVF_1_1SVFInstruction.html#a976cc9df05994e7e1b11fcdd22febcc5',1,'SVF::SVFInstruction::SVFInstruction(const SVFType *ty, const SVFBasicBlock *b, bool tm, bool isRet, SVFValKind k=SVFInst)'],['../classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c',1,'SVF::SVFInstruction::SVFInstruction(void)=delete']]],
|
|
465
465
|
['svfintegerty_5714',['SVFIntegerTy',['../classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22',1,'SVF::SVFType']]],
|
|
466
466
|
['svfintegertype_5715',['SVFIntegerType',['../classSVF_1_1SVFIntegerType.html',1,'SVF::SVFIntegerType'],['../classSVF_1_1SVFIntegerType.html#a4caf4cef19b93e06dfa7108a1409c32a',1,'SVF::SVFIntegerType::SVFIntegerType()']]],
|
|
467
|
-
['svfir_5716',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF::SVFIR'],['../
|
|
467
|
+
['svfir_5716',['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_1CFLBase.html#a9e6cbab31612da4a1f8f660d1fabc4c0',1,'SVF::CFLBase::svfir()'],['../classSVF_1_1SVFIRWriter.html#a599d699f1a1dcb576d33cb40142c6db8',1,'SVF::SVFIRWriter::svfIR()']]],
|
|
468
468
|
['svfir_2ecpp_5717',['SVFIR.cpp',['../SVFIR_8cpp.html',1,'']]],
|
|
469
469
|
['svfir_2eh_5718',['SVFIR.h',['../SVFIR_8h.html',1,'']]],
|
|
470
470
|
['svfir2absstate_5719',['SVFIR2AbsState',['../classSVF_1_1SVFIR2AbsState.html',1,'SVF::SVFIR2AbsState'],['../classSVF_1_1AbstractState.html#a25fc4decbaf702ef771219564ec64c2a',1,'SVF::AbstractState::SVFIR2AbsState()'],['../classSVF_1_1RelExeState.html#a25fc4decbaf702ef771219564ec64c2a',1,'SVF::RelExeState::SVFIR2AbsState()'],['../classSVF_1_1SVFIR2AbsState.html#a0141f9c8689e906a082f3566cb5d2cb6',1,'SVF::SVFIR2AbsState::SVFIR2AbsState()']]],
|
|
@@ -5,7 +5,7 @@ var searchData=
|
|
|
5
5
|
['taintsvfgbuilder_5816',['TaintSVFGBuilder',['../classSVF_1_1SVFG.html#a665c93b68f49078c281270a028d04445',1,'SVF::SVFG']]],
|
|
6
6
|
['tcg_5817',['tcg',['../classSVF_1_1MTAResultValidator.html#a08d80c69c8cd11222233e0e88a41f58d',1,'SVF::MTAResultValidator::tcg()'],['../classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799',1,'SVF::MHP::tcg()'],['../classSVF_1_1MTA.html#a308ca0fa99b3c95f3e62b27522b6aeaa',1,'SVF::MTA::tcg()'],['../classSVF_1_1TCT.html#ac9ddd6559e818f37c018ed5435182363',1,'SVF::TCT::tcg()']]],
|
|
7
7
|
['tcgscc_5818',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
|
|
8
|
-
['tct_5819',['TCT',['../classSVF_1_1TCT.html',1,'SVF::TCT'],['../
|
|
8
|
+
['tct_5819',['TCT',['../classSVF_1_1TCT.html',1,'SVF::TCT'],['../classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887',1,'SVF::TCT::TCT()'],['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a3f5c5c6689491beb8edfa25c0ad871d9',1,'SVF::MTA::tct()']]],
|
|
9
9
|
['tct_2ecpp_5820',['TCT.cpp',['../TCT_8cpp.html',1,'']]],
|
|
10
10
|
['tct_2eh_5821',['TCT.h',['../TCT_8h.html',1,'']]],
|
|
11
11
|
['tct_5faccess_5822',['TCT_ACCESS',['../classSVF_1_1MTAResultValidator.html#a8ccc7c66b6744622b8a79b371d7b2b66',1,'SVF::MTAResultValidator']]],
|
|
@@ -105,14 +105,14 @@ var searchData=
|
|
|
105
105
|
['timeofcollapse_5916',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
|
|
106
106
|
['timeofcreatemuchi_5917',['TimeOfCreateMUCHI',['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()'],['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()']]],
|
|
107
107
|
['timeofgeneratingmemregions_5918',['timeOfGeneratingMemRegions',['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()']]],
|
|
108
|
-
['timeofinsertingphi_5919',['
|
|
108
|
+
['timeofinsertingphi_5919',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
|
|
109
109
|
['timeofnormalizegrammar_5920',['timeOfNormalizeGrammar',['../classSVF_1_1CFLBase.html#ad4d65dd4c3e173d014199ac6b08a5261',1,'SVF::CFLBase']]],
|
|
110
110
|
['timeofprocesscopygep_5921',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
|
|
111
111
|
['timeofprocessloadstore_5922',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
|
|
112
112
|
['timeofsccdetection_5923',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
|
|
113
113
|
['timeofsccmerges_5924',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
|
|
114
114
|
['timeofsolving_5925',['timeOfSolving',['../classSVF_1_1CFLBase.html#a88e40af43705550a78837b8589bbf3f8',1,'SVF::CFLBase']]],
|
|
115
|
-
['timeofssarenaming_5926',['
|
|
115
|
+
['timeofssarenaming_5926',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
|
|
116
116
|
['timeofupdatecallgraph_5927',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
|
|
117
117
|
['timeout_5928',['Timeout',['../classSVF_1_1Options.html#a4a4eed0841c46f89f1b408e5789e114b',1,'SVF::Options']]],
|
|
118
118
|
['timestatmap_5929',['timeStatMap',['../classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831',1,'SVF::SVFStat::timeStatMap()'],['../classSVF_1_1SVFStat.html#a8bb01becef1eb8d6113d946d29d904bd',1,'SVF::SVFStat::TIMEStatMap()']]],
|
|
@@ -166,7 +166,7 @@ var searchData=
|
|
|
166
166
|
['true_5977',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp'],['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp']]],
|
|
167
167
|
['trunc_5978',['TRUNC',['../classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1ab2b2f7dffed3d446a147fc7a27e66dd8',1,'SVF::CopyStmt']]],
|
|
168
168
|
['twopi_5979',['TWOPI',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ac6a6eaaa34322cf54953ba390895f0c5',1,'SVF::GraphProgram']]],
|
|
169
|
-
['type_5980',['
|
|
169
|
+
['type_5980',['Type',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35',1,'SVF::SVFUtil::add_const_past_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179',1,'SVF::SVFUtil::add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1make__void.html#ac2eb79d0fe9a0f94eb1992600ba91e36',1,'SVF::SVFUtil::make_void::type()'],['../structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613',1,'SVF::AbstractValue::type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78',1,'SVF::SVFValue::type()'],['../classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498',1,'SVF::ObjTypeInfo::type()'],['../structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc',1,'cJSON::type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()'],['../cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc',1,'type(): cJSON.cpp']]],
|
|
170
170
|
['type2typeinfo_5981',['Type2TypeInfo',['../classSVF_1_1LLVMModuleSet.html#af2c555af91679d9e6d3009547ee11486',1,'SVF::LLVMModuleSet']]],
|
|
171
171
|
['type2typeinfomap_5982',['Type2TypeInfoMap',['../classSVF_1_1LLVMModuleSet.html#a3c2eb10a20604bf794d2d10f2cffb116',1,'SVF::LLVMModuleSet']]],
|
|
172
172
|
['type_5fdebug_5983',['TYPE_DEBUG',['../ObjTypeInference_8cpp.html#a8e62b6cad2019cc242c6fa579bae4988',1,'ObjTypeInference.cpp']]],
|
|
@@ -25,14 +25,14 @@ var searchData=
|
|
|
25
25
|
['valueset_6096',['ValueSet',['../classSVF_1_1ObjTypeInference.html#a51116a59a9f6c2c692505def03f5bc25',1,'SVF::ObjTypeInference']]],
|
|
26
26
|
['valuestring_6097',['valuestring',['../structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1',1,'cJSON::valuestring()'],['../cJSON_8h.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.h'],['../cJSON_8cpp.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.cpp']]],
|
|
27
27
|
['valuetoclassnames_6098',['ValueToClassNames',['../classSVF_1_1ObjTypeInference.html#ae23313c88149711f2ce74a2c6d3e9da8',1,'SVF::ObjTypeInference']]],
|
|
28
|
-
['valuetoedgemap_6099',['
|
|
28
|
+
['valuetoedgemap_6099',['valueToEdgeMap',['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph::valueToEdgeMap()'],['../classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc',1,'SVF::IRGraph::ValueToEdgeMap()']]],
|
|
29
29
|
['valuetoidmapty_6100',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af',1,'SVF::SymbolTableInfo']]],
|
|
30
30
|
['valuetoinfersites_6101',['ValueToInferSites',['../classSVF_1_1ObjTypeInference.html#a17954e8e60a3736083504c7f675f5ba2',1,'SVF::ObjTypeInference']]],
|
|
31
31
|
['valuetosources_6102',['ValueToSources',['../classSVF_1_1ObjTypeInference.html#a3ef6cdbd56a4d169a2d2cab0b2f6515b',1,'SVF::ObjTypeInference']]],
|
|
32
32
|
['valuetotype_6103',['ValueToType',['../classSVF_1_1ObjTypeInference.html#ac97f30431b4e96d9d70dced9960072e9',1,'SVF::ObjTypeInference']]],
|
|
33
33
|
['valuetovalueset_6104',['ValueToValueSet',['../classSVF_1_1ObjTypeInference.html#a02b5fdeee42828326afda5efaa997934',1,'SVF::ObjTypeInference']]],
|
|
34
34
|
['valvar_6105',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF::ValVar'],['../classSVF_1_1ValVar.html#a5c097c0686df4897325bbdbb4067d6e5',1,'SVF::ValVar::ValVar(NodeID i, PNODEK ty=ValNode)'],['../classSVF_1_1ValVar.html#a4f01c7de5795f85a5f70bbf4f15c70df',1,'SVF::ValVar::ValVar(const SVFValue *val, NodeID i, PNODEK ty=ValNode)']]],
|
|
35
|
-
['var2labelmap_6106',['
|
|
35
|
+
['var2labelmap_6106',['Var2LabelMap',['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt::Var2LabelMap()'],['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt::var2LabelMap()']]],
|
|
36
36
|
['var_5farray_5fobj_6107',['VAR_ARRAY_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c',1,'SVF::ObjTypeInfo']]],
|
|
37
37
|
['var_5fstruct_5fobj_6108',['VAR_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aaf98981bd15b41f543fd99d0c6222f08',1,'SVF::ObjTypeInfo']]],
|
|
38
38
|
['vararg_6109',['varArg',['../classSVF_1_1SVFFunction.html#a11aaa0ffaf7fa3d220c9af5d4537eaad',1,'SVF::SVFFunction::varArg()'],['../classSVF_1_1SVFCallInst.html#a4280d986cfa4ebd0a1c4b6c63bb13eb6',1,'SVF::SVFCallInst::varArg()']]],
|
|
@@ -43,7 +43,7 @@ var searchData=
|
|
|
43
43
|
['varargsyms_6114',['varargSyms',['../classSVF_1_1SymbolTableInfo.html#ac449cd925dc05758c990179c0748e1d5',1,'SVF::SymbolTableInfo']]],
|
|
44
44
|
['varhasnewdfinpts_6115',['varHasNewDFInPts',['../classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353',1,'SVF::MutableIncDFPTData::varHasNewDFInPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952',1,'SVF::PersistentIncDFPTData::varHasNewDFInPts()']]],
|
|
45
45
|
['varhasnewdfoutpts_6116',['varHasNewDFOutPts',['../classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab',1,'SVF::MutableIncDFPTData::varHasNewDFOutPts()'],['../classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53',1,'SVF::PersistentIncDFPTData::varHasNewDFOutPts()']]],
|
|
46
|
-
['variableattribute_6117',['
|
|
46
|
+
['variableattribute_6117',['VariableAttribute',['../classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759',1,'SVF::GrammarBase::VariableAttribute()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942',1,'SVF::GrammarBase::Symbol::variableAttribute()']]],
|
|
47
47
|
['variantfield_6118',['variantField',['../classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757',1,'SVF::GepStmt']]],
|
|
48
48
|
['variantgep_6119',['VariantGep',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a',1,'SVF::ConstraintEdge']]],
|
|
49
49
|
['variantgepcgedge_6120',['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)']]],
|
|
@@ -18,7 +18,7 @@ var searchData=
|
|
|
18
18
|
['wordnumber_6264',['WordNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
|
|
19
19
|
['words_6265',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
|
|
20
20
|
['wordsize_6266',['WordSize',['../classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3',1,'SVF::CoreBitVector']]],
|
|
21
|
-
['worklist_6267',['
|
|
21
|
+
['worklist_6267',['worklist',['../classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e',1,'SVF::CFLSolver::worklist()'],['../classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194',1,'SVF::SVFGOPT::worklist()'],['../classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941',1,'SVF::SrcSnkSolver::worklist()'],['../classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc',1,'SVF::GraphReachSolver::worklist()'],['../classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5',1,'SVF::WPASolver::worklist()'],['../classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac',1,'SVF::CHGBuilder::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695',1,'SVF::CFLSolver::WorkList()'],['../classSVF_1_1CFLSVFGBuilder.html#a287f937ab8cc7f493c942eb1bcdacd6d',1,'SVF::CFLSVFGBuilder::WorkList()'],['../classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12',1,'SVF::CHGraph::WorkList()'],['../classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00',1,'SVF::ConstraintGraph::WorkList()'],['../classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40',1,'SVF::SVFGOPT::WorkList()'],['../classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc',1,'SVF::MRGenerator::WorkList()'],['../classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b',1,'SVF::LeakChecker::WorkList()'],['../classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039',1,'SVF::SaberSVFGBuilder::WorkList()'],['../classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a',1,'SVF::SrcSnkDDA::WorkList()'],['../classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da',1,'SVF::SrcSnkSolver::WorkList()'],['../classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054',1,'SVF::GraphReachSolver::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::WorkList()']]],
|
|
22
22
|
['worklist_2eh_6268',['WorkList.h',['../WorkList_8h.html',1,'']]],
|
|
23
23
|
['workstack_6269',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],
|
|
24
24
|
['wpa_2ecpp_6270',['wpa.cpp',['../wpa_8cpp.html',1,'']]],
|