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.
|Plug-in > wp
|Fixed in Version
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?