package bap-std

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Base class for BIL interpreters

constraint 'a = context
inherit 'a expi
method eval : stmt list -> 'a Bil.Result.u
method eval_stmt : stmt -> 'a Bil.Result.u
method eval_move : var -> exp -> 'a Bil.Result.u
method eval_jmp : exp -> 'a Bil.Result.u
method eval_while : cond:exp -> body:stmt list -> 'a Bil.Result.u
method eval_if : cond:exp -> yes:stmt list -> no:stmt list -> 'a Bil.Result.u
method eval_cpuexn : int -> 'a Bil.Result.u
method eval_special : string -> 'a Bil.Result.u
OCaml

Innovation. Community. Security.