Static Value-Flow Analysis
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::SVFBugReportinline
addSaberBug(GenericBug::BugType bugType, const GenericBug::EventStack &eventStack)SVF::SVFBugReportinline
BugSet typedefSVF::SVFBugReport
bugSetSVF::SVFBugReportprotected
coverageSVF::SVFBugReportprotected
dumpToJsonFile(const std::string &filePath) constSVF::SVFBugReport
getBugSet() constSVF::SVFBugReportinline
memSVF::SVFBugReportprotected
setStat(double time, std::string mem, double coverage)SVF::SVFBugReportinline
SVFBugReport()=defaultSVF::SVFBugReport
timeSVF::SVFBugReportprotected
~SVFBugReport()SVF::SVFBugReport
Generated by doxygen 1.9.1