no_shm_selinux/Enrich2.thy
Thu, 09 Jan 2014 19:09:09 +0800 chunhan new_childf generalized
Thu, 09 Jan 2014 14:39:00 +0800 chunhan modify co2sobj/s2ss from object to dobject
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
Mon, 06 Jan 2014 23:07:51 +0800 chunhan make clear of Indexing-objects and enrich-objects
Wed, 01 Jan 2014 23:00:24 +0800 chunhan update
Tue, 31 Dec 2013 14:57:13 +0800 chunhan remove init message queue
Mon, 30 Dec 2013 23:41:58 +0800 chunhan find bug: a created proc can be tainted by a message, which cannot remain and maynot be duplicated
Mon, 30 Dec 2013 14:04:23 +0800 chunhan add remove_create_flag to sfd
Mon, 30 Dec 2013 12:01:09 +0800 chunhan cfd2sfd, OF_create flag should not be in the sfd, cause all-duplicated sfd could not have this flag
Thu, 26 Dec 2013 10:56:50 +0800 chunhan enrich
Mon, 23 Dec 2013 19:47:17 +0800 chunhan update
less more (0) tip