News for hackers. Stuff that matters.

A comment on Bugs that the Rust compiler catches for you. Parent comment

Re:Bugs that the Rust compiler catches for you by kragen on Friday May 13, 2022 @08:52PM (#31374091)
And vice versa; Frama-C doesn't attempt to prove the absence of data races, last I checked.
[ Parent | on HN ]
Re:Bugs that the Rust compiler catches for you by KsassPeuk on Monday May 16, 2022 @03:20AM (#31394360)
In fact there exists a plugin that can do that but it is currently not free:

https://frama-c.com/fc-plugins/mthread.html

(And by the way since it is not done by typing it is hard to use on legacy code)

[ Parent | on HN ]