selinux: Shortlog

Mercurial Mercurial > hg > selinux / shortlog

2013-09-26	chunhan	s2ss_rmdir	changeset \| files
2013-09-26	chunhan	200 loc to finish s2ss_unlink	changeset \| files
2013-09-25	chunhan	600 loc to finish s2ss_closefd	changeset \| files
2013-09-24	chunhan	update	changeset \| files
2013-09-24	chunhan	bug in s2ss_del_sfile	changeset \| files
2013-09-12	chunhan	need a more general update_s2ss_sobj concept	changeset \| files
2013-09-12	chunhan	s2ss_writefile	changeset \| files
2013-09-12	chunhan	s2ss_readfile	changeset \| files
2013-09-12	chunhan	update	changeset \| files
2013-09-05	chunhan	update	changeset \| files
2013-09-04	chunhan	fixed bugs in co2sobj	changeset \| files
2013-09-04	chunhan	update	changeset \| files
2013-09-04	chunhan	done with co2sobj_simps	changeset \| files
2013-09-03	chunhan	found a bug: has_same_inode is a redundant concept of same_inode_files, which is the general form, has_same_inode should be deleted	changeset \| files
2013-09-02	chunhan	remove in-current constrains from co2sobj, alive already does this job in co2sobj's properties	changeset \| files
2013-09-02	chunhan	done with cf2sfiles simpset	changeset \| files
2013-08-30	chunhan	in the middle of building simpset for co2sobj, therefore we can deal with s2ss	changeset \| files
2013-08-29	chunhan	remove O_msg from co2sobj/init_obj2sobj	changeset \| files
2013-08-29	chunhan	fix bug of static.thy for the static of recvmsg case	changeset \| files
2013-08-28	chunhan	add event-trace simpset for s2ss	changeset \| files
2013-08-27	chunhan	find bugs in os_grant, case RecvMsg	changeset \| files
2013-08-05	chunhan	move info_flow/path_by/shm into a new thy	changeset \| files
2013-08-01	chunhan	path_by_shm reconstrain path without duplicated process AND shm	changeset \| files
2013-07-10	chunhan	finally finish Info_flow_shm_attach	changeset \| files
2013-07-09	chunhan	Info_flow_shm_attach_prop	changeset \| files
2013-06-24	chunhan	finished info_flow_shm(simple def) simpset	changeset \| files
2013-06-24	chunhan	wrong of info-flow-shm, it is a inductive(transitive) notion, not a simple relation just between 2 nodes, more information, see 5.7 of ideas_of_selinux.txt	changeset \| files
2013-06-16	chunhan	info_flow_shm is wrongly defined: p -flow-> p'; p' -flow-> p'' ==> p -flow-> p'', this property cannot be infered by current definition. we should use inductive	changeset \| files

(0) -50 -28 +28 tip

selinux

RSS Atom