reformatter crash #4
Description
klee-replay: TEST CASE: reformatter/klee-last/test000133.ktest
klee-replay: ARGS: "reformatter/reformat"
reformat: orderly_lex.c:269: orderly_lex_lex: Assertion `*offset <= schemaTextLen' failed.
klee-replay: EXIT STATUS: CRASHED signal 6 (0 seconds)
echo -n "any#" |./reformatter/reformat
reformat: orderly_lex.c:269: orderly_lex_lex: Assertion `*offset <= schemaTextLen' failed.
Aborted (core dumped)
gdb reformatter/reformat core --nx --batch -ex bt
warning: Can't read pathname for load map: Input/output error.
Core was generated by `./reformatter/reformat'.
Program terminated with signal 6, Aborted.
[New process 31289]
#0 0xb7f0b430 in __kernel_vsyscall ()
#0 0xb7f0b430 in __kernel_vsyscall ()
#1 0xb7dd4640 in raise () from /lib/i686/cmov/libc.so.6
#2 0xb7dd6018 in abort () from /lib/i686/cmov/libc.so.6
#3 0xb7dcd5be in __assert_fail () from /lib/i686/cmov/libc.so.6
#4 0x08066bfb in orderly_lex_lex (lexer=0x8186058, schemaText=0x807e940 "any#", schemaTextLen=4, offset=0xbfffe2a8, outBuf=0x0, outLen=0x0) at orderly_lex.c:269
#5 0x0806dec0 in orderly_parse (alloc=0x8186030, schemaText=0x807e940 "any#", schemaTextLen=4, error_message=0x8186050, n=0x8186040, final_offset=0x8186048) at orderly_parse.c:782
#6 0x0806e83a in orderly_read (r=0x8186030, fmt=ORDERLY_UNKNOWN, schema=0x807e940 "any#", len=4) at orderly_reader.c:134
#7 0x0804924e in main (argc=1, argv=0xbfffe404) at reformat.c:100