frama-c
Here are 28 public repositories matching this topic...
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.
-
Updated
Jul 15, 2024 - C
Frama-C and WP tutorial
-
Updated
Oct 1, 2024 - TeX
Frama-C plugin for deadlock detection
-
Updated
May 1, 2023 - OCaml
Cybersecurity master courses
-
Updated
Nov 4, 2022 - Python
A complete basic implementation of Queue data structure tested in Frama-c
-
Updated
Jan 5, 2022 - Coq
generative programming & verification
-
Updated
Nov 20, 2021 - C
Github Action for running the Eva plug-in and producing a SARIF report
-
Updated
Oct 20, 2021 - Shell
Public snapshots of "ACSL by Example"
-
Updated
Jun 17, 2021 - TeX
Docker image for Frama-C
-
Updated
Apr 18, 2021 - Dockerfile
Small examples of ACSL specifications.
-
Updated
Feb 25, 2021 - C
Linux kernel library functions formally verified.
-
Updated
Feb 11, 2021 - C
Release snapshots of the Frama-C platform for source code analysis
-
Updated
Oct 21, 2020 - OCaml
Assignments for the Theory of Programming(3rd Course)/Methods of Program Verification and Optimization(5th Course) course.
-
Updated
Sep 21, 2020 - Pascal
(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
-
Updated
Jan 13, 2020 - C
Static & Dynamic Verification of C programs
-
Updated
Oct 5, 2019 - OCaml
Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)
-
Updated
Jun 17, 2019 - C
Improve this page
Add a description, image, and links to the frama-c topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the frama-c topic, visit your repo's landing page and select "manage topics."