qtil
advanced-security/qtil-java 0.0.3
Search

Predicate signature Make::PropertySig::hasPropertyBase

signature predicate hasPropertyBase(FlowNode n, Prop t)