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

Merged

CodeNinjaEvan merged 17 commits into

tronprotocol:release_0.8.30from

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

Jul 23, 2026

Commits on Jul 23, 2026

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

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

authored and
yanghang8612
committed
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
Test cases

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

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

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

clonker
authored and
yanghang8612
committed
Add tests reproducing spurious memory spilling

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

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

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

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

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

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

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

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

clonker
authored and
yanghang8612
committed
tests: adapt security backports to TRON 0.8.30
yanghang8612
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

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

Backport SOL-2025-1 through SOL-2026-3 fixes to release_0.8.30#142
CodeNinjaEvan merged 17 commits into
tronprotocol:release_0.8.30from
yanghang8612: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