1 files changed, 90 insertions, 0 deletions
diff --git a/src/elf_model/elf.ml b/src/elf_model/elf.ml
new file mode 100644
index 00000000..ae78935a
--- /dev/null
+++ b/src/elf_model/elf.ml
@@ -0,0 +1,90 @@
+(*Generated by Lem from elf.lem.*)
+open Lem_list
+open Lem_list_extra
+open Lem_maybe
+open Lem_num
+open Lem_string
+
+open Elf_header
+open Elf_program_header_table
+open Elf_section_header
+open Elf_string_table
+open Elf_symbol_table
+
+open Bitstring
+open Error
+
+type linked_elf_file =
+  { elf_header : elf32_elf_header
+	 ; elf_section_header_table :  elf32_section_header_table option
+	 ; elf_program_header_table : elf32_program_header_table
+	 ; elf_string_table : string list
+	 ; elf_dynamic_string_table : string list
+	 ; elf_symbol_table : elf32_symbol_table list
+	 }
+
+type elf32
+	= Linked of linked_elf_file
+	| Executable
+	
+let is_linked elf =	
+((match elf with
+		| Linked _ -> true
+		| _        -> false
+  ))
+  
+let is_executable elf =	
+((match elf with
+		| Executable -> true
+		| _          -> false
+  ))
+  
+let string_of_elf32 elf320 =	
+((match elf320 with
+		| Executable ->
+				List.fold_right (^) [
+					"Executable ELF file"
+				] ""
+		| Linked link ->
+			let shdr =				
+((match link.elf_section_header_table with
+					| None  -> "No section header table present"
+					| Some hdr -> string_of_elf32_section_header_table hdr
+				))
+			in
+			let symtabs =				
+(List.fold_right (^) (List.map string_of_elf32_symbol_table link.elf_symbol_table) "")
+			in
+				List.fold_right (^) [
+				  string_of_elf32_elf_header (fun x -> "Unsupported") (fun x -> "Unsupported") link.elf_header; "\n\n"
+				; string_of_elf32_program_header_table (fun x -> "Unsupported") (fun x -> "Unsupported") link.elf_program_header_table
+				; shdr
+				; string_of_elf32_string_table link.elf_string_table
+				; string_of_elf32_dynamic_string_table link.elf_dynamic_string_table
+				; symtabs
+				] "\t"
+	))
+  
+let read_elf32 bs0 =	
+(read_elf32_elf_header bs0 >>= (fun (elf_header0, bs1) ->
+	let (size, entry_size) = (program_header_table_size_and_entry_size elf_header0) in
+	read_elf32_program_header_table (size * entry_size) bs1 >>= (fun (program_header_table, bs2) ->
+	(if elf32_elf_header_is_section_table_present elf_header0 then
+		let (size, entry_size, offset) = (section_header_table_size_and_entry_size_and_offset elf_header0) in
+	    read_elf32_section_header_table size entry_size offset bs0 >>= (fun (section_header_table, bs3) ->
+	    return (Some section_header_table, bs3))
+  	else
+	    return (None, bs2)) >>= (fun (section_header_table_opt, bs3) ->
+	let string_tables = (read_elf32_string_tables section_header_table_opt bs0) in
+	((match section_header_table_opt with
+	   | None -> return []
+	   | Some section_header_table -> read_elf32_symbol_tables section_header_table bs0
+	 )) >>= (fun symbol_table ->
+  return (Linked (
+    { elf_header = elf_header0
+	   ; elf_section_header_table = section_header_table_opt
+	   ; elf_program_header_table = program_header_table
+	   ; elf_string_table = (List.nth (string_tables)( 1))
+	   ; elf_dynamic_string_table = (List.nth (string_tables)( 0))
+	   ; elf_symbol_table = symbol_table
+	   })))))))