X86_target (bap-x86-cpu.X86

val parent : Bap_core_theory.Theory.Target.t

The parent of all x86 targets.

When a new target is declared it is advised to use any target from this module as parent so that the newly declared target will be included into the x86 Targets family. The parent target is pure abstract and doesn't have any propreties set.

val i86 : Bap_core_theory.Theory.Target.t

val i186 : Bap_core_theory.Theory.Target.t

val i286 : Bap_core_theory.Theory.Target.t

val i386 : Bap_core_theory.Theory.Target.t

val i486 : Bap_core_theory.Theory.Target.t

val i586 : Bap_core_theory.Theory.Target.t

val i686 : Bap_core_theory.Theory.Target.t

val amd64 : Bap_core_theory.Theory.Target.t

module Abi : sig ... end

The list of x86 abis.

val load : ?abi:Bap_core_theory.Theory.abi -> ?backend:string -> unit -> unit

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

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

parameter abi
overrides the automatic selection of abi and use the specified one.

since 2.4.0 accepts the backend parameter.

since 2.5.0 accepts the abi parameter.