SinkFunctionConfig

data class SinkFunctionConfig(val token: String, val paramIndex: Int, val asil: ASIL? = null)

A sink function declared in the interfacePoints { } DSL block.

Parameters

token

Fully qualified function name (e.g. "ns::Class::Function(int)").

paramIndex

Zero-based index of the parameter where taint leaks (must be ≥0). Index 0 is the first C++ parameter. For static functions this is the first declared parameter; for non-static member functions, this is implicit in C++ (not counted), so index 0 refers to the first explicitly declared parameter. PhASAR interprets "params": {"sink": [N]} as "if parameter N is tainted when this function is called, a taint leak is detected."

asil

ASIL override for this function, or null to use InterfacePointsDsl.defaultAsil.

Constructors

Link copied to clipboard
constructor(token: String, paramIndex: Int, asil: ASIL? = null)

Properties

Link copied to clipboard
val asil: ASIL?
Link copied to clipboard
Link copied to clipboard