4 search results for "author:"Benjamin Farinier""

  1. binsec
    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 Guillaume Girol Josselin Feist Lesly-Ann Daniel Manh-Dung Nguyen Mathéo Vergnolle Mathilde Ollivier Matthieu Lemerre Olivier Nicole Richard Bonichon Robin David Sébastien Bardin Soline Ducousso Ta Thanh Dinh Yaëlle Vinçont
    0.7.1
    LGPL-2.1-or-later
    Used by 0 other packages
    Last published 15 Feb 2023
  2. ezirmin
    An easy interface on top of the Irmin library.
    KC Sivaramakrishnan Thomas Gazagnaire Benjamin Farinier
    0.2.1
    ISC
    Used by 0 other packages
    Last published 04 Jul 2017
  3. merge-queues
    Mergeable queues
    Benjamin Farinier Thomas Gazagnaire
    0.2.0
    ISC
    Used by 0 other packages
    Last published 24 Mar 2015
  4. merge-ropes
    Mergeable ropes
    Benjamin Farinier Thomas Gazagnaire
    0.2.0
    ISC
    Used by 0 other packages
    Last published 24 Mar 2015