{"id":22861617,"url":"https://github.com/facthunder/frama-c","last_synced_at":"2026-05-08T08:02:25.742Z","repository":{"id":96610205,"uuid":"209386118","full_name":"Facthunder/frama-c","owner":"Facthunder","description":"Docker image for Frama-C","archived":false,"fork":false,"pushed_at":"2021-04-18T20:32:24.000Z","size":22,"stargazers_count":1,"open_issues_count":0,"forks_count":3,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-03-31T08:44:17.094Z","etag":null,"topics":["analyzer","c","code-analysis","docker","docker-image","frama-c","static-analysis"],"latest_commit_sha":null,"homepage":null,"language":"Dockerfile","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Facthunder.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2019-09-18T19:16:32.000Z","updated_at":"2020-04-19T20:56:07.000Z","dependencies_parsed_at":"2023-03-16T20:30:33.057Z","dependency_job_id":null,"html_url":"https://github.com/Facthunder/frama-c","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/Facthunder/frama-c","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Facthunder%2Fframa-c","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Facthunder%2Fframa-c/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Facthunder%2Fframa-c/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Facthunder%2Fframa-c/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Facthunder","download_url":"https://codeload.github.com/Facthunder/frama-c/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Facthunder%2Fframa-c/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":32772048,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-08T02:36:36.067Z","status":"ssl_error","status_checked_at":"2026-05-08T02:36:07.210Z","response_time":54,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["analyzer","c","code-analysis","docker","docker-image","frama-c","static-analysis"],"created_at":"2024-12-13T10:09:47.170Z","updated_at":"2026-05-08T08:02:25.717Z","avatar_url":"https://github.com/Facthunder.png","language":"Dockerfile","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Docker image for Frama-C\n\nThis project aims to provide a simple Docker image to encapsulate and run a [Frama-C](https://github.com/Frama-C/Frama-C-snapshot) analysis through Docker.\n\n### Run Frama-C\n\n#### Run core checks\nAssuming current directory contains the source code to analyze, simply run the following command:\n```Dockerfile\ndocker run --rm -v ${PWD}:/src facthunder/frama-c:latest -rte -eva *.c **/*.c \u003e report.txt\n```\n\n### Versions matrix\nHere is the versions matrix of the image:\n\n|                          TAG                           |                       FRAMA-C VERSION                       |                        BASE IMAGE                      |\n|:------------------------------------------------------:|:------------------------------------------------------------:|:------------------------------------------------------:|\n| [latest](https://hub.docker.com/r/facthunder/frama-c) | [20.0](https://github.com/Frama-C/Frama-C-snapshot/releases/tag/20.0) | [ubuntu:19.04](https://hub.docker.com/_/ubuntu) |\n|  [20.0](https://hub.docker.com/r/facthunder/frama-c)  | [20.0](https://github.com/Frama-C/Frama-C-snapshot/releases/tag/20.0) | [ubuntu:19.04](https://hub.docker.com/_/ubuntu) |\n|  [19.1](https://hub.docker.com/r/facthunder/frama-c)  | [19.1](https://github.com/Frama-C/Frama-C-snapshot/releases/tag/19.1) | [ubuntu:19.04](https://hub.docker.com/_/ubuntu) |\n\n\n### How to contribute\nIf 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.\n\nIf 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.\n\n### License\nCopyright 2020 Facthunder.\n\nLicensed under the [GNU General Public License, Version 3.0](https://www.gnu.org/licenses/gpl.txt)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffacthunder%2Fframa-c","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ffacthunder%2Fframa-c","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffacthunder%2Fframa-c/lists"}