Numeric Truncation Security Predicate

Timofey Mezhuev, Ilay Kobrin, Alexey Vishnyakov +1

Numeric truncation is a widely spread error in software written in languages with static data typing, such as C/C++ or Java. It occurs when the significant bits of the value with a…