Abstract
We have developed a type based information flow analysis for C-style pointers and casts with run-time dynamic security level checking, which prevents secret information from leaking to unauthorized observers. C programs can continue their execution safely even after they face memory based security hole attacks such as buffer overflow exploits, since even the failure oblivious behavior caused by attacks is secured by information flow based security.
