This file is indexed.

/usr/lib/ada/adalib/anet/anet-sockets-packet.ali is in libanet0.3.1-dev 0.3.1-1.

This file is owned by root:root, with mode 0o444.

The actual contents of the file can be viewed below.

  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
V "GNAT Lib v4.9"
A -O2
A -fstack-check=specific
A -fstack-protector-strong
A -gnatyg
A -gnatyA
A -gnatyd
A -gnatyI
A -gnatyS
A -gnatyu
A -gnatyx
A -gnatyo
A -gnatVa
A -gnat05
A -gnatf
A -gnato
A -g
A -gnatwa
A -gnatwl
A -gnatwe
A -g
A -gnatA
P DB SS ZX

RN
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTIONS
RV NO_FINALIZATION
RV NO_IMPLICIT_LOOPS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U anet.sockets.packet%b	anet-sockets-packet.adb	435e3232 NE OO PK
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W anet%s		anet.adb		anet.ali
W anet.byte_swapping%s	anet-byte_swapping.adb	anet-byte_swapping.ali
W anet.constants%s	anet-constants.ads	anet-constants.ali
W anet.net_ifaces%s	anet-net_ifaces.adb	anet-net_ifaces.ali
W anet.sockets%s	anet-sockets.adb	anet-sockets.ali
W anet.sockets.thin%s	anet-sockets-thin.ads	anet-sockets-thin.ali
W anet.sockets.thin.packet%s  anet-sockets-thin-packet.ads  anet-sockets-thin-packet.ali
W interfaces%s		interfac.ads		interfac.ali
W system%s		system.ads		system.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali

U anet.sockets.packet%s	anet-sockets-packet.ads	9ccb8502 EE OO PF PK
W ada.tags%s		a-tags.adb		a-tags.ali
W anet%s		anet.adb		anet.ali
W anet.sockets%s	anet-sockets.adb	anet-sockets.ali
W anet.types%s		anet-types.adb		anet-types.ali
W system%s		system.ads		system.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.ali

