Member predicate AliasFunction::hasAddressFlow
Holds if the address passed in via input
is always propagated to output
.
predicate hasAddressFlow(FunctionInput input, FunctionOutput output)
Holds if the address passed in via input
is always propagated to output
.
predicate hasAddressFlow(FunctionInput input, FunctionOutput output)