Update Soot and choose an analyzable JRE #373

[sergeypospelov]

Description

• Synced up our Soot-fork with the main Soot branch.
• Patched Soot to add the ability to choose an analyzable JDK. See this: Choose analyzable JRE 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 Provide a build pipeline with different available JDKs #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

[SBOne-Kenobi]

LGTM, waiting for tests ;)

[dtim]

LGTM