Backport SOL-2025-1 through SOL-2026-3 fixes to release_0.8.30 - #141

Closed

yanghang8612 wants to merge 17 commits into

tronprotocol:release_0.8.30from

yanghang8612:agent/backport-sol-2025-1-to-sol-2026-3-0830

Commits on Jul 23, 2026

legacy: Fix handling of storage array boundaries (deletion, cleanup, and copy)

authored and
yanghang8612
committed
64ca6a0
via-ir: Fix handling of storage array boundaries (deletion and cleanup)

authored and
yanghang8612
committed
321f515
Add test for arrays at storage boundaries and extend coverage of legacy and via-ir on deletion, partial assigments and copy

authored and
yanghang8612
committed
28c6c02
Test cases

nikola-matic
authored and
yanghang8612
committed
3e46de9
Fix transient/storage collision when deleting

nikola-matic
authored and
yanghang8612
committed
06cf704
Move TarjanSCC from libyul to libsolutil

clonker
authored and
yanghang8612
committed
74d96d4
Add Yul AST call graph recursion tests

clonker
authored and
yanghang8612
committed
b5f59ce
Add tests reproducing spurious memory spilling

clonker
authored and
yanghang8612
committed
c16578d
Fix call graph cycle detection for intersecting recursive cycles

clonker
authored and
yanghang8612
committed
9b997d0
Tests: Add tests demonstrating incorrect behaviour

blishko
authored and
yanghang8612
committed
fb4726d
Analysis: Fix unintentional reversing of linearized based contracts

blishko
authored and
yanghang8612
committed
500d51c
Add disambiguator prerequisite to call graph generator

clonker
authored and
yanghang8612
committed
3d567ea
Call graph test: output the whole call graph

clonker
authored and
yanghang8612
committed
e169072
Add `resolveFunctionName` overload dealing with instances of `FunctionHandle` to utilities

clonker
authored and
yanghang8612
committed
0758b9e
Yul: Call graph generator asserts that builtins are never recursive

clonker
authored and
yanghang8612
committed
28cc279
Yul: Call graph generator raises proper exception if input is not disambiguated

clonker
authored and
yanghang8612
committed
4adcd1a
tests: adapt security backports to TRON 0.8.30
yanghang8612
committed
6fa5691

Navigation Menu

Uh oh!

Backport SOL-2025-1 through SOL-2026-3 fixes to release_0.8.30 - #141

Backport SOL-2025-1 through SOL-2026-3 fixes to release_0.8.30#141
yanghang8612 wants to merge 17 commits into
tronprotocol:release_0.8.30from
yanghang8612:agent/backport-sol-2025-1-to-sol-2026-3-0830

Commits on Jul 23, 2026

legacy: Fix handling of storage array boundaries (deletion, cleanup, and copy)

via-ir: Fix handling of storage array boundaries (deletion and cleanup)

Add test for arrays at storage boundaries and extend coverage of legacy and via-ir on deletion, partial assigments and copy

Test cases

Fix transient/storage collision when deleting

Move TarjanSCC from libyul to libsolutil

Add Yul AST call graph recursion tests

Add tests reproducing spurious memory spilling

Fix call graph cycle detection for intersecting recursive cycles

Tests: Add tests demonstrating incorrect behaviour

Analysis: Fix unintentional reversing of linearized based contracts

Add disambiguator prerequisite to call graph generator

Call graph test: output the whole call graph

Add `resolveFunctionName` overload dealing with instances of `FunctionHandle` to utilities

Yul: Call graph generator asserts that builtins are never recursive

Yul: Call graph generator raises proper exception if input is not disambiguated

tests: adapt security backports to TRON 0.8.30