ArticleAuthors: Jun, Furuse; Dinh, Khac Dzung (2007)
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 
