#include <SVFFileSystem.h>
Definition at line 345 of file SVFFileSystem.h.
◆ SVFModuleWriter()
SVF::SVFModuleWriter::SVFModuleWriter |
( |
const SVFModule * |
svfModule | ) |
|
Definition at line 960 of file SVFFileSystem.cpp.
965 const auto& svfTypes = symTab->getSVFTypes();
967 for (
const SVFType*
type : svfTypes)
972 const auto& stInfos = symTab->getStInfos();
974 for (
const StInfo* stInfo : stInfos)
979 svfValuePool.reserve(svfModule->getFunctionSet().size() +
980 svfModule->getConstantSet().size() +
981 svfModule->getOtherValueSet().size());
WriterPtrPool< SVFValue > svfValuePool
WriterPtrPool< StInfo > stInfoPool
WriterPtrPool< SVFType > svfTypePool
static SymbolTableInfo * SymbolInfo()
Singleton design here to make sure we only have one instance during any analysis.
◆ getStInfoID()
size_t SVF::SVFModuleWriter::getStInfoID |
( |
const StInfo * |
stInfo | ) |
|
|
inline |
◆ getSVFTypeID()
size_t SVF::SVFModuleWriter::getSVFTypeID |
( |
const SVFType * |
type | ) |
|
|
inline |
◆ getSVFValueID()
size_t SVF::SVFModuleWriter::getSVFValueID |
( |
const SVFValue * |
value | ) |
|
|
inline |
◆ getSVFValuePtr()
const SVFValue* SVF::SVFModuleWriter::getSVFValuePtr |
( |
size_t |
id | ) |
const |
|
inline |
◆ sizeSVFValuePool()
size_t SVF::SVFModuleWriter::sizeSVFValuePool |
( |
| ) |
const |
|
inline |
◆ SVFIRWriter
◆ stInfoPool
◆ svfTypePool
◆ svfValuePool
The documentation for this class was generated from the following files: