News for hackers. Stuff that matters.
Re:Prusti: Static Analyzer for Rust by haskellandchill on Thursday October 13, 2022 @10:54AM (#33191835)
We have some critical systems code in C that I'm going to try to run static analysis on for our Hack Week. There are probably 100 engineers at my company and not much interest in anything beyond Google SRE and language specific release updates. We use Bash, Php, Python, Ruby, Node, C, Go, and Rust.

There are no comments on this comment yet.