ponder-lab / Hybridize-Functions-Refactoring / #2281

80%

push

github

Read lexical-access variable names via getName() (WALA 1.8.0 forward-compat) (#718)

PythonModRefWithBuiltinFunctions read AstLexicalAccess.Access.variableName as
a public field to detect built-in print() calls for the side-effect analysis.
WALA 1.8.0 encapsulated that field (made it private), so the access throws
IllegalAccessError at runtime under Ariadne 0.52.11+. Read it through the
public getName().fst accessor instead: getName() returns
Pair.make(variableName, variableDefiner), so this is behavior-identical, and
it compiles and runs on both WALA 1.7.2 (0.52.10) and 1.8.0.

This is the Hybridize-side half of the 0.52.11+ bump (#717); it clears the
IllegalAccessError (2 of 6 corpus subjects then analyze at 0.52.12). The
remaining 4 failures are Ariadne 0.52.12 regressions, not ours: wala/ML#668
(processListAppend UnimplementedError in call-graph construction) and
wala/ML#669 (TensorGenerator.getConstantValues asserts ConstantKey but gets a
ScopeMappingInstanceKey).

Refs #717.


Claude-Session: https://claude.ai/code/session_01FuhM8SsTRB6BraLt3Ph7ZC

Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>

1 of 1 new or added line in 1 file covered. (100.0%)

1665 of 2100 relevant lines covered (79.29%)

0.79 hits per line