2 search results for "author:"Robin David""

Showing 1 - 2
  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.11.0
    LGPL-2.1-or-later
    Used by 0 other packages
    18 Jan 2026
  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.4
    LGPL-2.1-only
    Used by 0 other packages
    10 Jul 2025