D ada.ads		20070406091342 3ffc8e18
D a-except.ads		20140129161953 f86a4103
D a-finali.ads		20111121113555 52ecdc1b
D a-stream.ads		20140122164720 1a984740
D a-tags.ads		20111212115430 6c0509d0
D a-unccon.ads		20070406091342 f9eb8f06
D anet.ads		20140811220322 062d45a5
D anet-byte_swapping.ads  20140811220322 5c646e80
D anet-constants.ads	20140811220322 ee8dd842
D anet-net_ifaces.ads	20140811220322 1f5f83f6
D anet-os_constants.ads	20140811220322 bdafab0d
D anet-socket_families.ads  20140811220322 09edb115
D anet-sockets.ads	20140811220322 7c5b68da
D anet-sockets-packet.ads  20140811220322 696845b8
D anet-sockets-packet.adb  20140811220322 5bacfc46
D anet-sockets-thin.ads	20140811220322 82a2527c
D anet-sockets-thin-packet.ads  20140811220322 dc2cbef8
D anet-types.ads	20140811220322 89f8a860
D interfac.ads		20140225151838 69adb1b9
D i-c.ads		20110801143639 5421119b
D system.ads		20140727234634 90249111
D s-exctab.ads		20140225151139 54135002
D s-finroo.ads		20120426095924 4ff27390
D s-oscons.ads		20140727234635 a445b120
D s-parame.ads		20140225151139 ab8cb46a
D s-secsta.ads		20140225151139 86a2856d
D s-soflin.ads		20140225151139 aa763b52
D s-stache.ads		20140225151139 a37c21ec
D s-stalib.ads		20140225151139 a891183f
D s-stoele.ads		20140225151139 2dc34a04
D s-stoele.adb		20140225151139 ed88f8fb
D s-stopoo.ads		20131010103753 b16154c2
D s-traent.ads		20140225151139 b5116092
X 1 ada.ads
16K9*Ada 19e8 14|46r16 55r20 56r20 15|93r20 94r20 96r16 120r34 128r16
X 3 a-finali.ads
58U14*Initialize<23|44p14>
X 4 a-stream.ads
36K13*Streams 84e16 14|46r20 55r24 56r24 15|93r24 94r24 96r20 120r38 128r20
42M9*Stream_Element
44I9*Stream_Element_Offset<long_integer> 14|56r32 15|94r32 96r28 120r46
51A9*Stream_Element_Array(42M9)<44I9> 14|46r28 55r32 15|93r32 128r28
X 7 anet.ads
36K9*Anet 136e9 14|24r6 26r9 90r5 15|24r6 25r6 26r6 27r6 29r14 162r5
38I9*Byte<short_integer>
51I9*Double_Byte<integer> 15|33r50
71A9*Hardware_Addr_Type(38I9)<68I9> 14|28r31 47r16 54r20 15|92r20 129r16
74V13*To_String{string} 15|151s40 159s12
74a24 Address{71A9} 15|151r51 159r23
113N4*C_Failure 15|54r16 149r16
116V13*Get_Errno_String{string} 15|56s39 117s17 152s22
X 8 anet-byte_swapping.ads
24K14*Byte_Swapping 42e23 15|27w11 70r25 84r25
26V13*Host_To_Network{7|51I9} 15|70s39 84s39
26i30 Input{7|51I9} 15|71r16 85r16
X 9 anet-constants.ads
28K14*Constants 77e19 15|26w11 34r30 35r30
68N4*ETH_P_ALL 15|35r40
69N4*ETH_P_IP 15|34r40
X 10 anet-net_ifaces.ads
26K14*Net_Ifaces 52e20 15|24w11 48r35 135r37
28V13*Get_Iface_Index{positive} 15|48s46 135s48
28a30 Name{18|31A9} 15|48r63 136r38
X 12 anet-socket_families.ads
28K14*Socket_Families 46e25 15|68r25 82r25
34n7*Family_Packet{30E9} 15|68r41 82r41
X 13 anet-sockets.ads
31K14*Sockets 7|36k9 13|187e17 14|26r14 90r10 15|25r11 29r19 162r10
34n7*Datagram_Socket{33E9} 15|69r25
35n7*Raw_Socket{33E9} 15|83r25
42H9*Socket_Type<3|55R9> 146e14 14|36r44 82r44
45U14*Close
48U14*Send
53U14*Receive
61U14*Listen
66h9*Dgram_Socket_Type 14|62r10 71r10 85r10 88r10
104U14*Set_Socket_Option
110U14*Set_Socket_Option
116X4*Socket_Error 15|55r16 116r19 150r16
144i7*Sock_FD{20|35I9} 15|50r45 105r49 142r45
145i7*Protocol{7|51I9} 15|47r53 138r55
149U14 Finalize<3|59p14>
152U14 Init 15|67s7 81s7
153r7 Socket{14|61R9} 15|67r13 81r13
154e7 Family{12|30E9} 15|68r13 82r13
155e7 Mode{33E9} 15|69r13 83r13
156i7 Protocol{7|51I9} 15|70r13 84r13
159U14 Check_Complete_Send 15|155s7
160a7 Item{4|51A9} 15|156r10
161i7 Result{20|37I9} 15|157r10
162s7 Error_Msg{string} 15|158r10
169n7 Recv_Op_Ok{168E9} 15|118r15
170n7 Recv_Op_Aborted{168E9} 15|114r42
171n7 Recv_Op_Error{168E9} 15|115r15
172n7 Recv_Op_Orderly_Shutdown{168E9} 15|114r15
175V13 Check_Receive{168E9} 15|112s12
175i28 Result{20|37I9} 15|112r27
X 14 anet-sockets-packet.ads
26K22*Packet 13|31k14 14|82E9 90l18 90e24 15|29b27 162l18 162t24
28A12*Ether_Addr_Type{7|71A9}<7|68I9>
31E9*Protocol_Type 33e24 67r25 77r25 15|33r32 64r25 78r25
32n7*Proto_Packet_Ip{31E9} 67r42 15|34r10 64r42
33n7*Proto_Packet_All{31E9} 77r42 15|35r10 78r42
36H9*Packet_Socket_Type<13|42R9> 3|58P14 13|45p14 48p14 53p14 61p14 104p14
. 110p14 149P14 152p14 14|39p14 40r23 44p14 45r16 52p14 53r20 61r32 70r32
. 82c9 82e72 84r32 87r32 15|41r23 91r20 127r16 23|42p14
39U14*Bind 40=7 41>7 15|40b14 58l8 58t12
40r7 Socket{36R9} 15|41b7 47r46 50r38
41a7 Iface{18|31A9} 15|42b7 48r71 56r22
44U14*Send 45>7 46>7 47>7 48>7 15|126b14 160l8 160t12
45r7 Socket{36R9} 15|127b7 138r48 142r38
46a7 Item{4|51A9} 15|128b7 143r38 144r38 156r23
47a7 To{7|71A9} 15|129b7 137r30 140r29 140r43 151r62 159r34
48a7 Iface{18|31A9} 15|130b7 136r46 151r22
52U14*Receive 53>7 54<7 55<7 56<7 15|90b14 122l8 122t15
53r7 Socket{36R9} 15|91b7 105r42
54a7 Src{7|71A9} 15|92b7 102m7 119m13 119r59
55a7 Item{4|51A9} 15|93b7 106m42 106r42 107r42 120r21
56i7 Last{4|44I9} 15|94b7 103m7 120m13
61R9*UDP_Socket_Type<36R9><13|66R9> 3|58P14 13|45p14 48p14 53p14 61p14 104p14
. 110p14 149P14 152p14 14|39p14 44p14 52p14 65p14 66r25 84c9 85e44 15|63r25
. 23|42p14
65U14*Init 66=7 67>7 15|62b14 72l8 72t12
66r7 Socket{61R9} 15|63b7 67m25
67e7 Protocol{31E9} 15|64b7 71r36
70R9*Raw_Socket_Type<36R9><13|66R9> 3|58P14 13|45p14 48p14 53p14 61p14 104p14
. 110p14 149P14 152p14 14|39p14 44p14 52p14 75p14 76r25 87c9 88e44 15|77r25
. 23|42p14
75U14*Init 76=7 77>7 15|76b14 86l8 86t12
76r7 Socket{70R9} 15|77b7 81m25
77e7 Protocol{31E9} 15|78b7 85r36
X 15 anet-sockets-packet.adb
31K12 C=31:33 44r15 47r28 48r28 98r15 100r23 132r17 135r30 138r30
33a4 Protocols(7|51I9) 71r25 85r25
44i7 Res{20|35I9} 50m7 54r10
45r7 Value{17|27R9} 47m7 48m7 51m38 51r38 52r38
98i7 Res{20|37I9} 105m7 112r37 120r69
99r7 Saddr{17|27R9} 100r32 109m42 109r42 119r21 119r36
100i7 Len{20|35I9} 110m42 110r42
132i7 Res{20|37I9} 142m7 149r10 157r23
133r7 Ll_Dest{17|27R9} 135m7 137m7 138m7 140m7 146m38 146r38 147r38
X 16 anet-sockets-thin.ads
26K22*Thin 15|25r19 45r15 50r14 99r15 105r14 133r17 142r14 16|128e22
53V13*C_Bind{20|35I9} 15|50s19
54i7 S{20|35I9} 15|50r27
55m7 Name{21|64M9} 15|51r27
56m7 Namelen{20|45M9} 15|52r27
75V13*C_Recvfrom{20|37I9} 15|105s19
76i7 S{20|35I9} 15|105r31
77m7 Msg{21|64M9} 15|106r31
78m7 Len{20|60M9} 15|107r31
79i7 Flags{20|35I9} 15|108r31
80m7 From{21|64M9} 15|109r31
81p7 Fromlen(20|35I9) 15|110r31
93V13*C_Sendto{20|37I9} 15|142s19
94i7 S{20|35I9} 15|142r29
95m7 Buf{21|64M9} 15|143r29
96m7 Len{20|60M9} 15|144r29
97i7 Flags{20|35I9} 15|145r29
98m7 To{21|64M9} 15|146r29
99m7 Tolen{20|45M9} 15|147r29
X 17 anet-sockets-thin-packet.ads
25K27*Packet 15|25w24 45r20 99r20 133r22 17|46e29
27R9*Sockaddr_Ll_Type 15|45r27 99r27 133r29 17|42e14
30m7*Sa_Protocol{20|44M9} 15|47m13 138m15
32i7*Sa_Ifindex{20|35I9} 15|48m13 135m15
38m7*Sa_Halen{20|47M9} 15|137m15
40a7*Sa_Addr{7|71A9} 15|119r27 119r42 140m15
X 18 anet-types.ads
26K14*Types 14|24w11 41r23 48r16 15|42r23 130r16 18|37e15
31A9*Iface_Name_Type(character)<integer> 14|41r29 48r22 15|42r29 130r22
X 19 interfac.ads
38K9*Interfaces 15|31r22 19|179e15
X 20 i-c.ads
18K20*C 15|31r33 20|230e17
35I9*int<integer> 15|44r17 48r30 100r25 135r32
37I9*long<long_integer> 15|98r17 132r19
44M9*unsigned_short 15|47r30 138r32
45M9*unsigned_long
47M9*unsigned_char
60M9*size_t
X 21 system.ads
64M9*Address
X 23 s-finroo.ads
42U14*Adjust