SVF::FullBufferOverflowBug Class Reference

#include <SVFBugReport.h>

Inheritance diagram for SVF::FullBufferOverflowBug:

Public Member Functions
	FullBufferOverflowBug (const EventStack &eventStack, s64_t allocLowerBound, s64_t allocUpperBound, s64_t accessLowerBound, s64_t accessUpperBound)
Public Member Functions inherited from SVF::BufferOverflowBug
	BufferOverflowBug (GenericBug::BugType bugType, const EventStack &eventStack, s64_t allocLowerBound, s64_t allocUpperBound, s64_t accessLowerBound, s64_t accessUpperBound)
cJSON *	getBugDescription () const
void	printBugToTerminal () const
Public Member Functions inherited from SVF::GenericBug
	GenericBug (BugType bugType, const EventStack &bugEventStack)
	note: should be initialized with a bugEventStack More...
virtual	~GenericBug ()=default
BugType	getBugType () const
	returns bug type More...
const std::string	getLoc () const
	returns bug location as json format string More...
const std::string	getFuncName () const
	return bug source function name More...
const EventStack &	getEventStack () const

Static Public Member Functions
static bool	classof (const GenericBug *bug)
	ClassOf. More...
Static Public Member Functions inherited from SVF::BufferOverflowBug
static bool	classof (const GenericBug *bug)
	ClassOf. More...

Additional Inherited Members
Public Types inherited from SVF::GenericBug
enum	BugType {   FULLBUFOVERFLOW , PARTIALBUFOVERFLOW , NEVERFREE , PARTIALLEAK ,   DOUBLEFREE , FILENEVERCLOSE , FILEPARTIALCLOSE , FULLNULLPTRDEREFERENCE ,   PARTIALNULLPTRDEREFERENCE }
typedef std::vector< SVFBugEvent >	EventStack
Static Public Attributes inherited from SVF::GenericBug
static const std::map< GenericBug::BugType, std::string >	BugType2Str
Protected Attributes inherited from SVF::BufferOverflowBug
s64_t	allocLowerBound
s64_t	allocUpperBound
s64_t	accessLowerBound
s64_t	accessUpperBound
Protected Attributes inherited from SVF::GenericBug
BugType	bugType
const EventStack	bugEventStack

Detailed Description

Definition at line 144 of file SVFBugReport.h.

Constructor & Destructor Documentation

FullBufferOverflowBug()

SVF::FullBufferOverflowBug::FullBufferOverflowBug ( const EventStack &  eventStack, s64_t  allocLowerBound, s64_t  allocUpperBound, s64_t  accessLowerBound, s64_t  accessUpperBound  )

inline

Definition at line 147 of file SVFBugReport.h.

                                                                         :
        BufferOverflowBug(GenericBug::FULLBUFOVERFLOW, eventStack, allocLowerBound,
                          allocUpperBound, accessLowerBound, accessUpperBound) { }

Member Function Documentation

classof()

static bool SVF::FullBufferOverflowBug::classof ( const GenericBug *  bug )

inlinestatic

ClassOf.

Definition at line 154 of file SVFBugReport.h.

    {
        return bug->getBugType() == GenericBug::FULLBUFOVERFLOW;
    }

---

The documentation for this class was generated from the following file:

• /home/runner/work/SVF/SVF/svf/include/Util/SVFBugReport.h