Comparing 6fcfc5b5e0...e499a93f1e - rea - Free-Git: DMCA Non-Compliant

morluto/rea

0 Fork 0

mirror of https://github.com/morluto/rea.git synced 2026-11-07 05:56:19 -10:00

Author	SHA1	Message	Date
Kaoru0822	e499a93f1e	Merge remote-tracking branch 'origin/main' into sweep/2828 # Conflicts: # bridge/ghidra/ReaGhidraBridge.java # scripts/verify-real-ghidra-swift.mjs	2026-10-15 07:15:07 +00:00
morluto	f1985d15fb	Merge branch 'main' into codex/review-2049-27f1b367	2026-10-14 03:08:33 +08:00
morluto	f531dd396c	Merge commit 'refs/codex/pr-refresh/main-20261014-phase2' into codex/pr-refresh-2828-20261014	2026-10-14 02:23:08 +08:00
morluto	ff48333a2b	chore: sync latest main into PR #2828	2026-10-14 02:07:02 +08:00
morluto	7fb429ac6d	style: format identity comparison and IDA runner	2026-10-14 01:01:46 +08:00
Lucienandmorluto	f099269345	fix(comparison): recheck historical calls-only changes (#2223 ) * fix(comparison): preserve incomplete function call evidence Keep missing, unknown, partial and unresolved call relationships unknown in function comparisons and reconstruction claims. Aggregate IDA caller and callee coverage without overwriting uncertainty. Validate with 144 focused tests, typecheck/lint, docs checks and test discovery. Real providers were not verified; the full headless IDA session suite requires unavailable Windows native controls. * fix(comparison): recheck historical calls-only changes --------- Co-authored-by: morluto <[email protected]>	2026-10-14 01:01:43 +08:00
REA Maintenance	44253633d5	fix(ci): isolate Linux Hopper process fixture inventory	2026-10-14 01:01:43 +08:00
morluto	cb6e296834	fix(android): make DEX descriptor pattern portable	2026-10-14 01:01:43 +08:00
morluto	1e96613e9e	fix(ghidra): supervise Swift probes and cover retained text capacity	2026-10-13 22:57:42 +08:00
morluto	b475d35e97	chore: sync captured main into Swift decoder follow-up	2026-10-13 21:59:40 +08:00
morluto	27f1b367b9	test(ghidra): cover Swift decoder rejection and capacity branches	2026-10-13 21:39:11 +08:00
morluto	f8f18e0bc7	fix(ghidra): keep unresolved Swift tail-call sites unknown	2026-10-13 20:28:58 +08:00
morluto	d3ba7243d7	fix(ghidra): preserve Swift literal provenance and partial coverage	2026-10-13 20:27:37 +08:00
Omisakin Joshua	59be5357df	fix(ghidra): stop every flow at the literal budget and route omissions Ending one flow from the evaluator leaves other queued flows running, so the budget now records a shared stop that every flow checks before it examines another instruction. A record that exceeds the budget is routed by that capacity result rather than by whether text was decoded, so a small literal over budget becomes an omission instead of a literal. When coverage is partial, the per site comparison keeps each literal's representation as well as its value, matching the full strings_names projection.	2026-10-12 12:07:40 +01:00
Omisakin Joshua	560257b00e	fix(ghidra): bound literal records and trace selects across branches Every Swift literal record now pays a fixed cost against the dossier budget in addition to its text, so many empty or small literals are bounded as well. The first record that does not fit is kept as an omission and decoding stops there, which keeps the omission record itself bounded; omissions now describe small or large literals. The conditional select check searches every predecessor path for the reaching definitions, following register copies, so selects made before a branch into the use block are recognized. A dossier records Swift literals and their omissions together. Coverage reads omissions first, and strings_names compares every use site that neither side omitted: a decoded literal is known where it was recorded, and an absence is known only in a dossier whose decoding examined every use site.	2026-10-12 11:40:02 +01:00
Omisakin Joshua	d5b2edc217	fix(ghidra): charge escaped JSON and follow copied selects The Swift literal budget now charges the worst case per UTF-8 byte: UTF-16 text, six escaped JSON characters held in Gson's growing buffer and in the returned String, and the UTF-8 bytes written to the socket. Literals made of control characters can no longer exceed the reserved heap. A jump counts as a tail call only when every resolved target lies outside the function. The conditional select check follows register copies back to their definition, so selects copied into argument registers are recognized like selects written there directly. strings_names reports a change when both dossiers decoded different literals at the same use site, even when either side has omissions; it returns unknown only when no such use site disagrees.	2026-10-12 11:02:23 +01:00
Omisakin Joshua	facd58973a	fix(ghidra): budget Swift literal decoding and tighten use sites Large literals now draw on one heap budget per dossier, measured once before decoding, instead of a separate check per literal. A literal that does not fit is listed in a new swift_string_literal_omissions field with its address, byte length and reason, so consumers read omissions from structured data rather than from limitation text. strings_names comparison checks referenced strings and names first and reports a change there even when Swift literal coverage differs; it returns unknown only when those facts match and literal coverage is absent on one side or partial. A computed jump counts as a tail call only when it has no resolved target inside the function, so jump tables no longer qualify, and a return requires a RETURN p-code operation, so traps no longer qualify. Decoded literals keep control characters, which Swift strings may contain and JSON escapes. The Swift verifier builds the literal fixture for arm64 on any Mac host and now also covers the empty string and a literal containing a tab.	2026-10-12 10:42:03 +01:00
Cursor Agent	702dc9f932	fix(ghidra): bound Swift literal reads and compare decoded strings Large immortal literals are measured against the remaining heap before allocation, and a failed fit stays visible as a limitation. The canonical empty string is kept. Small and large literals now require matching address nullability, and function comparison treats decoded literals as string evidence without equating a missing record to an empty one.	2026-10-12 05:04:18 +00:00
Omisakin Joshua	2f89a1b5c0	feat(ghidra): decode Swift String literals in function dossiers Swift passes a String as two words. Small literals keep their UTF-8 bytes inside those words, and immortal large literals keep a count plus a pointer to their bytes biased by 32. Ghidra creates no data reference for either, so analyze_function reported no strings for Swift code. On AArch64 programs that contain Swift metadata, the Ghidra bridge now runs constant propagation over the function and decodes register pairs where Swift consumes a String: consecutive argument registers at calls and tail calls, x0 and x1 at returns, and both registers of one STP. Large literals must resolve to terminated bytes inside one initialized block that is not executable. A pair whose registers both come from conditional selects is skipped, because Ghidra forks each select without correlating the condition and could otherwise pair words from different cases. Decoded values are a derivation from the ABI layout rather than observed references, so they appear in a new optional swift_string_literals field with their source instruction, registers and raw words, and in a matching inspect_analysis_view facet. referenced_strings is unchanged. Refs #2030	2026-10-12 05:20:08 +01:00

Diff Content Not Available