UHjBdZddlmZddlZddlZddlZddlZddlZddlm Z ejjde e e jjddlmZmZddlmZmZmZe e jj.dZedz Zd Zd Zhd Zdd Zdd ZddZddZ ddZ!ddZ"ddZ#ddZ$d dZ%d dZ&d!dZ'd"dZ(e)dk(re(yy)#zLFind selector roots with opcode-shaped secondaryBranchState fill candidates.) annotationsN)Path) read_sections va_to_offset)byte_at handler_entryu32_atoutiTi +T> map1_01amap2_02dmap2_09gmap2_10gmap2_11gmap2_12hmap2_14jmap2_15jmap2_16jmap2_17hmap2_18dcd|dS)N0x08xvalues I/home/exedev/hwanse/tools/summarize_save_selector_secondary_fill_roots.pyhex32r c{ cd|dS)Nr02xrrs rhex8r#rr cvt||}||dzt|kDrytjd||dS)Nz/fill_entry_reference_summary.._s+fdCbM+f rootRangeHex..) siteVaHex targetVaHex inRootRanger c34K|]}t|dywrNrOrQs rrTz/fill_entry_reference_summary..lsZ$D" ZrUr>canJumpToDwordAtPlus4 handlerVaHex)rX opcodeHexr]rYrZgroup:slot )selectorfillEntryDwordRefCountfillEntryRootRangeDwordRefCountfillEntryRootBranchTargetCountfillEntryCandidateFoundfillEntryDwordRefsfillEntryRootBranchTargetsrcrootHex fieldMapsrouteMapOverlap fillCount) rcrjrVrkrlrmrdrerfrgfirstFillEntryDwordReffirstFillEntryRootBranchTargetrg)rootEntryReferenceRowsfillEntryReferenceRootCount'routeOverlapFillEntryReferenceRootCountfillEntryReferenceRoots#routeOverlapFillEntryReferenceRoots) enumerategetrP setdefaultappendranger'r(r)r5splitrrrr r#updatebool)r*r+rows fill_targetsindexrowfillfill_va refs_by_rowr-r owner_indicessite_va owner_index root_startroot_endbranch_targets_by_rowrKr,opcodehandlertarget row_summariesrefsref root_refsbranch_targetsroots_with_entry_refsroute_roots_with_entry_refss rfill_entry_reference_summaryrNs)+Lo? sGGG$* ?D$w-,G  # #GR 0 7 7 > ?? BGs4yAQ)R%))RK)RqjCH$&&tS&9!7JU7^PT',U|'.d':'_zW?_W_?_5 aKFqjCH$LQQTUYQZK[3\%E2I3\3\o s47GGG4D4JKDT']B'KK Z#n:M:S:STX:YZ H 1f S(B/F>D>PmC6:VXG6=kkBY6ZVC262`dF%e,33!&r171Cf$+KK$?#(= 5 !GB1f &Mo s5!$(CSCGGM,BSC C.u5 777+,Acggfo->?&)$i/29~.1..A'+D,BN'C"&s)*8"*=   Jwwy)GGN3-3"ww'89?R-&)$i/29~.1..A'+D,BN'C15d1g4CQnQ.?W[   8-:\SSAZ=[S\\,# 77$ % ## #0'*+@'A367R3S#8/J  Q*S$4]K*D4]#s06 P") P'P,P11P1 P6"P6,P;cNt|}t|Dchc]'}t|jdts#|d)c}}g}|D]}|jd}t|ts&t ||\}}g} t ||dD]g} t||| } | t| } | s!| jdt| i| |tk(xr | tk|tk(xr | tkDdi| s|jdxsg} tt| tz}|j|jd|jd|jdd|jd|jd xs t|t|d t|| |t| | |tk(rd n|rd nd d t!|||}t#d|Dd}|Dcgc]}|jds|}}t#d|Di}|d}|d}|Dcgc]$}|jdr|jd&}}t%|xr| }|rdn|rdnd}ddj'|xsddt|d|jdd|jdd|jd  }d!}id"ttd#ttd$ttd%t|d&t|d'|d'd(|d(d|dd|dd)|d*|d+|d,|d-|jd.d/|jdd0|jdd1|jd ||||d2Scc}wcc}wcc}w)3NselectedPointerr%rL)beforeCurrentFrontierReaderafterCurrentFrontierReaderrkr_rar`selectedPointerHexrWzBcurrent root; no before-frontier fill should be used for promotionzGroute-overlap root; possible inherited runtime-state producer candidateznon-route root) r_rarcrjrVrkrlrmrKrouteRelevancec3LK|]}|dttk(s|yw)rjN)r CURRENT_ROOTrRrs rrTz build_summary..s QC3y>U<=P+PCQs$$rlc3JK|]}|jddk(s|yw)rcz1:0N)rvrs rrTz build_summary..s!ZSWWZ=PTY=YZs##rsrtrcznon-route-only-entry-referencez%route-overlap-entry-reference-presentzno-entry-referencezentrySelectors=,-z; routeOverlapEntryRoots=z; predecessorRefs=rd/rerfaOpcode-shaped secondaryBranchState fills exist in multiple selector roots, including route-overlap roots. For the current root 0x00540714, the only opcode-shaped secondary fill is after the 0x00542b0c frontier reader, so it cannot initialize the map1_01a->map2_02d branch. A global fill-entry scan finds no direct dword refs or root-range branch targets into any route-overlap fill fragment, including the 1:0 predecessor; only non-route fill roots have an entry-like direct reference. The only entry-ref selector is 55:0, which has no route-map overlap. The next proof step is therefore runtime/control-flow evidence, not a static route-overlap fill-site pointer.currentRootHexfrontierReaderHex routeMaps rootCountrouteOverlapRootCountrqrrfillEntryReferenceSelectorsfillEntryReferenceNonRouteOnly!fillEntryReferenceExclusionStatus!fillEntryReferenceExclusionDetail"predecessorFillEntryCandidateFoundrg!predecessorFillEntryDwordRefCount*predecessorFillEntryRootRangeDwordRefCount)predecessorFillEntryRootBranchTargetCount) currentRootr8routeOverlapRoots conclusion)rsorted isinstancervrPr:ryr.rIrxrrFRONTIER_READERset ROUTE_MAPSr'rnextr|join)r* selectorsr+rr8r}r7startendrKr,rdecodedmapsoverlapentry_ref_summarycurrentroute_overlap_rows predecessorentry_ref_rootsroute_entry_ref_rootsentry_ref_selectorsentry_ref_non_route_onlyentry_ref_exclusion_statusentry_ref_exclusion_detailrs r build_summaryrsS!H ios:cggVgNhjmCnC)*o pE D( ww()$$ e, ssA& BS(B/E}&u-G LLr04|/C/\_H\.2l.B.[rOG[    ww{#)rTZ/0 WWW%GGFO777+,Acggfo->?ww34Cd $U|nBuSzl;&U<'U_%  /( R5S(DIQ4QSWXG)-L#9J1K#LLZ'9Z\^_K'(ABO-.ST#  77:    $O4R=R9R $ ) !5 !  #((#67>3?@""%&;"&??+CDEQ ??< = >a ??; < =  ? 8 % - U?3  VJ'  SY   %7!8   &'89V'W   23D 54   "#45N#O  ./@Af/g  &':  )*B  ,-G  ,-G  -koo>W.X! " ,[__=U-V# $ 5koo -7 % * 4[__ ,6 + 0/ 7 ]pZMs$NN<NN:)N"cddd|ddd|ddd|d d |d d |d d|dddj|jdxsgxsddd|jdd|jdd|jddd|dd|ddddg}|d D]}d!jd"|d#dd$D}d!j|jd%xsgxsd}|jd&|jd'd(|jd)d*|d+d,|d-d(|d(|d.d(|d/d(|d0d(|d1d(|d2|jdd3j|S)4Nz$# Save Selector Secondary Fill Rootsz- current root: `r`z- frontier reader: `rz,- roots with opcode-shaped secondary fills: rz- route-overlap roots: rz-- roots with fill-entry refs/branch targets: rqz;- route-overlap roots with fill-entry refs/branch targets: rrz- fill-entry ref selectors: `rrrz1- fill-entry refs restricted to non-route roots: rz- fill-entry ref exclusion: `rz` (r)z*- predecessor fill-entry candidate found: rrzs| group | slot | root | fills | route overlap | entry refs | root refs | branch targets | relevance | first fills |zC| ---: | ---: | --- | ---: | --- | ---: | ---: | ---: | --- | --- |r8, c3:K|]}d|dd|ddyw)rrL=rBNrrRitems rrTzmarkdown..*s)_dAd7m_Ad:.>-?qA_srKrlz| r_z | raz | `rjz` | rmrdrerfrz | )rrvrx)summarylinesrrKrs rmarkdownrs&. G$456a8 w':; 6w{7K6LM !'*A"B!CD 7@]8^7_` EgNwFxEyz '=Z1[1a_a(b(ifi'jjkl ;GKKHh:J$sS^O_N``cis3789456c#>^:_9``c#$%Sr 3   LL 99U r cdjd|dD}djdddd|dd |d d d |d d|dd|dddtjt|j ddtjdj|j dxsgxsdd|j dddtj|ddd|dg S) Nrc3K|]}d|jdd|jddtj|dd|ddtjdj|jd xsgxsd d|d d|d d|d dtj|dddjd|dddDdyw)zr_z razrjzrmrrlrrdrerfrc3K|]>}dtj|dzdztj|dzdz@yw)zrLrrBzN)htmlescapers rrTz&html_page...BsIOuyDKKW $>>Dt{{SWXbScGddgppOsAArKNrz )rvrrrrs rrTzhtml_page..7s<  www !wwv [[Y012; !{{499SWW->%?%E2FM#NOP+,-.45673456{{3/0123yyO~ABI~JKMLM~NOOPP sCCr8zVSave Selector Secondary Fill Rootszz+

Save Selector Secondary Fill Roots

z

Current root: rz ; frontier reader: rz

z#

Fill-entry refs/branch targets: rqz roots; route-overlap roots: rrz; predecessor candidate: rz.

z#

Fill-entry ref exclusion: rz; selectors rrrz; non-route only rz

rz

zz
groupslotrootfillsroute overlapentry refsroot refsbranch targetsrelevancefirst fills
)rrrstrrv)rr}s r html_pager6s 997# D 99b L5 !'*:";!<<\]dex]y\z{F G -g6S.T-UUrsz|etfsgg@AHImAn@oot u -dkk#gkkJm>n:o.p-qrKLPLWLWX[X`X`ahalalmJaKaQOQXRXYVYLZK[[st{tt@`tasbbg h dkk',/0 16 _    r c|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz'save_selector_secondary_fill_roots.jsonFrA) ensure_asciiindentrutf-8encoding'save_selector_secondary_fill_roots.html)mkdir write_textjsondumpsr)rout_dirs r write_outputsrTse MM$M. 88DD 7q9D@E 88DDYwEWbiDjr ctj}|jdttdz |jdtt dz |jdtt |j }t|jjtj|jjd}t||jt!d |jd z y) Nz--exez Hwanse2.exe)typedefaultz --selectorszsave_scene_selectors.jsonz --out-dirrrzwrote secondary fill roots -> r)argparseArgumentParser add_argumentrROOTOUT parse_argsrr* read_bytesrloadsr read_textrrprint)parserargsrs rmainr]s  $ $ &F dD=4HI  D#@[:[\  $<    D  4>>++W+=>G'4<<( *4<<:c+c*d efr __main__)rrPreturnr)r*bytesr+ list[dict]r,rPr int | None)r+rr-rPrr)r7rPr8z list[int]rztuple[int, int])rrPrz dict | None)r*rr+rr}rrdict)r*rrrrr)rrrr)rrrrrNone)rr)*__doc__ __future__rrrrr(syspathlibrpathinsertr__file__resolveparentprobe_exe_scene_tablesrr%summarize_save_selector_stream_tracesrrr rrrrrrrr#r.r5r:rIrrrrrr__name__rr rrsR" 3tH~--/6678>PP H~''* Ul R 4,Upl^B<k g zFr