Exec.CapExec.dumb_ok: def of bend-osdev-caps@0.1.0.0
Import: import bend-osdev-caps@0.1.0.0/exec.bend as Exec
Lines 147-158 of bend-osdev-caps@0.1.0.0/exec.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-caps@0.1.0.0/exec.bend&start_line=147&end_line=158

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

# "Safety checking for capability-dumb binaries": a file with capabilities
# and the effective bit must grant all of its permitted set
def CapExec.dumb_ok(fc: Maybe<&2, C.CapFileSets>, p: C.CapSet()) -> Bool:
  match fc:
    case None{}:
      True{}
    case Some{C.CapFileSets{fp, fi, fe}}:
      match fe:
        case False{}:
          True{}
        case True{}:
          C.CapSet.subset(fp, p)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&name=CapFileSets
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&name=CapSet
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&name=CapSet.subset