Re: [PATCH] Smackv10: Smack rules grammar + their stateful parser

From: Pavel Machek
Date: Sun Nov 04 2007 - 07:29:32 EST


Hi!

> > Still to come:
> >
> > - Final cleanup of smack_load_write and smack_cipso_write.
>
> Hi All,
>
> After agreeing with Casey on the "load" input grammar yesterday, here's
> the final grammar and its parser (which needs more testing):
>
> A Smack Rule in an "egrep" format is:
>
> "^[:space:]*Subject[:space:]+Object[:space:]+[rwxaRWXA-]+[:space:]*\n"
>
> where Subject/Object strings are in the form:
>
> "^[^/[:space:][:cntrl:]]{1,SMK_MAXLEN}$"

Can we avoid string parsers in the kernel?


> +static inline int isblank(char c)
> +{
> + return (c == ' ' || c == '\t');
> +}

This sounds like enough for 'NAK'.

Pavel,
who still thinks smack rules should be parsed
in userspace and compiled into selinux rules...

--
(english) http://www.livejournal.com/~pavelmachek
(cesky, pictures) http://atrey.karlin.mff.cuni.cz/~pavel/picture/horses/blog.html
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/