package bap-std

  1. Overview
  2. Docs
package bap-std
Legend:
Library
Module
Module type
Parameter
Class
Class type

A BIL model of CPU

In general this is a model of a processor architecture, involving ALU, processing unit, registers and memory.

The definitions in this module are so generic, that they present on all processors.

val gpr : Var.Set.t

A set of general purpose registers

val mem : var

Memory

val sp : var

Stack pointer

Flag registers
val zf : var

zero flag

val cf : var

carry flag

val vf : var

overflow flag

val nf : var

negative flag

Predicates

val is_reg : var -> bool

is_reg var true if var is a processor register

val is_flag : var -> bool

is_flag reg is true if reg is a flag register

val is_sp : var -> bool

is_sp x = Var.same x sp

val is_bp : var -> bool

is_bp x is true if x can be possibly used as a base pointer register.

val is_zf : var -> bool

is_zf x = Var.same x zf

val is_cf : var -> bool

is_cf x = Var.same x cf

val is_vf : var -> bool

is_vf x = Var.same x vf

val is_nf : var -> bool

is_nf x = Var.same x nf

val is_mem : var -> bool

is_mem x = Var.same x mem

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct