UHjO9dZddlmZddlZddlZddlZddlZddlZddlm Z ejjde e e jjddlmZmZddlmZe e jj,dZedz Zd Zd Zd Zd Zd ddddZd$dZd%dZd&dZ d'dZ!d(dZ"d)dZ#d*dZ$d+dZ%d,dZ&d,dZ'd+dZ(d-d.dZd/dZ)d0dZ*d0d Z+efd1d!Z,d2d"Z-e.d#k(re-yy)3zGSummarize dispatch-table entries that reach primaryBranchState writers.) annotationsN)Path) read_sections va_to_offset) build_summaryoutiG@釶AͶAi3Ai>AiAimA)z0x0041dccc..0x0041df2dz0x0041e0f2..0x0041e1f6z0x0041e390..0x0041e431z0x0041fb36..0x0041fb57cd|dS)N0x08x)values J/home/exedev/hwanse/tools/summarize_save_selector_branch_state_dispatch.pyhex32r s c{ cL|D]}|d|cxkr|d|dzks|cS!y)Nrawraw_sizer)sectionsoffsetsections rsection_for_offsetr$s@ 5>V Jgenwz7J&J JN K rcT|D]#}|d|cxkr|d|dzksn|dcSy)Nvarnamer)rrrs rsection_for_var+s?# 4=B D1D!D D6? "# rcvt||}||dzt|kDrytjd||dS)Nz%relative_call_refs..]sNG76?g3MNs rrrr!z.s%Pc)n%Psa2This .data table contains event/object VM handler function pointers. Dispatcher 0x0041b687 reads byte 0 from context+0xb0; when it is 0x40, it reads byte 1 as the index and calls dword [index*4 + 0x0047f1d8]. The branch-state writer routines are registered here by index, so their execution is data-driven.)ro entryCountdispatcherVaHexdispatchCallVaHexdispatcherVerifieddispatcherByteChecksmeaninga The direct primaryBranchState writer clusters are table-dispatched event/object handlers. No direct relative call sites were found for the current writer entry points, so the next route-progress proof must identify the event/object bytecode opcode that runs before save-selector root 2:0.)scopert conclusionrm tableEntries)rbuild_writer_summaryrkr?getKNOWN_FUNCTION_STARTSrrSr^rJrgr#rfEVENT_DISPATCHER_VAEVENT_DISPATCH_CALL_VAall)r&writer_summaryr table_entriesdispatch_checksentryentries_by_handlerrmclusterfunction_startfunction_start_hex table_entrycallsrLs rrrsS!H#@';C'@N)#x8M,S(;OHUVu%))N3U:VVH!%%j17R .227:3FG6D6PU>2VZ(,,-?@ ESE_"3.Aeg>L>X|C>:^`W%%j1 2#$:;?Jkool;PT=H[__[9dGR+//2B"CX\ " ',*-e*"4y ' ,> ? E2$[[9?Rucp'   :I 67-$%89!&'=!>"%%P%P"P$3t   f%- =WsGchdjdt|jDxsdS)N, c30K|]\}}|d|yw):Nr)rBkeyrs rrCz format_counts..sO*#uuAeW%Os-)joinsorteditems)countss r format_countsrs( 99Ov||~8NO O VSVVrcddddd|dddd|dd d |dd dd |dd d|ddd|ddddg }|dD]l}|d}|jd|dd|dd|jdxsdd|jdxsdd|ddt|dd|d d!n|jgd"|dD]A}d#j d$|d%Dxsd}|jd&|dd'|dd(|C|jgd)|dd*D],}|jd&|d+d'|dd(|d,d-|d.d/ .|jdd0j |S)1Nz%# Save Selector Branch State Dispatchr4zBDispatch evidence for direct `primaryBranchState` writer clusters.z- event/object handler table: `rtro`z- dispatcher: `r}z ` / call `r~z#- dispatcher byte checks verified: rz- scanned entries: r|rz\| cluster | function | table entry | opcode/index | direct calls | writes | interpretation |z,| --- | --- | --- | --- | ---: | --- | --- |rmz| r5z | `rsz` | `rcrrbz` | rvz | rpryz |)r4z## Pointer Referencesr4rc38K|]}|dd|ddyw)rz `rVrNrrBrefs rrCzmarkdown..s'cSC N+2c*o->a@crwz- `z` z: )r4z## Dispatcher Byte Checksr4rr6r9z (`r8z`) )rJrrextendr)summarylinesrtablerLchecks rmarkdownrs\/ L )'2E*F|*T)UUVW '"567HIJ*U\]pUqsFVGUHHI J -g6I.JK_.`-ab g&9:<HIJ   f6 E:& +, !"$w/A'B&CD ,'.3/uUYY{5K5Rs4SSW345SwOaGb9c8ddg'() -   LL23:&VyycGTaLbccjgj s7#567r'':J9K2dVTUV LL67,-.DE  %.!E'N#32eI6F5GH}%&b *   LL 99U rc lg}|dD]}|d}|jdtj|ddtj|dxsddtj|jd xsddtj|jd xsdd |d d tjt |dd tj|ddg}|dD]l}dj d|dDxsd}|jdtj|dxsdd tj|dd |dng}|ddD]e}|jdtj|dd tj|dd |ddtj|dd gdj dddddd d!d"d#d$d%d&d'd(d)d*d+tj|dd,d-d.tj|dd/d0tj|dd1d2|dd3d4d5tj|d6d7d8d9d:j |d;dd?d9d:j |d;d@dAd:gS)BNrmrtzr5zrsrzrcrbzrvz rpryz rc38K|]}|dd|ddyw)rz rVzNrrs rrCzhtml_page.. s(nPSC N+73z?2C7Knrrwzrr6r9r8zrzzzz zF z4 Save Selector Branch State Dispatchz zzz.

