[Manishearth]

Because ultimatelty they're imperfect.

Sure, C+static analysis is good enough for many situations. But it can't compare with the guaranteed safety offered by Rust.

[mfukar]

> Because ultimatelty they're imperfect.

Everything is imperfect, it's not a good reason to discount anything.