1 search result for "author:"Yanis Sellami""

Showing 1 - 1
  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.9.1
    LGPL-2.1-or-later
    Used by 0 other packages
    21 May 2024