6 search results for "author:"Frédéric Recoules""

Showing 1 - 6
  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.10.0
    LGPL-2.1-or-later
    Used by 0 other packages
    20 Feb 2025
  2. bitwuzla
    Documentation
    SMT solver for AUFBVFP
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.5
    MIT
    Used by 0 other packages
    24 Feb 2023
  3. bitwuzla-bin
    Documentation
    Bitwuzla SMT solver executable
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.0
    MIT
    Used by 0 other packages
    12 Jul 2021
  4. bitwuzla-c
    Documentation
    SMT solver for AUFBVFP (C API)
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.5
    MIT
    Used by 1 other packages
    24 Feb 2023
  5. bitwuzla-cxx

    No documentation

    SMT solver for AUFBVFP (C++ API)
    SMT solver AUFBVFP
    Frédéric Recoules
    0.7.0
    MIT
    Used by 0 other packages
    15 May 2025
  6. unisim_archisec
    Documentation
    UNISIM-VP DBA decoder
    Frédéric Recoules Yves Lhuillier
    0.0.10
    BSD-3-Clause
    Used by 0 other packages
    20 Feb 2025