After studying the tools and practices for translating legacy-C-code to safe-RUST-code, i.e without unsafe declarations, we identified two main causes for unsafe declarations in RUST; the limited classes of data-structure RUST can safely & efficiently supports and the use of libraries in real-world application. CSAFA labs is developing a tool to address the data-structure problem (initially prioritizing safety/security over efficiency), and the library problem can be handled iteratively with a method that resembles software debloating and by leveraging the data-structure transformation tool being developed.
While initially motivated by DARPA TRACTOR. We did not submit a final proposal.