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

Showing 1 - 1
  1. binsec

    No 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 Benoit Boero Benjamin Farinier Chakib Foulani Dorian Lesbre et al.
    0.11.2
    LGPL-2.1-or-later
    Used by 0 other packages
    01 Jul 2026