Well, couldn't you then be making a safety-checking tool for C? If you can do that, it shouldn't be hard to translate from there to safe Rust.