bug#49300: Report 3 UBSan integer related errors found by an automatic tool

2021-06-30 Thread Paul Eggert
On 6/30/21 10:07 AM, He Jingxuan wrote: bug1: basenc command: cat basenc1.stdin | basenec --z - relevant error message: ../src/basenc.c:635:25: runtime error: left shift of 128 by 24 places cannot be represented in type ‘int' bug2: basenc command: cat basenc2.stdin | basenc --z - -d relevant e

bug#49300: Report 3 UBSan integer related errors found by an automatic tool

2021-06-30 Thread He Jingxuan
Dear coreutils developers, We tested coreutils with an automatic tool (based on the symbolic execution tool KLEE). A number of test cases triggering UBSan integer related errors were generated. We manually checked those test cases and filtered out benign cases. Finally, we identified and report