This file is indexed.

/usr/lib/ada/adalib/ahven/ahven-runner.ali is in libahven5-dev 2.6-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
V "GNAT Lib v6"
A -O2
A -g
A -gnatf
A -gnatVa
A -gnato
A -gnatwe
A -gnatwa
A -gnatwl
A -gnatE
A -gnatwF
A -gnatyd
A -gnaty3
A -gnatyb
A -gnatym
A -gnatyh
A -gnatye
A -gnatyx
A -gnat95
A -g
A -fstack-protector-strong
A -gnatA
P SL SS ZX

RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_DISPATCH
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_FIXED_POINT
RV NO_NESTED_FINALIZATION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U ahven.runner%b	ahven-runner.adb	199ff87c DE NE OO PK
W ada%s			ada.ads			ada.ali
W ada.command_line%s	a-comlin.adb		a-comlin.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W ahven%s		ahven.adb		ahven.ali
W ahven.listeners%s	ahven-listeners.adb	ahven-listeners.ali
W ahven.listeners.basic%s  ahven-listeners-basic.adb  ahven-listeners-basic.ali
W ahven.name_list%s	ahven-name_list.ads	ahven-name_list.ali
W interfaces%s		interfac.ads		interfac.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.standard_library%s  s-stalib.adb	s-stalib.ali

