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