package bap-powerpc

  1. Overview
  2. Docs
BAP PowerPC lifter

Install 

dune-project
 Dependency

github.com Edit opam file Versions (5)

Authors

  1. B
    BAP Team

Maintainers

  1. I
    Ivan Gotovchits <ivg@ieee.org>

Sources

v2.4.0.tar.gz
sha256=63ada71fa4f602bd679174dc6bf780d54aeded40ad4ec20d256df15886e3d2d5
md5=b8b1aff8c6846f2213eafc54de07b304

doc/bap-powerpc/Bap_powerpc_target/index.html

Module Bap_powerpc_target

Declares some of the PowerPC targets.

More targets could be added without modifying this module. It is advised to inherit from one of the targets defined here to include the newly defined target into the powerpc family, though it is not strictly required.

parent it the parent of all PowerPC.

No properties are set.

The PowerPC 32 family

The bi-endian PowerPC32 (the parent)

The bi-endian PowerPC32 (the parent)

The big endian PowerPC32

The big endian PowerPC32

The little endian PowerPC32

The PowerPC 64 family

The bi-endian PowerPC64 (the parent)

The bi-endian PowerPC64 (the parent)

The big endian PowerPC64

The big endian PowerPC64

The little endian PowerPC64

The PowerPC encodings

val llvm_powerpc32 : Bap_core_theory.Theory.language
val llvm_powerpc64 : Bap_core_theory.Theory.language
val load : ?backend:string -> unit -> unit

load () loads the knowledge base rules for the PowerPC targets.

This includes parsing the loader output and enabling backward compatibility with the old Arch.t representation.