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)