A security tool for testing binaries for overflows