qtil
advanced-security/qtil-java 0.0.3
Search

Member predicate BaseSsaImplicitInit::isParameterDefinition

Holds if the SSA variable is a parameter defined by its initial value in the callable.

predicate isParameterDefinition(Parameter p)