Base class for all detectors.
More...
#include <AEDetector.h>
Base class for all detectors.
Definition at line 38 of file AEDetector.h.
◆ DetectorKind
Enumerates the types of detectors available.
Enumerator |
---|
BUF_OVERFLOW | Detector for buffer overflow issues.
|
UNKNOWN | Default type if the kind is not specified.
|
Definition at line 45 of file AEDetector.h.
@ UNKNOWN
Default type if the kind is not specified.
@ BUF_OVERFLOW
Detector for buffer overflow issues.
◆ AEDetector()
SVF::AEDetector::AEDetector |
( |
| ) |
|
|
inline |
Constructor initializes the detector kind to UNKNOWN.
Definition at line 54 of file AEDetector.h.
DetectorKind kind
The kind of the detector.
◆ ~AEDetector()
virtual SVF::AEDetector::~AEDetector |
( |
| ) |
|
|
virtualdefault |
Virtual destructor for safe polymorphic use.
◆ 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 66 of file AEDetector.h.
◆ detect()
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.
◆ getKind()
Get the kind of the detector.
- Returns
- The kind of the detector.
Definition at line 93 of file AEDetector.h.
◆ 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.
◆ reportBug()
virtual void SVF::AEDetector::reportBug |
( |
| ) |
|
|
pure virtual |
◆ kind
The documentation for this class was generated from the following file:
- /home/runner/work/SVF/SVF/svf/include/AE/Svfexe/AEDetector.h