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.

---

Id	Project	Category	View	Due Date	Updated
ID0001585	Frama-C	Plug-in > Eva	public	2013-12-11	2014-01-14

Reporter	Yibiao	Assigned To	yakobowski	Resolution	no change required
Priority	normal	Severity	crash	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C Fluorine-20130601	Target Version	-	Fixed in Version	-

Description :

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:

1. transfer.ml
2. pfun.c

The command line used here is: frama-c -load-script transfer.ml pfunc.c

Attachments

• transform.zip
• transfer.ml