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

dependabot · 2026-05-18T04:55:09Z

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

Release notes

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

Version 1.7.2

This will be the final WALA release before WALA requires JDK 17+ to run (#1830); the next release including that change will be version 1.8.0.

In this release, some long-deprecated symbols have been removed; see #1885.

Also, we now publish Maven Central artifacts for some of the ide modules; see #1903.

Key Changes

Remove deprecated symbols, as previously warned by @liblit in wala/WALA#1885

Mark some deprecated symbols for future removal by @liblit in wala/WALA#1886

Fix for constant folding by @juliandolby in wala/WALA#1892

Publish com.ibm.wala.ide to Maven Central via the publishing convention plugin by @khatchad in wala/WALA#1903

centralize processing of calls within our CPA'ish dispatch by @juliandolby in wala/WALA#1900

Full Changelog: wala/WALA@v1.7.1...v1.7.2

Commits

139883f Prepare for release 1.7.2.
9e1823a centralize processing of calls within our CPA'ish dispatch (#1900)
bf66ff5 Publish com.ibm.wala.ide to Maven Central via the publishing convention p...
e0d4f68 Download Java CUP 11a from Maven Central (#1899)
0d9cb10 Upgrade to Gradle 9.5.0 (#1894)
74293c8 Stop using Gradle Kotlin DSL delegated properties (#1893)
9d790d1 Fix for constant folding (#1892)
1c5996d Tidy up SyntheticMethod.getStatements APIs (#1887)
b331838 Update to NullAway 0.13.4 (#1888)
9deeff1 Mark some deprecated symbols for future removal (#1886)
Additional commits viewable in compare view

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

Release notes

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

Version 1.7.2

This will be the final WALA release before WALA requires JDK 17+ to run (#1830); the next release including that change will be version 1.8.0.

In this release, some long-deprecated symbols have been removed; see #1885.

Also, we now publish Maven Central artifacts for some of the ide modules; see #1903.

Key Changes

Remove deprecated symbols, as previously warned by @liblit in wala/WALA#1885

Mark some deprecated symbols for future removal by @liblit in wala/WALA#1886

Fix for constant folding by @juliandolby in wala/WALA#1892

Publish com.ibm.wala.ide to Maven Central via the publishing convention plugin by @khatchad in wala/WALA#1903

centralize processing of calls within our CPA'ish dispatch by @juliandolby in wala/WALA#1900

Full Changelog: wala/WALA@v1.7.1...v1.7.2

Commits

139883f Prepare for release 1.7.2.
9e1823a centralize processing of calls within our CPA'ish dispatch (#1900)
bf66ff5 Publish com.ibm.wala.ide to Maven Central via the publishing convention p...
e0d4f68 Download Java CUP 11a from Maven Central (#1899)
0d9cb10 Upgrade to Gradle 9.5.0 (#1894)
74293c8 Stop using Gradle Kotlin DSL delegated properties (#1893)
9d790d1 Fix for constant folding (#1892)
1c5996d Tidy up SyntheticMethod.getStatements APIs (#1887)
b331838 Update to NullAway 0.13.4 (#1888)
9deeff1 Mark some deprecated symbols for future removal (#1886)
Additional commits viewable in compare view

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

Release notes

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

Version 1.7.2

This will be the final WALA release before WALA requires JDK 17+ to run (#1830); the next release including that change will be version 1.8.0.

In this release, some long-deprecated symbols have been removed; see #1885.

Also, we now publish Maven Central artifacts for some of the ide modules; see #1903.

Key Changes

Remove deprecated symbols, as previously warned by @liblit in wala/WALA#1885

Mark some deprecated symbols for future removal by @liblit in wala/WALA#1886

Fix for constant folding by @juliandolby in wala/WALA#1892

Publish com.ibm.wala.ide to Maven Central via the publishing convention plugin by @khatchad in wala/WALA#1903

centralize processing of calls within our CPA'ish dispatch by @juliandolby in wala/WALA#1900

Full Changelog: wala/WALA@v1.7.1...v1.7.2

Commits

139883f Prepare for release 1.7.2.
9e1823a centralize processing of calls within our CPA'ish dispatch (#1900)
bf66ff5 Publish com.ibm.wala.ide to Maven Central via the publishing convention p...
e0d4f68 Download Java CUP 11a from Maven Central (#1899)
0d9cb10 Upgrade to Gradle 9.5.0 (#1894)
74293c8 Stop using Gradle Kotlin DSL delegated properties (#1893)
9d790d1 Fix for constant folding (#1892)
1c5996d Tidy up SyntheticMethod.getStatements APIs (#1887)
b331838 Update to NullAway 0.13.4 (#1888)
9deeff1 Mark some deprecated symbols for future removal (#1886)
Additional commits viewable in compare view

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

Release notes

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

Version 1.7.2

This will be the final WALA release before WALA requires JDK 17+ to run (#1830); the next release including that change will be version 1.8.0.

In this release, some long-deprecated symbols have been removed; see #1885.

Also, we now publish Maven Central artifacts for some of the ide modules; see #1903.

Key Changes

Remove deprecated symbols, as previously warned by @liblit in wala/WALA#1885

Mark some deprecated symbols for future removal by @liblit in wala/WALA#1886

Fix for constant folding by @juliandolby in wala/WALA#1892

Publish com.ibm.wala.ide to Maven Central via the publishing convention plugin by @khatchad in wala/WALA#1903

centralize processing of calls within our CPA'ish dispatch by @juliandolby in wala/WALA#1900

Full Changelog: wala/WALA@v1.7.1...v1.7.2

Commits

139883f Prepare for release 1.7.2.
9e1823a centralize processing of calls within our CPA'ish dispatch (#1900)
bf66ff5 Publish com.ibm.wala.ide to Maven Central via the publishing convention p...
e0d4f68 Download Java CUP 11a from Maven Central (#1899)
0d9cb10 Upgrade to Gradle 9.5.0 (#1894)
74293c8 Stop using Gradle Kotlin DSL delegated properties (#1893)
9d790d1 Fix for constant folding (#1892)
1c5996d Tidy up SyntheticMethod.getStatements APIs (#1887)
b331838 Update to NullAway 0.13.4 (#1888)
9deeff1 Mark some deprecated symbols for future removal (#1886)
Additional commits viewable in compare view

swissiety

Auto-approved.

Bumps `wala.version` from 1.7.1 to 1.7.2. Updates `com.ibm.wala:com.ibm.wala.core` from 1.7.1 to 1.7.2 - [Release notes](https://github.com/wala/WALA/releases) - [Commits](wala/WALA@v1.7.1...v1.7.2) Updates `com.ibm.wala:com.ibm.wala.cast` from 1.7.1 to 1.7.2 - [Release notes](https://github.com/wala/WALA/releases) - [Commits](wala/WALA@v1.7.1...v1.7.2) Updates `com.ibm.wala:com.ibm.wala.shrike` from 1.7.1 to 1.7.2 - [Release notes](https://github.com/wala/WALA/releases) - [Commits](wala/WALA@v1.7.1...v1.7.2) Updates `com.ibm.wala:com.ibm.wala.cast.java` from 1.7.1 to 1.7.2 - [Release notes](https://github.com/wala/WALA/releases) - [Commits](wala/WALA@v1.7.1...v1.7.2) --- updated-dependencies: - dependency-name: com.ibm.wala:com.ibm.wala.cast dependency-version: 1.7.2 dependency-type: direct:production update-type: version-update:semver-patch - dependency-name: com.ibm.wala:com.ibm.wala.cast.java dependency-version: 1.7.2 dependency-type: direct:production update-type: version-update:semver-patch - dependency-name: com.ibm.wala:com.ibm.wala.core dependency-version: 1.7.2 dependency-type: direct:production update-type: version-update:semver-patch - dependency-name: com.ibm.wala:com.ibm.wala.shrike dependency-version: 1.7.2 dependency-type: direct:production update-type: version-update:semver-patch ... 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 May 18, 2026

swissiety approved these changes May 18, 2026

View reviewed changes

swissiety enabled auto-merge (squash) May 18, 2026 04:55

dependabot Bot force-pushed the dependabot/maven/wala.version-1.7.2 branch 2 times, most recently from 307981d to 8a02daf Compare May 18, 2026 05:09

dependabot Bot force-pushed the dependabot/maven/wala.version-1.7.2 branch from 8a02daf to ff3e851 Compare May 18, 2026 05:17

swissiety merged commit c3ad6b1 into develop May 18, 2026
8 checks passed

swissiety deleted the dependabot/maven/wala.version-1.7.2 branch May 18, 2026 05:23

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Bump wala.version from 1.7.1 to 1.7.2#287

Bump wala.version from 1.7.1 to 1.7.2#287
swissiety merged 1 commit into
developfrom
dependabot/maven/wala.version-1.7.2

dependabot Bot commented on behalf of github May 18, 2026 •

edited

Loading

Uh oh!

swissiety left a comment

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Uh oh!

Conversation

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

Uh oh!

Version 1.7.2

Key Changes

Version 1.7.2

Key Changes

Version 1.7.2

Key Changes

Version 1.7.2

Key Changes

Uh oh!

swissiety left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

dependabot Bot commented on behalf of github May 18, 2026 •

edited

Loading