SVF::SVFBugEvent Class Reference

#include <SVFBugReport.h>

Public Types
enum	EventType {   Branch = 0x1 , Caller = 0x2 , CallSite = 0x3 , Loop = 0x4 ,   SourceInst = 0x5 }

Public Member Functions
	SVFBugEvent (u32_t typeAndInfoFlag, const ICFGNode *eventInst)
virtual	~SVFBugEvent ()=default
u32_t	getEventType () const
virtual const std::string	getEventDescription () const
virtual const std::string	getFuncName () const
virtual const std::string	getEventLoc () const

Protected Attributes
u32_t	typeAndInfoFlag
const ICFGNode *	eventInst

Detailed Description

Bug Detector Recoder

Definition at line 51 of file SVFBugReport.h.

Member Enumeration Documentation

EventType

enum SVF::SVFBugEvent::EventType

Enumerator
Branch
Caller
CallSite
Loop
SourceInst

Definition at line 54 of file SVFBugReport.h.

    {
        Branch = 0x1,
        Caller = 0x2,
        CallSite = 0x3,
        Loop = 0x4,
        SourceInst = 0x5
    };

Constructor & Destructor Documentation

SVFBugEvent()

SVF::SVFBugEvent::SVFBugEvent ( u32_t  typeAndInfoFlag, const ICFGNode *  eventInst  )

inline

Definition at line 68 of file SVFBugReport.h.

: typeAndInfoFlag(typeAndInfoFlag), eventInst(eventInst) { };

~SVFBugEvent()

virtual SVF::SVFBugEvent::~SVFBugEvent ( )

virtualdefault

Member Function Documentation

getEventDescription()

const std::string SVFBugEvent::getEventDescription ( ) const

virtual

Definition at line 287 of file SVFBugReport.cpp.

{
    switch(getEventType())
    {
    case SVFBugEvent::Branch:
    {
        if (typeAndInfoFlag & BRANCHFLAGMASK)
        {
            return "True";
        }
        else
        {
            return "False";
        }
        break;
    }
    case SVFBugEvent::CallSite:
    {
        std::string description("calls ");
        assert(SVFUtil::isa<CallICFGNode>(eventInst) && "not a call ICFGNode?");
        const SVFFunction *callee = SVFUtil::cast<CallICFGNode>(eventInst)->getCalledFunction();
        if(callee == nullptr)
        {
            description += "<unknown>";
        }
        else
        {
            description += callee->getName();
        }
        return description;
        break;
    }
    case SVFBugEvent::SourceInst:
    {
        return "None";
    }
    default:
    {
        assert(false && "No such type of event!");
        abort();
    }
    }
}

getEventLoc()

const std::string SVFBugEvent::getEventLoc ( ) const

virtual

Definition at line 282 of file SVFBugReport.cpp.

{
    return eventInst->getSourceLoc();
}

getEventType()

u32_t SVF::SVFBugEvent::getEventType ( ) const

inline

Definition at line 71 of file SVFBugReport.h.

    {
        return typeAndInfoFlag & EVENTTYPEMASK;
    }

getFuncName()

const std::string SVFBugEvent::getFuncName ( ) const

virtual

Definition at line 277 of file SVFBugReport.cpp.

{
    return eventInst->getFun()->getName();
}

Member Data Documentation

eventInst

const ICFGNode* SVF::SVFBugEvent::eventInst

protected

Definition at line 65 of file SVFBugReport.h.

typeAndInfoFlag

u32_t SVF::SVFBugEvent::typeAndInfoFlag

protected

Definition at line 64 of file SVFBugReport.h.

---

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

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