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

[Tetsuo Handa]

Hello.

Adrian Bunk wrote:
> You have a "\?" pattern which is defined as "1 byte character other
> than '/'".
Don't worry. The "\?" pattern is for temporary files with /tmp/prefixXXXXXX pattern.
/tmp/prefixXXXXXX is represented as /tmp/prefix\?\?\?\?\?\? in TOMOYO Linux's syntax.

> The user usually doesn't know how many bytes a character in a path or 
> file name on his system has.
The "\*" pattern is for this purpose which means more than 0 byte characters other than '/'.

TOMOYO supports various patterns
http://tomoyo.sourceforge.jp/en/1.5.x/policy-reference.html#exception_policy.conf

TOMOYO Linux handles string using 7bit ASCII. In TOMOYO Linux,
a byte 0x21 <= c <= 0x7E && c != 0x5C is represented as is,
c == 0x5C is represented as \\,
0x01 <= c <= 0x20 || 0x7F <= c <= 0xFF is represented as \ooo style.
c == 0x00 is not needed since it is used as end-of-string marker.
This rule makes any string passed from/to kernel safely.

Thanks.

-
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/