From 3bc402cb68ffe7095d81383b614decf93753bdd6 Mon Sep 17 00:00:00 2001 From: Jeroen Vermeulen Date: Sat, 3 Jan 2026 00:38:41 +0100 Subject: [PATCH] Frama looks like C-only, no C++. But gcc does both. 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++. --- data/tools/frama-c.yml | 1 - data/tools/gcc.yml | 1 + 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/data/tools/frama-c.yml b/data/tools/frama-c.yml index 140f64db8..146c5f08f 100644 --- 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 index 181525cc3..0a2138d0e 100644 --- a/data/tools/gcc.yml +++ b/data/tools/gcc.yml @@ -3,6 +3,7 @@ categories: - linter tags: - c + - cpp license: GPL types: - cli