FerroProve
ferroprove.vercel.app- Category
- Developer Tools
- Rank
- No. 3715Tools index
- Type
- TOOL
- Date
About
FerroProve is a web tool that converts C source into safe Rust with no unsafe code. It lets users paste a GitHub C file URL or pick example sources, parses the call graph and mutable globals, and flags unchecked array indexing. The site says valid inputs produce byte-exact output and out-of-bounds accesses are contained deterministically.
Tags
crustcode-translationmemory-safetystatic-analysisweb-tool
Media
Comments (0)
No comments yet
Editorially curated, with community endorsements as a secondary signal. Corrections welcome.