HF RL Explorer

Pyrometer Kills Analysis Context When Processing Dynamic-Length Solidity Types

Pyrometer Kills Analysis Context When Processing Dynamic-Length Solidity Types: a task in LegoFlow-SWE (Harbor dataset). function process( bytes calldata data, uint256 calldata numbers ) external { // Copy calldata bytes to memory and inspect bytes memory localData = data; require(localData.length…

The task

function process( bytes calldata data, uint256[] calldata numbers ) external { // Copy calldata bytes to memory and inspect bytes memory localData = data; require(localData.length > 0); localData[0] = 0xff;

Part of Lego-X/LegoFlow-SWE.