/
disa_common.ads
85 lines (74 loc) · 3.71 KB
/
disa_common.ads
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
------------------------------------------------------------------------------
-- --
-- GNATcoverage --
-- --
-- Copyright (C) 2008-2024, AdaCore --
-- --
-- GNATcoverage is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
-- Software Foundation; either version 3, or (at your option) any later --
-- version. This software is distributed in the hope that it will be useful --
-- but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHAN- --
-- TABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public --
-- License for more details. You should have received a copy of the GNU --
-- General Public License distributed with this software; see file --
-- COPYING3. If not, go to http://www.gnu.org/licenses for a complete copy --
-- of the license. --
------------------------------------------------------------------------------
-- Common subprograms shared by several disassembler components
with Interfaces; use Interfaces;
with Interfaces.C; use Interfaces.C;
with System;
with Binary_Files; use Binary_Files;
with Dis_Opcodes;
with Disa_Symbolize; use Disa_Symbolize;
with Highlighting;
with Traces;
package Disa_Common is
function ELF_To_U16 (Bin : Binary_Content) return Unsigned_16;
-- Decode a 16bit value from ELF to native endianness
function ELF_To_U32 (Bin : Binary_Content) return Unsigned_32;
-- Decode a 32bit value from ELF to native endianness
function To_Big_Endian_U32 (Bin : Binary_Content) return Unsigned_32;
-- Convert big endian binary representation to Unsigned_32 value
procedure Opcodes_Disassemble_Insn
(Handle : Dis_Opcodes.Disassemble_Handle;
Insn_Bin : Binary_Content;
Pc : Traces.Pc_Type;
Buffer : in out Highlighting.Buffer_Type;
Insn_Len : out Positive;
Sym : Symbolizer'Class;
Insn_Max_Len : Positive)
with Inline => True;
-- Common function to disassemble through libopcode bindings.
--
-- Disassemble instruction at Pc in Insn_Bin, and put the result in Buffer.
-- Also put the instruction length (in bytes) in Insn_Len.
--
-- Insn_Max_Len must correspond to the size of the largest instruction
-- available on the architecture Handle was created for.
function Opcodes_Get_Insn_Length
(Handle : Dis_Opcodes.Disassemble_Handle;
Insn_Bin : Binary_Content;
Pc : Traces.Pc_Type;
Insn_Max_Len : Positive) return Positive
with Inline => True;
-- Common function to get instruction length through libopcode bindings.
--
-- Disassemble instruction at Pc in Insn_Bin and return the instruction
-- length (in bytes) in Insn_Len.
--
-- Insn_Max_Len must correspond to the size of the largest instruction
-- available on the architecture Handle was created for.
function Print_Symbol_Func
(Addr : Dis_Opcodes.BFD_VMA;
Symbol_Manager : System.Address;
Buff_Addr : System.Address;
Buff_Size : int) return int
with Convention => C,
Post => Print_Symbol_Func'Result <= Buff_Size;
-- Prints symbol at address Addr to Buff if there is one.
-- Does nothing otherwise.
-- Writes at most Buff_Size characters.
-- Returns number of characters written.
end Disa_Common;