Save Selector Branch State Dispatch

z'

Event/object handler table: roz .

z

Dispatcher: r}z, call r~z*; dispatcher byte checks verified: rz.

z

rz

z z r4z
clusterfunctiontable entryopcode/indexdirect callswritesinterpretation
z

Pointer References

zO z!

Dispatcher Byte Checks

z_
functionclusterrefs
zz)rJhtmlescaperrr)rrowsrrref_rowsrL check_rowsrs r html_pagers D:&  +,  ;;ww/012W-?%@%GCHIJUYY|%<%CDEFUYY{%;%BsCDE789:;;}W5G-HIJKL;;w'789:;    H:& yynW^_lWmnnuru W-?%@%GCHIJ;;ww/012&   J,-.DE  U7^456;;uW~./0#$%U=%9:;<     99"P>hTW)&8 1$++gFY>Z[g>h2i1jjvw !$++g6I.JK\.]"^!__stxttAHI\A]^qArusttt^_fgz_{|P_Q^RRW X  GL12348 q BGGDM?"23'Y BGGH%&&67+i BGGJ'((89 = rc|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz(save_selector_branch_state_dispatch.jsonF) ensure_asciiindentrzutf-8)encoding(save_selector_branch_state_dispatch.html)mkdir write_textjsondumpsr)rout_dirs r write_outputsr?sf MM$M. 99EE 7q9D@F 99EEiPWFXcjEkrcvtjt}|jdtt dz |jdtt |j}t|jj}t||jtd|jdz y)N) descriptionz--exez Hwanse2.exe)typedefaultz --out-dirz-wrote save selector branch state dispatch -> r)argparseArgumentParser__doc__ add_argumentrROOTOUT parse_argsrr& read_bytesrrprint)parserargsrs rmainrHs  $ $ 9F dD=4HI  $<    DDHH//12G'4<<( 9$,,Is:s9t uvr__main__)rintreturnstr)r list[dict]rrr dict | None)rrrrr str | None)r&r+rrrrrz int | None)r.rrr) r&r+rrrrr1rrr) r&r+rrrrr:rr5rrdict)r&r+rrrr)r&r+rrrKrrr)N)r&r+rrrr)rrrr)rrrr)rrrrrNone)rr)/r __future__rrrrr$syspathlibrpathinsertr__file__resolveparentprobe_exe_scene_tablesrr,summarize_save_selector_branch_state_writersrrrrrrgrfrrrrrrr'r/r2r=r?rSr^rkrrrrr__name__rrrrsM" 3tH~--/6678>^ H~''* Ul# #(((( 4(0 (* :zW#LBJ25lw zFr
VAcheckmatchesactual bytes