9 search results for "tag:"plugin""

Showing 1 - 9
  1. binsec
    Documentation
    Semantic analysis of binary executables
    binary code analysis symbolic execution deductive program verification formal specification automated theorem prover plugins abstract interpretation dataflow analysis linking disassembly
    Adel Djoudi Benjamin Farinier Chakib Foulani Dorian Lesbre Frédéric Recoules et al.
    0.8.1
    LGPL-2.1-or-later
    Used by 0 other packages
    01 Nov 2023
  2. extism
    Documentation
    Extism bindings
    topics wasm plugin
    Extism Authors <oss@extism.org>
    0.4.0
    BSD-3-Clause
    Used by 0 other packages
    29 Aug 2023
  3. extism-manifest
    Documentation
    Extism manifest bindings
    topics wasm plugin
    Extism Authors <oss@extism.org>
    0.4.0
    BSD-3-Clause
    Used by 1 other packages
    29 Aug 2023
  4. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Thibaut Benjamin et al.
    28.0
    LGPL-2.1-only
    Used by 2 other packages
    06 Dec 2023
  5. frama-c-base
    Documentation
    Platform dedicated to the analysis of source code written in C.
    deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Gergö Barany Patrick Baudin François Bobot Richard Bonichon et al.
    15.0
    LGPL-2.1-only
    Used by 2 other packages
    30 Oct 2018
  6. frama-c-e-acsl
    Documentation
    This package contains the Frama-C's E-ACSL plug-in.
    program verification formal specification runtime assertion checking monitoring C plugins ACSL E-ACSL
    Julien Signoles Guillaume Petiot
    0.5
    LGPL-2.1-only
    Used by 0 other packages
    28 Jul 2015
  7. frama-c-metacsl
    Documentation
    MetAcsl plugin of Frama-C for writing pervasives properties
    program verification formal specification C plugins ACSL MetACSL
    Virgile Robles Téo Bernier Nikolai Kosmatov
    0.5
    LGPL-2.1-only
    Used by 0 other packages
    22 Nov 2023
  8. 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
  9. ocamlbuild-pkg
    Documentation
    An ocamlbuild plugin that helps packaging softwares.
    ocamlbuild package plugin build build-system
    Kate <kit.ty.kate@disroot.org>
    0.2.1
    MIT
    Used by 1 other packages
    18 Nov 2016