René's URL Explorer Experiment


Title: Overflow in fuzzing #588 by Markoutte · Pull Request #604 · UnitTestBot/UTBotJava · GitHub

Open Graph Title: Overflow in fuzzing #588 by Markoutte · Pull Request #604 · UnitTestBot/UTBotJava

X Title: Overflow in fuzzing #588 by Markoutte · Pull Request #604 · UnitTestBot/UTBotJava

Description: Description Overflow occurs in randomizer when fuzzing tries to shuffle values for further processing. The solution is to divide PseudoShuffledIntProgression into parts which can be processed within range 0..Int.MAX_VALUE. It decreases level of how random combinations are, but this is a little trade-off between memory consumption and this level. Also, CombinationsKt is changed to process up to Long.MAX_VALUE combinations. Fixes #588 Type of Change Breaking change (fix or feature that would cause existing functionality to not work as expected) How Has This Been Tested? Automated Testing org.utbot.framework.plugin.api.CombinationsTest org.utbot.framework.plugin.api.FuzzerTest Manual Scenario Verify the origin problem from #588 Checklist: The change followed the style guidelines of the UTBot project Self-review of the code is passed The change contains enough commentaries, particularly in hard-to-understand areas New documentation is provided or existed one is altered No new warnings New tests have been added All tests pass locally with my changes

Open Graph Description: Description Overflow occurs in randomizer when fuzzing tries to shuffle values for further processing. The solution is to divide PseudoShuffledIntProgression into parts which can be processed withi...

X Description: Description Overflow occurs in randomizer when fuzzing tries to shuffle values for further processing. The solution is to divide PseudoShuffledIntProgression into parts which can be processed withi...

