bend-osdev-apparmor@0.1.0.0
Files (25)
- LAWS.bend51 definitions
- PROOF.bend121 definitions
- apparmor.bend24 definitions
- check.bend13 definitions
- error.bend19 definitions
- eval.bend31 definitions
- example.bend16 definitions
- glob.bend105 definitions
- options.bend8 definitions
- package.bend
- parse.bend213 definitions
- perm.bend29 definitions
- profile.bend49 definitions
- rule.bend18 definitions
- rule_capability.bend20 definitions
- rule_change_profile.bend24 definitions
- rule_dbus.bend36 definitions
- rule_file.bend63 definitions
- rule_mount.bend41 definitions
- rule_network.bend27 definitions
- rule_ptrace.bend25 definitions
- rule_signal.bend32 definitions
- text.bend25 definitions
- token.bend75 definitions
- transitions.bend39 definitions