1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399 | private with Ada.Containers.Doubly_Linked_Lists;
private with Ada.Containers.Vectors;
private with Ada.Sequential_IO;
private with WL.String_Maps;
with System.Storage_Elements;
package WL.Files.ELF is
Bad_Magic : exception;
type Elf_Word_8 is mod 2 ** 8 with Size => 8;
type Elf_Word_16 is mod 2 ** 16 with Size => 16;
type Elf_Word_32 is mod 2 ** 32 with Size => 32;
type File_Type is limited private;
type File_Mode is (In_File, Out_File);
type Program_Header_Type is
(Nul, Load, Dynamic, Interp, Note);
type Section_Header_Type is
(Sht_Null, Sht_Progbits, Sht_Symtab, Sht_Strtab,
Sht_Rela, Sht_Hash, Sht_Dynamic, Sht_Note,
Sht_Nobits, Sht_Rel, Sht_Shlib);
SHN_UNDEF : constant := 0;
type Octet is mod 2 ** 8;
type Address_32 is mod 2 ** 32;
procedure Open
(File : in out File_Type;
Mode : File_Mode;
Path : String);
procedure Create
(File : in out File_Type;
Mode : File_Mode := Out_File;
Path : String;
Form : String := "");
procedure Close
(File : in out File_Type);
function Get_Start
(File : File_Type)
return Address_32;
function Get_String
(File : File_Type;
Offset : Elf_Word_32)
return String;
type Section_Entry is private;
function Get_Section_Entry
(File : File_Type;
Index : Elf_Word_32)
return Section_Entry;
function Get_Section_Entry
(File : File_Type;
Section_Header : Section_Header_Type)
return Section_Entry;
function Has_Section (This : Section_Entry) return Boolean;
function Get_Size (Section : Section_Entry) return Elf_Word_32
with Pre => Has_Section (Section);
function Get_Type (Section : Section_Entry) return Section_Header_Type
with Pre => Has_Section (Section);
function Get_Address (Section : Section_Entry) return Address_32
with Pre => Has_Section (Section);
function Get_Offset (Section : Section_Entry) return Elf_Word_32
with Pre => Has_Section (Section);
function Get_Index (Section : Section_Entry) return Elf_Word_32
with Pre => Has_Section (Section);
function Get_Info (Section : Section_Entry) return Elf_Word_32
with Pre => Has_Section (Section);
function Get_Link (Section : Section_Entry) return Elf_Word_32
with Pre => Has_Section (Section);
function Get_Alloc (Section : Section_Entry) return Boolean
with Pre => Has_Section (Section);
function Get_Execinstr (Section : Section_Entry) return Boolean
with Pre => Has_Section (Section);
function Get_Write (Section : Section_Entry) return Boolean
with Pre => Has_Section (Section);
type Relocation_Entry is private;
function Get_Symbol_Index
(Relocation : Relocation_Entry)
return Elf_WOrd_32;
function Get_Offset (Relocation : Relocation_Entry) return Address_32;
function Get_Type (Relocation : Relocation_Entry) return Elf_Word_8;
type Symbol_Table_Entry is private;
function Get_Section
(File : File_Type;
Section_Header : Section_Header_Type)
return Elf_Word_32
with Post => Get_Type (Get_Section_Entry (File, Get_Section'Result))
= Section_Header;
function Get_Symbol_Entry
(File : File_Type;
Section : Elf_Word_32;
Index : Elf_Word_32)
return Symbol_Table_Entry;
function Get_Name
(File : File_Type;
Symbol : Symbol_Table_Entry)
return String;
function Get_Value (Symbol : Symbol_Table_Entry) return Elf_Word_32;
function Get_Section (Symbol : Symbol_Table_Entry) return Elf_Word_32;
function Is_Defined (Symbol : Symbol_Table_Entry) return Boolean;
procedure Iterate_Sections
(File : File_Type;
Header_Type : Section_Header_Type;
Process : not null access
procedure (Section : Section_Entry));
procedure New_Section_Header
(File : in out File_Type;
Name : String;
Header_Type : Section_Header_Type;
Write : Boolean := False;
Alloc : Boolean := False;
Execinstr : Boolean := False;
Merge : Boolean := False;
Strings : Boolean := False;
Info_Link : Boolean := False;
Link_Order : Boolean := False);
procedure New_Program_Header
(File : in out File_Type;
Header_Type : Program_Header_Type;
Read : Boolean;
Write : Boolean;
Execute : Boolean;
Virtual_Address : Address_32);
type Symbol_Table_Binding is (Local, Global, Weak);
type Symbol_Table_Type is
(No_Type, Object, Func, Section, File, Common, Tls);
type Symbol_Table_Visibility is
(Default, Internal, Hidden, Protect);
procedure New_Symbol
(File : in out File_Type;
Name : String;
Value : Address_32;
Size : Natural;
Binding : Symbol_Table_Binding;
Typ : Symbol_Table_Type;
Visibility : Symbol_Table_Visibility;
Section_Name : String);
procedure Add_Symbol_Reference
(File : in out File_Type;
Name : String;
Section_Name : String;
Section_Offset : Address_32;
Info : Octet);
procedure Iterate_Symbols
(File : File_Type;
Process : not null access
procedure (Name : String;
Value : Address_32;
Size : Elf_Word_32;
Binding : Symbol_Table_Binding;
Typ : Symbol_Table_Type;
Visibility : Symbol_Table_Visibility;
Section : Elf_Word_16));
procedure Iterate_Relocation
(File : File_Type;
Process : not null access
procedure (Section : Elf_Word_16;
Offset : Address_32;
Info : Octet;
Symbol : Symbol_Table_Entry));
procedure Put
(File : in out File_Type;
Value : Octet);
procedure Read
(File : in out File_Type;
Offset : Elf_Word_32;
Data : out System.Storage_Elements.Storage_Array);
private
type EI_Magic is (EI_MAG0, EI_MAG1, EI_MAG2, EI_MAG3,
EI_CLASS, EI_DATA, EI_VERSION, EI_OSABI,
EI_ABIVERSION, EI_PAD1, EI_PAD2, EI_PAD3,
EI_PAD4, EI_PAD5, EI_PAD6, EI_PAD7);
type Elf_Magic is array (EI_Magic) of Elf_Word_8 with Size => 16 * 8;
type Elf_Type is new Elf_Word_16;
type Elf_Machine is new Elf_Word_16;
type Elf_Version is new Elf_Word_32;
type Elf_Entry is new Elf_Word_32;
type Elf_Phoff is new Elf_Word_32;
type Elf_Shoff is new Elf_Word_32;
type Elf_Flags is new Elf_Word_32;
type Elf_Ehsize is new Elf_Word_16;
type Elf_Phentsize is new Elf_Word_16;
type Elf_Phnum is new Elf_Word_16;
type Elf_Shentsize is new Elf_Word_16;
type Elf_Shnum is new Elf_Word_16;
type Elf_Shstrndx is new Elf_Word_16;
Elf_Magic_Sequence : constant Elf_Magic :=
(16#7F#, 16#45#, 16#4C#, 16#46#,
1, 1, 1,
others => 0);
type Elf_Header is
record
E_Magic : Elf_Magic := Elf_Magic_Sequence;
E_Type : Elf_Type := 0;
E_Machine : Elf_Machine := 0;
E_Version : Elf_Version := 1;
E_Entry : Elf_Entry := 0;
E_Phoff : Elf_Phoff := 0;
E_Shoff : Elf_Shoff := 0;
E_Flags : Elf_Flags := 0;
E_Ehsize : Elf_Ehsize := 0;
E_Phentsize : Elf_Phentsize := 0;
E_Phnum : Elf_Phnum := 0;
E_Shentsize : Elf_Shentsize := 0;
E_Shnum : Elf_Shnum := 0;
E_Shstrndx : Elf_Shstrndx := 0;
end record
with Pack, Size => 52 * 8;
type Section_Header is
record
Sh_Name : Elf_Word_32;
Sh_Type : Elf_Word_32;
Sh_Flags : Elf_Word_32;
Sh_Addr : Elf_Word_32;
Sh_Offset : Elf_Word_32;
Sh_Size : Elf_Word_32;
Sh_Link : Elf_Word_32;
Sh_Info : Elf_Word_32;
Sh_Addralign : Elf_Word_32;
Sh_Entsize : Elf_Word_32;
end record
with Pack, Size => 40 * 8;
SHF_WRITE : constant := 16#01#;
SHF_ALLOC : constant := 16#02#;
SHF_EXECINSTR : constant := 16#04#;
type Symbol_Table_Entry is
record
St_Name : Elf_Word_32;
St_Value : Address_32;
St_Size : Elf_Word_32;
St_Info : Elf_Word_8;
St_Other : Elf_Word_8;
St_Shndx : Elf_Word_16;
end record
with Pack, Size => 4 * 32;
function Get_Value (Symbol : Symbol_Table_Entry) return Elf_Word_32
is (Elf_Word_32 (Symbol.St_Value));
function Get_Section (Symbol : Symbol_Table_Entry) return Elf_Word_32
is (Elf_Word_32 (Symbol.St_Shndx));
function Is_Defined (Symbol : Symbol_Table_Entry) return Boolean
is (Symbol.St_Shndx /= SHN_UNDEF);
type Relocation_Entry is
record
Offset : Address_32;
Info : Elf_Word_32;
end record
with Pack, Size => 64;
function Get_Symbol_Index
(Relocation : Relocation_Entry)
return Elf_WOrd_32
is (Relocation.Info / 256);
function Get_Type (Relocation : Relocation_Entry) return Elf_Word_8
is (Elf_WOrd_8 (Relocation.Info mod 256));
function Get_Offset (Relocation : Relocation_Entry) return Address_32
is (Relocation.Offset);
package Storage_Element_Vectors is
new Ada.Containers.Vectors
(Natural, System.Storage_Elements.Storage_Element,
System.Storage_Elements."=");
type Section_Record is
record
Header : Section_Header;
Index : Elf_Word_16;
Data : Storage_Element_Vectors.Vector;
end record;
package Section_Lists is
new Ada.Containers.Doubly_Linked_Lists (Section_Record);
package Section_Maps is
new WL.String_Maps (Section_Lists.Cursor, Section_Lists."=");
package Storage_IO is
new Ada.Sequential_IO (System.Storage_Elements.Storage_Element);
package Symbol_Index_Maps is
new WL.String_Maps (Elf_Word_32);
type File_Type is limited
record
Header : Elf_Header;
Section_List : Section_Lists.List;
Section_Map : Section_Maps.Map;
Current : Section_Lists.Cursor;
Symbol_Table : Section_Record;
Symbol_Map : Symbol_Index_Maps.Map;
String_Table : Section_Record;
Storage_File : Storage_IO.File_Type;
Data : Storage_Element_Vectors.Vector;
Saving : Boolean := False;
Reading : Boolean := False;
end record;
function Get_Start
(File : File_Type)
return Address_32
is (Address_32 (File.Header.E_Entry));
type Section_Entry is
record
Position : Section_Lists.Cursor := Section_Lists.No_Element;
end record;
function Has_Section (This : Section_Entry) return Boolean
is (Section_Lists.Has_Element (This.Position));
function Get_Size (Section : Section_Entry) return Elf_Word_32
is (Section_Lists.Element (Section.Position).Header.Sh_Size);
function Get_Type (Section : Section_Entry) return Section_Header_Type
is (Section_Header_Type'Val
(Section_Lists.Element (Section.Position).Header.Sh_Type));
function Get_Address (Section : Section_Entry) return Address_32
is (Address_32
(Section_Lists.Element (Section.Position).Header.Sh_Addr));
function Get_Offset (Section : Section_Entry) return Elf_Word_32
is (Section_Lists.Element (Section.Position).Header.Sh_Offset);
function Get_Index (Section : Section_Entry) return Elf_Word_32
is (Elf_Word_32
(Section_Lists.Element (Section.Position).Index));
function Get_Info (Section : Section_Entry) return Elf_Word_32
is (Section_Lists.Element (Section.Position).Header.Sh_Info);
function Get_Link (Section : Section_Entry) return Elf_Word_32
is (Section_Lists.Element (Section.Position).Header.Sh_Link);
function Get_Alloc (Section : Section_Entry) return Boolean
is ((Section_Lists.Element (Section.Position).Header.Sh_Flags and SHF_ALLOC)
= SHF_ALLOC);
function Get_Execinstr (Section : Section_Entry) return Boolean
is ((Section_Lists.Element (Section.Position).Header.Sh_Flags
and SHF_EXECINSTR)
= SHF_EXECINSTR);
function Get_Write (Section : Section_Entry) return Boolean
is ((Section_Lists.Element (Section.Position).Header.Sh_Flags and SHF_WRITE)
= SHF_WRITE);
end WL.Files.ELF;
|