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