Numeric Truncation Security Predicate

arXiv:2312.06425v2 Announce Type: replace
Abstract: 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 bigger type size are truncated during value conversion to the smaller type. Utilizing one of the most powerful methods for path exploration and automated bug detection called dynamic symbolic execution (DSE), we propose the symbolic security predicate for numeric truncation error detection, developed …

arxiv bits conversion cs.cr cs.se data error java languages security size software truncated value written