Skip to content

abseil-cpp: fix stale-variable round-trip checks in string_escape_fuzzer - #16079

Open
JasonGross wants to merge 1 commit into
google:masterfrom
JasonGross:fix-string-escape-fuzzer-stale-vars
Open

JasonGross wants to merge 1 commit into
google:masterfrom
JasonGross:fix-string-escape-fuzzer-stale-vars

Conversation

@JasonGross

Copy link
Copy Markdown

The Base64 and hex round-trip checks compared variables not written by the transformation under test (unescaped instead of decoded, and decoded instead of bytes_result), and each was pinned true by the immediately preceding check, so neither abort() was reachable. Fixes #16078.

🤖 Generated with Claude Code

@google-cla

google-cla Bot commented Aug 30, 2026

Copy link
Copy Markdown

Thanks for your pull request! It looks like this may be your first contribution to a Google open source project. Before we can look at your pull request, you'll need to sign a Contributor License Agreement (CLA).

View this failed invocation of the CLA check for more information.

For the most up to date status, view the checks section at the bottom of the pull request.

@github-actions

Copy link
Copy Markdown

JasonGross is a new contributor to projects/abseil-cpp. The PR must be approved by known contributors before it can be merged. The past contributors are: hunsche, derekmauro, junyer, DonggeLiu, PiotrSikora, inferno-chromium, kabeer27

@JasonGross
JasonGross force-pushed the fix-string-escape-fuzzer-stale-vars branch from 0274ada to eab78f1 Compare August 30, 2026 05:29
The Base64 check compared unescaped (last written by the earlier CUnescape
round trip) instead of decoded, and the hex check compared decoded (last
written by the WebSafeBase64 round trip) instead of bytes_result. Both
comparisons were pinned true by the immediately preceding abort()-guarded
checks, so neither abort was reachable and the two round trips were
never verified.

Fixes google#16078.
@JasonGross
JasonGross force-pushed the fix-string-escape-fuzzer-stale-vars branch from eab78f1 to aac2aa2 Compare September 21, 2026 06:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

abseil's fuzzer asserts equality between the wrong variables

1 participant