Bug #7274
Caught exception: byte_extract flatting with negative offset
Status:
New
Priority:
Normal
Assignee:
-
Start date:
06/05/2018
Due date:
% Done:
0%
Estimated time:
Description
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