Open pebenito opened 8 years ago
Like with constraints, the kernel will reduce access via typebounds. Update analyses to remove permissions from rules based on bounding.
TBD: determine appropriate behaviors for relevant queries/analyses.
Complication: rules with attributes. Permission removal may only apply to a subset of the types in the rule.
Like with constraints, the kernel will reduce access via typebounds. Update analyses to remove permissions from rules based on bounding.
TBD: determine appropriate behaviors for relevant queries/analyses.