How Java's Floating Point Hurts Everyone Everywhere
Real Programs Dump Core
CCured analyzes the C program to determine the smallest number of run-time checks that must be inserted in the program to prevent all memory safety violations. The resulting program is memory safe, meaning that it will stop rather than overrun a buffer or scribble over memory that it shouldn't touch.
Worms in Sand