Module Binsec_sse_checkct.PluginSource

Parameters

module O : OPTIONS

Signature

Sourceval name : string

The name of the plugin.

It should be unique.

Sourceval fields : (module Binsec_sse.Types.PATH with type model = 'model and type state = 'state and type t = 'path and type value = 'value) -> ('value, 'model, 'state, 'path) Binsec_sse.Types.field list

fields path should return a list of custom fields ([ field0; field1; ... ]) to register into the path structure.

The associated PATH.key can be retrieved via the function ENGINE.lookup.

Sourceval extensions : (module Binsec_sse.Types.ENGINE with type Path.t = 'a) -> 'a Binsec_sse.Types.extension list

extensions engine should return a list of custom extentions to activate for the plugin.

This function is called only once per symbolic execution run and comes after fields.