On Wed, Jan 16, 2013 at 01:28:46PM -0800, John Johansen wrote: > Default differential encoding stores the current state's transitions as > the difference of the default state's transitions. So for the current > match (state and pos) if the state is diffentially encoded, transition to > the default state without incrementing pos; > > Signed-off-by: John Johansen <[email protected]> Acked-by: Seth Arnold <[email protected]>
> @@ -154,6 +154,8 @@ static int verify_dfa(struct aa_dfa *dfa, int flags) > } > } > > + /* TODO: verify diff encode terminates */ > + TODO: solve halting problem :) Though some kind of sanity checks would be nice..
signature.asc
Description: Digital signature
-- AppArmor mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/apparmor
