Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/facthunder/frama-c

analyzer c code-analysis docker docker-image frama-c static-analysis

Last synced: 23 days ago
JSON representation

Docker image for Frama-C

Host: GitHub
URL: https://github.com/facthunder/frama-c
Owner: Facthunder
License: gpl-3.0
Created: 2019-09-18T19:16:32.000Z (over 5 years ago)
Default Branch: master
Last Pushed: 2021-04-18T20:32:24.000Z (over 3 years ago)
Last Synced: 2023-03-07T06:46:56.247Z (almost 2 years ago)
Topics: analyzer, c, code-analysis, docker, docker-image, frama-c, static-analysis
Language: Dockerfile
Size: 21.5 KB
Stars: 1
Watchers: 2
Forks: 3
Open Issues: 0