GitHub repository: llogiq/overflower
Primary language: Rust
Created: 2016-05-22T17:28:32Z
Description: A Rust compiler plugin and support library to annotate overflow behavior