Up – Package index » binsec » Library shadow_stack » Shadow_stack

Module `Shadow_stack`Source

binsec
- CHANGES
- LICENSE
- README
- Library binsec
  - Binsec
- Library binsec.amd64decoder
  - Amd64decoder
- Library binsec.armv7decoder
  - Armv7decoder
- Library binsec.armv8decoder
  - Armv8decoder
- Library binsec.domains
  - Domains
- Library binsec.parser
  - Libparser
- Library binsec.ppc64decoder
  - Ppc64decoder
- Library binsec.smt
  - Smt
- Library binsec.sse
  - Libsse
- Library binsec.sse_register
  - Sse
- Library checkct
  - Checkct
- Library libformula
  - Libformula
- Library libterm
  - Libterm
- Library shadow_stack
  - Shadow_stack
- Sources

include sig ... end

val is_enabled : unit -> bool

module Logger : Binsec.Logger.S

module Debug_level : sig ... end

module Loglevel : sig ... end

module Quiet : sig ... end

module Builder : sig ... end

Sourcetype mode =

| Inline
(*
Use standard DBA assertions
*)
| Builtin
(*
Use new push and pop builtins
*)

module Mode : sig ... end

Sourcetype Binsec.Ast.t +=

| Initial_stack of Binsec.Ast.Expr.t Binsec.Ast.loc list

module Inline
  (P : Libsse.Path.S)
  (S : Libsse.Types.STATE) : 
  Libsse.Exec.EXTENSION with type path = P.t and type state = S.t

module Builtin
  (P : Libsse.Path.S)
  (S : Libsse.Types.STATE) : 
  Libsse.Exec.EXTENSION with type path = P.t and type state = S.t