SourceFunctionConfig
Parameters
Fully qualified function name (e.g. "ns::Class::Function()").
Zero-based index of the parameter that becomes tainted after the call, or null (default) to use return-value semantics ("ret": "source").
null→ the return value of the function carries the taint. PhASAR generates"ret": "source"— afterx = source(),xis tainted.0→ the first declared parameter becomes tainted (passed by reference). PhASAR generates"params": {"source": [0]}— aftersource(a, b),ais tainted.N→ the (N+1)-th declared parameter becomes tainted. WhenparamIndexis non-null,ret: sourceis NOT generated unless the function also appears as a source withparamIndex = null.
ASIL override for this function, or null to use InterfacePointsDsl.defaultAsil.
Expected data-flow usage / known fact.