star_star dump
ID0000623: This issue was created automatically from Mantis Issue 623. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0000623 | Frama-C | Plug-in > Eva | public | 2010-11-10 | 2010-11-12 |
Reporter | teamod | Assigned To | pascal | Resolution | no change required |
Priority | normal | Severity | minor | Reproducibility | always |
Platform | - | OS | - | OS Version | - |
Product Version | Frama-C Boron-20100401 | Target Version | - | Fixed in Version | - |
Description :
I preprocessed the Apache project (httpd-2.2.15) by Gcc-4.2.4 on linux2.6.28, and applied "frama-c -val apr_pools.i -main apr_pool_create_ex". Then the frama-c kernel dumped a lot of star_star_blablabla, and seems to be trapped into a deadlock.
Like below:
" It contains a garbled mix of {star_star_star_allocator_0nth__owner_0nth__parent; star_star_star_allocator_0nth__owner_0nth__parent_0nth__parent_WELL; star_star_star_allocator_0nth__owner_0nth__parent_0nth__child_WELL; star_star_star_allocator_0nth__owner_0nth__parent_0nth__sibling_WELL; star_star_star_allocator_0nth__owner_0nth__parent_0nth__ref_WELL; star_star_star_allocator_0nth__owner_0nth__parent_0nth__cleanups_WELL; star_star_star_allocator_0nth__owner_0nth__parent_0nth__free_cleanups_WELL; star_star_star_allocator_0nth__owner_0nth__parent_0nth__allocator_WELL; star_star_star_allocator_0nth__owner_0nth__parent_0nth__subprocesses_WELL; star_star_star_allocator_0nth__owner_0nth__parent_0nth__abort_fn_WELL; star_star_star_allocator_0nth__owner_0nth__parent_0nth__user_data_WELL; star_star_star_allocator_0nth__owner_0nth__parent_0nth__tag_WELL; star_star_star_allocator_0nth__owner_0nth__parent_0nth__active_WELL; star_star_star_allocator_0nth__owner_0nth__parent_0nth__self_WELL; star_star_star_allocator_0nth__owner_0nth__parent_0nth__self_first_avail_WELL; star_star_star_allocator_0nth__owner_0nth__parent_0nth__pre_cleanups_WELL; star_star_star_allocator_0nth__owner_0nth__parent_1nth__parent_WELL; star_star_star_allocator_0nth__owner_0nth__parent_1nth__child_WELL; star_star_star_allocator_0nth__owner_0nth__parent_1nth__sibling_WELL; star_star_star_allocator_0nth__owner_0nth__parent_1nth__ref_WELL; star_star_star_allocator_0nth__owner_0nth__parent_1nth__cleanups_WELL; star_star_star_allocator_0nth__owner_0nth__parent_1nth__free_cleanups_WELL; star_star_star_allocator_0nth__owner_0nth__parent_1nth__allocator_WELL; "