+ @i, ^RIHtHt^RIt^RIHt]Uu.uFpVR.9gK VNK upt^RIHt^RIt^RI t ^RI H t ^RI HtHtHtHtHt^RIHt^RIHt^RIHtHt^R IHtHt^R IHtHtHt^R IHtH t H!t!H"t"H#t#H$t$^R I%H&t&R t']Uu.uFq]PQV4PR3NK! upt*R] PV9d]].t.t,]-!]RR7Ft.]-!]*RR7UUu.uF&wr^Tu;8d].P^8:gK MK$VNK( uppFgt0]Pb!].]!]PP]04R7t2],PgRPi].]04]2Pj]2Pm]']R734Ki K ]PnPqR],UUUu.uFwrp]PsW4VR7NK uppp4R4t:] PvR4tr"Cs!)))keycV^,#)rs&r!r"r"Fsadr#)hashfuncz{0} {1}) sigencodezverifying_key,signature)idcNVPV\\R7'gQhR# sigdecodeN)verify example_datar) verifying_key signatures&&r!test_signaturesr3Ws-   <=    r#c <V!\P!V44wr#p\RPV44\ V4pV!\P !\P !^\V4^, R7RR74pVP4\V4FpWWK \RPV44RpV'dV!\P!\P !^\V4^, R7\P !^^R744pVP4FwryWW;;,V ,uu&K \RPV44V!\P !^\V4R74p V!\P!RR 74p VRV V ,WZR,p\R PW44\V4p\T;'g T;'gT 4\WT8g4W53#) z| Hypothesis strategy that generates pairs of VerifyingKey and malformed signatures created by fuzzing of a valid signature. Configuration: {0} min_value max_valueT)uniquezRemove bytes: {0}Nz xors: {0}max_sizez%Inserted at position {0} bytes: {1!r})st sampled_fromrformat bytearraylistsintegerslensortreversed dictionariesitemsbinarybytesr) draw keys_and_sigsnamer1old_sigsig to_removeixorsval insert_pos insert_datas && r! st_fuzzed_sigrUas $( (F#G D  $ $T *+ G C qCHqLA$OINN i  F!  # #I ./ D  OO a3s8a<@ a37   jjlFA FcMF# [   %&bkkASBCJryy#./K kz [ (3{+; ;C/66zO *C 9 + + + + , 3>  r#) HealthCheckideadlinesuppress_health_check max_examplescVwr\P!\4;_uu_4VPV\\ R7RRR4R# +'giR#;ir,pytestraisesr r/r0r)argsr1rNs& r!test_fuzzed_der_signaturesr_s@M ( ) )S,-H * ) ) ) A A c<V!\P!\44wrp\RP V44\ VP P4pV!\P!^V^,R7\P!V^, V^,R7,4pV!\P!^V^,R7\P!V^, V^,R7,4p\\V4\V44pW'3#)z Hypothesis strategy for selecting random values and encoding them to ECDSA-Sig-Value object:: ECDSA-Sig-Value ::= SEQUENCE { r INTEGER, s INTEGER } r5r6) r=r>rKrr?intcurveorderrBrr)rJrLr1_rdrsrNs& r!st_random_der_ecdsa_sig_valuerhs""//-"@AD  $ $T *+  ##)) *E  a5A:6 ++ eai @ A A  a5A:6 ++ eai @ A A .+^A-> ?C  r#cVwr\P!\4;_uu_4VPV\\ R7RRR4R# +'giR#;i)zX Check if random values encoded in ECDSA-Sig-Value structure are rejected as signature. r-Nr[paramsr1rNs& r!test_random_der_ecdsa_sig_valuerls@ M ( ) )S,-H * ) ) )r`cxRV9d^VR&\P!\\P!V/VB4#)z Hypothesis strategy that returns a random positive integer as DER INTEGER. Parameters are passed to hypothesis.strategy.integer. r7)r=buildsrrBr^kwargss*,r!st_der_integerrqs5 & { 99^R[[$%A&%A BBr#cV!\P!V/VB4pV'dSV!\P!^^R74p\V4pVR;;,^V,),uu&\ V4pM^p\ W44#)zp Hypothesis strategy that returns a random DER BIT STRING. Parameters are passed to hypothesis.strategy.binary. r6)r=rHrBr@rIr)rJr^rpdataunuseds&*, r!st_der_bit_stringrvsj  4*6* +D bkkA;< RaiL T{ D ))r#c`\P!\\P!V/VB4#)zx Hypothesis strategy that returns a random DER OCTET STRING object. Parameters are passed to hypothesis.strategy.binary )r=rnrrHros*,r!st_der_octet_stringrxs$ 99("))T*DV*D EEr#c.\P!R4#)z3 Hypothesis strategy that returns DER NULL object. s)r=justr'r#r! st_der_nullr{s 77; r#c dV!\P!^^R74pV^8d V!\P!^^'R74pM%V!\P!^^R,R74pV!\P!\P!^^R,R7^2R74p\W.VO5!#)zA Hypothesis strategy that returns DER OBJECT IDENTIFIER objects. r6ir;)r=rBrAr)rJfirstsecondrests& r! st_der_oidrs qA6 7E qybkkA<=bkkAC@A  qAsF;bI D e +d ++r#c\P!\P!R4\^R,R7,\ RR7,\ RR7,\ 4,\4,R^(R7#)z Hypothesis strategy that returns random DER structures. A valid DER structure is any primitive object, an octet encoding of a valid DER structure, sequence of valid DER objects or a constructed encoding of any of the above. r#i)r8r;c \P!\\P!V44\P!R\P!V44,\P!R\P!V^R74,\P!\ \P !^^?R7\P!V44,#)c\V^4#)r)rrs&r!r"*st_der.....s .q!4r#c\V!#r)rrs&r!r"r0s oq)r#r;r6)r=rnrone_ofrArrB)childrens&r!r"st_der..-s#6 (8KL ))4bii6I JK )) )288Hs+K  ))  KK!t 4 IIh   r#) max_leaves)r= recursiverzrqrvrxr{rr'r#r!st_derrso <<  1d7 + , W - . w / 0 -   ,   # r#cVwr#p\P!\4;_uu_4VPV\\ R7RRR4R# +'giR#;i)z8Check if random DER structures are rejected as signaturer-Nr[rkderrLr1res&& r!test_random_der_as_signaturer;sB$D ( ) )S,-H * ) ) ) A A r;cVwr#p\P!\4;_uu_4VPV\\ R7RRR4R# +'giR#;i)z/Check if random bytes are rejected as signaturer-Nr[rs&& r!test_random_bytes_as_signaturerEsB$D ( ) )S,-H * ) ) )rrdcVwr\P!\4;_uu_4VPV\\ R7RRR4R# +'giR#;ir,)r\r]r r/r0rrjs& r!test_fuzzed_string_signaturesrtsA M ( ) )S,:JK * ) ) )r`)md5sha1sha224sha256sha384sha512)mdc2md2md4 whirlpool ripemd160)r'r)V __future__rrhashlibr ImportError functoolsrr\syshypothesis.strategies strategiesr= hypothesisrrr r r keysr r utilrrrrrrrrrrrrrr ellipticcurverr0new digest_size hash_and_sizeargvrKsortedrcrhash_alggenerateskappendr?r1signmark parametrizeparamr3 compositerUrk version_inforVdata_too_largefilter_too_muchtoo_slowdict slow_paramsr_rhrlrqrvrxr{rrr>rrHr isinstancerdkeys_and_string_sigsr)rPrLsizevkrNr1s000000r!rss/ ," !@@A !  "==#1100%$ I7K6Jd7;;t  ( ()6J &  sxx #F IF 3 4E!NCCJD t $u}} $ $ C  GGKK:    1   >  5(9FG #V\\"d\#G  00f v&F:""##'F "#  sxxF>6l  sxx"#K"$K K}]#$I%IB K$&'I(IC * * F  , ,: Kr}%vx0I1I Kr}%ryy''BC!onQ&79JK !N1%~a'89GC q ?^A->,?!,CDEIF DI"%2 %2 S m))// ;  3 3 3 9 9 : %%++ %2   %2  %2 S-%%++Y7    %2  K})*+L,L_ >$*H| $sQR* R<R<%S1SSS,S (S>=S(S 5 S * R98R9