Sophie

Sophie

distrib > Fedora > 18 > i386 > by-pkgid > 84b3027692960e50a6255ad3d34cb5a2 > files > 19

ocaml-bitstring-devel-2.0.4-1.fc18.i686.rpm

(* Read an ELF (Linux binary) header.
 * $Id: elf.ml 142 2008-07-17 15:45:56Z richard.wm.jones $
 *)

open Printf

let () =
  let filename = "/bin/ls" in
  let bits = Bitstring.bitstring_of_file filename in

  bitmatch bits with
  | { 0x7f : 8; "ELF" : 24 : string;	(* ELF magic number *)
      _ : 12*8 : bitstring;		(* ELF identifier *)
      e_type : 16 : littleendian;	(* object file type *)
      e_machine : 16 : littleendian	(* architecture *)
    } ->
      printf "%s: ELF binary, type %d, arch %d\n" filename e_type e_machine

  | { _ } ->
      eprintf "%s: Not an ELF binary\n" filename