package bap-std
The Binary Analysis Platform Standard Library
Install
Dune Dependency
Authors
Maintainers
Sources
v2.5.0.tar.gz
sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174
md5=5abd9b3628b43f797326034f31ca574f
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