solidity_string.c File Reference

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

Include dependency graph for solidity_string.c:

Functions
char *	string_concat (char *x, char *y)
char	get_char (int digit)
void	sol_rev (char *p)
char *	i256toa (int256_t value)
char *	u256toa (uint256_t value)
char *	decToHexa (int n)
char *	ASCIItoHEX (const char *ascii)
uint256_t	hexdec (const char *hex)
uint256_t	str2uint (const char *str)
uint64_t	_ESBMC_str_key_fold64 (uint256_t key)
void	_str_assign (char **str1, const char *str2)
unsigned int	nondet_uint ()
char	nondet_char ()
	__attribute__ ((annotate("__ESBMC_inf_size")))

Function Documentation

__attribute__()

__attribute__

(

(annotate("__ESBMC_inf_size"))

)

_ESBMC_str_key_fold64()

uint64_t _ESBMC_str_key_fold64

(

uint256_t

key

)

_str_assign()

void _str_assign	(	char **	str1,
		const char *	str2 )

ASCIItoHEX()

char * ASCIItoHEX

(

const char *

ascii

)

decToHexa()

char * decToHexa

(

int

n

)

get_char()

char get_char

(

int

digit

)

hexdec()

uint256_t hexdec

(

const char *

hex

)

i256toa()

char * i256toa

(

int256_t

value

)

nondet_char()

char nondet_char

(

)

nondet_uint()

unsigned int nondet_uint

(

)

sol_rev()

void sol_rev

(

char *

p

)

str2uint()

uint256_t str2uint

(

const char *

str

)

string_concat()

char * string_concat	(	char *	x,
		char *	y )

u256toa()

char * u256toa

(

uint256_t

value

)