The Fail-Safe C to Java translator Yuhki Kamijima (Tohoku Univ.) Background The programming language C does not guarantee memory safety This is the cause of memory attacks…