Crash in
ID0000333: This issue was created automatically from Mantis Issue 333. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000333 | Frama-C | Plug-in > security slicing | public | 2009-11-17 | 2010-12-09 |
| Reporter | rovar | Assigned To | pascal | Resolution | unable to reproduce |
| Priority | normal | Severity | major | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Beryllium-20090902 | Target Version | - | Fixed in Version | - |
Description :
bspclient/bsp_client.c:411:[kernel] warning: more than 200(1799) elements to enumerate. Approximating. [kernel] Unexpected error (File "src/memory_state/lmap_bitwise.ml", line 586, characters 4-10: Assertion failed).
Additional Information :
The offending line in ML let copy_paste_map ~f src_loc dst_loc mm = assert (Int_Base.equal src_loc.size dst_loc.size );
I think the offending C source line it was processing was: pgsessdes->type = SYS_TYPE_GWY;
where pgsessdes is a simple struct, type is an int, and SYS_TYPE_GWY is #defined to 0.