Predicate SocketAuthRace::controlledByAuth

predicate controlledByAuth(Expr controlled, Expr condition)