7 search results for "tag:"plugin""

Showing 1 - 7
  1. binsec

    No documentation

    0.10.1
    LGPL-2.1-or-later
    Used by 0 other packages
    01 Jul 2025
  2. 1.4.0
    BSD-3-Clause
    Used by 0 other packages
    05 Dec 2024
  3. 1.4.0
    BSD-3-Clause
    Used by 1 other packages
    05 Dec 2024
  4. frama-c

    No documentation

    31.0
    LGPL-2.1-only
    Used by 5 other packages
    29 Jun 2025
  5. frama-c-metacsl

    No documentation

    0.9~beta
    LGPL-2.1-only
    Used by 0 other packages
    23 Jun 2025
  6. frama-clang

    No documentation

    Frama-C plug-in based on Clang for parsing C++ files
    0.0.18~beta
    LGPL-2.1-only
    Used by 0 other packages
    23 Jun 2025
  7. 0.2.1
    MIT
    Used by 1 other packages
    18 Nov 2016