n005 / range-type_rust

Arithmetic range numerical type constrained safety rust

range-type_rust

Arithmetic range numerical type constrained safety rust

---

Attempt to gather arithmetic security information (like Ada). Add implement it to Rust.

Bibliography

Rust RFCS:

rust-lang/rfcs#1621
https://github.com/rust-lang/rfcs/blob/master/text/0560-integer-overflow.md
https://github.com/rust-lang/rfcs/blob/master/text/2000-const-generics.md
rust-lang/rfcs#671

Crates & libs:

https://github.com/nrc/libhoare
https://github.com/paholg/typenum
https://github.com/paholg/ranged
https://github.com/Kestrer/bounded-integer
https://github.com/rust-num/num-traits
https://github.com/jhpratt/deranged
https://github.com/zeta12ti/Checked