U ahven.runner%s	ahven-runner.ads	0783f321 DE EE NE OO PK
W ahven%s		ahven.adb		ahven.ali
W ahven.framework%s	ahven-framework.adb	ahven-framework.ali
W ahven.parameters%s	ahven-parameters.adb	ahven-parameters.ali
W ahven.results%s	ahven-results.adb	ahven-results.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-calend.ads		20141120112812 d986d312 ada.calendar%s
D a-charac.ads		20070912115821 2d3ec45b ada.characters%s
D a-chlat1.ads		20140225151544 66457d31 ada.characters.latin_1%s
D a-comlin.ads		20140225151544 ea62afbc ada.command_line%s
D a-except.ads		20151016123252 291912d5 ada.exceptions%s
D a-finali.ads		20151020095656 bf4f806b ada.finalization%s
D a-ioexce.ads		20140225151544 e4a01f64 ada.io_exceptions%s
D a-stream.ads		20141120112812 119b8fb3 ada.streams%s
D a-string.ads		20070406091342 90ac6797 ada.strings%s
D a-strbou.ads		20140731124036 53ab54ae ada.strings.bounded%s
D a-strmap.ads		20140611123156 e8bb714a ada.strings.maps%s
D a-strsup.ads		20120309145048 a27dcb33 ada.strings.superbounded%s
D a-tags.ads		20151016130316 01f5e3ef ada.tags%s
D a-textio.ads		20140717063745 386df5d4 ada.text_io%s
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D a-uncdea.ads		20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D ahven.ads		20160711072733 4ddcfc31 ahven%s
D ahven-astrings.ads	20160711072733 1b9f3e2c ahven.astrings%s
D ahven-framework.ads	20160711072733 d816ccdb ahven.framework%s
D ahven-listeners.ads	20160711072733 abe83d31 ahven.listeners%s
D ahven-listeners-basic.ads  20160711072733 a8fc582c ahven.listeners.basic%s
D ahven-long_astrings.ads  20160711072733 26230525 ahven.long_astrings%s
D ahven-name_list.ads	20160711072733 88b390f5 ahven.name_list%s
D ahven-parameters.ads	20160711072733 619df674 ahven.parameters%s
D ahven-results.ads	20160711072733 c5fcc2f0 ahven.results%s
D ahven-runner.ads	20160711072733 3628f74f ahven.runner%s
D ahven-runner.adb	20160711072733 4e725567 ahven.runner%b
D ahven-slist.ads	20160711072733 664b6dad ahven.slist%s
D ahven-temporary_output.ads  20160711072733 cb961fc2 ahven.temporary_output%s
D interfac.ads		20151118101227 4be8ce1b interfaces%s
D i-cstrea.ads		20140801100435 e53d8b8e interfaces.c_streams%s
D system.ads		20151123113124 6326c08a system%s
D s-crtl.ads		20141120112812 0ebbdb71 system.crtl%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-ficobl.ads		20140718105747 078245e4 system.file_control_block%s
D s-finmas.ads		20151016130316 7811a767 system.finalization_masters%s
D s-finroo.ads		20120426095924 4ff27390 system.finalization_root%s
D s-memory.ads		20140225151139 597d6634 system.memory%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-pooglo.ads		20151118103153 ede33ef8 system.pool_global%s
D s-secsta.ads		20140225151139 86a2856d system.secondary_stack%s
D s-soflin.ads		20151020124036 14e1eb6c system.soft_links%s
D s-stache.ads		20140225151139 a37c21ec system.stack_checking%s
D s-stalib.ads		20151112104907 09bd3940 system.standard_library%s
D s-stalib.adb		20140225151139 f2fe2716 system.standard_library%b
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-stopoo.ads		20131010103753 b16154c2 system.storage_pools%s
D s-stratt.ads		20131014135145 aedef97e system.stream_attributes%s
D s-string.ads		20140225151139 8fe54fb7 system.strings%s
D s-ststop.ads		20140225151139 e6693757 system.strings.stream_ops%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads		20140731130224 9d58a4c0 system.unsigned_types%s
D s-wchcon.ads		20140718092328 1b7d22d2 system.wch_con%s
X 1 ada.ads
16K9*Ada 19e8 28|17r6 55r10 55r44
X 5 a-comlin.ads
38K13*Command_Line 139e21 28|17w10 55r14 55r48
65I9*Exit_Status<integer>
68i4*Failure{65I9} 28|55r61
70U14*Set_Exit_Status 28|55s27
X 18 ahven.ads
18K9*Ahven 46e10 27|17r6 18r6 19r6 21r9 32r5 28|19r6 20r6 21r6 23r14 24r8
. 28r11 61r5
X 20 ahven-framework.ads
28K15*Framework 369e20 27|17w12 27r43 28|26r43 45r10 49r10
32O12*Test_Duration{duration}
41H9*Test<7|43R9> 41e74 27|27r53 28|26r53
121U14*Execute 28|49s20
131U14*Execute 28|45s20
131c23 T<41R9> 28|46r13
132r23 Test_Names{29|22R9[24|22]} 28|46r25
133c23 Listener<21|40R9> 28|47r13
134o23 Timeout{32O12} 28|47r35
X 21 ahven-listeners.ads
21K15*Listeners 75e20 28|20w12 21r12 28r17 30r18
X 22 ahven-listeners-basic.ads
26K25*Basic 82e26 28|21w22 28r27 30r28
30R9*Basic_Listener<21|40R9> 38e14 28|30r34
31r7*Main_Result{26|102R9} 28|52m26 53r33 54r35
64U14*Set_Output_Capture 28|35s7
X 24 ahven-name_list.ads
22K15*Name_List[29|21] 28|19w12 32r18
X 25 ahven-parameters.ads
26K15*Parameters 87e21 27|19w12 25r22 28|31r18 34r7 34r36 35r37 43r10 44r19
. 47r46 49r46 58r12 59r10
28X4*Invalid_Parameter 28|58r23
30R9*Parameter_Info 86e14 27|25r33 28|31r29
32n28*NORMAL_PARAMETERS{32E9} 28|34r47
34U14*Parse_Parameters 28|34s18
40U14*Usage 28|59s21
43V13*Capture{boolean} 28|35s48
52V13*Single_Test{boolean} 28|43s21
58V13*Test_Names{29|22R9[24|22]} 28|44s30
65V13*Timeout{20|32O12} 28|47s57 49s57
X 26 ahven-results.ads
29K15*Results 271e18 27|18w12 24r22 28|24r14
102R9*Result_Collection 270e14 27|24r30
152V13*Error_Count{natural} 28|53s11
156V13*Failure_Count{natural} 28|54s11
X 27 ahven-runner.ads
21K15*Runner 18|18k9 27|32l11 32e17 28|23b20 61l11 61t17
23P9*Report_Proc 24>7 25>7 28r43 28|27r43
24r7 Test_Results{26|102R9}
25r7 Args{25|30R9}
27U14*Run_Suite 27=25 28>25 28|26b14 60l8 60t17
27c25 Suite<20|41R9> 28|26b25 46m18 49m29
28p25 Reporter{23P9} 28|27b25 52r7
X 28 ahven-runner.adb
30r7 Listener{22|30R9} 35m27 35r27 47m25 47r25 49m36 49r36 52r17 53r24 54r26
31r7 Params{25|30R9} 34m66 35r57 43r34 44r42 47r66 49r66 52r39
32r7 Tests{29|22R9[24|22]} 44m10 46r39
X 29 ahven-slist.ads
22R9*List<7|43R9> 28|32r28[24|22]
X 33 system.ads
67M9*Address
X 39 s-memory.ads
53V13*Alloc{33|67M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{33|67M9} 105i<c,__gnat_realloc>22
X 46 s-stalib.adb
93U14 Break_Start 94i<c,__gnat_break_start>22