#include <SVFBugReport.h>
Definition at line 121 of file SVFBugReport.h.
◆ BufferOverflowBug()
Definition at line 127 of file SVFBugReport.h.
GenericBug(BugType bugType, const EventStack &bugEventStack)
note: should be initialized with a bugEventStack
◆ classof()
static bool SVF::BufferOverflowBug::classof |
( |
const GenericBug * |
bug | ) |
|
|
inlinestatic |
◆ getBugDescription()
cJSON * BufferOverflowBug::getBugDescription |
( |
| ) |
const |
|
virtual |
Implements SVF::GenericBug.
Definition at line 63 of file SVFBugReport.cpp.
65 cJSON *bugDescription = cJSON_CreateObject();
71 cJSON_AddItemToObject(bugDescription,
"AllocLowerBound", allocLB);
72 cJSON_AddItemToObject(bugDescription,
"AllocUpperBound", allocUB);
73 cJSON_AddItemToObject(bugDescription,
"AccessLowerBound", accessLB);
74 cJSON_AddItemToObject(bugDescription,
"AccessUpperBound", accessUB);
76 return bugDescription;
◆ printBugToTerminal()
void BufferOverflowBug::printBugToTerminal |
( |
| ) |
const |
|
virtual |
Implements SVF::GenericBug.
Definition at line 79 of file SVFBugReport.cpp.
100 switch(event.getEventType())
104 SVFUtil::errs() <<
"\t\t callsite at : ( " <<
event.getEventLoc() <<
" )\n";
static bool classof(const GenericBug *bug)
ClassOf.
const std::string getLoc() const
returns bug location as json format string
const EventStack bugEventStack
std::string bugMsg1(const std::string &msg)
std::ostream & errs()
Overwrite llvm::errs()
◆ accessLowerBound
s64_t SVF::BufferOverflowBug::accessLowerBound |
|
protected |
◆ accessUpperBound
s64_t SVF::BufferOverflowBug::accessUpperBound |
|
protected |
◆ allocLowerBound
s64_t SVF::BufferOverflowBug::allocLowerBound |
|
protected |
◆ allocUpperBound
s64_t SVF::BufferOverflowBug::allocUpperBound |
|
protected |
The documentation for this class was generated from the following files: