package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Binsec_cli_sse.Sse`Source

Static Symbolic Execution (SSE)

val register_plugin : 
  is_enabled:(unit -> bool) ->
  (unit -> (module Binsec_sse.Types.PLUGIN)) ->
  unit

Sourceval run : unit -> unit