package bap-std
The Binary Analysis Platform Standard Library
Install
Dune Dependency
Authors
Maintainers
Sources
v2.1.0.tar.gz
sha256=631fc58628418e4856709a0cfc923a65e00c9494fbd28d444c633d11194831de
md5=3db9deac8d429b9b8a8ec9aec54987b1
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.tA set of general purpose registers
val mem : varMemory
val sp : varStack pointer
Flag registers
val zf : varzero flag
val cf : varcarry flag
val vf : varoverflow flag
val nf : varnegative flag
Predicates
val is_reg : var -> boolis_reg var true if var is a processor register
val is_flag : var -> boolis_flag reg is true if reg is a flag register
val is_sp : var -> boolis_sp x = Var.same x sp
val is_bp : var -> boolis_bp x is true if x can be possibly used as a base pointer register.
val is_zf : var -> boolis_zf x = Var.same x zf
val is_cf : var -> boolis_cf x = Var.same x cf
val is_vf : var -> boolis_vf x = Var.same x vf
val is_nf : var -> boolis_nf x = Var.same x nf
val is_mem : var -> boolis_mem x = Var.same x mem
On This Page