Get the latest tech news
Coccinelle for Rust progress report
In collaboration with Inria, at look at the progress made over the past year on the CoccinelleForRust project.
In collaboration with Inria (the French Institute for Research in Computer Science and Automation), Tathagata Roy shares the progress made over the past year on the CoccinelleForRust project, co-sponsored by Collabora. With a standard engine, each step of the matching process can be logged, allowing us to learn and reuse the same design patterns from Coccinelle for C, including critical test cases. Thus, several optimizations were implemented in CfR to address this problem, including replacing lists in the CTL engine with RefCell s and hash tables.
Or read this on Hacker News