frama-c/Frama-C-Eva
Sound analysis of C code with the open-source platform Frama-C: exhaustively list possible runtime errors
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| fc-dir | Directory containing the Frama-C makefile (default: .frama-c) | no | .frama-c |
| fc-makefile | Makefile for Frama-C (must be inside [fc-dir]) | no | GNUmakefile |
| eva-target | Name of the Eva target in the makefile | yes | main.eva |
Outputs
| name | description |
|---|---|
| alarm-count | Number of alarms reported by Eva |
| coverage | Eva coverage estimation (%) |