1V "GNAT Lib v9" 2A -gnatwa 3A -nostdinc 4A -O2 5A -Wextra 6A -Wall 7A -g 8A -gnatp 9A -gnatg 10A -mtune=generic 11A -march=x86-64 12P ZX 13 14RN 15RV NO_ACCESS_SUBPROGRAMS 16RV NO_EXCEPTIONS 17RV NO_IMPLICIT_CONDITIONALS 18RV NO_RECURSION 19RV NO_STANDARD_STORAGE_POOLS 20RV NO_DYNAMIC_SIZED_OBJECTS 21RV NO_IMPLEMENTATION_PRAGMAS 22RV NO_OBSOLESCENT_FEATURES 23RV SPARK_05 24 25U gnat.secure_hashes%b g-sechas.adb 49511296 NE OL PK 26W gnat%s gnat.ads gnat.ali 27W interfaces%s interfac.ads interfac.ali 28W system%s system.ads system.ali 29 30U gnat.secure_hashes%s g-sechas.ads 03db701d BN EE NE OL PK 31W ada%s ada.ads ada.ali 32W ada.streams%s a-stream.adb a-stream.ali 33W gnat%s gnat.ads gnat.ali 34W interfaces%s interfac.ads interfac.ali 35W system%s system.ads system.ali 36 37D ada.ads 20170911084841 76789da1 ada%s 38D a-except.ads 20190108095404 291912d5 ada.exceptions%s 39D a-stream.ads 20190108095404 119b8fb3 ada.streams%s 40D a-tags.ads 20190108095404 491b781d ada.tags%s 41D a-unccon.ads 20170908151217 0e9b276f ada.unchecked_conversion%s 42D gnat.ads 20190108095404 b5988c27 gnat%s 43D g-sechas.ads 20190108095404 3b5ca98e gnat.secure_hashes%s 44D g-sechas.adb 20190108095404 ee89611f gnat.secure_hashes%b 45D interfac.ads 20190108095404 5ab55268 interfaces%s 46D system.ads 20190108095404 c631886f system%s 47D s-exctab.ads 20190108095404 54135002 system.exception_table%s 48D s-parame.ads 20190108095404 48ec542b system.parameters%s 49D s-secsta.ads 20190108095404 20bbe636 system.secondary_stack%s 50D s-soflin.ads 20190108095404 a7318a92 system.soft_links%s 51D s-stache.ads 20190108095404 a37c21ec system.stack_checking%s 52D s-stalib.ads 20190108095404 09bd3940 system.standard_library%s 53D s-stoele.ads 20190108095404 2dc34a04 system.storage_elements%s 54D s-traent.ads 20190108095404 005bf670 system.traceback_entries%s 55X 1 ada.ads 5616K9*Ada 20e8 7|39r6 39r23 8|155r26 57X 3 a-stream.ads 5836K13*Streams 87e16 7|39w10 39r27 8|155r30 5939H9*Root_Stream_Type 70e64 7|195r13 225r13 6042M9*Stream_Element 8|37r32 6144I9*Stream_Element_Offset<long_long_integer> 7|164r36 206r9 206r42 230r23 62. 8|165r30 189r30 284r24 311r42 332r24 351r23 6354A9*Stream_Element_Array(42M9)<44I9> 7|89r23 154r18 164r9 174r14 189r33 64. 217r16 229r23 235r20 8|69r31 128r31 155r38 164r22 180r28 188r22 203r14 65. 222r26 283r26 331r23 350r23 396r53 444r20 462r50 467r18 66X 6 gnat.ads 6734K9*GNAT 57e9 7|45r9 240r5 8|35r14 486r5 68X 7 g-sechas.ads 6945K14*Secure_Hashes 6|34k9 7|240l10 240e23 8|35b19 486l10 486t23 7047A9*Buffer_Type<string>(character)<integer> 48r8 62r16 7155R9*Message_State 55d24 64e14 122r21 214r20 8|42r24 51r22 58r22 77r22 103r22 7255i24*Block_Length{natural} 62r34 8|87r33 110r34 7356i7*Last{natural} 8|87r50 92r21 92r35 94m9 94r19 110r51 114r22 120m9 120r19 74. 237r65 274r36 376r26 378m26 7559m7*Length{9|77M9} 8|229r53 370m20 370r40 7662a7*Buffer{47A9} 8|82r30 83m36 114m12 7773M12 Word 84r49 160r52[114] 8|233r41[7|114] 463r52 7876U22 Swap 76>28 8|474s16 7976m28 X{10|67M9} 8079e7 Hash_Bit_Order{10|91E9} 8|472r41 8182k12*Hash_Function_State 73z12 76z22 79z7 94l8 94e27 114r38 8|456b17 484l8 82. 484t27 8384A12*State(73M12)<integer> 88r19 117r34[114] 121r32[114] 211r31[114] 8|462r30 84. 464r23 8587U17*To_Hash 88>10 89<10 8|276s21[7|114] 462b17 482l11 482t18 8688a10 H{84A12} 8|462b26 463r43 465r25 465r28 465r55 8789a10 H_Bits{3|54A9} 8|462b37 480r25 481m10 481r56 88100i7 Block_Words{natural} 202r42 89103i7 State_Words{natural} 132r36 211r43 90106i7 Hash_Words{natural} 132r22 161r41 91110e7 Hash_Bit_Order{10|91E9} 8|247r32 268r31 92114K20 Hash_State[82] 117r23 121r21 160r41 211r20 8|233r30 276r10 93117a7 Initial_State{84A12[114]} 211r63 94120U22 Transform 121=10 122=10 8|377s16 95121a10 H{84A12[114]} 96122r10 M{55R9} 97126k12*H 100z7 103z7 106z7 110z7 114z20 117z7 120z22 202E7 238l8 238e9 8|145b17 98. 450l8 450t9 99134R12*Context 137r28 143r34 147r59 150r41 151r41 153r25 168r28 183r28 194r36 100. 210c12 210d21 219e17 221r34 224r36 8|148r31 154r22 163r28 174r14 181r14 101. 187r28 196r14 205r14 221r22 224r15 282r26 303r59 309r21 363r31 387r36 396r36 102. 408r41 425r14 432r14 103137y17*"="{boolean} 137>21 137>24 104137r21 L{134R12} 105137r24 R{134R12} 106143r7*Initial_Context{134R12} 221c7 107147V16*HMAC_Initial_Context{134R12} 147>38 8|303b16 342l11 342t31 108147a38 Key{string} 8|303b38 305r13 309r40 310r42 315r23 317r37 321r25 325r33 109150U17*Update 150=30 150>50 8|176s10 198s10 271s13 387b17 390l11 390t17 110150r30 C{134R12} 8|387b25 389m18 111150a50 Input{string} 8|387b45 389r21 112151U17*Wide_Update 151=30 151>50 8|408b17 418l11 418t22 427s10 434s10 113151r30 C{134R12} 8|408b30 414m13 114151a50 Input{wide_string} 8|408b50 409r31 410r28 115152U17*Update 153=10 154>10 8|183s10 207s10 291s16 292s16 339s16 396b17 402l11 116. 402t17 447s10 117153r10 C{134R12} 8|396b25 401m18 118154a10 Input{3|54A9} 8|396b45 397r27 398r28 119160i7*Word_Length{natural} 161r54 202r56 120161i7*Hash_Length{natural} 164r59 179r50 8|165r53 189r53 311r65 121163A15*Binary_Message_Digest{3|54A9}<3|44I9> 168r44 171r53 172r53 174r53 122. 8|187r44 195r43 203r43 431r53 123168V16*Digest{163A15} 168>24 8|187b16 193l11 193t17 199s17 208s17 435s17 124168r24 C{134R12} 8|187b24 191r17 125171V16*Digest{163A15} 171>29 8|195b16 200l11 200t17 325s25 126171a29 S{string} 8|195b24 198r21 127172V16*Wide_Digest{163A15} 172>29 8|431b16 436l11 436t22 128172a29 W{wide_string} 8|431b29 434r26 129173V16*Digest{163A15} 174>10 8|202b16 209l11 209t17 130174a10 A{3|54A9} 8|203b10 207r21 131179A15*Message_Digest{string}<integer> 183r44 187r62 188r62 189r62 8|163r44 132. 168r22 173r43 180r57 424r53 133183V16*Digest{179A15} 183>24 8|163b16 171l11 171t17 177s17 184s17 428s17 134183r24 C{134R12} 8|163b24 167r17 135187V16*Digest{179A15} 187>29 8|173b16 178l11 178t17 136187a29 S{string} 8|173b24 176r21 137188V16*Wide_Digest{179A15} 188>29 8|424b16 429l11 429t22 138188a29 W{wide_string} 8|424b29 427r26 139189V16*Digest{179A15} 189>29 8|180b16 185l11 185t17 140189a29 A{3|54A9} 8|180b24 183r21 141194R12*Hash_Stream<3|39R9> 194d25 224c12 225e46 227P17 228r26 233P17 234r27 142. 8|349r26 443r27 143202i7 Block_Length{natural} 206r65 214r35 8|237r21 284r47 332r47 376r33 144205I15 Key_Length{3|44I9} 210r26 8|309r54 145210i21 KL{205I15} 217r43 8|280r15 146211a10 H_State{84A12[114]} 8|276r33 377m29 147214r10 M_State{55R9} 8|229r45 237r57 238r29 274r28 370m12 370r32 374m28 376r18 148. 377m40 378m18 149217a10 Key{3|54A9} 8|287r27 288r46 318m40 325m18 335r27 336r46 150227U17 Read<3|57p14> 228=10 229<10 230<10 8|348b17 356l11 356t15 151228r10 Stream{194R12} 8|349b10 353r31 152229a10 Item{3|54A9} 8|350b10 353r39 153230i10 Last{3|44I9} 8|351b10 353r45 154233U17 Write<3|63p14> 234=11 235>11 8|442b17 448l11 448t16 155234r11 Stream{194R12} 8|443b11 447r18 156235a11 Item{3|54A9} 8|444b11 447r32 157X 8 g-sechas.adb 15837a4 Hex_Digit(character) 135r28 136r28 15940P9 Fill_Buffer_Access 42=9 43>9 44>9 45<9 150r24 365r24 16042r9 M{7|55R9} 16143a9 S{string} 16244i9 First{natural} 16345i9 Last{natural} 16450U14 Fill_Buffer_Copy 51=7 52>7 53>7 54<7 76b14 96l8 96t24 389r28 401r24 165. 417r19 16651r7 M{7|55R9} 77b7 82r28 83m34 83r34 87r31 87r48 92r19 92r33 94m7 94r17 16752a7 S{string} 78b7 87r56 93r9 16853i7 First{natural} 79b7 87r65 93r12 93r21 95r15 16954i7 Last{natural} 80b7 95m7 17057U14 Fill_Buffer_Swap 58=7 59>7 60>7 61<7 102b14 122l8 122t24 416r19 17158r7 M{7|55R9} 103b7 110r32 110r49 114m10 114r20 120m7 120r17 17259a7 S{string} 104b7 108r22 110r57 115r24 116r18 117r18 17360i7 First{natural} 105b7 110r66 112r15 113r20 114r40 121r15 17461i7 Last{natural} 106b7 112m7 113r13 114r33 115r17 116r21 117r21 118m10 175. 118r18 121m7 17669U14 To_String 69>25 69<53 128b14 139l8 139t17 169s13 17769a25 SEA{3|54A9} 128b25 129r37 131r16 133r56 135r39 136r39 17869a53 S{string} 128b53 129r22 135m13 136m13 17982a7 Buf_String{string} 83m11 83r11 84m27 84r27 92m7 18086i7 Length{natural} 90r22 92r42 93r29 94r26 95r23 181109i7 Length{natural} 113r28 120r26 121r23 182131i11 J<long_long_integer> 133r52 135r44 136r44 183133i13 S_J{natural} 135r16 136r16 184147U17 Update 148=10 149>10 150>10 362b17 381l11 381t17 389s10 401s10 413s10 185148r10 C{7|134R12} 363b10 370m10 370r30 374m26 374r26 376r16 377m27 377r27 186. 377m38 377r38 378m16 187149a10 S{string} 364b10 370r49 372r18 373r23 374r37 188150p10 Fill_Buffer{40P9} 365b10 374r13 189153U17 Final 154>10 155<10 167s10 191s10 220b17 294s16 297l11 297t16 190154r10 C{7|134R12} 221b10 224r26 280r13 287r25 288r44 191155a10 Hash_Bits{3|54A9} 222b10 276m42 292r33 294m32 192164a10 Hash_Bits{3|54A9} 167m20 169r24 193168a17 MD{7|179A15} 169m35 194174r10 C{7|134R12} 176m18 176r18 177r25 195181r10 C{7|134R12} 183m18 183r18 184r25 196188a10 Hash_Bits{3|54A9} 191m20 192r17 197196r10 C{7|134R12} 198m18 198r18 199r25 198205r10 C{7|134R12} 207m18 207r18 208r25 199224r10 FC{7|134R12} 229r42 237r54 238r26 271m21 271r21 274r25 276r30 200226i10 Zeroes{natural} 237m10 240r36 201229m10 Message_Length{9|77M9} 252r19 259r49 260m19 260r50 263r49 264m19 264r50 202232i10 Size_Length{natural} 237r40 240r45 248r45 203240a13 Pad{string} 248r34 249r34 258m19 263m19 271r25 204243i13 Index{natural} 251m13 253r19 258r24 263r24 267m16 267r25 205244i13 First_Index{natural} 247m13 251r22 253r27 206282r16 Outer_C{7|134R12} 291m24 291r24 292m24 292r24 294r23 207283a16 Opad{3|54A9} 288m19 288r31 291r33 208287i20 J<long_long_integer> 288r25 288r37 288r51 209309r17 C{7|134R12} 315r16 318m38 318r38 325m16 335r25 336r44 339m24 339r24 210317a19 SK{string} 318m23 318r23 319m39 319r39 321m19 211331a16 Ipad{3|54A9} 336m19 336r31 339r27 212335i20 J<long_long_integer> 336r25 336r37 336r51 213367i10 Last{natural} 372m10 373r16 374r40 374m50 214397a10 S{string} 398m14 398r14 399m30 399r30 401r21 215409a10 S{string} 410m14 410r14 411m30 411r30 414r16 216425r10 C{7|134R12} 427m23 427r23 428r25 217432r10 C{7|134R12} 434m23 434r23 435r25 218463i10 Hash_Words{natural} 464r35 465r37 219464a10 Result{7|84A12} 467r45 468m32 468r32 473r22 474m22 474r22 220467a10 R_SEA{3|54A9} 468m14 468r14 469m30 469r30 480r42 481r20 481r27 481r42 221473i17 J{integer} 474r30 222X 9 interfac.ads 22338K9*Interfaces 7|41w6 59r16 8|33w6 33r22 9|184e15 22477M9*Unsigned_64 7|59r27 8|229r27 225141V13*Shift_Left{77M9} 8|259s37 226145V13*Shift_Right{77M9} 8|260s37 264s37 227X 10 system.ads 22837K9*System 7|43w6 76r32 79r24 110r24 8|32w6 32r22 415r17 472r13 10|148e11 22967M9*Address 7|76r39 23091E9*Bit_Order 7|79r31 110r31 10|91e57 23191n41*Low_Order_First{91E9} 8|247r49 268r48 415r45 23292e4*Default_Bit_Order{91E9} 8|415r24 472r20 233 234