2 ms·
Do you use CBMC or other model checkers to make sure that your code doesn't contain any UB or memory related bugs?
by imtringued 2y ago
Do you use CBMC or other model checkers to make sure that your code doesn't contain any UB or memory related bugs?
- rramadass 2y agoAre you going to tell me that Rust doesn't need such tools?