package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Opt.Flags`Source

Sourceval name : string

The name of the plugin.

It should be unique.

Sourceval fields : (module Types.PATH) -> 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.

val extensions : 
  (module Types.ENGINE with type Path.t = 'a) ->
  'a 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.