frama-c

Facthunder

Docker image for Frama-C

code-analysis

View on GitHub

1 Stars

3 Forks

1 Watchers

Dockerfile Language

gpl-3.0 License

Cost to Build

$1.2K

Market Value

$500

How is this calculated?

Growth over time

7 data points · 2021-05-01 → 2025-08-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about frama-c

Question copied to clipboard

What is the Facthunder/frama-c GitHub project? Description: "Docker image for Frama-C". Written in Dockerfile. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone frama-c

Clone via HTTPS

git clone https://github.com/Facthunder/frama-c.git

Clone via SSH

[email protected]:Facthunder/frama-c.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the frama-c issue tracker:

Open GitHub Issues

Similar to frama-c

YouCompleteMe credo coala jsinspect javaparser pmd ycmd radon spotbugs find-sec-bugs php-language-server vue-analysis spoon codequery PhpDependencyAnalysis sonar-detekt coala-bears roslyn-security-guard jql FastLint-Issues php-fpm-code-analysis bblfshd tombstone PSCodeHealth code-checker PhpCodeAnalyzer wotan umldoclet code-assert Enhanced-Syntax-Highlighting