SVF::FilePartialCloseBug Class Reference

#include <SVFBugReport.h>

Inheritance diagram for SVF::FilePartialCloseBug:

Public Member Functions
	FilePartialCloseBug (const EventStack &bugEventStack)
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...

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::GenericBug
BugType	bugType
const EventStack	bugEventStack

Detailed Description

Definition at line 240 of file SVFBugReport.h.

Constructor & Destructor Documentation

FilePartialCloseBug()

SVF::FilePartialCloseBug::FilePartialCloseBug ( const EventStack &  bugEventStack )

inline

Definition at line 243 of file SVFBugReport.h.

                                                        :
        GenericBug(GenericBug::FILEPARTIALCLOSE, bugEventStack) { }

Member Function Documentation

classof()

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

inlinestatic

ClassOf.

Definition at line 250 of file SVFBugReport.h.

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

getBugDescription()

cJSON * FilePartialCloseBug::getBugDescription ( ) const

virtual

Implements SVF::GenericBug.

Definition at line 215 of file SVFBugReport.cpp.

{
    cJSON *bugDescription = cJSON_CreateObject();
 
    cJSON *pathInfo = cJSON_CreateArray();
 
    auto lastBranchEventIt = bugEventStack.end() - 1;
    for(auto eventIt = bugEventStack.begin(); eventIt != lastBranchEventIt; eventIt++)
    {
        cJSON *newBranch = cJSON_CreateObject();
        cJSON *branchLoc = cJSON_Parse((*eventIt).getEventLoc().c_str());
        if(branchLoc == nullptr) branchLoc = cJSON_CreateObject();
        cJSON *branchCondition = cJSON_CreateString((*eventIt).getEventDescription().c_str());
 
        cJSON_AddItemToObject(newBranch, "BranchLoc", branchLoc);
        cJSON_AddItemToObject(newBranch, "BranchCond", branchCondition);
 
        cJSON_AddItemToArray(pathInfo, newBranch);
    }
    cJSON_AddItemToObject(bugDescription, "ConditionalFileClosePath", pathInfo);
 
    return bugDescription;
}

printBugToTerminal()

void FilePartialCloseBug::printBugToTerminal ( ) const

virtual

Implements SVF::GenericBug.

Definition at line 239 of file SVFBugReport.cpp.

{
    SVFUtil::errs() << SVFUtil::bugMsg2("\t PartialFileClose :") <<  " file open location at : ("
                    << GenericBug::getLoc() << ")\n";
 
    SVFUtil::errs() << "\t\t conditional file close path: \n";
    auto lastBranchEventIt = bugEventStack.end() - 1;
    for(auto eventIt = bugEventStack.begin(); eventIt != lastBranchEventIt; eventIt++)
    {
        SVFUtil::errs() << "\t\t  --> (" << (*eventIt).getEventLoc() << "|" << (*eventIt).getEventDescription() << ") \n";
    }
    SVFUtil::errs() << "\n";
}

---

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