GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — Fix unsigned underflow in SimpleString::subString() on empty strings by 94xhn · Pull Request #1889 · cpputest/cpputest

Conversation

@94xhn

@94xhn 94xhn commented Jul 14, 2026

Copy link
Copy Markdown
Contributor

SimpleString::subString(size_t beginPos, size_t amount) rejects an out-of-range beginPos with:

if (beginPos > size()-1) return "";

size() returns size_t (unsigned). When called on an empty string, size() is 0, so size()-1 underflows to SIZE_MAX. The check beginPos > SIZE_MAX is then false for essentially any beginPos, so the bounds check is silently defeated and the function falls through to:

SimpleString newString = getBuffer() + beginPos;

which reads out of bounds of the (1-byte, null-terminator-only) buffer of an empty SimpleString.

Repro (confirmed with a guard-page allocator that places an empty SimpleString's buffer directly against a PAGE_NOACCESS page):

SimpleString empty("");
SimpleString result = empty.subString(1, 1); // reads 1 byte past the buffer

This reliably crashes before the fix and returns "" after it.

Fix: change the check to beginPos >= size(), which is mathematically identical to the original for every size() >= 1 (so every existing non-empty-string call site is byte-for-byte unaffected) but no longer underflows when size() == 0.

Verified:

  • Compiled a minimal repro harness against the unmodified sources: empty.subString(1, 1) segfaults before the fix.
  • Recompiled the same harness against the fixed source: no crash, subString(1, 1) on an empty string correctly returns "".
  • Rebuilt and ran the existing SimpleString test group (AllTests -g SimpleString, 130 tests / 238 checks) against both the original and fixed source — identical OK results before and after, so this is a pure bug fix with no behavior change for any existing test or non-empty-string caller.

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.

All reactions
@94xhn
Fix unsigned underflow in SimpleString::subString() on empty strings
a145022
subString(beginPos, amount) rejected out-of-range beginPos with
`if (beginPos > size()-1) return "";`. Since size() returns size_t,
calling this on an empty string (size() == 0) makes size()-1 wrap
around to SIZE_MAX, so the bounds check is defeated for any beginPos
and the function falls through to an out-of-bounds read of the
string's internal buffer.

Use `beginPos >= size()` instead, which is mathematically equivalent
to the original check for every size() >= 1 and additionally handles
size() == 0 correctly.
@basvodde

basvodde commented Jul 30, 2026

Copy link
Copy Markdown
Member

Thanks!

All reactions

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.

@basvodde
basvodde merged commit a5270d6 into cpputest:master Jul 30, 2026
30 of 65 checks passed

Uh oh!

There was an error while loading. Please reload this page.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Uh oh!

There was an error while loading. Please reload this page.

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Uh oh!

There was an error while loading. Please reload this page.

2 participants

@94xhn @basvodde
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.