why humans should not code in c: we're finding memory-safety vulnerabilities in c projects that are prevented by default in many other languages. in the past, finding a simple buffer overflow wasn't ...