A Rust compiler plugin and support library to annotate overflow behavior - View it on GitHub