Repository navigation

Harden core engine against integer overflows, allocator canary recovery, and SSA shift range unsoundness - #24590

Open

mkrishna793 wants to merge 7 commits into

mkrishna793:master

Open

Harden core engine against integer overflows, allocator canary recovery, and SSA shift range unsoundness#24590
mkrishna793 wants to merge 7 commits into
php:masterfrom
mkrishna793:master

Commits on Oct 23, 2026
- Harden core engine against integer overflows, canary leaks, and range unsoundness
  mkrishna793
  committed
  b29fd22
- Merge branch 'php:master' into master
  mkrishna793
  authored
  8997a80
Commits on Oct 28, 2026
- Address review feedback: remove proofs, revert external libs, make checks portable
  mkrishna793
  committed
  33f6ad0
Commits on Nov 4, 2026
- Merge branch 'php:master' into master
  mkrishna793
  authored
  a9c7834
Commits on Nov 6, 2026
- Fix memory streams: prevent integer overflow and preserve position on seek failure
  mkrishna793
  committed
  b80642d
- streams: preserve *newoffs = -1 on negative seek underflow for gh20964
  mkrishna793
  committed
  8bdbf3a
Commits on Nov 9, 2026
- Merge branch 'php:master' into master
  mkrishna793
  authored
  04971c4