Ij4dZddlmZddlZddlZddlZddlZddlZddlm Z ddl m Z ejjdee ej!j"ddlmZmZmZddlmZmZmZe ej!j4dZed z Zd Zd Zd Zd Z dZ!hdZ"d dZ#d!dZ$d"dZ%d#dZ&d$dZ'd%dZ(d&dZ)d'dZ*d(dZ+d)d*dZ,d+dZ-d,dZ.d+dZ/edfd-dZ0d.dZ1e2dk(re1yy)/zCSummarize the save-selector dispatch stop that resolves into .data.) annotationsN)Path)Any) offset_to_va read_sections va_to_offset)HANDLER_TABLE_VAhandler_for_opcodesection_name_for_vaoutmap1_01amap2_02di(Ti*Ti +T>.rdata.data.textcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)pathfallbacks J/home/exedev/hwanse/tools/summarize_save_selector_dispatch_stop_context.py load_jsonrs* ;;= ::dnngn6 77c|d|dSdS)N0x08xvalues rhex32r&$s$0Rc{ :d:rc"|r t|dSdS)N)intr$s r parse_hexr*(s"3ub>,,rcvt||}||dzt|kDrytjd||dS)N  v!#c^f e    rct|||}| t||nd}t|t||d}|d|d<|S|rd|d<|Sd|d<|S)N)vaHexrB valueSection unreadablekindpointerscalar)r5r r&)r1r2r3r%r9rows r dword_rowrUTsx S(B 'E6;6G!(E2TGr%L C  }"F J F  JF Jrc `t|Dcgc]}t||||dzzc}Scc}w)Nr,)rangerU)r1r2start_vacountindexs r dword_windowr[es,HMe UuIc8X %9 : UU Us+c(td|DiS)Nc3K|]6}|jdtk(r|jdtk(r|8yw)sourcetargetN)get ROUTE_SOURCE ROUTE_TARGET).0rTs r zroute_gate..ks9 wwx L0SWWX5F,5V  s<>)next) gate_pathss r route_gatergis!  %   rc  t|}t|xsg}t|jdxst}t |||}||dznt|jd}t |||xsd}t|xsddzz}t |||} | t|| nd} | t||| ng} t| D chc]} | d c} } | | xsdnd}|dz }|dz }d }id td tdt|d t|dd |xsdddttdt|dt| dt| d| d| dk(d|d|jdd|jdd|jddttdttt!| | | t#|||d| t#|||dngt#|||d| d k(xr| d gk(d!gd"|d# Scc} w)$NdispatchStopVaHexdispatchStopOpcodeHexrr,r9 r(aThe dispatch stop at 0x005428f4 uses opcode low byte 0xe8, whose handler-table entry 0x00440ac0 resolves to 0x00440c28 in .data. The target has only .data pointer refs in the scanned executable sections, so this is data descriptor context, not an executable code handler. It reinforces the stop at 0x005428f4 and does not prove that the 0x005428bc writer path selects frontier leaf 0x00542ae8 or reaches reader 0x00542b0c.r^r_dispatchStopValueHexr!02xhandlerTableVaHexhandlerTableEntryVaHexhandlerTableEntryValueHex entryValueHexentryValueSectionentryValueIsCodeHandlerrhandlerForOpcodegateDispatchStopHandlerVaHexdispatchStopHandlerVaHexgateDispatchStopHandlerSectiondispatchStopHandlerSectiongateDispatchStopIsCodeHandlerdispatchStopIsCodeHandlerfrontierLeafHexfrontierReaderHex rblocked)zGprove which descriptor/table row the 0x24 action-state boundary selectszIprove execution reaches frontier leaf 0x00542ae8 before reader 0x00542b0cz3find a strict map1_01a source coordinate or hotspot) targetPointerRefCounttargetPointerRefSectionstargetPointerRefshandlerTableEntryWindowtargetDescriptorWindowdispatchStopWindowdispatchStopIsDescriptorContextpromotionStatusremainingProofs conclusion)rrgr*r`DISPATCH_STOP_VAr5r r r rLsortedrarbr& FRONTIER_LEAFFRONTIER_READERr.r[)r1rfr2gatestop_va stop_value stop_opcodehandlerentry_va entry_value entry_section target_refsreftarget_ref_sectionstarget_window_starttable_window_startdispatch_window_startrs r build_summaryrssS!H j&B 'D!456J:JG#x1J'1'=*t#9TXXVmMnCoK h 0@qAG;#3!q"88H3(3KBMBY'+>_cM  U#34  !%/  $U;%7  {+  ]  "=G#;  G  '1K(L  )$((3O*P  (2M)N  5/! " U?3# $"%[!1$7(#/X?QSU#VZeZq,sH>QSU"Vwy*3:OQST+8G+C+hH[`g_hHh$ !?  "Is Hc2ddd|dd|dd|dd |d d |d d d|dd d|dd|dd|dd|dd|dddj|dxsdd|dd |d!d d"|d#d d$|d%d|d&dd'dd(d)g}|d*D],}|jd+|d,d-|d.d/|d0d1|d2d3 .|jgd4|d5D]<}|jd+|d6d1|d2d-|d7d8|jd9xsdd: >|jgd;|d<D]<}|jd+|d6d1|d2d-|d7d8|jd9xsdd: >|jgd=|d>D]<}|jd+|d6d1|d2d-|d7d8|jd9xsdd: >|jgd?|jd@|dAD|jddBj|S)CNz%# Save Selector Dispatch Stop Contextz - route: r^z -> r_z- dispatch stop: `riz ` value `rmz ` opcode `rk`z- handler table: `roz- handler table entry: `rpz` -> `rrz` in rsz- entry value is code handler: rtz- target pointer refs: r in , r-z- descriptor context: rz- frontier leaf: `r|z- frontier reader: `r}z- promotion status: rrz## Target Pointer Refsz*| ref va | section | file offset | value || --- | --- | --- | --- |rz| `rAz` | r9z | `r@z` | `rBz` |)rz## Handler Table Entry Windowr%| va | value | kind | value section |rrrNrQz | rOz |)rz## Target Descriptor Windowrrrr)rz## Dispatch Stop Windowrrrr)rz## Remaining Proofsrc3&K|] }d| yw)z- Nr#rcitems rrdzmarkdown..sD2dVDsr )joinrFextendr`)summarylinesrrTs rmarkdownrsH/ GH%&d78+<*=> W%89:)GLbDcCddnovxOpPoQQR S W%89:!< "7+C#D"EVGTcLdKeejkrtGlHkI J )'2K*L)MN !'*A"B!C4 RYZtRuHvH}z}G~ )J!K LM W%678: w':; w'89:;     4#' E**+  #j/"$s9~&6d3;O:PPUVYZdVeUffi j   LLAB01  #g,uS_$5T#f+c#''R`JaJhehIiik l   LL~/0  #g,uS_$5T#f+c#''R`JaJhehIiik l   LLz{+,  #g,uS_$5T#f+c#''R`JaJhehIiik l   LL01 LLD1B)CDD LL 99U rcdjd|D}g}|D]1|jddjfd|Dzdz3d|ddj|dS) Nrc3TK|] \}}dtj|d"yw)zzNhtmlescape)rc_keylabels rrdzhtml_table..s'Q+$tDKK./u5Qs&(zc 3K|]<\}}dtjtj|xsdd>yw)z rz N)rrstrr`)rckey_labelrTs rrdzhtml_table..sBCT[[SWWS\-@S)ABC<PsAAzzzz
)rrF)rowscolumnsheaderbodyrTs @r html_tablers WWQQ QF D  gg#*       x';BGGDM?JZ [[rcd|dDcgc]}|d|d|d|dd}}djd|d D}gd }d jgd d dddddddddddddddtj|ddtj|dd |d!d"tj|d#d$ d%|d&d'|d(d)|d*d+tjt|d,d-|d.d$ d/|d0d1tjd2j|d3xsd4d5|d6d$d7tj|d8d9d:t |gd;d<t |d=|d>t |d?|d@t |dA|dBdC|dDdEdFdScc}w)GNrrAr9r@rB)rAr9r@rBrc3NK|]}dtj|dyw)z
  • z
    • Nrrs rrdzhtml_page..s#adDT!2 359as#%r))rNr3rBr%)rQrQ)rOz value sectionrzzzz zF z4 Save Selector Dispatch Stop Contextz zzz.

    Save Selector Dispatch Stop Context

    z

    route: r^z -> r_z; dispatch stop riz; promotion status: rz.

    z

    handler table roz#; handler table entry rpz resolves to rrz in rsz; entry value is code handler: rtz

    target pointer refs: rrrrrz; descriptor context: rz

    rz

    z

    Target Pointer Refs

    ))rAzref va)r9r9)r@z file offsetrz%

    Handler Table Entry Window

    rz#

    Target Descriptor Window

    rz

    Dispatch Stop Window

    rz

    Remaining Proofs

    z
      z
    zz)rrrrr)rrref_rows proof_items dword_columnss r html_pagers./  J9~ 1J  H''agN_F`aaKM 99""" " # " Q " ? " " f" U" [" D" '" " " " 9!"" t{{78#456gdkk'RZJ[>\=]]st{}PuQtRRmnrnynyzABSzTnUmVV[ \#"$ $G,?$@#AAdelnFfGeHHbcjkzc{b||GHLHSHSTWX_`sXtTuHvGwwVW^_xWyVzz @%"& %W-D%E$Fd4;;W[W`W`ahjDbEXFXMJMLNKOOefmnOfPeQQV W'"(  GL12348)"* )+", 8G H-". 0/"0 745}E1"2 .3"4 734mD5"6 *7"8 7/0-@9": &;"<  U#="> ?"@ A"B C"" "!sF-c|jdd|dz jtj|ddd|:|jjdd|jt |dyy) NT)parentsexist_ok(save_selector_dispatch_stop_context.jsonF),:) ensure_ascii separatorsrr)mkdir write_textrdumpsparentr)rout_dirhtml_outs r write_outputsr s{ MM$M. 99EE 7:FFdT:Ig.Arctj}|jdttdz |jdtt |jdtdd|j }t|jjt|jdz g}t||j|jtd |jd z y) Nz--exez Hwanse2.exe)typedefaultz --out-dirz --html-outz!Optional HTML report output path.)rrhelpzsave_selector_gate_paths.jsonz-wrote save selector dispatch stop context -> r)argparseArgumentParser add_argumentrROOTOUT parse_argsrr1 read_bytesrrrrprint)parserargsrs rmainr+s  $ $ &F dD=4HI  $<  4Dgh    D $,,!@@"EG'4<<7 9$,,Is:s9t uvr__main__)rrrrreturnr)r% int | Noner str | None)r%rrr)r1bytesr2 list[dict]r3r)rr)r2rr4r)rz dict | None)r1rr2rr%r)rr)r1rr2rr3r)rdict) r1rr2rrXr)rYr)rr)rfrrr)N)r1rrfzlist[dict] | Nonerr)rrrr)rrrzlist[tuple[str, str]]rr)rrrrrz Path | NonerNone)rr)3__doc__ __future__rrrrr/syspathlibrtypingrrinsertr__file__resolverprobe_exe_scene_tablesrrrsummarize_script_handler_tabler r r rrrrarbrrrrErr&r*r5r<rLrUr[rgrrrrrr__name__r#rrrs I" 3tH~--/6678LLdd H~''* Ul   , 8 ;-40"V6r,^ \3l25dB w zFr