package bap-mips

  1. Overview
  2. Docs
package bap-mips
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Bap_mips_target

Declares some of the MIPS 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 mips family, though it is not strictly required.

parent it the parent of all MIPS.

No properties are set.

The MIPS 32 family

The bi-endian MIPS32 (the parent)

The bi-endian MIPS32 (the parent)

The big endian MIPS32

The big endian MIPS32

The little endian MIPS32

The MIPS 64 family

The bi-endian MIPS64 (the parent)

The bi-endian MIPS64 (the parent)

The big endian MIPS64

The big endian MIPS64

The little endian MIPS64

MIPS encodings

val load : ?backend:string -> unit -> unit

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

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