Search results

Resolve overlap between legacy shape-propagation and TensorGenerator for reshape-like ops

cleanup

enhancementNew feature or requestNew feature or request

javaPull requests that update Java codePull requests that update Java code

tensor inference

Status: Open.

#385 In wala/ML;

· khatchad opened on Apr 17, 2026

Clarify seeding vs. generator roles in TensorTypeAnalysis pipeline

enhancementNew feature or requestNew feature or request

javaPull requests that update Java codePull requests that update Java code

summaries

tensor inference

Status: Open.

#384 In wala/ML;

· khatchad opened on Apr 17, 2026

Support __iter__/__next__ protocol for user-defined and XML-summarized iterable types

Status: Open.

#383 In wala/ML;

· khatchad opened on Apr 17, 2026

Move architectural documentation from GitHub wiki to docs/ directory

Status: Open.

#382 In wala/ML;

· khatchad opened on Apr 17, 2026

Artificial trampolines missing super invocations compared to actual trampolines

Status: Open.

#381 In wala/ML;

· khatchad opened on Apr 16, 2026

Systematically inline remaining read_data/read_dataset marker allocations in tensorflow.xml

Status: Open.

#380 In wala/ML;

· khatchad opened on Apr 16, 2026

Make k-CFA depth configurable for framework API context sensitivity

Status: Open.

#379 In wala/ML;

· khatchad opened on Apr 16, 2026

Seed tensor sources by allocation type, not only by containing method name

enhancementNew feature or requestNew feature or request

javaPull requests that update Java codePull requests that update Java code

tensor inference

Status: Open.

#378 In wala/ML;

· khatchad opened on Apr 16, 2026

Remaining 13 test failures on branch 267-initial-tensor-dimensions-arent-always-accurate

Status: Open.

#376 In wala/ML;

· khatchad opened on Apr 16, 2026

Refactor TensorGeneratorFactory into a framework-pluggable hierarchy

Status: Open.

#374 In wala/ML;

· khatchad opened on Apr 16, 2026

TensorGenerator.getSignature() returns user-defined function name instead of TF operation

Status: Open.

#373 In wala/ML;

· khatchad opened on Apr 16, 2026

Tensor variable count semantics under k-CFA context sensitivity

Status: Open.

#371 In wala/ML;

· khatchad opened on Apr 16, 2026