Opengraph URL: https://github.com/UnitTestBot/UTBotJava/pull/604

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:8da03d16-aff4-a223-2a57-6f8f95edeb2c
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idA64E:5F0D6:1170971:1611388:69917038
html-safe-nonce95d3f9159385fb337ed1b6a2d370be860f3632639be969538cc575680ff57b93
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBNjRFOjVGMEQ2OjExNzA5NzE6MTYxMTM4ODo2OTkxNzAzOCIsInZpc2l0b3JfaWQiOiI1MzU5OTQ1MDM0ODQ1MjIwOTIwIiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmac5157e648e8549b77c65eb93ebc332d19a067e4fdc8da086dfc3f171d59065471
hovercard-subject-tagpull_request:1010428283
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///pull_requests/show/files
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/UnitTestBot/UTBotJava/pull/604/files
twitter:imagehttps://avatars.githubusercontent.com/u/720952?s=400&v=4
twitter:cardsummary_large_image
og:imagehttps://avatars.githubusercontent.com/u/720952?s=400&v=4
og:image:altDescription Overflow occurs in randomizer when fuzzing tries to shuffle values for further processing. The solution is to divide PseudoShuffledIntProgression into parts which can be processed withi...
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None42c603b9d642c4a9065a51770f75e5e27132fef0e858607f5c9cb7e422831a7b
turbo-cache-controlno-preview
diff-viewunified
go-importgithub.com/UnitTestBot/UTBotJava git https://github.com/UnitTestBot/UTBotJava.git
octolytics-dimension-user_id87413538
octolytics-dimension-user_loginUnitTestBot
octolytics-dimension-repository_id480810501
octolytics-dimension-repository_nwoUnitTestBot/UTBotJava
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id480810501
octolytics-dimension-repository_network_root_nwoUnitTestBot/UTBotJava
turbo-body-classeslogged-out env-production page-responsive full-width
disable-turbotrue
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release848bc6032dcc93a9a7301dcc3f379a72ba13b96e
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/UnitTestBot/UTBotJava/pull/604/files#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F604%2Ffiles
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
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
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
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%2FUnitTestBot%2FUTBotJava%2Fpull%2F604%2Ffiles
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%2Ffiles&source=header-repo&source_repo=UnitTestBot%2FUTBotJava
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/604/files
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/604/files
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/604/files
UnitTestBot https://github.com/UnitTestBot
UTBotJavahttps://github.com/UnitTestBot/UTBotJava
Notifications https://github.com/login?return_to=%2FUnitTestBot%2FUTBotJava
Fork 45 https://github.com/login?return_to=%2FUnitTestBot%2FUTBotJava
Star 142 https://github.com/login?return_to=%2FUnitTestBot%2FUTBotJava
Code https://github.com/UnitTestBot/UTBotJava
Issues 386 https://github.com/UnitTestBot/UTBotJava/issues
Pull requests 33 https://github.com/UnitTestBot/UTBotJava/pulls
Discussions https://github.com/UnitTestBot/UTBotJava/discussions
Actions https://github.com/UnitTestBot/UTBotJava/actions
Projects 1 https://github.com/UnitTestBot/UTBotJava/projects
Wiki https://github.com/UnitTestBot/UTBotJava/wiki
Security 0 https://github.com/UnitTestBot/UTBotJava/security
Insights https://github.com/UnitTestBot/UTBotJava/pulse
Code https://github.com/UnitTestBot/UTBotJava
Issues https://github.com/UnitTestBot/UTBotJava/issues
Pull requests https://github.com/UnitTestBot/UTBotJava/pulls
Discussions https://github.com/UnitTestBot/UTBotJava/discussions
Actions https://github.com/UnitTestBot/UTBotJava/actions
Projects https://github.com/UnitTestBot/UTBotJava/projects
Wiki https://github.com/UnitTestBot/UTBotJava/wiki
Security https://github.com/UnitTestBot/UTBotJava/security
Insights https://github.com/UnitTestBot/UTBotJava/pulse
Sign up for GitHub https://github.com/signup?return_to=%2FUnitTestBot%2FUTBotJava%2Fissues%2Fnew%2Fchoose
terms of servicehttps://docs.github.com/terms
privacy statementhttps://docs.github.com/privacy
Sign inhttps://github.com/login?return_to=%2FUnitTestBot%2FUTBotJava%2Fissues%2Fnew%2Fchoose
Markouttehttps://github.com/Markoutte
mainhttps://github.com/UnitTestBot/UTBotJava/tree/main
pelevin/588_Overflow_in_fuzzinghttps://github.com/UnitTestBot/UTBotJava/tree/pelevin/588_Overflow_in_fuzzing
Conversation 2 https://github.com/UnitTestBot/UTBotJava/pull/604
Commits 2 https://github.com/UnitTestBot/UTBotJava/pull/604/commits
Checks 0 https://github.com/UnitTestBot/UTBotJava/pull/604/checks
Files changed https://github.com/UnitTestBot/UTBotJava/pull/604/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/604/files
Overflow in fuzzing #588 https://github.com/UnitTestBot/UTBotJava/pull/604/files#top
Show all changes 2 commits https://github.com/UnitTestBot/UTBotJava/pull/604/files
d21426f Overflow in fuzzing #588 Markoutte Jul 27, 2022 https://github.com/UnitTestBot/UTBotJava/pull/604/commits/d21426fca706d66f0d9ccc132a74d2ba5e83fd72
3351aaa Fix bug with overflow checking in Combinations Markoutte Jul 28, 2022 https://github.com/UnitTestBot/UTBotJava/pull/604/commits/3351aaa8c3d78808f76a50d22de4c58621b11a7c
Clear filters https://github.com/UnitTestBot/UTBotJava/pull/604/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/604/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/604/files
CartesianProduct.kt https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-060fe5727244ccffddeab01500efd8ee16947e872a794bddeac214efc71e263a
Combinations.kt https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-be57d172547e2f7bf7b2ef3b608b6ddbd276f7bb9c7ef34b14c3ba9884cbe030
Fuzzer.kt https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-cc5eda9c12327c4fc623d0b83609e3e18dfea4aa29fc7dbf355d505ab658fd62
ObjectModelProvider.kt https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-b5a9de00e3062ccca5542ecf728a101fbd4f89f91e45487d41d7dd8b62d2394f
CombinationsTest.kt https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-45f1318ea590c5c15e6b8d0129b315d95fc5d6b79240e047108a91a79ffc23ad
FuzzerTest.kt https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-79f9fbc1b4671b70aa43dd49280050ed13d1a9f0709659e6742024ae854d2850
utbot-fuzzers/src/main/kotlin/org/utbot/fuzzer/CartesianProduct.kthttps://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-060fe5727244ccffddeab01500efd8ee16947e872a794bddeac214efc71e263a
View file https://github.com/UnitTestBot/UTBotJava/blob/3351aaa8c3d78808f76a50d22de4c58621b11a7c/utbot-fuzzers/src/main/kotlin/org/utbot/fuzzer/CartesianProduct.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/604/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-060fe5727244ccffddeab01500efd8ee16947e872a794bddeac214efc71e263a
utbot-fuzzers/src/main/kotlin/org/utbot/fuzzer/Combinations.kthttps://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-be57d172547e2f7bf7b2ef3b608b6ddbd276f7bb9c7ef34b14c3ba9884cbe030
View file https://github.com/UnitTestBot/UTBotJava/blob/3351aaa8c3d78808f76a50d22de4c58621b11a7c/utbot-fuzzers/src/main/kotlin/org/utbot/fuzzer/Combinations.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/604/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-be57d172547e2f7bf7b2ef3b608b6ddbd276f7bb9c7ef34b14c3ba9884cbe030
https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-be57d172547e2f7bf7b2ef3b608b6ddbd276f7bb9c7ef34b14c3ba9884cbe030
https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-be57d172547e2f7bf7b2ef3b608b6ddbd276f7bb9c7ef34b14c3ba9884cbe030
utbot-fuzzers/src/main/kotlin/org/utbot/fuzzer/Fuzzer.kthttps://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-cc5eda9c12327c4fc623d0b83609e3e18dfea4aa29fc7dbf355d505ab658fd62
View file https://github.com/UnitTestBot/UTBotJava/blob/3351aaa8c3d78808f76a50d22de4c58621b11a7c/utbot-fuzzers/src/main/kotlin/org/utbot/fuzzer/Fuzzer.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/604/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-cc5eda9c12327c4fc623d0b83609e3e18dfea4aa29fc7dbf355d505ab658fd62
https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-cc5eda9c12327c4fc623d0b83609e3e18dfea4aa29fc7dbf355d505ab658fd62
utbot-fuzzers/src/main/kotlin/org/utbot/fuzzer/providers/ObjectModelProvider.kthttps://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-b5a9de00e3062ccca5542ecf728a101fbd4f89f91e45487d41d7dd8b62d2394f
View file https://github.com/UnitTestBot/UTBotJava/blob/3351aaa8c3d78808f76a50d22de4c58621b11a7c/utbot-fuzzers/src/main/kotlin/org/utbot/fuzzer/providers/ObjectModelProvider.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/604/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-b5a9de00e3062ccca5542ecf728a101fbd4f89f91e45487d41d7dd8b62d2394f
https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-b5a9de00e3062ccca5542ecf728a101fbd4f89f91e45487d41d7dd8b62d2394f
https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-b5a9de00e3062ccca5542ecf728a101fbd4f89f91e45487d41d7dd8b62d2394f
https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-b5a9de00e3062ccca5542ecf728a101fbd4f89f91e45487d41d7dd8b62d2394f
https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-b5a9de00e3062ccca5542ecf728a101fbd4f89f91e45487d41d7dd8b62d2394f
utbot-fuzzers/src/test/kotlin/org/utbot/framework/plugin/api/CombinationsTest.kthttps://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-45f1318ea590c5c15e6b8d0129b315d95fc5d6b79240e047108a91a79ffc23ad
View file https://github.com/UnitTestBot/UTBotJava/blob/3351aaa8c3d78808f76a50d22de4c58621b11a7c/utbot-fuzzers/src/test/kotlin/org/utbot/framework/plugin/api/CombinationsTest.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/604/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-45f1318ea590c5c15e6b8d0129b315d95fc5d6b79240e047108a91a79ffc23ad
https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-45f1318ea590c5c15e6b8d0129b315d95fc5d6b79240e047108a91a79ffc23ad
https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-45f1318ea590c5c15e6b8d0129b315d95fc5d6b79240e047108a91a79ffc23ad
https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-45f1318ea590c5c15e6b8d0129b315d95fc5d6b79240e047108a91a79ffc23ad
https://github.com/UnitTestBot/UTBotJava/pull/604/files#diff-45f1318ea590c5c15e6b8d0129b315d95fc5d6b79240e047108a91a79ffc23ad
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/604/files
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.