commit - e98f72d243e2282b604cc7ab54c88d9c647660b7
commit + 0c70ae067e652891401a12721a2009331a13b206
blob - cca3031d87f2c52bb9cc623cfe4d86c5e4582445
blob + bbddc80f89eb96fba163387f49a86227a6416224
--- Support-SARIF.md
+++ Support-SARIF.md
@@ -35,6 +35,8 @@ This page contains tools that support SARIF format and
 - [Bandit](https://bandit.readthedocs.io/en/latest/index.html) with [bandit-sarif-formatter](https://pypi.org/project/bandit-sarif-formatter/). Bandit is a tool designed to find common security issues in Python code. To do this, Bandit processes each file, builds an AST from it, and runs appropriate plugins against the AST nodes. Once Bandit has finished scanning all the files, it generates a report.
 - Shellcheck, https://github.com/psastras/sarif-rs
 - Clang-Tidy, https://github.com/psastras/sarif-rs
+- GCC (13+, `-fdiagnostics-format=sarif-file`), https://gcc.gnu.org/wiki/SARIF
+- Frama-C, https://frama-c.com/download/user-manual-25.0-Manganese.pdf
 
 ## Unsupported
 
@@ -43,7 +45,7 @@ This page contains tools that support SARIF format and
 - [CodeChecker](https://codechecker.readthedocs.io/en/latest/) is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy. [Issue#4036](https://github.com/Ericsson/codechecker/issues/4036).
 - Codespell, [Issue#1455](https://github.com/codespell-project/codespell/issues/1455)
 - CTest, [Issue#25953](https://gitlab.kitware.com/cmake/cmake/-/issues/25953)
-- cbmc-viewer, [Issue#149](https://github.com/model-checking/cbmc-viewer/issues/149)
+- CBMC (cbmc-viewer), [Issue#149](https://github.com/model-checking/cbmc-viewer/issues/149)
 - [LuaCheck](https://luacheck.readthedocs.io/en/stable/)
 - Mull, [Issue#953](https://github.com/mull-project/mull/issues/953)
 - [pip-audit](https://github.com/pypa/pip-audit/issues/206)
@@ -53,7 +55,9 @@ This page contains tools that support SARIF format and
 - https://github.com/microsoft/sarif-sdk/tree/master/src/Sarif.Converters
 - [ReviewDog](https://github.com/reviewdog/reviewdog#input-format) converts popular output formats to SARIF.
 - [SARIF Tools](https://github.com/microsoft/sarif-tools) - is set of command line tools and Python library for working with SARIF files.
-- [sarif-junit](https://github.com/GridexX/sarif-junit) aims to convert a SARIF output file from a linter to a JUnit XML output file. It could be used inside GitLab to show which tests are failing in the CI/CD pipeline.
+- JUnit
+  - [sarif-junit](https://github.com/GridexX/sarif-junit) aims to convert a SARIF output file from a linter to a JUnit XML output file. It could be used inside GitLab to show which tests are failing in the CI/CD pipeline.
+- HTML, https://github.com/microsoft/sarif-web-component
 
 ## Which are the viewers supporting SARIF?