Search results

Missing Model for Class.getDeclaredFields() Causes Cascading Loss of Virtual Dispatch Resolution

Status: Open.

#1965 In wala/WALA;

· mohPYdev opened on Jun 25, 2026

Missing JAXP Factory Modeling Prevents Resolution of DocumentBuilder Dispatch

Status: Open.

#1964 In wala/WALA;

· mohPYdev opened on Jun 25, 2026

Missing call graph edges after reflective field access using Field.get()

Status: Open.

#1954 In wala/WALA;

· mohPYdev opened on Jun 19, 2026

Missing call graph edges for methods invoked on objects created via Proxy.newProxyInstance

Status: Open.

#1953 In wala/WALA;

· mohPYdev opened on Jun 19, 2026

Missing call graph edges for implicitly created JVM exceptions (ClassCastException from checkcast)

Status: Open.

#1952 In wala/WALA;

· mohPYdev opened on Jun 19, 2026

Document AstTranslator API breaks between 1.6.12 and 1.7.0

Status: Open.

#1895 In wala/WALA;

· khatchad opened on Apr 29, 2026

XML summaries have no way to declare class-level field summaries; forces duplication across sibling methods

Status: Open.

#1890 In wala/WALA;

· khatchad opened on Apr 21, 2026

Trampolines not created for summarized methods

Status: Open.

#1871 In wala/WALA;

· khatchad opened on Mar 26, 2026

Enable NullAway on the remainder of the WALA codebase

Status: Open.

#1818 In wala/WALA;

· msridhar opened on Dec 21, 2025

Support GraalVM reachability metadata

Status: Open.

#1765 In wala/WALA;

· msridhar opened on Nov 11, 2025

Program Slicing Fails to Identify Unreachable Dead Code with Logical Contradictions

Status: Open.

#1744 In wala/WALA;

· bystc opened on Oct 30, 2025

How to handle signature polymorphism with VarHandle and ClassHierarchy resolveMethod?

Status: Open.

#1508 In wala/WALA;

· kevzhumba opened on May 14, 2025