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.
|ID0002184||Frama-C||Plug-in > wp||public||2015-11-02||2016-01-26|
|Product Version||Frama-C Sodium||Target Version||-||Fixed in Version||Frama-C Magnesium|
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?