kernel crashes with segmentation fault
ID0000626: This issue was created automatically from Mantis Issue 626. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000626 | Frama-C | Kernel | public | 2010-11-12 | 2011-07-29 |
| Reporter | Jochen | Assigned To | pascal | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Boron-20100401 | Target Version | - | Fixed in Version | - |
Description :
Running frama-c on the attached program causes jessie (or kernel?) to crash:
sh> frama-c -jessie ftest.c -jessie-atp simplify [kernel] warning: cannot load plug-in `Ltl_to_acsl' (incompatible with Boron-20100401). [kernel] preprocessing with "gcc -C -E -I. -dD ftest.c" Segmentation fault (core dumped) sh>