Research on Safe C Code Compilation Based on Information Flow Analysis
Fang Qing-po · Microelectronics & Computer · 2006
Propose a new C code safe compilation, which analyze information flow safety by the lattice model of information flow and combined memory safety. Such as realize that the C programs do not need to terminate their execution and continue to work after attacks.