Predicate hasAuthViaCode
Holds if m is a method that should have an auth check, and does indeed have one.
Import path
import semmle.code.csharp.security.auth.MissingFunctionLevelAccessControlQuerypredicate hasAuthViaCode(ActionMethod m)Holds if m is a method that should have an auth check, and does indeed have one.
import semmle.code.csharp.security.auth.MissingFunctionLevelAccessControlQuerypredicate hasAuthViaCode(ActionMethod m)