V "GNAT Lib v9" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -mtune=generic A -march=x86-64 P ZX RN RV NO_ACCESS_SUBPROGRAMS RV NO_EXCEPTIONS RV NO_IMPLICIT_CONDITIONALS RV NO_RECURSION RV NO_STANDARD_STORAGE_POOLS RV NO_DYNAMIC_SIZED_OBJECTS RV NO_IMPLEMENTATION_PRAGMAS RV NO_OBSOLESCENT_FEATURES RV SPARK_05 U gnat.secure_hashes%b g-sechas.adb 49511296 NE OL PK W gnat%s gnat.ads gnat.ali W interfaces%s interfac.ads interfac.ali W system%s system.ads system.ali U gnat.secure_hashes%s g-sechas.ads 03db701d BN EE NE OL PK W ada%s ada.ads ada.ali W ada.streams%s a-stream.adb a-stream.ali W gnat%s gnat.ads gnat.ali W interfaces%s interfac.ads interfac.ali W system%s system.ads system.ali D ada.ads 20170911084841 76789da1 ada%s D a-except.ads 20190108095404 291912d5 ada.exceptions%s D a-stream.ads 20190108095404 119b8fb3 ada.streams%s D a-tags.ads 20190108095404 491b781d ada.tags%s D a-unccon.ads 20170908151217 0e9b276f ada.unchecked_conversion%s D gnat.ads 20190108095404 b5988c27 gnat%s D g-sechas.ads 20190108095404 3b5ca98e gnat.secure_hashes%s D g-sechas.adb 20190108095404 ee89611f gnat.secure_hashes%b D interfac.ads 20190108095404 5ab55268 interfaces%s D system.ads 20190108095404 c631886f system%s D s-exctab.ads 20190108095404 54135002 system.exception_table%s D s-parame.ads 20190108095404 48ec542b system.parameters%s D s-secsta.ads 20190108095404 20bbe636 system.secondary_stack%s D s-soflin.ads 20190108095404 a7318a92 system.soft_links%s D s-stache.ads 20190108095404 a37c21ec system.stack_checking%s D s-stalib.ads 20190108095404 09bd3940 system.standard_library%s D s-stoele.ads 20190108095404 2dc34a04 system.storage_elements%s D s-traent.ads 20190108095404 005bf670 system.traceback_entries%s X 1 ada.ads 16K9*Ada 20e8 7|39r6 39r23 8|155r26 X 3 a-stream.ads 36K13*Streams 87e16 7|39w10 39r27 8|155r30 39H9*Root_Stream_Type 70e64 7|195r13 225r13 42M9*Stream_Element 8|37r32 44I9*Stream_Element_Offset 7|164r36 206r9 206r42 230r23 . 8|165r30 189r30 284r24 311r42 332r24 351r23 54A9*Stream_Element_Array(42M9)<44I9> 7|89r23 154r18 164r9 174r14 189r33 . 217r16 229r23 235r20 8|69r31 128r31 155r38 164r22 180r28 188r22 203r14 . 222r26 283r26 331r23 350r23 396r53 444r20 462r50 467r18 X 6 gnat.ads 34K9*GNAT 57e9 7|45r9 240r5 8|35r14 486r5 X 7 g-sechas.ads 45K14*Secure_Hashes 6|34k9 7|240l10 240e23 8|35b19 486l10 486t23 47A9*Buffer_Type(character) 48r8 62r16 55R9*Message_State 55d24 64e14 122r21 214r20 8|42r24 51r22 58r22 77r22 103r22 55i24*Block_Length{natural} 62r34 8|87r33 110r34 56i7*Last{natural} 8|87r50 92r21 92r35 94m9 94r19 110r51 114r22 120m9 120r19 . 237r65 274r36 376r26 378m26 59m7*Length{9|77M9} 8|229r53 370m20 370r40 62a7*Buffer{47A9} 8|82r30 83m36 114m12 73M12 Word 84r49 160r52[114] 8|233r41[7|114] 463r52 76U22 Swap 76>28 8|474s16 76m28 X{10|67M9} 79e7 Hash_Bit_Order{10|91E9} 8|472r41 82k12*Hash_Function_State 73z12 76z22 79z7 94l8 94e27 114r38 8|456b17 484l8 . 484t27 84A12*State(73M12) 88r19 117r34[114] 121r32[114] 211r31[114] 8|462r30 . 464r23 87U17*To_Hash 88>10 89<10 8|276s21[7|114] 462b17 482l11 482t18 88a10 H{84A12} 8|462b26 463r43 465r25 465r28 465r55 89a10 H_Bits{3|54A9} 8|462b37 480r25 481m10 481r56 100i7 Block_Words{natural} 202r42 103i7 State_Words{natural} 132r36 211r43 106i7 Hash_Words{natural} 132r22 161r41 110e7 Hash_Bit_Order{10|91E9} 8|247r32 268r31 114K20 Hash_State[82] 117r23 121r21 160r41 211r20 8|233r30 276r10 117a7 Initial_State{84A12[114]} 211r63 120U22 Transform 121=10 122=10 8|377s16 121a10 H{84A12[114]} 122r10 M{55R9} 126k12*H 100z7 103z7 106z7 110z7 114z20 117z7 120z22 202E7 238l8 238e9 8|145b17 . 450l8 450t9 134R12*Context 137r28 143r34 147r59 150r41 151r41 153r25 168r28 183r28 194r36 . 210c12 210d21 219e17 221r34 224r36 8|148r31 154r22 163r28 174r14 181r14 . 187r28 196r14 205r14 221r22 224r15 282r26 303r59 309r21 363r31 387r36 396r36 . 408r41 425r14 432r14 137y17*"="{boolean} 137>21 137>24 137r21 L{134R12} 137r24 R{134R12} 143r7*Initial_Context{134R12} 221c7 147V16*HMAC_Initial_Context{134R12} 147>38 8|303b16 342l11 342t31 147a38 Key{string} 8|303b38 305r13 309r40 310r42 315r23 317r37 321r25 325r33 150U17*Update 150=30 150>50 8|176s10 198s10 271s13 387b17 390l11 390t17 150r30 C{134R12} 8|387b25 389m18 150a50 Input{string} 8|387b45 389r21 151U17*Wide_Update 151=30 151>50 8|408b17 418l11 418t22 427s10 434s10 151r30 C{134R12} 8|408b30 414m13 151a50 Input{wide_string} 8|408b50 409r31 410r28 152U17*Update 153=10 154>10 8|183s10 207s10 291s16 292s16 339s16 396b17 402l11 . 402t17 447s10 153r10 C{134R12} 8|396b25 401m18 154a10 Input{3|54A9} 8|396b45 397r27 398r28 160i7*Word_Length{natural} 161r54 202r56 161i7*Hash_Length{natural} 164r59 179r50 8|165r53 189r53 311r65 163A15*Binary_Message_Digest{3|54A9}<3|44I9> 168r44 171r53 172r53 174r53 . 8|187r44 195r43 203r43 431r53 168V16*Digest{163A15} 168>24 8|187b16 193l11 193t17 199s17 208s17 435s17 168r24 C{134R12} 8|187b24 191r17 171V16*Digest{163A15} 171>29 8|195b16 200l11 200t17 325s25 171a29 S{string} 8|195b24 198r21 172V16*Wide_Digest{163A15} 172>29 8|431b16 436l11 436t22 172a29 W{wide_string} 8|431b29 434r26 173V16*Digest{163A15} 174>10 8|202b16 209l11 209t17 174a10 A{3|54A9} 8|203b10 207r21 179A15*Message_Digest{string} 183r44 187r62 188r62 189r62 8|163r44 . 168r22 173r43 180r57 424r53 183V16*Digest{179A15} 183>24 8|163b16 171l11 171t17 177s17 184s17 428s17 183r24 C{134R12} 8|163b24 167r17 187V16*Digest{179A15} 187>29 8|173b16 178l11 178t17 187a29 S{string} 8|173b24 176r21 188V16*Wide_Digest{179A15} 188>29 8|424b16 429l11 429t22 188a29 W{wide_string} 8|424b29 427r26 189V16*Digest{179A15} 189>29 8|180b16 185l11 185t17 189a29 A{3|54A9} 8|180b24 183r21 194R12*Hash_Stream<3|39R9> 194d25 224c12 225e46 227P17 228r26 233P17 234r27 . 8|349r26 443r27 202i7 Block_Length{natural} 206r65 214r35 8|237r21 284r47 332r47 376r33 205I15 Key_Length{3|44I9} 210r26 8|309r54 210i21 KL{205I15} 217r43 8|280r15 211a10 H_State{84A12[114]} 8|276r33 377m29 214r10 M_State{55R9} 8|229r45 237r57 238r29 274r28 370m12 370r32 374m28 376r18 . 377m40 378m18 217a10 Key{3|54A9} 8|287r27 288r46 318m40 325m18 335r27 336r46 227U17 Read<3|57p14> 228=10 229<10 230<10 8|348b17 356l11 356t15 228r10 Stream{194R12} 8|349b10 353r31 229a10 Item{3|54A9} 8|350b10 353r39 230i10 Last{3|44I9} 8|351b10 353r45 233U17 Write<3|63p14> 234=11 235>11 8|442b17 448l11 448t16 234r11 Stream{194R12} 8|443b11 447r18 235a11 Item{3|54A9} 8|444b11 447r32 X 8 g-sechas.adb 37a4 Hex_Digit(character) 135r28 136r28 40P9 Fill_Buffer_Access 42=9 43>9 44>9 45<9 150r24 365r24 42r9 M{7|55R9} 43a9 S{string} 44i9 First{natural} 45i9 Last{natural} 50U14 Fill_Buffer_Copy 51=7 52>7 53>7 54<7 76b14 96l8 96t24 389r28 401r24 . 417r19 51r7 M{7|55R9} 77b7 82r28 83m34 83r34 87r31 87r48 92r19 92r33 94m7 94r17 52a7 S{string} 78b7 87r56 93r9 53i7 First{natural} 79b7 87r65 93r12 93r21 95r15 54i7 Last{natural} 80b7 95m7 57U14 Fill_Buffer_Swap 58=7 59>7 60>7 61<7 102b14 122l8 122t24 416r19 58r7 M{7|55R9} 103b7 110r32 110r49 114m10 114r20 120m7 120r17 59a7 S{string} 104b7 108r22 110r57 115r24 116r18 117r18 60i7 First{natural} 105b7 110r66 112r15 113r20 114r40 121r15 61i7 Last{natural} 106b7 112m7 113r13 114r33 115r17 116r21 117r21 118m10 . 118r18 121m7 69U14 To_String 69>25 69<53 128b14 139l8 139t17 169s13 69a25 SEA{3|54A9} 128b25 129r37 131r16 133r56 135r39 136r39 69a53 S{string} 128b53 129r22 135m13 136m13 82a7 Buf_String{string} 83m11 83r11 84m27 84r27 92m7 86i7 Length{natural} 90r22 92r42 93r29 94r26 95r23 109i7 Length{natural} 113r28 120r26 121r23 131i11 J 133r52 135r44 136r44 133i13 S_J{natural} 135r16 136r16 147U17 Update 148=10 149>10 150>10 362b17 381l11 381t17 389s10 401s10 413s10 148r10 C{7|134R12} 363b10 370m10 370r30 374m26 374r26 376r16 377m27 377r27 . 377m38 377r38 378m16 149a10 S{string} 364b10 370r49 372r18 373r23 374r37 150p10 Fill_Buffer{40P9} 365b10 374r13 153U17 Final 154>10 155<10 167s10 191s10 220b17 294s16 297l11 297t16 154r10 C{7|134R12} 221b10 224r26 280r13 287r25 288r44 155a10 Hash_Bits{3|54A9} 222b10 276m42 292r33 294m32 164a10 Hash_Bits{3|54A9} 167m20 169r24 168a17 MD{7|179A15} 169m35 174r10 C{7|134R12} 176m18 176r18 177r25 181r10 C{7|134R12} 183m18 183r18 184r25 188a10 Hash_Bits{3|54A9} 191m20 192r17 196r10 C{7|134R12} 198m18 198r18 199r25 205r10 C{7|134R12} 207m18 207r18 208r25 224r10 FC{7|134R12} 229r42 237r54 238r26 271m21 271r21 274r25 276r30 226i10 Zeroes{natural} 237m10 240r36 229m10 Message_Length{9|77M9} 252r19 259r49 260m19 260r50 263r49 264m19 264r50 232i10 Size_Length{natural} 237r40 240r45 248r45 240a13 Pad{string} 248r34 249r34 258m19 263m19 271r25 243i13 Index{natural} 251m13 253r19 258r24 263r24 267m16 267r25 244i13 First_Index{natural} 247m13 251r22 253r27 282r16 Outer_C{7|134R12} 291m24 291r24 292m24 292r24 294r23 283a16 Opad{3|54A9} 288m19 288r31 291r33 287i20 J 288r25 288r37 288r51 309r17 C{7|134R12} 315r16 318m38 318r38 325m16 335r25 336r44 339m24 339r24 317a19 SK{string} 318m23 318r23 319m39 319r39 321m19 331a16 Ipad{3|54A9} 336m19 336r31 339r27 335i20 J 336r25 336r37 336r51 367i10 Last{natural} 372m10 373r16 374r40 374m50 397a10 S{string} 398m14 398r14 399m30 399r30 401r21 409a10 S{string} 410m14 410r14 411m30 411r30 414r16 425r10 C{7|134R12} 427m23 427r23 428r25 432r10 C{7|134R12} 434m23 434r23 435r25 463i10 Hash_Words{natural} 464r35 465r37 464a10 Result{7|84A12} 467r45 468m32 468r32 473r22 474m22 474r22 467a10 R_SEA{3|54A9} 468m14 468r14 469m30 469r30 480r42 481r20 481r27 481r42 473i17 J{integer} 474r30 X 9 interfac.ads 38K9*Interfaces 7|41w6 59r16 8|33w6 33r22 9|184e15 77M9*Unsigned_64 7|59r27 8|229r27 141V13*Shift_Left{77M9} 8|259s37 145V13*Shift_Right{77M9} 8|260s37 264s37 X 10 system.ads 37K9*System 7|43w6 76r32 79r24 110r24 8|32w6 32r22 415r17 472r13 10|148e11 67M9*Address 7|76r39 91E9*Bit_Order 7|79r31 110r31 10|91e57 91n41*Low_Order_First{91E9} 8|247r49 268r48 415r45 92e4*Default_Bit_Order{91E9} 8|415r24 472r20