Member predicate StrCatBW::hasExplicitLimit
Holds if the operation has an explicit parameter that limits the amount
of data written (e.g. strncpy
does, whereas strcpy
does not); this
is not the same as exists(getExplicitLimit()) because the limit may exist
though it’s value is unknown.
predicate hasExplicitLimit()