package bap-std
The Binary Analysis Platform Standard Library
Install
Dune Dependency
Authors
Maintainers
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.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