law execve_ambient_within_inheritable

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

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

47law execve_ambient_within_inheritable:
48  for +k: C.CapsKernel
49  for +c: C.CapCred
50  for +f: C.CapFile
51  for +ign: Bool
52  for h: {C.CapSet.subset(C.CapState.ambient(C.CapCred.sets(c)), C.CapState.inheritable(C.CapCred.sets(c))) == True{} : Bool}
53  {C.CapSet.subset(C.CapState.ambient(E.Caps.execve.sets(k, c, f, ign)), C.CapState.inheritable(E.Caps.execve.sets(k, c, f, ign))) == True{} : Bool}