Microsoft's c codebase is heavily annotated with custom annotations they check at compile time. It's not as powerful as Rust, but very cool. https://docs.micro

Microsoft's c codebase is heavily annotated with custom annotations they check at compile time. It's not as powerful as Rust, but very cool. https://docs.microsoft.com/en-us/cpp/code-quality/using-sal-annotations-to-reduce-c-cpp-code-defects?view=msvc-160 https://docs.microsoft.com/en-us/cpp/code-quality/using-sal-...