Argumentation around the efficacy of static analysis tooling for C and the Rust compiler in catching software errors pre-runtime. - View it on GitHub