ClearBlue
Public Member Functions | Friends
TaintExtras Class Referenceabstract

#include <Vulnerability.h>

Inheritance diagram for TaintExtras:
Inheritance graph
[legend]

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()

virtual void TaintExtras::transfer ( const SEGSiteBase Site,
const SEGNodeBase Arg,
std::vector< const SEGNodeBase * > &  TransferDsts 
)
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: