8 search results for "tag:"plugin""

  1. binsec
    Semantic analysis of binary executables
  2. extism
    Extism bindings
    0.2.0
    BSD-3-Clause
    Used by 0 other packages
    Last published 16 Mar 2023
  3. extism-manifest
    Extism manifest bindings
    0.2.0
    BSD-3-Clause
    Used by 1 other packages
    Last published 16 Mar 2023
  4. frama-c
    Platform dedicated to the analysis of source code written in C
  5. frama-c-base
    Platform dedicated to the analysis of source code written in C.
  6. frama-c-e-acsl
    This package contains the Frama-C's E-ACSL plug-in.
    0.5
    LGPL-2.1-only
    Used by 0 other packages
    Last published 28 Jul 2015
  7. frama-c-metacsl
    MetAcsl plugin of Frama-C for writing pervasives properties
    0.4
    LGPL-2.1-only
    Used by 0 other packages
    Last published 09 Dec 2022
  8. ocamlbuild-pkg
    An ocamlbuild plugin that helps packaging softwares.
    0.2.1
    MIT
    Used by 1 other packages
    Last published 18 Nov 2016