For undefined behavior detection, I have heard of these: - UB sanitizer https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html https://clang.llvm.org/docs

For undefined behavior detection, I have heard of these: - UB sanitizer https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html - Cerberus Semantics https://www.cl.cam.ac.uk/~pes20/cerberus/ https://www.cl.cam.ac.uk/~pes20/cerberus/ - https://github.com/kframework/c-semantics https://github.com/kframework/c-semantics - https://github.com/TrustInSoft/tis-interpreter https://github.com/TrustInSoft/tis-interpreter