package bap-arm

You can search for identifiers within the package.

in-package search v0.2.0

BAP ARM lifter and disassembler

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

B

BAP Team

Maintainers

I

Ivan Gotovchits <ivg@ieee.org>

Sources

v2.2.0.tar.gz

sha256=7c6d0dfe2640e800829617dd150ffe748493fe3f317ed41be44312b2821deb46

md5=5dbc6677d646bec59fd7414f23e88cf8

doc/bap-arm/Arm_bit/index.html

Module `Arm_bit`

val extend : 
  dest:Arm_types.op ->
  src:Arm_types.op ->
  ?src2:Arm_types.op ->
  Arm_types.sign ->
  [< `B | `H ] ->
  rot:Arm_types.op ->
  Arm_types.op ->
  Bap.Std.stmt list

val bit_field_insert : 
  dest:Arm_types.op ->
  src:Arm_types.op ->
  Bap.Std.Word.t ->
  Arm_types.op ->
  Bap.Std.stmt list

val bit_extract : 
  dest:Arm_types.op ->
  src:Arm_types.op ->
  Arm_types.sign ->
  lsb:Arm_types.op ->
  widthminus1:Arm_types.op ->
  Arm_types.op ->
  Bap.Std.stmt list