ClearBlue
|
#include <Vulnerability.h>
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 |
This abstract class provided extra interfaces for taint-style vulnerabilities See Vulnerability::VulnerabilityCategoryType
for more information.
|
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
.