reformatter crash

[gno]

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