Ecosystem component

Security Capabilities

PARTIALLY VERIFIED

Memory-safety oriented language design.

RUDRA is designed around memory safety. Capability-level security claims on this site are limited to what has been independently observed.

Details

  • Bounds-checked access and controlled failure are design goals of the language.
  • This website makes no cryptographic or formal-assurance claims about the distributed binaries.

Note

No guarantee is made that the software is free of vulnerabilities.

Back to all components · Verification evidence