checkct
Checkct.Report
binsec
binsec.amd64decoder
binsec.armv7decoder
binsec.armv8decoder
binsec.domains
binsec.parser
binsec.ppc64decoder
binsec.smt
binsec.sparcv8decoder
binsec.sse
binsec.sse_register
libformula
libsolver
libterm
shadow_stack
type t = {
memory : Binsec.Bitvector.t B.Map.t S.Map.t;
public : Binsec.Bitvector.t list S.Map.t;
secret1 : Binsec.Bitvector.t list S.Map.t;
secret2 : Binsec.Bitvector.t list S.Map.t;
}
val toml : t -> Toml.Types.table
val pp : Format.formatter -> t -> unit