This project aims to provide a simple Docker image to encapsulate and run a Frama-C analysis through Docker.
Assuming current directory contains the source code to analyze, simply run the following command:
docker run --rm -v ${PWD}:/src facthunder/frama-c:latest -rte -eva *.c **/*.c > report.txtHere is the versions matrix of the image:
| TAG | FRAMA-C VERSION | BASE IMAGE |
|---|---|---|
| latest | 20.0 | ubuntu:19.04 |
| 20.0 | 20.0 | ubuntu:19.04 |
| 19.1 | 19.1 | ubuntu:19.04 |
If you experienced a problem with the plugin please open an issue. Inside this issue please explain us how to reproduce this issue and paste the log.
If you want to do a PR, please put inside of it the reason of this pull request. If this pull request fix an issue please insert the number of the issue or explain inside of the PR how to reproduce this issue.
Copyright 2020 Facthunder.
Licensed under the GNU General Public License, Version 3.0