Skip to content

@Frama-C Frama-C

Change the repository type filter

All

    Repositories list

    9 repositories

    • opam-repository

      Public
      Fork used to update the Frama-C opam package
      Shell
      •
      Creative Commons Zero v1.0 Universal
      •1.1k•0•0•1•Updated Aug 1, 2024Aug 1, 2024

    • scc-snapshots

      Public
      SCC: Strip C Comments — Snapshots
      Roff
      •
      GNU General Public License v3.0
      •7•0•0•0•Updated Jul 15, 2024Jul 15, 2024

    • headache

      Public
      Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
      OCaml
      •
      Other
      •7•24•2•0•Updated May 15, 2024May 15, 2024

    • github-action-eva-sarif

      Public
      Github Action for running the Eva plug-in and producing a SARIF report
      frama-c
      Shell
      •0•8•0•0•Updated Oct 20, 2021Oct 20, 2021

    • Qed

      Public
      First-Order Logic library with built-in Theories
      OCaml
      •
      Other
      •1•6•1•0•Updated Apr 9, 2021Apr 9, 2021

    • open-source-case-studies

      Public archive
      Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
      C
      •5•26•0•0•Updated Oct 29, 2020Oct 29, 2020

    • Frama-C-snapshot

      Public
      Release snapshots of the Frama-C platform for source code analysis
      cstatic-analysisocamlformal-verificationabstract-interpretationframa-cruntime-verification
      OCaml
      •38•167•4•1•Updated Oct 21, 2020Oct 21, 2020

    • SATE-VI

      Public archive
      Reproduction of the NIST SATE VI Ockham Track results with Frama-C/Eva (Juliet 1.3)
      Shell
      •3•8•0•0•Updated Jul 24, 2020Jul 24, 2020

    • le-hack-2019

      Public
      Coding challenges for Le Hack 2019, in Paris
      C
      •1•1•0•0•Updated Jul 9, 2019Jul 9, 2019