law execve_valid

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

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

55law execve_valid:
56  for +k: C.CapsKernel
57  for +c: C.CapCred
58  for +f: C.CapFile
59  for +ign: Bool
60  for h: {C.CapState.valid(C.CapCred.sets(c)) == True{} : Bool}
61  {C.CapState.valid(E.Caps.execve.sets(k, c, f, ign)) == True{} : Bool}