This file is indexed.

/usr/lib/ada/adalib/anet/anet-udp.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
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_EXCEPTIONS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U anet.udp%b		anet-udp.adb		a96a31e0 NE OO PK
W ada.exceptions%s	a-except.adb		a-except.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.util%s		anet-util.adb		anet-util.ali
W interfaces%s		interfac.ads		interfac.ali
W system%s		system.ads		system.ali
W system.img_int%s	s-imgint.adb		s-imgint.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali

U anet.udp%s		anet-udp.ads		a023ac7c EE OO PK
W ada.tags%s		a-tags.adb		a-tags.ali
W anet%s		anet.adb		anet.ali
W system%s		system.ads		system.ali
W system.exception_table%s  s-exctab.adb	s-exctab.ali
W system.standard_library%s  s-stalib.adb	s-stalib.ali

D ada.ads		20070406091342 3ffc8e18
D a-except.ads		20140129161953 f86a4103
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-udp.ads		20140811220322 a60ee9d9
D anet-udp.adb		20140811220322 a2e27fdd
D anet-util.ads		20140811220322 1f6f1126
D interfac.ads		20140225151838 69adb1b9
D i-c.ads		20110801143639 5421119b
D system.ads		20140727234634 90249111
D s-exctab.ads		20140225151139 54135002
D s-imgint.ads		20090409150019 02dbe0c2
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-traent.ads		20140225151139 b5116092
X 1 ada.ads
16K9*Ada 19e8 9|30r18 35r14 40r16 10|30r8 77r20 87r20 122r18 127r14 155r16
X 3 a-stream.ads
36K13*Streams 84e16 9|30r22 35r18 40r20 10|30r12 77r24 87r24 122r22 127r18
. 155r20
42M9*Stream_Element 10|73r42
44I9*Stream_Element_Offset<long_integer> 10|96r33 99r30
51A9*Stream_Element_Array(42M9)<44I9> 9|30r30 35r26 40r28 10|50r6 72r34 77r32
. 87r32 102r23 122r30 127r26 155r28
X 6 anet.ads
36K9*Anet 136e9 9|24r9 50r5 10|24r6 25r6 26r6 28r14 190r5
38I9*Byte<short_integer> 10|55r24 56r24
51I9*Double_Byte<integer> 10|33r16 34r16 35r16 36r16 57r24 80r14 90r14 137r19
. 139r19 165r27
63I12*Port_Type{51I9} 9|33r18 34r18 10|125r18 126r18
80A9*IPv4_Addr_Type(38I9)<integer> 9|31r18 32r18 41r16 42r16 10|53r24 54r24
. 78r20 79r20 88r20 89r20 123r18 124r18 156r16 157r16
X 7 anet-byte_swapping.ads
24K14*Byte_Swapping 42e23 10|24w11 109r36 136r25 138r25 140r25 142r25 174r18
26V13*Host_To_Network{6|51I9} 10|109s50 136s39 138s39 140s39 142s39
26i30 Input{6|51I9} 10|110r10 137r10 139r10 141r10 143r10
34V13*Network_To_Host{6|51I9} 10|174s32
34i30 Input{6|51I9} 10|174r49
X 8 anet-constants.ads
28K14*Constants 77e19 10|25w11 108r36
30K12*Sys=30:31 10|108r46
X 9 anet-udp.ads
24K14*UDP 6|36k9 9|50l10 50e13 10|28b19 190l10 190t13
26N4*UDP_Header_Length 10|50r33 168r41 180r28
29V13*Create_Header{3|51A9} 30>7 31>7 32>7 33>7 34>7 10|121b13 150l8 150t21
30a7 Payload{3|51A9} 10|122b7 141r19 145r27
31a7 Src_IP{6|80A9} 10|123b7 146r27
32a7 Dst_IP{6|80A9} 10|124b7 147r27
33i7 Src_Port{6|63I12} 10|125b7 137r32
34i7 Dst_Port{6|63I12} 10|126b7 139r32
39U14*Validate_Checksum 40>7 41>7 42>7 10|154b14 188l8 188t25
40a7 Packet{3|51A9} 10|155b7 167r21 168r10 168r26 179r24 180r13 180r49
41a7 Src_IP{6|80A9} 10|156b7 181r24
42a7 Dst_IP{6|80A9} 10|157b7 182r24
48X4*Invalid_UDP_Packet 10|185r16
X 10 anet-udp.adb
32R9 Raw_UDP_Hdr_Type 37e14 40r8 47r8 132r17 162r17
33i7*Source{6|51I9} 41r7 136m15
34i7*Dest{6|51I9} 42r7 138m15
35i7*Len{6|51I9} 43r7 140m15
36i7*Check{6|51I9} 44r7 135m15 142m15 170r18 174r66 175m15
49A12 Raw_UDP_Hdr_Buffer_Type{3|51A9}<3|44I9> 76r20 86r20 129r20 159r20
52R9 Pseudo_Hdr_Type 58e14 61r8 69r8 70r8 73r12 93r23
53a7*Source_Address{6|80A9} 62r7 105m18
54a7*Dest_Address{6|80A9} 63r7 106m18
55i7*Reserved{6|38I9} 64r7 107m18
56i7*Protocol{6|38I9} 65r7 108m18
57i7*Length{6|51I9} 66r7 109m18
72A12 Pseudo_Buffer_Type{3|51A9}<3|44I9> 92r23
75V13 Compute_Checksum{6|51I9} 76>7 77>7 78>7 79>7 85b13 117l8 117t24 143s19
. 177s19
76a7 Hdr_Buffer{49A12} 86b7 100r58 103r38 110r36 113r47 144r13 178r10
77a7 Payload{3|51A9} 87b7 103r58 110r19 114r69 145r13 179r10
78a7 Src_IP{6|80A9} 88b7 105r36 146r13 181r10
79a7 Dst_IP{6|80A9} 89b7 106r36 147r13 182r10
92a7 Pseudo_Buffer{72A12} 94m34 94r34 97r14 103r15 112r47
93r7 Pseudo_Hdr{52R9} 94m11 94r11 105m7 106m7 107m7 108m7 109m7
96I15 Pseudo_Hdr_Idx{3|44I9} 100r9 100r36 112r22
99I15 UDP_Hdr_Idx{3|44I9} 113r22 114r22
102a7 Chksum_Buffer{3|51A9} 112m7 113m7 114m7 114r46 116r53
129a7 Hdr_Buffer{49A12} 130r11 133m31 133r31 141r36 144r27 149r14
132r7 UDP_Hdr{32R9} 133m11 133r11 135m7 136m7 138m7 140m7 142m7
159a7 Hdr_Buffer{49A12} 160r11 163m31 163r31 167m7 178r24
162r7 UDP_Hdr{32R9} 163m11 163r11 170r10 174r58 175m7
165i7 Chk_Pkt{6|51I9} 174m7 184r22 185r64
165i16 Chk_Calc{6|51I9} 177m7 184r10 186r38
X 11 anet-util.ads
24K14*Util 10|26w11 116r14 11|43e14
26V13*Calculate_One_Complement{6|51I9} 10|116s19
27a7 Data{3|51A9} 10|116r45
X 17 s-oscons.ads
265N4*IPPROTO_UDP 10|108r50