From 3ab947ce345e9d18ddcda57d8f88b2a9b8f5d267 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 12 Oct 2015 11:48:36 +0200
Subject: Removal of cchecklink, superseded by AbsInt's Valex tool.

---
 checklink/PPC_utils.ml | 26 --------------------------
 1 file changed, 26 deletions(-)
 delete mode 100644 checklink/PPC_utils.ml

(limited to 'checklink/PPC_utils.ml')

diff --git a/checklink/PPC_utils.ml b/checklink/PPC_utils.ml
deleted file mode 100644
index 6c865dd0..00000000
--- a/checklink/PPC_utils.ml
+++ /dev/null
@@ -1,26 +0,0 @@
-open ELF_types
-open ELF_utils
-open Library
-open PPC_parsers
-open PPC_types
-
-let code_at_vaddr (e: elf)(vaddr: int32)(nb_instr: int): ecode option =
-  begin match bitstring_at_vaddr e vaddr (Safe32.of_int (4 * nb_instr)) with
-  | None -> None
-  | Some(code_bs, _, _) -> Some (parse_code_as_list code_bs)
-  end
-
-let code_of_sym (e: elf) (sym: elf32_sym): ecode option =
-  begin match bitstring_at_vaddr e sym.st_value sym.st_size with
-  | None -> None
-  | Some(bs, _, _) -> Some(parse_code_as_list bs)
-  end
-
-let code_of_sym_ndx (e: elf) (ndx: int): ecode option =
-  code_of_sym e e.e_symtab.(ndx)
-
-let code_of_sym_name (e: elf) (name: string): ecode option =
-  begin match ndx_of_sym_name e name with
-  | Some ndx -> code_of_sym_ndx e ndx
-  | None     -> None
-  end
-- 
cgit