Flow Sensitive Information Flow Analysis for C Programs

Title:	Flow Sensitive Information Flow Analysis for C Programs
Authors:	Jun, Furuse Dinh, Khac Dzung
Keywords:	C Program;VITC
Issue Date:	2007
Publisher:	ĐHCN
Abstract:	VITC compiler aims to provide information security to legac y C applications, using type based information flow analysis. We have re- cently modified its typing discipline to flow sensitive, whil e those of the other realistic information secure compiler implementations for Java[5]and ML[8] are flow insensitive. This is because local states in C are toofrequently stored in global variables such as errno
URI:	http://repository.vnu.edu.vn/handle/VNU_123/14454
Appears in Collections:	Bài đăng tạp chí (LIC)