package binsec
Module Binsec_cli_bbsse.EvalSource
Source
val run :
Binsec_cli_bbsse__Types.Env.t ->
(Binsec.Dba.address * bool list * Binsec.Virtual_address.t list) ->
(Binsec_cli_bbsse__.Types.Path.value, Binsec_sse.Types.status)
Stdlib.Result.t
* Binsec_cli_bbsse__.Types.Path.t