Thanks for sharing! Good to know about rust-code-analysis. Always helpful to see what other tools are doing in this space.