|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <cassert>#include <cstring>#include <langapi/mode.h>#include <util/config/config.h>#include <util/lang/language.h>Functions | |
| static const language_desct * | language_desc (language_idt id) |
| const char * | language_name (language_idt lang) |
| language_idt | language_id_by_name (const std::string &name) |
| language_idt | language_id_by_path (const std::string &path) |
| static int | get_mode (language_idt lang) |
| static int | get_old_frontend_mode (int current_mode) |
| std::unique_ptr< languaget > | new_language (language_idt lang) |
Variables | |
| static const char *const | extensions_ansi_c [] = {"c", "i", nullptr} |
| static const char *const | extensions_cpp [] |
| static const char *const | extensions_sol_ast [] = {"solast", "sol", nullptr} |
| static const char *const | extensions_jimple [] = {"jimple", nullptr} |
| static const char *const | extensions_python [] = {"py", nullptr} |
| static const char *const | extensions_ld [] = {"ld", nullptr} |
| static const language_desct | language_desc_C = {"C", extensions_ansi_c} |
| static const language_desct | language_desc_CPP = {"C++", extensions_cpp} |
| static const language_desct | language_desc_Solidity |
| static const language_desct | language_desc_Jimple |
| static const language_desct | language_desc_python |
| static const language_desct | language_desc_ld = {"LD", extensions_ld} |
|
static |
|
static |
| language_idt language_id_by_name | ( | const std::string & | name | ) |
| language_idt language_id_by_path | ( | const std::string & | path | ) |
| const char * language_name | ( | language_idt | lang | ) |
| std::unique_ptr< languaget > new_language | ( | language_idt | lang | ) |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |