On Thu, Jun 22, 2023 at 05:46:09PM +0100, Frank Busse wrote:
> Hi,
>
>
> I ran KLEE on revision #530407 and it found a segfault in cron. It can
> be reproduced via:
>
> $ printf '1*' > A
> $ sbase-530407/bin/cron "-nfA"
>
> Seems free() points into rubbish:
>
> AddressSanitizer:DEADLYSIGNAL
>
Hi,
I ran KLEE on revision #530407 and it found a segfault in cron. It can
be reproduced via:
$ printf '1*' > A
$ sbase-530407/bin/cron "-nfA"
Seems free() points into rubbish:
AddressSanitizer:DEADLYSIGNAL
=
==2103==ERROR: Addres