package binsec
Module Shadow_stackSource
include sig ... end
module Logger : Binsec.Logger.Smodule Debug_level : sig ... endmodule Loglevel : sig ... endmodule Quiet : sig ... endmodule Builder : sig ... endmodule Mode : sig ... endSource
module Inline
(P : Libsse.Path.S)
(S : Libsse.Types.STATE) :
Libsse.Exec.EXTENSION with type path = P.t and type state = S.tSource
module Builtin
(P : Libsse.Path.S)
(S : Libsse.Types.STATE) :
Libsse.Exec.EXTENSION with type path = P.t and type state = S.t