qtil
advanced-security/qtil-csharp 0.0.3
Search

Member predicate Parameter::isIn

Holds if this parameter is a value type that is passed in by reference. For example, p is an input parameter in

void M(in int p) {
  ...
}
predicate isIn()