Browsing by Subject C Program

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 1 of 1
  • Flow Sensitive Information Flow Analysis for C Programs.pdf.jpg
  • Article


  • Authors: 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

Browsing by Subject C Program

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 1 of 1
  • Flow Sensitive Information Flow Analysis for C Programs.pdf.jpg
  • Article


  • Authors: 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