memory leak (endless recursion?) caused by erroneous c program
ID0002184: This issue was created automatically from Mantis Issue 2184. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002184 | Frama-C | Plug-in > wp | public | 2015-11-02 | 2016-01-26 |
| Reporter | Jochen | Assigned To | signoles | Resolution | fixed |
| Priority | normal | Severity | feature | Reproducibility | always |
| Platform | Sodium-20150201 | OS | - | OS Version | 14.04.1-Ubuntu |
| Product Version | Frama-C Sodium | Target Version | - | Fixed in Version | Frama-C Magnesium |
Description :
Running "frama-c 10.c" on the attached program causes frama-c to allocate a rapidly increasing amount of memory, until it crashes with the unbuntu-message "Fatal error: out of memory." Apparently, it performs an endless recursion.
The program "10.c" is erroneous and nonsensical, and originates from a "creduce" experiment with a poor test script. However, it may be worth to eliminate the endless recusion, anyway?