Projects in Awesome Lists tagged with frama-c
A curated list of projects in awesome lists tagged with frama-c .
https://github.com/namin/lms-verify
generative programming & verification
c frama-c generative-programming multi-stage-programming scala verification
Last synced: 20 Mar 2025
https://github.com/jcarrano/fv-libc
Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)
acsl c embedded formal-verification frama-c libc microcontroller standard-library
Last synced: 01 Feb 2025
https://github.com/gpetiot/frama-c-stady
Static & Dynamic Verification of C programs
acsl frama-c software-verification
Last synced: 29 Nov 2024
https://github.com/guilhermebn198/program-slicing_pic
exploring program slicing and documenting my discoveries
c english esbmc frama-c pt-br slicing static-analysis
Last synced: 25 Feb 2025
https://github.com/facthunder/frama-c
Docker image for Frama-C
analyzer c code-analysis docker docker-image frama-c static-analysis
Last synced: 31 Mar 2025
https://github.com/richasavant/frama-c-2022
Frama-C is a suite of tools for analyzing C code, verifying correctness, and detecting issues. This repository includes folders for programming exercises and code analysis, covering basic programs, arrays, and loops.
c c-programming c-programming-language debugger debugging debugging-tool frama-c
Last synced: 13 Mar 2025
https://github.com/thalesgroup/frama-c-lsp
This repository contains both the server and client software that implement the Language Server Protocol (LSP) for C/ACSL language. The server part is a novel Frama-C plugin called "lsp". The client part is a VsCode extension.
acsl c formal-methods formal-verification frama-c lsp lsp-client lsp-server vscode-extension
Last synced: 07 Mar 2025
