We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
The following contract crashes the tool with NotImplementedError in sfs_generator/ir_block.py at line 503
NotImplementedError
sfs_generator/ir_block.py at line 503
// SPDX-License-Identifier: MIT pragma solidity 0.8.26; contract MinimalSample { function enforceMCopy(uint256[] calldata input) external pure returns (bytes memory encoded) { bytes memory data = abi.encode(input); encoded = abi.encode(0x16, data, 0x17, data, 0x18); } }
This happens due to the MCOPY opcode processing is not implemented
MCOPY
To resolve this, I suggest to implement the following change
elif opcode == "EXTCODEHASH": _, updated_variables = get_consume_variable(index_variables) v1, updated_variables = get_new_variable(updated_variables) instr = v1+" = extcodehash("+v1+")" elif opcode == "MCOPY": - raise NotImplementedError + v0, updated_variables = get_consume_variable(index_variables) + v1, updated_variables = get_consume_variable(updated_variables) + v2, updated_variables = get_consume_variable(updated_variables) + + instr = "mcopy("+v0+","+v1+","+v2+")" + else: instr = "Error opcodes30: "+opcode updated_variables = index_variables
The text was updated successfully, but these errors were encountered:
No branches or pull requests
The following contract crashes the tool with
NotImplementedError
insfs_generator/ir_block.py at line 503
This happens due to the
MCOPY
opcode processing is not implementedTo resolve this, I suggest to implement the following change
The text was updated successfully, but these errors were encountered: