Frama-C Bug Tracking System - Frama-C
View Issue Details
0002219Frama-CPlug-in > wppublic2016-03-18 07:032016-03-22 22:22
x86-64GNU/LinuxUbuntu 14.04.4
Frama-C Magnesium 
0002219: Crash with large array initialisation
wp plugin crashes when I try to check code
just run frama-c -wp -wp-proof alt-ergo array_testcase.c
[kernel] Parsing FRAMAC_SHARE/libc/__fc_builtin_for_normalization.i (no preprocessing) [kernel] Parsing ../../prog/array_testcase.c (with preprocessing) [kernel] Current source was: ../../prog/array_testcase.c:1 The full backtrace is: Raised at file "src/plugins/wp/", line 607, characters 30-32 Called from file "", line 134, characters 6-20 Called from file "src/kernel_internals/runtime/", line 37, characters 4-20 Called from file "src/kernel_services/cmdline_parameters/", line 778, characters 2-9 Called from file "src/kernel_services/cmdline_parameters/", line 227, characters 4-8 Unexpected error (Stack overflow). Please report as 'crash' at Your Frama-C version is Magnesium-20151002. Note that a version and a backtrace alone often do not contain enough information to understand the bug. Guidelines for reporting bugs are at:
No tags attached.
c array_testcase.c (127) 2016-03-18 07:03
Issue History
2016-03-18 07:03sztNew Issue
2016-03-18 07:03sztStatusnew => assigned
2016-03-18 07:03sztAssigned To => correnson
2016-03-18 07:03sztFile Added: array_testcase.c

There are no notes attached to this issue.