solidity_convert_expr.cpp File Reference

Expression conversion for the Solidity frontend. More...

#include <solidity-frontend/solidity_convert.h>
#include <solidity-frontend/typecast.h>
#include <util/arith/arith_tools.h>
#include <util/arith/bitvector.h>
#include <util/lang/c_types.h>
#include <util/expr/expr_util.h>
#include <util/base/i2string.h>
#include <util/arith/mp_arith.h>
#include <util/irep/std_expr.h>
#include <util/message/message.h>
#include <fstream>

Include dependency graph for solidity_convert_expr.cpp:

Functions
static std::string	sol_builtin_spelling (const nlohmann::json &callee)
static std::pair< std::string, typet >	pow_model (bool unchecked, const typet &result_type)

Detailed Description

Expression conversion for the Solidity frontend.

Converts Solidity expressions (binary/unary operations, assignments, conditional expressions, index access, member access, type conversions, function calls, and identifier references) from the solc JSON AST into ESBMC's irep2 expression tree.

Function Documentation

pow_model()

std::pair< std::string, typet > pow_model ( bool unchecked, const typet & result_type )

static

sol_builtin_spelling()

std::string sol_builtin_spelling ( const nlohmann::json & callee )

static