https://github.com/facthunder/cppcheck

Docker image for cppcheck

analyzer c code-analysis cpp cppcheck docker docker-image misra static-analysis

Last synced: 30 Apr 2025

https://github.com/facthunder/understand

Docker image for SciTools Understand

analyzer c code-analysis docker docker-image java python scitools scitools-understand static-analysis understand vhdl

Last synced: 14 Apr 2025

https://github.com/facthunder/sonar-branch-plugin

Activate branch features in SonarQube CE.

analysis branch sonar-plugin sonarqube

Last synced: 30 Apr 2025

https://github.com/facthunder/icode

Docker image for i-Code CNES

analyzer code-analysis docker docker-image fortran fortran77 fortran90 i-code i-code-cnes rnc shell static-analysis

Last synced: 14 Apr 2026

https://github.com/facthunder/openbao

Docker image for OpenBao

docker docker-image kubernetes openbao

Last synced: 27 Apr 2026

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

Docker image for Frama-C

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

Last synced: 08 May 2026

https://github.com/facthunder/ikos

Docker image for ikos

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

Last synced: 10 May 2026

https://github.com/facthunder/icode-c-plugin

Plugin for i-Code adding C analysis features

Last synced: 31 Mar 2025

https://github.com/facthunder/facthunder.github.io

GitHub pages for the Facthunder organization.

Last synced: 08 Jan 2026