fix: terminate call-graph alias fixpoint on oscillating rebinds (#1247)#1259

Merged

mldangelo-oai merged 26 commits into

mainfrom

fix/call-graph-alias-cycle-hang

May 23, 2026

Commits on May 23, 2026

Merge remote-tracking branch 'origin/main' into mdangelo/codex/review-pr-1259
mldangelo-oai
committed
fix: preserve findings on incomplete call-graph analysis
mldangelo-oai
committed
fix: preserve startup-hook findings on analysis limits
mldangelo-oai
committed
Merge remote-tracking branch 'origin/main' into mdangelo/codex/review-pr-1259
mldangelo-oai
committed
fix: fail closed on conditional alias rebinding
mldangelo-oai
committed
fix: retain aliases and findings across analysis limits
mldangelo-oai
committed
fix: preserve deterministic loop-else alias results
mldangelo-oai
committed
fix: track ambiguous alias reads before overwrites
mldangelo-oai
committed
fix: fail closed during torch reference filtering
mldangelo-oai
committed
fix: preserve findings across alias ambiguity limits
mldangelo-oai
committed
fix: propagate ambiguous aliases in installed packages
mldangelo-oai
committed
fix: preserve deterministic alias findings across limits
mldangelo-oai
committed
fix: resolve deterministic alias alternatives safely
mldangelo-oai
committed
fix: retain deterministic aliases before epilogues
mldangelo-oai
committed
Merge remote-tracking branch 'origin/main' into mdangelo/codex/review-pr-1259
mldangelo-oai
committed
fix: track ambiguous alias calls before overwrites
mldangelo-oai
committed
test: stabilize generic zip raw-scan fixture
mldangelo-oai
committed
fix: preserve same-line terminal alias ordering
mldangelo-oai
committed
fix: resolve deterministic terminal alias branches
mldangelo-oai
committed
fix: handle one-sided terminal alias paths
mldangelo-oai
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

fix: terminate call-graph alias fixpoint on oscillating rebinds (#1247)#1259

fix: terminate call-graph alias fixpoint on oscillating rebinds (#1247)#1259
mldangelo-oai merged 26 commits into
mainfrom
fix/call-graph-alias-cycle-hang

Commits on May 22, 2026

fix: terminate call-graph alias fixpoint on oscillating rebinds

Merge remote-tracking branch 'origin/main' into mdangelo/codex/review-pr-1259

fix: preserve propagation when bounding alias cycles

fix: bound assignment alias propagation work

fix: fail closed on cyclic alias propagation

fix: converge stable alias rebind states

Commits on May 23, 2026

Merge remote-tracking branch 'origin/main' into mdangelo/codex/review-pr-1259

fix: preserve findings on incomplete call-graph analysis

fix: preserve startup-hook findings on analysis limits

Merge remote-tracking branch 'origin/main' into mdangelo/codex/review-pr-1259

fix: fail closed on conditional alias rebinding

fix: retain aliases and findings across analysis limits

fix: preserve deterministic loop-else alias results

fix: track ambiguous alias reads before overwrites

fix: fail closed during torch reference filtering

fix: preserve findings across alias ambiguity limits

fix: propagate ambiguous aliases in installed packages

fix: preserve deterministic alias findings across limits

fix: resolve deterministic alias alternatives safely

fix: retain deterministic aliases before epilogues

Merge remote-tracking branch 'origin/main' into mdangelo/codex/review-pr-1259

fix: track ambiguous alias calls before overwrites

test: stabilize generic zip raw-scan fixture

fix: preserve same-line terminal alias ordering

fix: resolve deterministic terminal alias branches

fix: handle one-sided terminal alias paths