Skip to content

SONARJAVA-5526 Copy the symbolic-execution-plugin to its own repository and make it build in the CI v3#13

Merged
alban-auzeill merged 3153 commits intomasterfrom
alban/import-sonar-java-v3
May 20, 2025
Merged

SONARJAVA-5526 Copy the symbolic-execution-plugin to its own repository and make it build in the CI v3#13
alban-auzeill merged 3153 commits intomasterfrom
alban/import-sonar-java-v3

Conversation

@alban-auzeill
Copy link
Copy Markdown
Member

@alban-auzeill alban-auzeill commented May 19, 2025

Angelo Buono and others added 30 commits March 11, 2024 15:57
…PatternTreeImpl (#4718)

* SONARJAVA-4909 Missing parentheses in the children() method of RecordPatternTreeImpl

* Also test `openParenToken` and `closeParenToken`

* Return `SyntaxToken` instead of `InternalSyntaxToken` in parentheses accessors
…ng (#4726)

* SONARJAVA-4826 S6880 Use switch instead of if else for pattern matching

* Prototype implementation of quickfix

* Refactor + Improve quickfix indents

* Test first 3 quickfixes

* More rigorous implementation without quickfix

* Make test cases follow the spec more closely

* Implement quickfix

* Add test for guards + Test first quickfix

* Don't generate guards for constant cases + add tests

* Fix bugs with constant cases + Refactor

* Add test

* Inline constant argument

* Handle non-block branches + add tests

* Add test

* Add tests

* Fix autoscan

* Apply requested changes

* Lift returns when possible

* Add test case

* Reformatting
VirtualThreads should be used for tasks that include heavy blocking operations.
…752)

Co-authored-by: Alban Auzeill <alban.auzeill@sonarsource.com>
Co-authored-by: Alban Auzeill <alban.auzeill@sonarsource.com>
@alban-auzeill alban-auzeill requested a review from a team May 19, 2025 08:03
@alban-auzeill alban-auzeill force-pushed the alban/import-sonar-java-v3 branch from 71fd405 to d8b5ce4 Compare May 19, 2025 09:39
@alban-auzeill alban-auzeill force-pushed the alban/import-sonar-java-v3 branch from d8b5ce4 to c516a56 Compare May 19, 2025 09:42
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed manually commits:
c516a56
cc7aed9
a013c60

Confirm files have all previous history
E.g. BooleanConstraint.java has the complete history up until 2012
(running git log --follow path/to/BooleanConstraint.java)

Note:
Files that were present both on sonar-java and on sonar-java-symbolic-execution repos
now on GitHub only show the sonar-java history
e.g https://github.com/SonarSource/sonar-java-symbolic-execution/commits/alban/import-sonar-java-v3/README.md
But locally, running git log --oneline ./README.md will also show the 2 commits that were present on master
in between (sorted by date) the sonar-java commits
I don't think this should stop us from merging the PR

@leonardo-pilastri-sonarsource leonardo-pilastri-sonarsource changed the base branch from master to lp/empty May 20, 2025 12:33
@leonardo-pilastri-sonarsource leonardo-pilastri-sonarsource changed the base branch from lp/empty to master May 20, 2025 12:54
@sonarqube-next
Copy link
Copy Markdown

@alban-auzeill alban-auzeill merged commit 65c0131 into master May 20, 2025
4 checks passed
@alban-auzeill alban-auzeill deleted the alban/import-sonar-java-v3 branch May 20, 2025 13:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.