FRama C Nitrogen Nitrogen-20111001 crash during pdg construction
ID0002211: This issue was created automatically from Mantis Issue 2211. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002211 | Frama-C | Plug-in > pdg | public | 2016-02-22 | 2016-02-22 |
| Reporter | lammyday | Assigned To | yakobowski | Resolution | fixed |
| Priority | normal | Severity | crash | Reproducibility | always |
| Platform | - | OS | Linux | OS Version | Ubunutu 14.04 |
| Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | - |
Description :
Crash during pdg construction, due to unexpected error - (File "external/hptmap.ml)
Additional Information :
Error Message: [value] computing for function error <- readline <- do_define <- eval <- eval_makefile. Called from read.c:2391. [value] Done for function error [kernel] The full backtrace is: Called from file "src/lib/binary_cache.ml", line 366, characters 14-21 Called from file "external/hptmap.ml", line 1107, characters 18-41 Called from file "src/memory_state/lmap.ml", line 818, characters 10-35 Called from file "src/value/current_table.ml", line 75, characters 9-57 Called from file "src/value/eval_stmts.ml", line 1136, characters 6-69 Called from file "cil/src/ext/dataflow.ml", line 305, characters 12-27 Called from file "cil/src/ext/dataflow.ml", line 497, characters 8-21 Called from file "cil/src/ext/dataflow.ml", line 501, characters 9-22 Called from file "src/value/eval_funs.ml", line 117, characters 14-37 Called from file "src/value/eval_funs.ml", line 478, characters 10-65 Called from file "src/value/eval_stmts.ml", line 866, characters 14-73 Called from file "src/value/eval_stmts.ml", line 885, characters 10-114 Called from file "src/value/eval_stmts.ml", line 918, characters 38-62 Called from file "list.ml", line 74, characters 24-34 Called from file "src/value/eval_stmts.ml", line 974, characters 26-79 Called from file "cil/src/ext/dataflow.ml", line 320, characters 29-47 Called from file "cil/src/ext/dataflow.ml", line 497, characters 8-21 Called from file "cil/src/ext/dataflow.ml", line 501, characters 9-22 Called from file "src/value/eval_funs.ml", line 117, characters 14-37 Called from file "src/value/eval_funs.ml", line 478, characters 10-65 Called from file "src/value/eval_stmts.ml", line 866, characters 14-73 Called from file "src/value/eval_stmts.ml", line 885, characters 10-114 Called from file "src/value/eval_stmts.ml", line 918, characters 38-62 Called from file "list.ml", line 74, characters 24-34 Called from file "src/value/eval_stmts.ml", line 974, characters 26-79 Called from file "cil/src/ext/dataflow.ml", line 320, characters 29-47 Called from file "cil/src/ext/dataflow.ml", line 497, characters 8-21 Called from file "cil/src/ext/dataflow.ml", line 501, characters 9-22 Called from file "src/value/eval_funs.ml", line 117, characters 14-37 Called from file "src/value/eval_funs.ml", line 478, characters 10-65 Called from file "src/value/eval_stmts.ml", line 866, characters 14-73 Called from file "src/value/eval_stmts.ml", line 885, characters 10-114 Called from file "src/value/eval_stmts.ml", line 918, characters 38-62 Called from file "list.ml", line 74, characters 24-34 Called from file "src/value/eval_stmts.ml", line 974, characters 26-79 Called from file "cil/src/ext/dataflow.ml", line 320, characters 29-47 Called from file "cil/src/ext/dataflow.ml", line 497, characters 8-21 Called from file "cil/src/ext/dataflow.ml", line 501, characters 9-22 Called from file "src/value/eval_funs.ml", line 117, characters 14-37 Called from file "src/value/eval_funs.ml", line 452, characters 6-69 Called from file "src/value/eval_funs.ml", line 556, characters 11-44 Re-raised at file "src/value/eval_funs.ml", line 572, characters 47-50 Called from file "src/project/state_builder.ml", line 1076, characters 9-13 Re-raised at file "src/project/state_builder.ml", line 1080, characters 15-18 Called from file "src/semantic_callgraph/register.ml", line 84, characters 7-24 Called from file "src/project/state_builder.ml", line 490, characters 17-21 Called from file "src/semantic_callgraph/register.ml", line 196, characters 51-65 Called from file "src/pdg/register.ml", line 145, characters 4-68 Called from file "queue.ml", line 134, characters 6-20 Called from file "src/kernel/boot.ml", line 36, characters 4-20 Called from file "src/kernel/cmdline.ml", line 723, characters 2-9 Called from file "src/kernel/cmdline.ml", line 200, characters 4-8
Unexpected error (File "external/hptmap.ml", line 1105, characters 14-20: Assertion failed).
Please report as 'crash' at http://bts.frama-c.com/.
Your Frama-C version is Nitrogen-20111001.
Note that a version and a backtrace alone often does not have information
to understand the bug. Guidelines for reporting bugs are at:
http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:bug_reporting_guidelinesSteps To Reproduce :
execute: frama-c -pdg -dot-pdg graph -pdg-print read.i -main eval_makefile -val-ignore-recursive-calls
on gnu make utility repository: 5acda13ace0ae4443ed04c4f8a62512b00a2b656 obtainable at urs: http://git.savannah.gnu.org/cgit/make.git/snapshot/make-5acda13ace0ae4443ed04c4f8a62512b00a2b656.tar.gz