TDacik/Deadlock_and_Racer

Frama-C plugins for deadlock and data race detection

Language: OCaml - Size: 779 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 12 - Forks: 2

AllanBlanchard/tutoriel_wp

Frama-C and WP tutorial

Language: TeX - Size: 10.3 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 58 - Forks: 18

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.

Language: OCaml - Size: 426 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

namin/lms-verify

generative programming & verification

Language: C - Size: 873 KB - Last synced at: 3 days ago - Pushed at: over 3 years ago - Stars: 33 - Forks: 5

GuilhermeBn198/Program-Slicing_PIC

exploring program slicing and documenting my discoveries

Language: C - Size: 151 MB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 3 - Forks: 1

gpetiot/Frama-C-StaDy 📦

Static & Dynamic Verification of C programs

Language: OCaml - Size: 2.3 MB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 9 - Forks: 3

outpost-os/meson-frama-c Fork of mesonbuild/meson

Frama-C module implementation repo for Meson build system

Language: Python - Size: 34.4 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

Frama-C/github-action-eva-sarif

Github Action for running the Eva plug-in and producing a SARIF report

Language: Shell - Size: 9.77 KB - Last synced at: 6 days ago - Pushed at: over 3 years ago - Stars: 8 - Forks: 0

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.

Language: C - Size: 3.65 MB - Last synced at: 2 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

evdenis/small-examples 📦

Small examples of ACSL specifications.

Language: C - Size: 6.84 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

evdenis/acsl-examples

Tiny programs with ACSL specifications.

Language: C - Size: 185 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 7 - Forks: 0

evdenis/acsl-proved

Fully proved small C functions (examples for verification course).

Language: C - Size: 598 KB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 14 - Forks: 0

fraunhoferfokus/acsl-by-example

Public snapshots of "ACSL by Example"

Language: TeX - Size: 20.8 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 94 - Forks: 19

jcarrano/fv-libc

Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)

Language: C - Size: 85 KB - Last synced at: about 1 month ago - Pushed at: almost 6 years ago - Stars: 7 - Forks: 0

evdenis/verker 📦

Linux kernel library functions formally verified.

Language: C - Size: 5.37 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 47 - Forks: 7

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

Language: C - Size: 7.81 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

arepina/strcspn

Language: C - Size: 202 KB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

adishreea/Static-Analysis-using-Frama-C

Using an automated software engineering tool like Frama-C to analyze a program or system.

Language: C - Size: 298 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

cnescatlab/sonar-frama-c-plugin

sonar-frama-c-plugin is a plugin sonarqube to integrate frama-c results

Language: Java - Size: 2.67 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 6

nclv/ensimag-cysec

Cybersecurity master courses

Language: Python - Size: 73.5 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 2

gpetiot/Frama-C-Mutation 📦

Generation of mutant programs

Language: OCaml - Size: 78.1 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 20 - Forks: 0

gpetiot/Frama-C-Inline 📦

Inlining of ACSL predicates and logic functions

Language: OCaml - Size: 9.77 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0

pbougou/proglangs

Programming Languages

Language: C - Size: 1.15 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

mriiad/queue

A complete basic implementation of Queue data structure tested in Frama-c

Language: Coq - Size: 88.9 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

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.

Language: C - Size: 164 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

vladkinoman/formal-methods

Assignments for the Theory of Programming(3rd Course)/Methods of Program Verification and Optimization(5th Course) course.

Language: Pascal - Size: 2.21 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

Facthunder/frama-c

Docker image for Frama-C

Language: Dockerfile - Size: 21.5 KB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 3

andreiSaw/verker-master

Language: C - Size: 180 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0