[adastra22]

Dynamic/runtime checks (and crashes) are VERY different from compile time checks though. Many applications, and especially those that DARPA are focused on, care about ahead-of-time guarantees that code will work correctly, and runtime panic is actually the worst possible failure mode. Think of flight control software, for example.

[pizlonator]

This DARPA doc isn’t about flight software.

Rust uses runtime checking for array access bounds, which are the most common kind of memory safety vulnerability.