Oxide and Friends
Crates We Love
Eliza Weisman
t-san or asan or valgrind but it's actually quite different because it's a model checker rather than a sanitizer that you run your program under and then get back oh while it was executing it did a bad thing but you know it's possible that you'll just never see the bad thing happen during that execution whereas with this sort of deterministic model checking
0
💬
0
Comments
Log in to comment.
There are no comments yet.