value analysis crashed after I the ast was modified in a new project
ID0001585: This issue was created automatically from Mantis Issue 1585. Further discussion may take place here.
|ID0001585||Frama-C||Plug-in > Eva||public||2013-12-11||2014-01-14|
|Reporter||Yibiao||Assigned To||yakobowski||Resolution||no change required|
|Product Version||Frama-C Fluorine-20130601||Target Version||-||Fixed in Version||-|
I am writing a script to transform all call stmt of using function pointer to a regular call stm inspired by Virgile 's insert_stmt script.
I am not only transform the ast, but also want to do the value analysis in the modified ast.
When I load my script, it was crashed in value analysis process.
frama-c -load-script transfer.ml pfunc.c
Additional Information :
attached is the files for the command line:
The command line used here is: frama-c -load-script transfer.ml pfunc.c