package bap-microx

You can search for identifiers within the package.

in-package search v0.2.0

bap-microx
- Microx
  - Std
    
    concretizer
    
    conqueror
- Microx_concretizer
- Microx_conqueror
  - context
  - main

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Concretizer = Microx_concretizer

module Conqueror = Microx_conqueror

class +'a concretizer : ?memory:(Bap.Std.addr ->
  Bap.Std.word option) -> ?lookup:(Bap.Std.var ->
  Bap.Std.word option) -> ?random_seed:int -> ?reg_policy:Concretizer.policy -> ?mem_policy:
  Concretizer.policy -> unit -> object ... end

class +'a conqueror : ?deterministic:bool -> Bap.Std.program Bap.Std.term -> object ... end