Hi,

KLEE again:

---
$ printf '--------' | ./tr -s - ""
ERROR: AddressSanitizer: heap-buffer-overflow
$ printf '-' | ./tr -cs "" ""
ERROR: AddressSanitizer: heap-buffer-overflow
---


Best,

Frank

Reply via email to