|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <stddef.h>#include <stdlib.h>#include <stdint.h>#include <stdbool.h>#include "solidity_types.h"Functions | |
| uint256_t | keccak256 (uint256_t x) |
| uint256_t | sha256 (uint256_t x) |
| address_t | ripemd160 (uint256_t x) |
| address_t | ecrecover (uint256_t hash, unsigned int v, uint256_t r, uint256_t s) |
| address_t ecrecover | ( | uint256_t | hash, |
| unsigned int | v, | ||
| uint256_t | r, | ||
| uint256_t | s ) |
| uint256_t keccak256 | ( | uint256_t | x | ) |
| address_t ripemd160 | ( | uint256_t | x | ) |
| uint256_t sha256 | ( | uint256_t | x | ) |