[apparmor] [PATCH 17/32] apparmor: add support for default differential encoding.

[Seth Arnold]

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 <john.johansen at canonical.com>
Acked-by: Seth Arnold <seth.arnold at canonical.com>

> @@ -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..

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 490 bytes
Desc: Digital signature
URL: <https://lists.ubuntu.com/archives/apparmor/attachments/20130124/8c520fe5/attachment.pgp>