law execve_bounding_unchanged

bend-osdev-caps@0.1.0.0 · LAWS.bend:63

import Base
import bend-osdev-caps@0.1.0.0/caps.bend as C
import bend-osdev-caps@0.1.0.0/exec.bend as E

63law execve_bounding_unchanged:
64  for +k: C.CapsKernel
65  for +c: C.CapCred
66  for +f: C.CapFile
67  for +ign: Bool
68  {C.CapState.bounding(E.Caps.execve.sets(k, c, f, ign)) == C.CapState.bounding(C.CapCred.sets(c)) : C.CapSet()}