trailofbits/manticore

research/consider matching solidity abi api

Open

#1069 opened on Aug 22, 2018

View on GitHub
 (0 comments) (0 reactions) (0 assignees)Python (3,469 stars) (481 forks)batch import
ethereumhelp wanted

Description

https://solidity.readthedocs.io/en/latest/units-and-global-variables.html#abi-encoding-and-decoding-functions

abi.decode(bytes encodedData, (...)) returns (...): ABI-decodes the given data, while the types are given in parentheses as second argument. Example: (uint a, uint[2] memory b, bytes memory c) = abi.decode(data, (uint, uint[2], bytes)) abi.encode(...) returns (bytes): ABI-encodes the given arguments abi.encodePacked(...) returns (bytes): Performs packed encoding of the given arguments abi.encodeWithSelector(bytes4 selector, ...) returns (bytes): ABI-encodes the given arguments starting from the second and prepends the given four-byte selector abi.encodeWithSignature(string signature, ...) returns (bytes): Equivalent to abi.encodeWithSelector(bytes4(keccak256(bytes(signature))), ...)`

Contributor guide

Tech stack
python
Domain
apiblockchain
Issue type
research
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-3 hours
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
stale
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
unclear
Prerequisites
Solidity ABIPythonSymbolic execution
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
20
Research direction
Investigate how Manticore currently handles ABI encoding/decoding of Solidity contract data. Look at the existing implementation for EVM related functions in the codebase, particularly files under the `manticore/ethereum` directory. Compare the functions listed in the Solidity documentation with Manticore's capabilities and identify any missing ones.