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.5.0.tar.gz

sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174

md5=5abd9b3628b43f797326034f31ca574f

doc/bap-arm/Arm_mul/index.html

Module `Arm_mul`

val lift_mull : 
  lodest:Arm_types.op ->
  hidest:Arm_types.op ->
  src1:Arm_types.op ->
  src2:Arm_types.op ->
  Arm_types.sign ->
  ?addend:'a ->
  wflag:Arm_types.op ->
  Arm_types.op ->
  Bap.Std.stmt list

val lift_smul : 
  dest:Arm_types.op ->
  ?hidest:Arm_types.op ->
  src1:Arm_types.op ->
  src2:Arm_types.op ->
  ?accum:Arm_types.op ->
  ?hiaccum:Arm_types.op ->
  ?q:bool ->
  Arm_types.smul_size ->
  Arm_types.op ->
  Bap.Std.stmt list