Segmentation fault: plugin reading from Cil_types
ID0000481: This issue was created automatically from Mantis Issue 481. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000481 | Frama-C | Kernel | public | 2010-05-17 | 2010-05-17 |
| Reporter | tomahawkins | Assigned To | signoles | Resolution | no change required |
| Priority | normal | Severity | crash | Reproducibility | always |
| Platform | Ubuntu Linux x86 10.04 | OS | - | OS Version | - |
| Product Version | Frama-C Boron-20100401 | Target Version | - | Fixed in Version | - |
Description :
A plugin that reads data from the Cil_types module, trips a segmentation fault.
The plugin reads all data from the Cil_types module. Are there any values in Cil_types that are invalid to read, and which would cause a segfault when referenced?
Attached in the plugin (dump_cil.ml), the Makefile to build and install the pluging, and a test file (plugin_segfaults.c) that demonstrates C syntax that works and syntax that segfaults.
Attachments
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information