3 search results for "tag:"Frama-C""

Showing 1 - 3
  1. frama-c-lannotate
    Documentation
    Lannotate plugin of Frama-C, part of the LTest suite
    software testing Frama-C LTest
    Omar Chebaro Mickaël Delahaye Michael Marcozzi Thibault Martin
    0.2
    LGPL-2.1-only
    Used by 0 other packages
    26 Aug 2022
  2. frama-c-luncov
    Documentation
    Luncov plugin of Frama-C, part of the LTest suite
    software testing Frama-C LTest
    Robin David Mickaël Delahaye Michael Marcozzi Thibault Martin
    0.2
    LGPL-2.1-only
    Used by 0 other packages
    26 Aug 2022
  3. frama-clang
    Documentation
    Frama-C plug-in based on Clang for parsing C++ files
    Frama-C formal specification C++ plugins ACSL ACSL++
    David Cok Virgile Prevosto Franck Védrine
    0.0.14
    LGPL-2.1-only
    Used by 0 other packages
    06 Sep 2023