Title: Update Soot and choose an analyzable JRE #373 by sergeypospelov · Pull Request #890 · UnitTestBot/UTBotJava · GitHub
Open Graph Title: Update Soot and choose an analyzable JRE #373 by sergeypospelov · Pull Request #890 · UnitTestBot/UTBotJava
X Title: Update Soot and choose an analyzable JRE #373 by sergeypospelov · Pull Request #890 · UnitTestBot/UTBotJava
Description: Description Synced up our Soot-fork with the main Soot branch. Patched Soot to add the ability to choose an analyzable JDK. See this: UnitTestBot/soot#4 Reverted an internal Soot fix, because it had been producing unnecessary casts and our tests had failed. Added jdkInfo field in the TestCaseGenerator for providing an analyzable JDK. Added tests for checking the Soot's behavior on different JDKs, but they are disabled now, as our runner doesn't provide different JDKs. See #891. Also found an internal Soot bug which affects us too: soot-oss/soot#1360. Please note, that Soot slightly changed public API: stmt.rightBox.value to stmt.rightOp Fixes #373 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 Added new tests, but they are disabled right now. Other unit-tests successfully pass. Manual Scenario To reproduce section from #373 passes. Checklist (remove irrelevant options): 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 Synced up our Soot-fork with the main Soot branch. Patched Soot to add the ability to choose an analyzable JDK. See this: UnitTestBot/soot#4 Reverted an internal Soot fix, because it h...
X Description: Description Synced up our Soot-fork with the main Soot branch. Patched Soot to add the ability to choose an analyzable JDK. See this: UnitTestBot/soot#4 Reverted an internal Soot fix, because it h...
Opengraph URL: https://github.com/UnitTestBot/UTBotJava/pull/890
X: @github
Domain: github.com
| route-pattern | /:user_id/:repository/pull/:id/checks(.:format) |
| route-controller | pull_requests |
| route-action | checks |
| fetch-nonce | v2:b601f9c2-cdb5-12ed-2f1a-8fcdba64473f |
| current-catalog-service-hash | 87dc3bc62d9b466312751bfd5f889726f4f1337bdff4e8be7da7c93d6c00a25a |
| request-id | 909C:78277:347D9B:43AF7E:698EA215 |
| html-safe-nonce | badd0bc58d56ea4c2866f595e6a6ba8c0ca872cbd2cfc41c4869078131e37016 |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI5MDlDOjc4Mjc3OjM0N0Q5Qjo0M0FGN0U6Njk4RUEyMTUiLCJ2aXNpdG9yX2lkIjoiMzk5ODE5Mzc5MzU4MDgzNTM0OSIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9 |
| visitor-hmac | bf99b25e8c151567c155aaa1f5c4c77f0adfa9d579d7fff949cc287c2113ca03 |
| hovercard-subject-tag | pull_request:1051293843 |
| github-keyboard-shortcuts | repository,pull-request-list,pull-request-conversation,pull-request-files-changed,checks,copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| analytics-location | / |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/UnitTestBot/UTBotJava/pull/890/checks |
| twitter:image | https://avatars.githubusercontent.com/u/30112817?s=400&v=4 |
| twitter:card | summary_large_image |
| og:image | https://avatars.githubusercontent.com/u/30112817?s=400&v=4 |
| og:image:alt | Description Synced up our Soot-fork with the main Soot branch. Patched Soot to add the ability to choose an analyzable JDK. See this: UnitTestBot/soot#4 Reverted an internal Soot fix, because it h... |
| og:site_name | GitHub |
| og:type | object |
| hostname | github.com |
| expected-hostname | github.com |
| None | cb2828a801ee6b7be618f3ac76fbf55def35bbc30f053a9c41bf90210b8b72ba |
| turbo-cache-control | no-preview |
| go-import | github.com/UnitTestBot/UTBotJava git https://github.com/UnitTestBot/UTBotJava.git |
| octolytics-dimension-user_id | 87413538 |
| octolytics-dimension-user_login | UnitTestBot |
| octolytics-dimension-repository_id | 480810501 |
| octolytics-dimension-repository_nwo | UnitTestBot/UTBotJava |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | false |
| octolytics-dimension-repository_network_root_id | 480810501 |
| octolytics-dimension-repository_network_root_nwo | UnitTestBot/UTBotJava |
| turbo-body-classes | logged-out env-production page-responsive full-width full-width-p-0 |
| disable-turbo | false |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | e6b91a7e6e46287d26887e3fb7a4161657bab8f7 |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
Links:
Viewport: width=device-width