6 search results for "tag:"plugin""

Showing 1 - 6
  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 Benoit Boero Benjamin Farinier Chakib Foulani Dorian Lesbre et al.
    0.11.3
    LGPL-2.1-or-later
    Used by 0 other packages
    Added to opam-repository
  2. extism
    Documentation
    Extism bindings
    wasm plugin
    Extism Authors <oss@extism.org>
    1.4.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  3. extism-manifest
    Documentation
    Extism manifest bindings
    wasm plugin
    Extism Authors <oss@extism.org>
    1.4.0
    BSD-3-Clause
    Used by 1 other packages
    Added to opam-repository
  4. 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.11
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  5. frama-clang

    No documentation

    Frama-C plug-in based on Clang for parsing C++ files
    formal specification C++ plugins ACSL ACSL++
    Virgile Prevosto
    0.0.19
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  6. 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
    Added to opam-repository