Stainless is a taint analysis library for Rust, which aims to leverage the type system to do the heavy lifting of the taint analysis.
Stainless aims to be as transparent for the end-user as possible, while also providing compile-time and run-time guarantees.