#include <Vulnerability.h>
Inheritance diagram for TaintExtras:
Public Member Functions | |
| virtual bool | isSinkFunction (const SymbolicExprGraph *G, const SEGArgumentNode *Arg) const =0 |
| virtual void | transfer (const SEGSiteBase *Site, const SEGNodeBase *Arg, std::vector< const SEGNodeBase * > &TransferDsts) |
Friends | |
| class | TaintStyleVulnerability |
Detailed Description
This abstract class provided extra interfaces for taint-style vulnerabilities See Vulnerability::VulnerabilityCategoryType for more information.
Member Function Documentation
◆ transfer()
|
inlinevirtual |
It add the destination nodes, which may get tainted data from Arg at Site, into TransferDsts For example, If Site is void* ret = memcpy(dst, src, n) and Arg is src, then we may the ret and dst to TransferDsts.
The documentation for this class was generated from the following file:
- /builds/prismers/clearblue/include/Checker/PSA/Vulnerability.h
