solidity_convert_ref.cpp File Reference

Reference and symbol resolution 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_ref.cpp:

Detailed Description

Reference and symbol resolution for the Solidity frontend.

Handles resolution of symbol references, declaration references, and function declaration references in the solc JSON AST. Looks up symbols in ESBMC's context (symbol table), resolves cross-contract references via the AST's referencedDeclaration IDs, and creates the corresponding irep2 symbol expressions.