Project

General

Profile

Bug #7274

Caught exception: byte_extract flatting with negative offset

Added by Sepideh Asadi over 1 year ago.

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

Also available in: Atom PDF