[dev] [sbase] grep: global-buffer-overflow

[Frank Busse]

Hi,

again found by KLEE:

---
$ printf '\x00\x00\n\x00\x00\x00\x00\x00' > A
$ ./grep -xsf A
ERROR: AddressSanitizer: global-buffer-overflow
$ ./grep -wf A
ERROR: AddressSanitizer: global-buffer-overflow
---


Best,

Frank