SVF::SVFBugReport Member List

This is the complete list of members for SVF::SVFBugReport, including all inherited members.

addAbsExecBug(GenericBug::BugType bugType, const GenericBug::EventStack &eventStack, s64_t allocLowerBound, s64_t allocUpperBound, s64_t accessLowerBound, s64_t accessUpperBound)	SVF::SVFBugReport	inline
addSaberBug(GenericBug::BugType bugType, const GenericBug::EventStack &eventStack)	SVF::SVFBugReport	inline
BugSet typedef	SVF::SVFBugReport
bugSet	SVF::SVFBugReport	protected
coverage	SVF::SVFBugReport	protected
dumpToJsonFile(const std::string &filePath) const	SVF::SVFBugReport
getBugSet() const	SVF::SVFBugReport	inline
mem	SVF::SVFBugReport	protected
setStat(double time, std::string mem, double coverage)	SVF::SVFBugReport	inline
SVFBugReport()=default	SVF::SVFBugReport
time	SVF::SVFBugReport	protected
~SVFBugReport()	SVF::SVFBugReport