solidity_language.cpp File Reference

Implementation of the Solidity language frontend. More...

#include <util/base/compiler_defs.h>
#include <clang/Frontend/ASTUnit.h>
#include <solidity-frontend/solidity_language.h>
#include <solidity-frontend/solidity_convert.h>
#include <clang-cpp-frontend/clang_cpp_main.h>
#include <clang-cpp-frontend/clang_cpp_adjust.h>
#include <clang-cpp-frontend/clang_cpp_adjust_irep2.h>
#include <util/irep/migrate.h>
#include <clang-cpp-frontend/clang_cpp_convert.h>
#include <c2goto/cprover_library.h>
#include <util/lang/c_link.h>
#include <util/base/filesystem.h>
#include <unordered_set>
#include <unordered_map>
#include <cstdlib>
#include <regex>
#include <boost/process.hpp>

Include dependency graph for solidity_language.cpp:

Functions
languaget *	new_solidity_language ()

Detailed Description

Implementation of the Solidity language frontend.

Handles solc invocation to obtain the JSON AST, multi-contract resolution, import flattening, and the parse/typecheck/final pipeline that converts Solidity source files into ESBMC's GOTO program representation.

Function Documentation

new_solidity_language()

languaget * new_solidity_language

(

)