René's URL Explorer Experiment


Title: Add check: invalidPointerOverlapTest for unsafe pointer overflow comparison by tmleman · Pull Request #8620 · cppcheck-opensource/cppcheck · GitHub

Open Graph Title: Add check: invalidPointerOverlapTest for unsafe pointer overflow comparison by tmleman · Pull Request #8620 · cppcheck-opensource/cppcheck

X Title: Add check: invalidPointerOverlapTest for unsafe pointer overflow comparison by tmleman · Pull Request #8620 · cppcheck-opensource/cppcheck

Description: static analysis of C/C++ code. Contribute to cppcheck-opensource/cppcheck development by creating an account on GitHub.

Open Graph Description: Add a new inconclusive warning that detects the pointer overlap idiom p1 >= p2 && p1 < p2 + n (or its mirror / cast variants) where p1 and p2 are distinct pointers and n is an...

X Description: Add a new inconclusive warning that detects the pointer overlap idiom p1 &gt;= p2 &amp;&amp; p1 &lt; p2 + n (or its mirror / cast variants) where p1 and p2 are distinct poin...

Opengraph URL: https://github.com/cppcheck-opensource/cppcheck/pull/8620

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/checks(.:format)
route-controllerpull_requests
route-actionchecks
fetch-noncev2:9795ca20-73c6-57f5-5cc5-5307aa4405e1
current-catalog-service-hash87dc3bc62d9b466312751bfd5f889726f4f1337bdff4e8be7da7c93d6c00a25a
request-idC0A0:FD8C5:374F64:4AE50E:6A4D9EBA
html-safe-nonce32ac9452bc2d665978c2314ab52d7d35d00abd32e88ed6b2af4583162c003bfb
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJDMEEwOkZEOEM1OjM3NEY2NDo0QUU1MEU6NkE0RDlFQkEiLCJ2aXNpdG9yX2lkIjoiNjg1MzM2NjcwNjI2MzEzNzk3OCIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac4bcd6c89eaf12e9d03ff2059be8e1529c2df55415dec230f6852684eab4bf5ed
hovercard-subject-tagpull_request:3790301878
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,checks,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///pull_requests/show/checks
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/cppcheck-opensource/cppcheck/pull/8620/checks
twitter:imagehttps://opengraph.githubassets.com/9a6182cec9b542c0c43ca7b1be005bc25c3415dc9df080c8001248cc24bc0e54/cppcheck-opensource/cppcheck/pull/8620
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/9a6182cec9b542c0c43ca7b1be005bc25c3415dc9df080c8001248cc24bc0e54/cppcheck-opensource/cppcheck/pull/8620
og:image:altAdd a new inconclusive warning that detects the pointer overlap idiom p1 >= p2 && p1 < p2 + n (or its mirror / cast variants) where p1 and p2 are distinct pointers and n is an...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernametmleman
hostnamegithub.com
expected-hostnamegithub.com
None06b8a6144231bf3a234f1c2e9993861e07ce98a905912b114aa386c2d7e84b33
turbo-cache-controlno-cache
go-importgithub.com/cppcheck-opensource/cppcheck git https://github.com/cppcheck-opensource/cppcheck.git
octolytics-dimension-user_id278097703
octolytics-dimension-user_logincppcheck-opensource
octolytics-dimension-repository_id143131
octolytics-dimension-repository_nwocppcheck-opensource/cppcheck
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id143131
octolytics-dimension-repository_network_root_nwocppcheck-opensource/cppcheck
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release7f13faa65cccc9b729d674da83335d5dcfdfd193
ui-targetcanary-1
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/cppcheck-opensource/cppcheck/pull/8620/checks#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fcppcheck-opensource%2Fcppcheck%2Fpull%2F8620%2Fchecks
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub Copilot appDirect agents from issue to mergehttps://github.com/features/ai/github-app
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
View all resourceshttps://github.com/resources
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
GitHub Starshttps://stars.github.com
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fcppcheck-opensource%2Fcppcheck%2Fpull%2F8620%2Fchecks
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fpull_requests%2Fshow%2Fchecks&source=header-repo&source_repo=cppcheck-opensource%2Fcppcheck
Reloadhttps://github.com/cppcheck-opensource/cppcheck/pull/8620/checks
Reloadhttps://github.com/cppcheck-opensource/cppcheck/pull/8620/checks
Reloadhttps://github.com/cppcheck-opensource/cppcheck/pull/8620/checks
Please reload this pagehttps://github.com/cppcheck-opensource/cppcheck/pull/8620/checks
cppcheck-opensource https://github.com/cppcheck-opensource
cppcheckhttps://github.com/cppcheck-opensource/cppcheck
Notifications https://github.com/login?return_to=%2Fcppcheck-opensource%2Fcppcheck
Fork 1.6k https://github.com/login?return_to=%2Fcppcheck-opensource%2Fcppcheck
Star 6.7k https://github.com/login?return_to=%2Fcppcheck-opensource%2Fcppcheck
Code https://github.com/cppcheck-opensource/cppcheck
Pull requests 206 https://github.com/cppcheck-opensource/cppcheck/pulls
Actions https://github.com/cppcheck-opensource/cppcheck/actions
Security and quality 0 https://github.com/cppcheck-opensource/cppcheck/security
Insights https://github.com/cppcheck-opensource/cppcheck/pulse
Code https://github.com/cppcheck-opensource/cppcheck
Pull requests https://github.com/cppcheck-opensource/cppcheck/pulls
Actions https://github.com/cppcheck-opensource/cppcheck/actions
Security and quality https://github.com/cppcheck-opensource/cppcheck/security
Insights https://github.com/cppcheck-opensource/cppcheck/pulse
tmlemanhttps://github.com/tmleman
cppcheck-opensource:mainhttps://github.com/cppcheck-opensource/cppcheck/tree/main
tmleman:topic/checkcondition/new/pointer_overflowhttps://github.com/tmleman/cppcheck/tree/topic/checkcondition/new/pointer_overflow
Conversationhttps://github.com/cppcheck-opensource/cppcheck/pull/8620
Commits1 (1)https://github.com/cppcheck-opensource/cppcheck/pull/8620/commits
Checkshttps://github.com/cppcheck-opensource/cppcheck/pull/8620/checks
Files changedhttps://github.com/cppcheck-opensource/cppcheck/pull/8620/files
Add check: invalidPointerOverlapTest for unsafe pointer overflow comparisonhttps://github.com/cppcheck-opensource/cppcheck/pull/8620/checks#top
tmlemanhttps://github.com/tmleman
cppcheck-opensource:mainhttps://github.com/cppcheck-opensource/cppcheck/tree/main
tmleman:topic/checkcondition/new/pointer_overflowhttps://github.com/tmleman/cppcheck/tree/topic/checkcondition/new/pointer_overflow
Please reload this pagehttps://github.com/cppcheck-opensource/cppcheck/pull/8620/checks
Sign in for the full log viewhttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fcppcheck-opensource%2Fcppcheck%2Fpull%2F8620%2Fchecks
release-windows-mingw on: pull_request https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044199
build_mingw (windows-2025) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044199/job/80051097552?pr=8620
scriptcheck on: pull_request https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044194
build https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044194/job/80051099106?pr=8620
dmake (ubuntu-22.04) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044194/job/80051099196?pr=8620
dmake (macos-15) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044194/job/80051099073?pr=8620
dmake (windows-2025) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044194/job/80051099057?pr=8620
scriptcheck (3.7) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044194/job/80051328296?pr=8620
scriptcheck (3.8) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044194/job/80051328311?pr=8620
scriptcheck (3.9) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044194/job/80051328356?pr=8620
scriptcheck (3.10) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044194/job/80051328342?pr=8620
scriptcheck (3.11) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044194/job/80051328379?pr=8620
scriptcheck (3.12) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044194/job/80051328371?pr=8620
scriptcheck (3.13) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044194/job/80051328440?pr=8620
scriptcheck (3.14) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044194/job/80051328332?pr=8620
CI-mingw on: pull_request https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044192
build_mingw (windows-2025) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044192/job/80051098877?pr=8620
CodeQL on: pull_request https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044221
Analyze (cpp) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044221/job/80051097805?pr=8620
Analyze (python) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044221/job/80051097816?pr=8620
cppcheck-premium on: pull_request https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044257
build https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044257/job/80051097908?pr=8620
selfcheck on: pull_request https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044235
build https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044235/job/80051101490?pr=8620
CI-unixish on: pull_request https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247
build_cmake_tinyxml2 (ubuntu-22.04) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247/job/80051098189?pr=8620
build_cmake_tinyxml2 (macos-15) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247/job/80051098232?pr=8620
build_cmake (ubuntu-22.04) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247/job/80051098198?pr=8620
build_cmake (macos-15) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247/job/80051098188?pr=8620
build_cmake_cxxstd (ubuntu-22.04, 14) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247/job/80051098305?pr=8620
build_cmake_cxxstd (ubuntu-22.04, 17) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247/job/80051098325?pr=8620
build_cmake_cxxstd (ubuntu-22.04, 20) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247/job/80051098256?pr=8620
build_cmake_cxxstd (macos-15, 14) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247/job/80051098273?pr=8620
build_cmake_cxxstd (macos-15, 17) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247/job/80051098418?pr=8620
build_uchar (ubuntu-22.04) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247/job/80051098181?pr=8620
build_uchar (macos-15) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247/job/80051098225?pr=8620
build_mathlib (ubuntu-22.04) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247/job/80051098190?pr=8620
build_mathlib (macos-15) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247/job/80051098144?pr=8620
check_nonneg (ubuntu-22.04) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247/job/80051098310?pr=8620
check_nonneg (macos-15) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247/job/80051098234?pr=8620
build_cmake_boost (macos-15) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247/job/80051098123?pr=8620
build_cmake_minimum https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247/job/80051098314?pr=8620
build (ubuntu-22.04) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247/job/80051098336?pr=8620
build (macos-15) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247/job/80051098265?pr=8620
selfcheck https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044247/job/80053740066?pr=8620
Build manual on: pull_request https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044258
convert_via_pandoc https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044258/job/80051098771?pr=8620
manpage https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044258/job/80051098930?pr=8620
valgrind on: pull_request https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044267
build https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044267/job/80051100643?pr=8620
CIFuzz on: pull_request https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044285
Fuzzing https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044285/job/80051099553?pr=8620
sanitizers on: pull_request https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044290
build (asan, -DANALYZE_ADDRESS=On, true, process, false) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044290/job/80051101472?pr=8620
build (tsan, -DANALYZE_THREAD=On, false, thread, false, --executor=thread --error-exitcode=0) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044290/job/80051101493?pr=8620
build (ubsan, -DANALYZE_UNDEFINED=On, true, process, true) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044290/job/80051101509?pr=8620
CI-cygwin on: pull_request https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044297
build_cygwin (windows-2025, x86_64) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044297/job/80051100736?pr=8620
Coverage on: pull_request https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044293
build https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044293/job/80051101466?pr=8620
format on: pull_request https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044309
build https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044309/job/80051103398?pr=8620
CI-windows on: pull_request https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044339
build_qt (windows-2022, 6.10.0) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044339/job/80051102170?pr=8620
build_qt (windows-2025, 6.10.0) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044339/job/80051102157?pr=8620
build_cmake_cxxstd (windows-2022, 14) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044339/job/80051102132?pr=8620
build_cmake_cxxstd (windows-2022, 17) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044339/job/80051102146?pr=8620
build_cmake_cxxstd (windows-2022, 20) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044339/job/80051102244?pr=8620
build_cmake_cxxstd (windows-2025, 14) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044339/job/80051102200?pr=8620
build_cmake_cxxstd (windows-2025, 17) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044339/job/80051102167?pr=8620
build_cmake_cxxstd (windows-2025, 20) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044339/job/80051102198?pr=8620
build_cmake_minimum https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044339/job/80051102106?pr=8620
build (windows-2022, debug) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044339/job/80051102208?pr=8620
build (windows-2022, release) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044339/job/80051102245?pr=8620
build (windows-2025, debug) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044339/job/80051102150?pr=8620
build (windows-2025, release) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044339/job/80051102120?pr=8620
CI-unixish-docker on: pull_request https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044532
build_cmake (ubuntu:24.04, true, true) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044532/job/80051103693?pr=8620
build_cmake (ubuntu:25.10, true, true) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044532/job/80051103765?pr=8620
build_cmake (alpine:3.23, false, false) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044532/job/80051103683?pr=8620
build_make (ubuntu:24.04) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044532/job/80051103711?pr=8620
build_make (ubuntu:25.10) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044532/job/80051103684?pr=8620
build_make (alpine:3.23) https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044532/job/80051103663?pr=8620
clang-tidy on: pull_request https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044558
build https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044558/job/80051104124?pr=8620
CodeQL https://github.com/cppcheck-opensource/cppcheck/pull/8620/checks?check_run_id=80051249650
Cppcheck Premium https://github.com/cppcheck-opensource/cppcheck/pull/8620/checks?check_run_id=80051403471
Complete job https://github.com/cppcheck-opensource/cppcheck/pull/8620/checks#annotation:13:2
https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
https://github.com/cppcheck-opensource/cppcheck/actions/runs/26846044199/job/80051097552
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.