&quot;Very high adherence&quot; means we pass UBSAN, we pass our in-house static analysis tool, we&#x27;ve never been miscompiled by any compiler (modern, old, bleeding-edge, on multiple platforms) unless it was due to a compiler bug, ...<p>By all practical definitions, and by any measurable way to declare a codebase free of undefined behavior, ours is.<p>And I bet others out there are too. There are formal verifiers for C programs that are used in industries. Unless there&#x27;s a bug in the verifier, the program that it verifies is, by definition, free of undefined behavior.<p>Just because you, or the open source projects you use, don&#x27;t code to the standards, or don&#x27;t have or use the tools that help you do so, doesn&#x27;t mean there aren&#x27;t industries out there who can, and do.