package binsec
Semantic analysis of binary executables
Install
Dune Dependency
Authors
-
AAdel Djoudi
-
BBenjamin Farinier
-
CChakib Foulani
-
DDorian Lesbre
-
FFrédéric Recoules
-
GGuillaume Girol
-
JJosselin Feist
-
LLesly-Ann Daniel
-
MManh-Dung Nguyen
-
MMathéo Vergnolle
-
MMathilde Ollivier
-
MMatthieu Lemerre
-
OOlivier Nicole
-
RRichard Bonichon
-
RRobin David
-
SSébastien Bardin
-
SSoline Ducousso
-
TTa Thanh Dinh
-
YYaëlle Vinçont
Maintainers
Sources
binsec-0.6.0.tbz
sha256=e9101e68d317c837d5cff9608c6fba2127dd31ef6373b9b90806780c1d80bb52
sha512=c01af277239b8cc84fb904c301897f7d2388a8c850c7cb6a53acb8a4f8d51115c8a595c5517843d076421a76f4b2becb16e722b4c90f19a8fa208cce5f3ba274
doc/binsec.smt/Smt/Smt_options/index.html
Module Smt.Smt_optionsSource
Definition of command-line & programmatic options for SSE
Source
type solver = | Auto(*try to use the best SMT solver available; in order
*)| Bitwuzla_native(*bitwuzla native ocaml binding
*)| Bitwuzla_smtlib(*bitwuzla external process
*)| Boolector_smtlib(*boolector external process
*)| Z3_smtlib(*z3 external process
*)| CVC4_smtlib(*cvc4 external process
*)| Yices_smtlib(*yices external process
*)