frama-c
There are 29 repositories under frama-c topic.
Frama-C/Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
fraunhoferfokus/acsl-by-example
Public snapshots of "ACSL by Example"
AllanBlanchard/tutoriel_wp
Frama-C and WP tutorial
evdenis/verker
Linux kernel library functions formally verified.
namin/lms-verify
generative programming & verification
gpetiot/Frama-C-Mutation
Generation of mutant programs
evdenis/acsl-proved
Fully proved small C functions (examples for verification course).
TDacik/Deadlock_Racer
Frama-C plugins for deadlock and data race detection
gpetiot/Frama-C-StaDy
Static & Dynamic Verification of C programs
evdenis/acsl-examples
Tiny programs with ACSL specifications.
Frama-C/github-action-eva-sarif
Github Action for running the Eva plug-in and producing a SARIF report
jcarrano/fv-libc
Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)
cnescatlab/sonar-frama-c-plugin
sonar-frama-c-plugin is a plugin sonarqube to integrate frama-c results
gpetiot/Frama-C-Inline
Inlining of ACSL predicates and logic functions
GuilhermeBn198/Program-Slicing_PIC
exploring program slicing and documenting my discoveries
Facthunder/frama-c
Docker image for Frama-C
nclv/ensimag-cysec
Cybersecurity master courses
mkf/asdframac
(at turn of) 2019/2020: kilka zadań z przedm. Algorytmy zrobionych z dowodami we Frama-C. See the WIP in feature branches. For some other problems from this set done with Spark2014, see also https://github.com/mkf/asdspark
pbougou/proglangs
Programming Languages
PierreVerbe/Formal-Approaches
This repository contains the end-of-semester project at ISEP in formal approach. The aim was to prove the proper functioning of a bubble sorter via frama-c.
vladkinoman/formal-methods
Assignments for the Theory of Programming(3rd Course)/Methods of Program Verification and Optimization(5th Course) course.
adishreea/Static-Analysis-using-Frama-C
Using an automated software engineering tool like Frama-C to analyze a program or system.
evdenis/small-examples
Small examples of ACSL specifications.
mriiad/queue
A complete basic implementation of Queue data structure tested in Frama-c
outpost-os/meson-frama-c
Frama-C module implementation repo for Meson build system
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.
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.