how works the plug-in metrics?
ID0000583: This issue was created automatically from Mantis Issue 583. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0000583 | Frama-C | Plug-in > metrics | public | 2010-09-13 | 2010-09-15 |
Reporter | fsd | Assigned To | monate | Resolution | no change required |
Priority | normal | Severity | minor | Reproducibility | N/A |
Platform | - | OS | - | OS Version | - |
Product Version | Frama-C Boron-20100401 | Target Version | - | Fixed in Version | - |
Description :
I'm interested in the structure of the file metrics.ml how does it work? it isn't possible to watch the source code of metrics.ml which is used in Frama-C. But for my analysation, i need to know why the framework Frama-C change the C-code in another C-code and then verify the changed code? I must verify the current C-code with all "switch, if, while, for, do while, ..." and let it print on the screen. Thanks, Jean-Pierre