search

ncsro / crest

Automatically exported from code.google.com/p/crest
0 stars 0 forks source link

Trying to take the address of bitfields #2

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
What steps will reproduce the problem?
1. Declare a structure containing a bitfield, e.g. struct p{ unsigned error
: 1;}
2. Try to declare error as input e.g. CREST_int(p.error)
3. run crestc on the code

Original issue reported on code.google.com by kiran.la...@gmail.com on 4 Aug 2009 at 9:08

GoogleCodeExporter commented 8 years ago 

Thanks for the bug report.

The way CREST is currently implemented, it can track the flow of symbolic 
values only
through locations which have addresses (i.e. essentially all C locations except 
for
bitfields).  Thus, it does not support marking a bitfield as symbolic.

This may be fixed in a future version of CREST using bit-precise modeling of 
memory.
 For the time being, however, I am marking this bug as WontFix.

I will also add some documentation indicating that CREST_int, etc., cannot be 
used on
bitfields.

Original comment by jbur...@gmail.com on 11 Aug 2009 at 7:51

GoogleCodeExporter commented 8 years ago

Original comment by jbur...@gmail.com on 11 Aug 2009 at 7:51