Frama looks like C-only, no C++. But gcc does both. (#1729)

jtv · web-flow · commit b82147550c16 · 2026-01-09T01:29:28.000+01:00
I had a look at the Frama site but didn't see any mention of C++.

On the other hand, the gcc analyzers _are_ available for C++.
diff --git a/data/tools/frama-c.yml b/data/tools/frama-c.yml
@@ -3,7 +3,6 @@ categories:
   - linter
 tags:
   - c
-  - cpp
 license: GNU Lesser General Public License v2.1
 types:
   - cli
diff --git a/data/tools/gcc.yml b/data/tools/gcc.yml
@@ -3,6 +3,7 @@ categories:
   - linter
 tags:
   - c
+  - cpp
 license: GPL
 types:
   - cli

-Original file line number
+Diff line change
   - linter
 tags:
   - c
 -  - cpp
 license: GNU Lesser General Public License v2.1
 types:
   - cli