static analysis of a class of memory leaks in trustedbsd mac framework

	static analysis of a class of memory leaks in trustedbsd mac framework
	Wu Xinsong ; Zhou Zhouyi ; He Yeping ; Liang Hongliang
	2009
会议名称	5th International Conference on Information Security Practice and Experience
会议日期	APR 13-15,
会议地点	Xi an, PEOPLES R CHINA
关键词	static analysis memory leak TrustedBSD MAC framework security label mygcc
英文摘要	Security labels of subjects and objects are crucial for some security policies and are an essential part of the TrustedBSD MAC framework. We find that security labels not being destroyed properly will result in memory leaks. This paper analyzes the security labels management of the TrustedBSD MAC framework and presents a path-sensitive static analysis approach to detect potential memory leaks caused by the security label management. This approach verifies complete destruction of security labels through compiler-integrated checking rules at compile-time. It achieves complete coverage of execution paths and has low false positive rate.
会议主办者	Xidian Univ, Xidian Univ, Sch Telecommun Engn, Key Lab Comp Networks & Informat Security, Minist Educ
会议录	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
会议录出版者	INFORMATION SECURITY PRACTICE AND EXPERIENCE, PROCEEDINGS - 5TH INTERNATIONAL CONFERENCE, ISPEC 2009
会议录出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
ISSN号	0302-9743
ISBN号	978-3-642-00842-9
内容类型	会议论文
源URL	[http://124.16.136.157/handle/311060/8382]
专题	软件研究所_基础软件国家工程研究中心_会议论文
推荐引用方式 GB/T 7714	Wu Xinsong,Zhou Zhouyi,He Yeping,et al. static analysis of a class of memory leaks in trustedbsd mac framework[C]. 见:5th International Conference on Information Security Practice and Experience. Xi an, PEOPLES R CHINA. APR 13-15,.