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:
- transfer.ml
- pfun.c
The command line used here is: frama-c -load-script transfer.ml pfunc.c
Attachments
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information