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