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/libformula/Libformula/Sse_symbolic/State/argument-1-S/index.html
Parameter State.S
val open_session : unit -> t
open_session ()
creates a new incremental solver instance.
val put : t -> Binsec.Formula.entry -> unit
put solver entry
sends the entry to the solver.
val check_sat : t -> Binsec.Formula.status
check_sat solver
checks if the current formula is satisfiable.
val get_bv_value : t -> Binsec.Formula.bv_term -> Binsec.Bitvector.t
get_bv_value solver expr
returns the assignment of the expression expr
if check_sat
returned SAT. Invalid uses may fail in an unpredictable fashion.
val get_ax_values :
t ->
Binsec.Formula.ax_term ->
(Binsec.Bitvector.t * Binsec.Bitvector.t) array
get_ax_values solver expr
returns the assignment of the array expr
if check_sat
returned SAT. Invalid uses may fail in an unpredictable fashion.
val close_session : t -> unit
close_session solver
will destroy the solver instance and release its ressources. Calling any function on this instance afterward is invalid and may fail in an unpredictable fashion.
val check_sat_and_close : t -> Binsec.Formula.status
check_sat_and_close solver
is the same as caching the result of check_sat
before calling close_session
.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>