Mutation-based testing of buffer overflows, SQL injections, and format string bugs