source
fun source(token: String, paramIndex: Int? = null, asil: ASIL? = null, usage: SourceUsage = SourceUsage.USED)
Declare a DSL source function.
Parameters
token
Fully qualified function name (e.g. "ns::Class::ReadFoo()").
paramIndex
Zero-based index of the parameter that becomes tainted after the call, or null (default) for return-value semantics.
asil
ASIL override (e.g. ASIL.QM), or null to use defaultAsil.
usage
Expected data-flow usage / known fact.