no_shm_selinux/Enrich2.thy
Wed, 08 Jan 2014 18:40:38 +0800 chunhan enrich msgq done; but find bugs of s2ss, it should only considerate 'appropriate' objects, not including msg/fd ...
Tue, 07 Jan 2014 22:04:06 +0800 chunhan enrich_msgq
less more (0) -2 tip