package bap-std

You can search for identifiers within the package.

in-package search v0.2.0

The Binary Analysis Platform Standard Library

Install

sha256=a6e80853aaaa26b7ca564d9878891d7146ec1c83852541387c1bba1ad036b8ea

md5=13f2cb1e3b9d90348852252fb0f2d09f

constraint 'a = Bili.context

inherit 'a Bili.Expi.t

method eval : stmt list -> 'a Bili.u

method eval_stmt : stmt -> 'a Bili.u

method eval_move : var -> exp -> 'a Bili.u

method eval_jmp : exp -> 'a Bili.u

method eval_while : cond:exp -> body:stmt list -> 'a Bili.u

method eval_if : cond:exp -> yes:stmt list -> no:stmt list -> 'a Bili.u

method eval_cpuexn : int -> 'a Bili.u

method eval_special : string -> 'a Bili.u