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
-
MMahmudul Faisal Al Ameen
-
MManh-Dung Nguyen
-
MMathéo Vergnolle
-
MMathilde Ollivier
-
MMatthieu Lemerre
-
NNicolas Bellec
-
OOlivier Nicole
-
RRichard Bonichon
-
RRobin David
-
SSébastien Bardin
-
SSoline Ducousso
-
TTa Thanh Dinh
-
YYaëlle Vinçont
-
YYanis Sellami
Maintainers
Sources
binsec-0.10.0.tbz
sha256=f9f66dc2a16f10d4afc9599ce76f19d3868fca184b42f2a28bc81b37089be68f
sha512=bc56322323d1c56870bb8618c9eeed95fa7eb0ba8bde3c9ea9fe86627ecb1c97abc610401e3af7662c9f9386719be284d7144c5af5d39b3f64c63e2b2cdecb1d
doc/binsec.smt/Smt/Smt_options/index.html
Module Smt.Smt_optionsSource
Definition of command-line & programmatic options for SSE
include Binsec.Cli.Cli_sig
module Logger : Binsec.Logger.Smodule Debug_level : Binsec.Cli.INTEGERmodule Loglevel : Binsec.Cli.STRINGmodule Quiet : Binsec.Cli.BOOLEANmodule Builder : sig ... endSource
type solver = | Auto(*try to use the best SMT solver available; in order
*)| Bitwuzla_builtin(*bitwuzla native ocaml binding (cxx)
*)| Bitwuzla_legacy(*bitwuzla native ocaml binding (c)
*)| Bitwuzla_smtlib(*bitwuzla external process
*)| Boolector_smtlib(*boolector external process
*)| Z3_builtin(*z3 native ocaml binding
*)| Z3_smtlib(*z3 external process
*)| CVC4_smtlib(*cvc4 external process
*)| Yices_smtlib(*yices external process
*)
module SMTSolver : Binsec.Cli.GENERIC with type t = solvermodule KeepGoing : Binsec.Cli.BOOLEANmodule SMT_dir : Binsec.Cli.STRING_OPTmodule SMT_log_directory : Binsec.Cli.STRING