package bap-std

  1. Overview
  2. Docs
The Binary Analysis Platform Standard Library

Install 

dune-project
 Dependency

github.com Edit opam file Versions (5)

Authors

  1. B
    BAP Team

Maintainers

  1. I
    Ivan Gotovchits <ivg@ieee.org>

Sources

v2.3.0.tar.gz
sha256=a6e80853aaaa26b7ca564d9878891d7146ec1c83852541387c1bba1ad036b8ea
md5=13f2cb1e3b9d90348852252fb0f2d09f

doc/bap/Bap/Std/module-type-CPU/index.html

Module type Std.CPU

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