ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
solidity_abi.c File Reference
#include <stdint.h>
#include "solidity_types.h"
Include dependency graph for solidity_abi.c:

Functions

uint256_t abi_encode (uint256_t x)
uint256_t abi_encodePacked (uint256_t x)
uint256_t abi_encodeWithSelector (uint256_t x)
uint256_t abi_encodeWithSignature (uint256_t x)
uint256_t abi_encodeCall (uint256_t x)
uint256_t abi_decode (uint256_t x)

Function Documentation

◆ abi_decode()

uint256_t abi_decode ( uint256_t x)

◆ abi_encode()

uint256_t abi_encode ( uint256_t x)

◆ abi_encodeCall()

uint256_t abi_encodeCall ( uint256_t x)

◆ abi_encodePacked()

uint256_t abi_encodePacked ( uint256_t x)

◆ abi_encodeWithSelector()

uint256_t abi_encodeWithSelector ( uint256_t x)

◆ abi_encodeWithSignature()

uint256_t abi_encodeWithSignature ( uint256_t x)