I&#x27;m not sure it would take &quot;years and years&quot; of static analysis research. You could use the data-flow analysis that is built into LLVM, then punt on the rest. It doesn&#x27;t HAVE to produce Rust code that compiles 100% of the time. The goal would be to run it through the transpiler so you have a starting place to produce Rust code that compiles and works the same as the original C code.<p>Again, this might be a terrible idea, but I&#x27;d be curious to hear from anyone that has experience with this sort of porting...