hifrog

File:
ntdrivers/kbfiltr_false-valid-deref.i.cil.c

how to run:
./hifrog --logic prop or --sum-theoref --unwind 10

Error message:
Caught exception: byte_extract flatting with negative offset: byte_extract_little_endian * type: struct * tag: _IO_STACK_LOCATION