fix(deps): update wala-version to v1.7.2

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
com.ibm.wala:com.ibm.wala.core	1.6.12 → 1.7.2

---

Release Notes

wala/WALA (com.ibm.wala:com.ibm.wala.core)

v1.7.2: Version 1.7.2

Compare Source

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 #​1885
• Mark some deprecated symbols for future removal by @​liblit in #​1886
• Fix for constant folding by @​juliandolby in #​1892
• Publish com.ibm.wala.ide to Maven Central via the publishing convention plugin by @​khatchad in #​1903
• centralize processing of calls within our CPA'ish dispatch by @​juliandolby in #​1900

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

v1.7.1: Version 1.7.1

Compare Source

This is a quick follow-up release to 1.7.0 that enables WALA to load standard library classes on JDK distributions that do not include .jmod files, like Temurin.

What's Changed

• Use JrtModule consistently to handle standard library on modern JDKs by @​msridhar in #​1879

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

v1.7.0: Version 1.7.0

Compare Source

Version bump to 1.7.0 since some public APIs have changed. Beyond the changes listed below, there were many improvements to code health and build configuration contributed by @​liblit.

Main user-visible changes

• Update metadata by @​khatchad in #​1734
• Add NewSiteReference to toString() in AllocationSiteInNode by @​khatchad in #​1735
• Support JDK 26 by @​msridhar in #​1865
• Fixes to native bridge by @​julian-certora in #​1873

Full Changelog: wala/WALA@v1.6.12...v1.7.0

v1.6.13: Version 1.6.13

Compare Source

This is a patch release to 1.6.12 that captures some entrypoint/scope-mapping additions added after 1.6.12, but does not include the API-breaking changes in 1.7.0. It may be useful for some downstream projects; see #​1896.

Full Changelog: wala/WALA@v1.6.12...v1.6.13

---

Configuration

📅 Schedule: (UTC)

• Branch creation
  • At any time (no schedule defined)
• Automerge
  • At any time (no schedule defined)

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.