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.9.0.tbz
sha256=d959c2351b6cac10ffbdaf112769a676c9ad84bf6bc7fefa5cb1daa8d086cc97
sha512=1a3951896f05fb3a4cb05e81830373c75409a69c49323dc82e97c94889927b5f9561e704565a22c2a608842f67063d6c89a330477165b197a40d6ac231c09a7e
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_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