Rocket Safe
Static code analyser to verify C code adheres to NASA's guidelines for writing safety-critical code.
GitHub RepositoryTech Stack
- Rust /
- C /
- Clang /
Static code analyser to verify C code adheres to NASA's guidelines for writing safety-critical code.
GitHub Repository