SVF::AEDetector Class Reference

Base class for all detectors. More...

#include <AEDetector.h>

Inheritance diagram for SVF::AEDetector:

Public Types
enum	DetectorKind { BUF_OVERFLOW , NULL_DEREF , UNKNOWN }
	Enumerates the types of detectors available. More...

Public Member Functions
	AEDetector ()
	Constructor initializes the detector kind to UNKNOWN.
virtual	~AEDetector ()=default
	Virtual destructor for safe polymorphic use.
virtual void	detect (AbstractState &as, const ICFGNode *node)=0
	Pure virtual function for detecting issues within a node.
virtual void	handleStubFunctions (const CallICFGNode *call)=0
	Pure virtual function for handling stub external API calls. (e.g. UNSAFE_BUFACCESS)
virtual void	reportBug ()=0
	Pure virtual function to report detected bugs.
DetectorKind	getKind () const
	Get the kind of the detector.

Static Public Member Functions
static bool	classof (const AEDetector *detector)
	Check if the detector is of the UNKNOWN kind.

Protected Attributes
DetectorKind	kind
	The kind of the detector.

Detailed Description

Base class for all detectors.

Definition at line 38 of file AEDetector.h.

Member Enumeration Documentation

DetectorKind

enum SVF::AEDetector::DetectorKind

Enumerates the types of detectors available.

Enumerator
BUF_OVERFLOW	Detector for buffer overflow issues.
NULL_DEREF	Detector for nullptr dereference issues.
UNKNOWN	Default type if the kind is not specified.

Definition at line 45 of file AEDetector.h.

    {
        BUF_OVERFLOW,   
        NULL_DEREF,  
        UNKNOWN,    
    };

Constructor & Destructor Documentation

AEDetector()

SVF::AEDetector::AEDetector ( )

inline

Constructor initializes the detector kind to UNKNOWN.

Definition at line 55 of file AEDetector.h.

: kind(UNKNOWN) {}

~AEDetector()

virtual SVF::AEDetector::~AEDetector ( )

virtualdefault

Virtual destructor for safe polymorphic use.

Member Function Documentation

classof()

static bool SVF::AEDetector::classof ( const AEDetector *  detector )

inlinestatic

Check if the detector is of the UNKNOWN kind.

Parameters

detector

Pointer to the detector.

Returns

True if the detector is of type UNKNOWN, false otherwise.

Definition at line 67 of file AEDetector.h.

    {
        return detector->getKind() == AEDetector::UNKNOWN;
    }

detect()

virtual void SVF::AEDetector::detect ( AbstractState &  as, const ICFGNode *  node  )

pure virtual

Pure virtual function for detecting issues within a node.

Parameters

as	Reference to the abstract state.
node	Pointer to the ICFG node.

Implemented in SVF::BufOverflowDetector, and SVF::NullptrDerefDetector.

getKind()

DetectorKind SVF::AEDetector::getKind ( ) const

inline

Get the kind of the detector.

Returns

The kind of the detector.

Definition at line 94 of file AEDetector.h.

    {
        return kind;
    }

handleStubFunctions()

virtual void SVF::AEDetector::handleStubFunctions ( const CallICFGNode *  call )

pure virtual

Pure virtual function for handling stub external API calls. (e.g. UNSAFE_BUFACCESS)

Parameters

call	Pointer to the ext call ICFG node.

Implemented in SVF::BufOverflowDetector, and SVF::NullptrDerefDetector.

reportBug()

virtual void SVF::AEDetector::reportBug ( )

pure virtual

Pure virtual function to report detected bugs.

Implemented in SVF::BufOverflowDetector, and SVF::NullptrDerefDetector.

Member Data Documentation

kind

DetectorKind SVF::AEDetector::kind

protected

The kind of the detector.

Definition at line 100 of file AEDetector.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/AE/Svfexe/AEDetector.h