svf-tools 1.0.761 → 1.0.763

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 (37) hide show
  1. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1210 -1187
  3. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +173 -157
  4. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +2 -2
  5. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +3 -3
  6. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +1 -1
  8. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +2 -2
  9. package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +3 -3
  11. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +1 -1
  12. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet-members.html +1 -1
  13. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1232 -1193
  14. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +1 -1
  15. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +1 -1
  16. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +3 -3
  17. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +3 -3
  18. package/SVF-doxygen/html/html/functions_func_i.html +13 -13
  19. package/SVF-doxygen/html/html/functions_i.html +16 -16
  20. package/SVF-doxygen/html/html/functions_o.html +3 -3
  21. package/SVF-doxygen/html/html/functions_s.html +3 -3
  22. package/SVF-doxygen/html/html/functions_t.html +4 -4
  23. package/SVF-doxygen/html/html/functions_w.html +9 -9
  24. package/SVF-doxygen/html/html/search/all_10.js +1 -1
  25. package/SVF-doxygen/html/html/search/all_12.js +1 -1
  26. package/SVF-doxygen/html/html/search/all_13.js +4 -4
  27. package/SVF-doxygen/html/html/search/all_15.js +2 -2
  28. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  29. package/SVF-doxygen/html/html/search/all_9.js +252 -252
  30. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  31. package/SVF-doxygen/html/html/search/functions_9.js +240 -240
  32. package/SVF-doxygen/html/html/search/variables_13.js +1 -1
  33. package/SVF-doxygen/html/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +1 -1
  34. package/SVF-doxygen/html/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +1 -1
  35. package/package.json +1 -1
  36. package/svf-llvm/include/SVF-LLVM/LLVMModule.h +16 -1
  37. package/svf-llvm/lib/LLVMModule.cpp +36 -13
@@ -13,7 +13,7 @@ var searchData=
13
13
  ['objvar_4370',['ObjVar',['../classSVF_1_1ObjVar.html',1,'SVF::ObjVar'],['../classSVF_1_1ObjVar.html#a0678067a37d44e8655236454aee9eee0',1,'SVF::ObjVar::ObjVar(NodeID i, PNODEK ty=ObjNode)'],['../classSVF_1_1ObjVar.html#a87e7e6a7db8027c1351476862d7f08cb',1,'SVF::ObjVar::ObjVar(const SVFValue *val, NodeID i, const MemObj *m, PNODEK ty=ObjNode)']]],
14
14
  ['ocgdotgraph_4371',['OCGDotGraph',['../classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101',1,'SVF::Options']]],
15
15
  ['offset_4372',['offset',['../classSVF_1_1DCHEdge.html#a41bd0d95d588aa7fb77e83dc91654493',1,'SVF::DCHEdge::offset()'],['../classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd',1,'SVF::CoreBitVector::offset()'],['../structparse__buffer.html#af727920073077579942a79de519bb31a',1,'parse_buffer::offset()'],['../structprintbuffer.html#a3ed6f9d24d6591047680492a962dc7c9',1,'printbuffer::offset()'],['../cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de',1,'offset(): cJSON.cpp']]],
16
- ['offsetvarandgeptypepairs_4373',['offsetVarAndGepTypePairs',['../classSVF_1_1AccessPath.html#aa9f0a1290083a9b077c6065cad054163',1,'SVF::AccessPath::offsetVarAndGepTypePairs()'],['../classSVF_1_1AccessPath.html#a73ba2fd20ff0e21a2f09a3396f2596f8',1,'SVF::AccessPath::OffsetVarAndGepTypePairs()']]],
16
+ ['offsetvarandgeptypepairs_4373',['OffsetVarAndGepTypePairs',['../classSVF_1_1AccessPath.html#a73ba2fd20ff0e21a2f09a3396f2596f8',1,'SVF::AccessPath::OffsetVarAndGepTypePairs()'],['../classSVF_1_1AccessPath.html#aa9f0a1290083a9b077c6065cad054163',1,'SVF::AccessPath::offsetVarAndGepTypePairs()']]],
17
17
  ['onstack_4374',['onStack',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
18
18
  ['ontheflycallgraphsolve_4375',['onTheFlyCallGraphSolve',['../classSVF_1_1CFLAlias.html#a25b38896aef06dad19532f7678291b37',1,'SVF::CFLAlias::onTheFlyCallGraphSolve()'],['../classSVF_1_1BVDataPTAImpl.html#a9830d4676fd424b633f8e4d918734296',1,'SVF::BVDataPTAImpl::onTheFlyCallGraphSolve()']]],
19
19
  ['ontheflyiterbudgetforstat_4376',['OnTheFlyIterBudgetForStat',['../classSVF_1_1PointerAnalysis.html#afc320fbf269404fe128e69c98e6f9cac',1,'SVF::PointerAnalysis']]],