Are there tools to support static analysis and formal methods in Rust yet? From ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		westurner on Sept 12, 2020 \| parent \| context \| favorite \| on: Redox: Unix-Like Operating System in Rust Are there tools to support static analysis and formal methods in Rust yet? From https://news.ycombinator.com/item?id=21839514 re: awesome-safety-critical https://awesome-safety-critical.readthedocs.io/en/latest/ : > > Does Rust have a chance in mission-critical software? (currently Ada and proven C niches) https://www.reddit.com/r/rust/comments/5iv5j7/does_rust_have... FWIU, Sealed Rust is in progress. And there's also RustPython for the userspace.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact