law unmatched_denied

bend-osdev-apparmor@0.1.0.0 · LAWS.bend:81

import Base
import bend-osdev-apparmor@0.1.0.0/perm.bend as P
import bend-osdev-apparmor@0.1.0.0/options.bend as O
import bend-osdev-apparmor@0.1.0.0/profile.bend as PR
import bend-osdev-apparmor@0.1.0.0/eval.bend as V

81law unmatched_denied:
82  for opts: O.AaOptions
83  for flags: PR.AaFlags
84  for req: P.AaPerms
85  for h1: {PR.AaMode.enforcing(PR.AaFlags.mode(flags)) == True{} : Bool}
86  for h2: {P.AaPerms.any(req) == True{} : Bool}
87  {V.AaDecision.allowed(V.AaEval.decide(opts, flags, req, Nil{})) == False{} : Bool}