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 observed and tested by the project team; this is not an independent third-party audit or certification.

Details

  • Integer division and modulo by zero trap instead of continuing silently.
  • List access is bounds-checked, and lists are capped at 512 elements.
  • The released ruxc binary is a statically linked ELF with no runtime dependencies.
  • Cryptography and TLS 1.3 modules exist in the standard library, with documented limits; certificate authentication is not wired into a live client, so this site does not advertise authenticated HTTPS.

Note

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

Back to all components · Verification evidence