Up – Package index » binsec » Library binsec.sse » Libsse » Exec

Module `Libsse.Exec`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
    - Dcode
    - Eval
    - Exec
    - Fiber
    - Heuristic
    - Ir
    - Opt
    - Options
    - Path
    - Probe
    - Screen
    - Script
    - Stats
    - Types
- Library binsec.sse_register
  - Sse
- Library checkct
  - Checkct
- Library libformula
  - Libformula
- Library libterm
  - Libterm
- Library shadow_stack
  - Shadow_stack
- Sources

Sourcemodule type EXTENSION = sig ... end

Sourcemodule type PLUGIN = sig ... end

Sourceval register_plugin : (module PLUGIN) -> unit

Sourcemodule Run (SF : Types.STATE_FACTORY) (W : Types.WORKLIST) () : sig ... end