Hi,

another issue found by KLEE:

---
$ printf ",kz\n,,,," | ./ed
ERROR: AddressSanitizer: global-buffer-overflow
---


Best, 

Frank

Reply via email to