solidity_misc.c File Reference

#include <stddef.h>
#include <stdlib.h>
#include <stdint.h>
#include <stdbool.h>
#include <assert.h>
#include "solidity_types.h"

Include dependency graph for solidity_misc.c:

Functions
unsigned int	nondet_uint ()
uint256_t	_max (unsigned int bitwidth, bool is_signed)
int256_t	_min (unsigned int bitwidth, bool is_signed)
unsigned int	_creationCode ()
unsigned int	_runtimeCode ()
uint32_t	_interfaceId ()
void	_ESBMC_check_reentrancy (const bool _ESBMC_mutex)
void	initialize ()

Variables
uint256_t	msg_data
address_t	msg_sender
uint32_t	msg_sig
uint256_t	msg_value
uint256_t	tx_gasprice
address_t	tx_origin
uint256_t	block_basefee
uint256_t	block_blobbasefee
uint256_t	block_chainid
address_t	block_coinbase
uint256_t	block_difficulty
uint256_t	block_gaslimit
uint256_t	block_number
uint256_t	block_prevrandao
uint256_t	block_timestamp
unsigned int	_gaslimit
unsigned int	sol_max_cnt
unsigned int	esbmc_array_count

Function Documentation

_creationCode()

unsigned int _creationCode

(

)

_ESBMC_check_reentrancy()

void _ESBMC_check_reentrancy

(

const bool

_ESBMC_mutex

)

_interfaceId()

uint32_t _interfaceId

(

)

_max()

uint256_t _max	(	unsigned int	bitwidth,
		bool	is_signed )

_min()

int256_t _min	(	unsigned int	bitwidth,
		bool	is_signed )

_runtimeCode()

unsigned int _runtimeCode

(

)

initialize()

void initialize

(

)

nondet_uint()

unsigned int nondet_uint

(

)

Variable Documentation

_gaslimit

unsigned int _gaslimit

extern

block_basefee

uint256_t block_basefee

extern

block_blobbasefee

uint256_t block_blobbasefee

extern

block_chainid

uint256_t block_chainid

extern

block_coinbase

address_t block_coinbase

extern

block_difficulty

uint256_t block_difficulty

extern

block_gaslimit

uint256_t block_gaslimit

extern

block_number

uint256_t block_number

extern

block_prevrandao

uint256_t block_prevrandao

extern

block_timestamp

uint256_t block_timestamp

extern

esbmc_array_count

unsigned int esbmc_array_count

extern

msg_data

uint256_t msg_data

extern

msg_sender

address_t msg_sender

extern

msg_sig

uint32_t msg_sig

extern

msg_value

uint256_t msg_value

extern

sol_max_cnt

unsigned int sol_max_cnt

extern

tx_gasprice

uint256_t tx_gasprice

extern

tx_origin

address_t tx_origin

extern