Bump wala.version from 1.7.2 to 1.8.0 by dependabot[bot] · Pull Request #301 · secure-software-engineering/Boomerang

dependabot · 2026-07-06T04:08:25Z

Bumps wala.version from 1.7.2 to 1.8.0.
Updates com.ibm.wala:com.ibm.wala.core from 1.7.2 to 1.8.0

Release notes

Sourced from com.ibm.wala:com.ibm.wala.core's releases.

Release 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

Require Java 17+ across all of WALA by @liblit in #1904

perf(dominators): empty bucket while iterating in step 2 by @toxamin in #1897

Gate PropagationSystem's implicit-key debug dump under DEBUG by @khatchad in #1934

Deprecate the unused options parameter on Language.getFakeRootMethod by @khatchad in #1933

Convert many classes to Java 16+ records by @liblit in #1932

Deprecate Iterator2List and Iterator2Set by @liblit in #1950

Register summary-modeled class shells before CHA build (#1957) by @khatchad in #1958

Expose a summary class shell's own methods by @khatchad in #1962

Fix Language/JavaLanguage initialization deadlock by @liblit in #1966

Keep summary parameter names that begin with "arg" by @khatchad in #1972

Full Changelog: v1.7.2...v1.8.0

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

Guava (com.google.guava:guava) is now declared as an implementation-scope dependency in the :core and :util subprojects.

Effect for third-party consumers: The :core and :util modules now receive Guava on their runtime classpaths. This is the same Guava dependency already used by the :cast, :dalvik, and :scandroid modules.

JSpecify 1.0.0 promoted to api scope project-wide

JSpecify (org.jspecify:jspecify:1.0.0) is now declared as an api-scope (transitive) dependency in every WALA subproject that exports annotated APIs: :cast, :cast:java:ecj, :cast:js, :cast:js:html:nu_validator, :cast:js:nodejs, :cast:js:rhino, :core, :dalvik, :ide, :ide:jdt, :scandroid, and :shrike. In :ide the dependency was also promoted from

... (truncated)

Changelog

Sourced from com.ibm.wala:com.ibm.wala.core's changelog.

Version 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

Require Java 17+ across all of WALA by @liblit in #1904

perf(dominators): empty bucket while iterating in step 2 by @toxamin in #1897

Gate PropagationSystem's implicit-key debug dump under DEBUG by @khatchad in #1934

Deprecate the unused options parameter on Language.getFakeRootMethod by @khatchad in #1933

Convert many classes to Java 16+ records by @liblit in #1932

Deprecate Iterator2List and Iterator2Set by @liblit in #1950

Register summary-modeled class shells before CHA build (#1957) by @khatchad in #1958

Expose a summary class shell's own methods by @khatchad in #1962

Fix Language/JavaLanguage initialization deadlock by @liblit in #1966

Keep summary parameter names that begin with "arg" by @khatchad in #1972

Full Changelog: v1.7.2...v1.8.0

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

Guava (com.google.guava:guava) is now declared as an implementation-scope dependency in the :core and :util subprojects.

Effect for third-party consumers: The :core and :util modules now receive Guava on their runtime classpaths. This is the same Guava dependency already used by the :cast, :dalvik, and :scandroid modules.

JSpecify 1.0.0 promoted to api scope project-wide

JSpecify (org.jspecify:jspecify:1.0.0) is now declared as an api-scope (transitive) dependency in every WALA subproject that exports annotated APIs: :cast, :cast:java:ecj, :cast:js, :cast:js:html:nu_validator, :cast:js:nodejs, :cast:js:rhino, :core, :dalvik, :ide, :ide:jdt,

... (truncated)

Commits

3ceaa93 Prepare for release 1.8.0.
d76b6fe Bump codecov/codecov-action to v7 (#1983)
9173283 Update release notes file for 1.8.0 (#1982)
878a5aa Keep summary parameter names that begin with "arg" (#1972)
37fdec1 Suppress a warning about Collection equality (#1978)
301178b Avoid java.util.Date (#1977)
04d12eb Remove unused Properties instance (#1976)
0c16368 Be explicit about a do-nothing switch case (#1975)
1513547 Allow inconsistent parameter names in an override (#1973)
94f9035 Allow a type parameter that is unused in formals (#1974)
Additional commits viewable in compare view

Updates com.ibm.wala:com.ibm.wala.cast from 1.7.2 to 1.8.0

Release notes

Sourced from com.ibm.wala:com.ibm.wala.cast's releases.

Release 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

Require Java 17+ across all of WALA by @liblit in #1904

perf(dominators): empty bucket while iterating in step 2 by @toxamin in #1897

Gate PropagationSystem's implicit-key debug dump under DEBUG by @khatchad in #1934

Deprecate the unused options parameter on Language.getFakeRootMethod by @khatchad in #1933

Convert many classes to Java 16+ records by @liblit in #1932

Deprecate Iterator2List and Iterator2Set by @liblit in #1950

Register summary-modeled class shells before CHA build (#1957) by @khatchad in #1958

Expose a summary class shell's own methods by @khatchad in #1962

Fix Language/JavaLanguage initialization deadlock by @liblit in #1966

Keep summary parameter names that begin with "arg" by @khatchad in #1972

Full Changelog: v1.7.2...v1.8.0

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

Guava (com.google.guava:guava) is now declared as an implementation-scope dependency in the :core and :util subprojects.

Effect for third-party consumers: The :core and :util modules now receive Guava on their runtime classpaths. This is the same Guava dependency already used by the :cast, :dalvik, and :scandroid modules.

JSpecify 1.0.0 promoted to api scope project-wide

JSpecify (org.jspecify:jspecify:1.0.0) is now declared as an api-scope (transitive) dependency in every WALA subproject that exports annotated APIs: :cast, :cast:java:ecj, :cast:js, :cast:js:html:nu_validator, :cast:js:nodejs, :cast:js:rhino, :core, :dalvik, :ide, :ide:jdt, :scandroid, and :shrike. In :ide the dependency was also promoted from

... (truncated)

Changelog

Sourced from com.ibm.wala:com.ibm.wala.cast's changelog.

Version 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

Require Java 17+ across all of WALA by @liblit in #1904

perf(dominators): empty bucket while iterating in step 2 by @toxamin in #1897

Gate PropagationSystem's implicit-key debug dump under DEBUG by @khatchad in #1934

Deprecate the unused options parameter on Language.getFakeRootMethod by @khatchad in #1933

Convert many classes to Java 16+ records by @liblit in #1932

Deprecate Iterator2List and Iterator2Set by @liblit in #1950

Register summary-modeled class shells before CHA build (#1957) by @khatchad in #1958

Expose a summary class shell's own methods by @khatchad in #1962

Fix Language/JavaLanguage initialization deadlock by @liblit in #1966

Keep summary parameter names that begin with "arg" by @khatchad in #1972

Full Changelog: v1.7.2...v1.8.0

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

Guava (com.google.guava:guava) is now declared as an implementation-scope dependency in the :core and :util subprojects.

Effect for third-party consumers: The :core and :util modules now receive Guava on their runtime classpaths. This is the same Guava dependency already used by the :cast, :dalvik, and :scandroid modules.

JSpecify 1.0.0 promoted to api scope project-wide

JSpecify (org.jspecify:jspecify:1.0.0) is now declared as an api-scope (transitive) dependency in every WALA subproject that exports annotated APIs: :cast, :cast:java:ecj, :cast:js, :cast:js:html:nu_validator, :cast:js:nodejs, :cast:js:rhino, :core, :dalvik, :ide, :ide:jdt,

... (truncated)

Commits

3ceaa93 Prepare for release 1.8.0.
d76b6fe Bump codecov/codecov-action to v7 (#1983)
9173283 Update release notes file for 1.8.0 (#1982)
878a5aa Keep summary parameter names that begin with "arg" (#1972)
37fdec1 Suppress a warning about Collection equality (#1978)
301178b Avoid java.util.Date (#1977)
04d12eb Remove unused Properties instance (#1976)
0c16368 Be explicit about a do-nothing switch case (#1975)
1513547 Allow inconsistent parameter names in an override (#1973)
94f9035 Allow a type parameter that is unused in formals (#1974)
Additional commits viewable in compare view

Updates com.ibm.wala:com.ibm.wala.shrike from 1.7.2 to 1.8.0

Release notes

Sourced from com.ibm.wala:com.ibm.wala.shrike's releases.

Release 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

Require Java 17+ across all of WALA by @liblit in #1904

perf(dominators): empty bucket while iterating in step 2 by @toxamin in #1897

Gate PropagationSystem's implicit-key debug dump under DEBUG by @khatchad in #1934

Deprecate the unused options parameter on Language.getFakeRootMethod by @khatchad in #1933

Convert many classes to Java 16+ records by @liblit in #1932

Deprecate Iterator2List and Iterator2Set by @liblit in #1950

Register summary-modeled class shells before CHA build (#1957) by @khatchad in #1958

Expose a summary class shell's own methods by @khatchad in #1962

Fix Language/JavaLanguage initialization deadlock by @liblit in #1966

Keep summary parameter names that begin with "arg" by @khatchad in #1972

Full Changelog: v1.7.2...v1.8.0

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

Guava (com.google.guava:guava) is now declared as an implementation-scope dependency in the :core and :util subprojects.

Effect for third-party consumers: The :core and :util modules now receive Guava on their runtime classpaths. This is the same Guava dependency already used by the :cast, :dalvik, and :scandroid modules.

JSpecify 1.0.0 promoted to api scope project-wide

JSpecify (org.jspecify:jspecify:1.0.0) is now declared as an api-scope (transitive) dependency in every WALA subproject that exports annotated APIs: :cast, :cast:java:ecj, :cast:js, :cast:js:html:nu_validator, :cast:js:nodejs, :cast:js:rhino, :core, :dalvik, :ide, :ide:jdt, :scandroid, and :shrike. In :ide the dependency was also promoted from

... (truncated)

Changelog

Sourced from com.ibm.wala:com.ibm.wala.shrike's changelog.

Version 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

Require Java 17+ across all of WALA by @liblit in #1904

perf(dominators): empty bucket while iterating in step 2 by @toxamin in #1897

Gate PropagationSystem's implicit-key debug dump under DEBUG by @khatchad in #1934

Deprecate the unused options parameter on Language.getFakeRootMethod by @khatchad in #1933

Convert many classes to Java 16+ records by @liblit in #1932

Deprecate Iterator2List and Iterator2Set by @liblit in #1950

Register summary-modeled class shells before CHA build (#1957) by @khatchad in #1958

Expose a summary class shell's own methods by @khatchad in #1962

Fix Language/JavaLanguage initialization deadlock by @liblit in #1966

Keep summary parameter names that begin with "arg" by @khatchad in #1972

Full Changelog: v1.7.2...v1.8.0

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

Guava (com.google.guava:guava) is now declared as an implementation-scope dependency in the :core and :util subprojects.

Effect for third-party consumers: The :core and :util modules now receive Guava on their runtime classpaths. This is the same Guava dependency already used by the :cast, :dalvik, and :scandroid modules.

JSpecify 1.0.0 promoted to api scope project-wide

JSpecify (org.jspecify:jspecify:1.0.0) is now declared as an api-scope (transitive) dependency in every WALA subproject that exports annotated APIs: :cast, :cast:java:ecj, :cast:js, :cast:js:html:nu_validator, :cast:js:nodejs, :cast:js:rhino, :core, :dalvik, :ide, :ide:jdt,

... (truncated)

Commits

3ceaa93 Prepare for release 1.8.0.
d76b6fe Bump codecov/codecov-action to v7 (#1983)
9173283 Update release notes file for 1.8.0 (#1982)
878a5aa Keep summary parameter names that begin with "arg" (#1972)
37fdec1 Suppress a warning about Collection equality (#1978)
301178b Avoid java.util.Date (#1977)
04d12eb Remove unused Properties instance (#1976)
0c16368 Be explicit about a do-nothing switch case (#1975)
1513547 Allow inconsistent parameter names in an override (#1973)
94f9035 Allow a type parameter that is unused in formals (#1974)
Additional commits viewable in compare view

Updates com.ibm.wala:com.ibm.wala.cast.java from 1.7.2 to 1.8.0

Release notes

Sourced from com.ibm.wala:com.ibm.wala.cast.java's releases.

Release 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

Require Java 17+ across all of WALA by @liblit in #1904

perf(dominators): empty bucket while iterating in step 2 by @toxamin in #1897

Gate PropagationSystem's implicit-key debug dump under DEBUG by @khatchad in #1934

Deprecate the unused options parameter on Language.getFakeRootMethod by @khatchad in #1933

Convert many classes to Java 16+ records by @liblit in #1932

Deprecate Iterator2List and Iterator2Set by @liblit in #1950

Register summary-modeled class shells before CHA build (#1957) by @khatchad in #1958

Expose a summary class shell's own methods by @khatchad in #1962

Fix Language/JavaLanguage initialization deadlock by @liblit in #1966

Keep summary parameter names that begin with "arg" by @khatchad in #1972

Full Changelog: v1.7.2...v1.8.0

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

Guava (com.google.guava:guava) is now declared as an implementation-scope dependency in the :core and :util subprojects.

Effect for third-party consumers: The :core and :util modules now receive Guava on their runtime classpaths. This is the same Guava dependency already used by the :cast, :dalvik, and :scandroid modules.

JSpecify 1.0.0 promoted to api scope project-wide

JSpecify (org.jspecify:jspecify:1.0.0) is now declared as an api-scope (transitive) dependency in every WALA subproject that exports annotated APIs: :cast, :cast:java:ecj, :cast:js, :cast:js:html:nu_validator, :cast:js:nodejs, :cast:js:rhino, :core, :dalvik, :ide, :ide:jdt, :scandroid, and :shrike. In :ide the dependency was also promoted from

... (truncated)

Changelog

Sourced from com.ibm.wala:com.ibm.wala.cast.java's changelog.

Version 1.8.0

Functionality changes

WALA now requires Java 17+ JVM to run, hence the bump to version 1.8.0. Beyond this change, there have been various cleanups and bug fixes.

Key pull requests

Require Java 17+ across all of WALA by @liblit in #1904

perf(dominators): empty bucket while iterating in step 2 by @toxamin in #1897

Gate PropagationSystem's implicit-key debug dump under DEBUG by @khatchad in #1934

Deprecate the unused options parameter on Language.getFakeRootMethod by @khatchad in #1933

Convert many classes to Java 16+ records by @liblit in #1932

Deprecate Iterator2List and Iterator2Set by @liblit in #1950

Register summary-modeled class shells before CHA build (#1957) by @khatchad in #1958

Expose a summary class shell's own methods by @khatchad in #1962

Fix Language/JavaLanguage initialization deadlock by @liblit in #1966

Keep summary parameter names that begin with "arg" by @khatchad in #1972

Full Changelog: v1.7.2...v1.8.0

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

Guava (com.google.guava:guava) is now declared as an implementation-scope dependency in the :core and :util subprojects.

Effect for third-party consumers: The :core and :util modules now receive Guava on their runtime classpaths. This is the same Guava dependency already used by the :cast, :dalvik, and :scandroid modules.

JSpecify 1.0.0 promoted to api scope project-wide

JSpecify (org.jspecify:jspecify:1.0.0) is now declared as an api-scope (transitive) dependency in every WALA subproject that exports annotated APIs: :cast, :cast:java:ecj, :cast:js, :cast:js:html:nu_validator, :cast:js:nodejs, :cast:js:rhino, :core, :dalvik, :ide, :ide:jdt,

... (truncated)

Commits

3ceaa93 Prepare for release 1.8.0.
d76b6fe Bump codecov/codecov-action to v7 (#1983)
9173283 Update release notes file for 1.8.0 (#1982)
878a5aa Keep summary parameter names that begin with "arg" (#1972)
37fdec1 Suppress a warning about Collection equality (#1978)
301178b Avoid java.util.Date (#1977)
04d12eb Remove unused Properties instance (#1976)
0c16368 Be explicit about a do-nothing switch case (#1975)
1513547 Allow inconsistent parameter names in an override (#1973)
94f9035 Allow a type parameter that is unused in formals (#1974)
Additional commits viewable in compare view

swissiety

Auto-approved.

Bumps `wala.version` from 1.7.2 to 1.8.0. Updates `com.ibm.wala:com.ibm.wala.core` from 1.7.2 to 1.8.0 - [Release notes](https://github.com/wala/WALA/releases) - [Changelog](https://github.com/wala/WALA/blob/master/RELEASE-NOTES.md) - [Commits](wala/WALA@v1.7.2...v1.8.0) Updates `com.ibm.wala:com.ibm.wala.cast` from 1.7.2 to 1.8.0 - [Release notes](https://github.com/wala/WALA/releases) - [Changelog](https://github.com/wala/WALA/blob/master/RELEASE-NOTES.md) - [Commits](wala/WALA@v1.7.2...v1.8.0) Updates `com.ibm.wala:com.ibm.wala.shrike` from 1.7.2 to 1.8.0 - [Release notes](https://github.com/wala/WALA/releases) - [Changelog](https://github.com/wala/WALA/blob/master/RELEASE-NOTES.md) - [Commits](wala/WALA@v1.7.2...v1.8.0) Updates `com.ibm.wala:com.ibm.wala.cast.java` from 1.7.2 to 1.8.0 - [Release notes](https://github.com/wala/WALA/releases) - [Changelog](https://github.com/wala/WALA/blob/master/RELEASE-NOTES.md) - [Commits](wala/WALA@v1.7.2...v1.8.0) --- updated-dependencies: - dependency-name: com.ibm.wala:com.ibm.wala.cast dependency-version: 1.8.0 dependency-type: direct:production update-type: version-update:semver-minor - dependency-name: com.ibm.wala:com.ibm.wala.cast.java dependency-version: 1.8.0 dependency-type: direct:production update-type: version-update:semver-minor - dependency-name: com.ibm.wala:com.ibm.wala.core dependency-version: 1.8.0 dependency-type: direct:production update-type: version-update:semver-minor - dependency-name: com.ibm.wala:com.ibm.wala.shrike dependency-version: 1.8.0 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <support@github.com>

dependabot Bot added dependencies Pull requests that update a dependency file java Pull requests that update java code labels Jul 6, 2026

swissiety approved these changes Jul 6, 2026

View reviewed changes

swissiety enabled auto-merge (squash) July 6, 2026 04:08

dependabot Bot force-pushed the dependabot/maven/wala.version-1.8.0 branch from 2a3c5ae to c138457 Compare July 6, 2026 04:16

dependabot Bot force-pushed the dependabot/maven/wala.version-1.8.0 branch from c138457 to fe1693c Compare July 6, 2026 04:26

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Bump wala.version from 1.7.2 to 1.8.0#301

Bump wala.version from 1.7.2 to 1.8.0#301
dependabot[bot] wants to merge 1 commit into
developfrom
dependabot/maven/wala.version-1.8.0

dependabot Bot commented on behalf of github Jul 6, 2026 •

edited

Loading

Uh oh!

swissiety left a comment

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Uh oh!

Conversation

dependabot Bot commented on behalf of github Jul 6, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Release 1.8.0

Functionality changes

Key pull requests

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

JSpecify 1.0.0 promoted to api scope project-wide

Version 1.8.0

Functionality changes

Key pull requests

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

JSpecify 1.0.0 promoted to api scope project-wide

Release 1.8.0

Functionality changes

Key pull requests

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

JSpecify 1.0.0 promoted to api scope project-wide

Version 1.8.0

Functionality changes

Key pull requests

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

JSpecify 1.0.0 promoted to api scope project-wide

Release 1.8.0

Functionality changes

Key pull requests

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

JSpecify 1.0.0 promoted to api scope project-wide

Version 1.8.0

Functionality changes

Key pull requests

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

JSpecify 1.0.0 promoted to api scope project-wide

Release 1.8.0

Functionality changes

Key pull requests

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

JSpecify 1.0.0 promoted to api scope project-wide

Version 1.8.0

Functionality changes

Key pull requests

Dependency changes

:core and :util now declare Guava as implementation-scope dependencies

JSpecify 1.0.0 promoted to api scope project-wide

Uh oh!

swissiety left a comment

Choose a reason for hiding this comment

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

dependabot Bot commented on behalf of github Jul 6, 2026 •

edited

Loading

`:core` and `:util` now declare Guava as `implementation`-scope dependencies

JSpecify 1.0.0 promoted to `api` scope project-wide

`:core` and `:util` now declare Guava as `implementation`-scope dependencies

JSpecify 1.0.0 promoted to `api` scope project-wide

`:core` and `:util` now declare Guava as `implementation`-scope dependencies

JSpecify 1.0.0 promoted to `api` scope project-wide

`:core` and `:util` now declare Guava as `implementation`-scope dependencies

JSpecify 1.0.0 promoted to `api` scope project-wide

`:core` and `:util` now declare Guava as `implementation`-scope dependencies

JSpecify 1.0.0 promoted to `api` scope project-wide

`:core` and `:util` now declare Guava as `implementation`-scope dependencies

JSpecify 1.0.0 promoted to `api` scope project-wide

`:core` and `:util` now declare Guava as `implementation`-scope dependencies

JSpecify 1.0.0 promoted to `api` scope project-wide

`:core` and `:util` now declare Guava as `implementation`-scope dependencies

JSpecify 1.0.0 promoted to `api` scope project-wide