nJj.8dZddlmZddlZddlZddlZddlmZddlZ ee jjdZ e dz ZdZdZeZe j$Zgd Zgd Zd d d ddd ddd gZddZddZddZddZddZedfddZddZedk(reyy) zLScan broad block write candidates that could cover opcode 0x24 runtime flag.) annotationsN)PathoutiMYiY)z runtime-enabled-flag-block-writez covering-size-transfer-candidatezruntime-watchpoint-trace)zPbroad block write candidate covering opcode 0x24 runtime-enabled flag 0x0059e34dzZnearby covering size and transfer instruction proving a static runtime-flag block producerz8runtime watchpoint trace proving the 0x0059e34d producer Hwanse2.exezD#'JC3/H+ICJLJ&*Isc2G.HsIOI'+Js3H/IJJ #3C -./O OF  %~&Y Y  8  h ';!<  5!1232eN6K5LM  |   CI   'L(9   #C$8  #C(8$9  #L     0    e  5e  89m  P! " J# $ RS$ ) -KIJs DD DD DDcddd|dddd|ddd |d dd |d d |dd|dd|dd|dd|ddd|ddd|ddd|ddddg}|jd|dD|jgd|jd |d!D|jgd"|jd#|d$D|jgd%|d&Dcgc]}|d's |d(s|d)r|}}|D]}d*jd+|d,Dxsd-}d*jd.|d/Dxsd-}|jd0|d1d2|d3d4|d5d6|d7d8|d9d4|d6|d6|d)d8|d:d;|s|jd<|jdd=j|Scc}w)>Nz8# Save Selector Opcode 0x24 Runtime Enabled Block WriteszScope: r'.z- runtime enabled flag: `r(`z- scan range: `r)z- scan window bytes: r*z- rows: r+z- address-like covering bases: r,z- direct covering writes: r-z- block write candidates: r.z- proofFound: `r2z/- opcode24RuntimeEnabledBlockWriteProofFound: `r3z- promotion status: `r9r:z## Failed Gatesc3(K|] }d|d yw)- `rHNr .0items r zmarkdown..sd43tfAdsr4)rFz## Missing EvidencerFc3&K|] }d| yw)z- Nr rKs rrNzmarkdown..sD2dVDsr5)rFz## Evidence RefsrFc38K|]}d|dd|dyw)rJrz`: r Nr rLr!s rrNzmarkdown..s/  c&k]#c-012sr6)rFz## Candidate RowsrFze| address | ref | kind | access | required size | sizes | transfers | block candidate | instruction |z8| --- | --- | --- | --- | ---: | --- | --- | --- | --- |r r$r%r&, c36K|]}|dd|dywvalueHex@vaHexNr rKs rrNzmarkdown..%jDT*-.aW ?jcoveringSizeCandidates-c36K|]}|dd|dywkindrVrWNr rKs rrNzmarkdown..#fDfaW ?frYtransferCandidatesz| ` addressHexz` | `instructionVaHexz` | instructionKindz | accessKindz | `r instructionz` |z%| - | - | - | - | - | - | - | - | - | )extendjoinappend)summarylinesr!candidate_rowssizes transferss rmarkdownroosB ''"#1% #G,C$D#EQG '.12!4  678 7:&'( )'2P*Q)RS $W-G%H$IJ $W-G%H$IJ ',/02 9'Bn:o9ppqr (9 :;1=    ' E* LLd73b+cdd LL  LLD1B)CDD LL  LL>* LLv ( )S1F-G3OdKe N  jCPhLijjqnqIIfCPdLeffmjm  #l#$E#.@*A)B$sK\G]F^^a< !c*M&N%OtTYSZZ]^g]hhk()*$s=/A.B# G    <= LL 99U s2Gc4g}|dD]+}|ds |ds|dsdjd|dDxsd}djd |d Dxsd}|jd tj|d d tj|ddtj|ddtj|ddtj|ddtj|dtj|d|ddtj|dd.djd|dD}djd|dD}djd|dD}djdd d!d"tj|d#d$d%d&tj|d'd(d)tj|d*d(d+|d,d-d.|d/d-d0|d1d-d2|d3d-d4|d5d-d6tjt |d7d(d8tj|d9d(d:d;tj|d<d=d>d%|d:d?d%|d:d@d%|d:dAdBdj|xsdCdDgS)ENr r$r%r&rRc36K|]}|dd|dywrTr rKs rrNzhtml_page..rXrYrZr[c36K|]}|dd|dywr]r rKs rrNzhtml_page..r_rYr`zrazrbzrcz rdzrrezrFc3NK|]}dtj|dyw)
    • NhtmlescaperKs rrNzhtml_page..s+  T[[&'|4#%r4c3NK|]}dtj|dyw)z
  • 
    • NrvrKs rrNzhtml_page..s+  t{{4 !'ryr5c3K|]9}dtj|ddtj|dd;yw)rtrz : r r{NrvrQs rrNzhtml_page..sE  T[[V-.i C DV8W7XX]^s?Ar6rfzjSave Selector Opcode 0x24 Runtime Enabled Block Writeszz?

    Save Selector Opcode 0x24 Runtime Enabled Block Writes

    z

    Scope: r'z.

    z
      z
    • runtime enabled flag: r(ruz
    • scan range: r)z
    • scan window bytes: r*r{z
    • rows: r+z!
    • address-like covering bases: r,z
    • direct covering writes: r-z
    • block write candidates: r.z
    • proofFound: r2z
    • promotion status: r9z
    z

    r:z

    z

    Failed Gates

    z

    Missing Evidence

    z

    Evidence Refs

    z

    Candidate Rows

    zz8z
    addressrefkindaccessrequired sizesizestransfersblock candidateinstruction
    No block write candidates.
    )rhrirwrxstr)rjrlr!rmrn failed_gatesmissing_evidence evidence_refss r html_pagersJNv -.#6K2LPSTiPj  jCPhLijjqnqIIfCPdLeffmjm  S%6789S);%<=>?;;s#45678;;s<0123S)L%MNOP;;u%&';;y)*+,-./S%789:   $77KLLww-.GG>*M 99v nI T[[!12359 *4;;w?V7W+X*YYef W^-D!E FlS !'-"8!9? WZ()/ +G4R,S+TTYZ &w/I'J&K5Q &w/I'J&K5Q S1F-G!H IV &t{{7;L3M'N&O|\ dkk',/0 16 |nE"#  & }oU#! K .!_%_5 rc|jdd|dz }|jtj|dddzd |9|jjdd|jt |d |S) NT)parentsexist_okz8save_selector_opcode24_runtime_enabled_block_writes.jsonF) ensure_asciiindentrfzutf-8)encoding)mkdir write_textjsondumpsparentr)rjout_dirhtml_outjson_outs r write_outputsrs MM$M.SSH  7q9D@dT:Ig.A Orctjt}|jdtt dz |jdtt |jdt|j}t|jj}t||j|j}td|y) N)r z--exer)typedefaultz --out-dirz --html-out)rz/wrote opcode24 runtime enabled block writes -> )argparseArgumentParser__doc__ add_argumentrROOTOUT parse_argsrDr read_bytesrrrprint)parserargsrjrs rmainrs  $ $ 9F dD=4HI  $<  40    DDHH//12GWdllDMMBH ;H: FGr__main__)rintreturnr})rbytesrz list[dict])rrrdict)rjrrr})rjrrrrz Path | Nonerr)rNone)r __future__rrrwrpathlibr3summarize_save_selector_opcode24_mode1_block_writesr__file__resolverrrrrrr<r=r>r?rr"rDrorrr__name__r rrrsR" H H~''* Ul!%&& 84 95 +ij FWwx 1Bqr62.-`<~;|25d H zFr