solidity_convert.h File Reference

Core AST-to-irep2 converter for the Solidity frontend. More...

#include <memory>
#include <stack>
#include <vector>
#include <map>
#include <queue>
#include <util/symtab/context.h>
#include <util/symtab/namespace.h>
#include <util/irep/std_types.h>
#include <util/irep/std_code.h>
#include <util/expr/string_constant.h>
#include <nlohmann/json.hpp>
#include <solidity-frontend/solidity_grammar.h>
#include <solidity-frontend/pattern_check.h>
#include <util/expr/symbolic_types.h>
#include <util/expr/expr_util.h>

Include dependency graph for solidity_convert.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	solidity_convertert
struct	solidity_convertert::func_sig

Functions
static void	static_lifetime_init (const contextt &context, codet &dest)

Detailed Description

Core AST-to-irep2 converter for the Solidity frontend.

Declares solidity_convertert, which walks the solc JSON AST and translates Solidity contracts, functions, statements, expressions, and types into ESBMC's irep2 intermediate representation. This is the central class of the Solidity frontend; its methods are split across multiple .cpp files organized by conversion category (declarations, expressions, statements, types, references, builtins, etc.).

Function Documentation

static_lifetime_init()

void static_lifetime_init ( const contextt & context, codet & dest )

inlinestatic