|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <jimple-frontend/AST/jimple_ast.h>#include <util/irep/migrate.h>#include <jimple-frontend/AST/jimple_type.h>Go to the source code of this file.
Classes | |
| class | jimple_expr |
| Base interface to hold jimple expressions. More... | |
| class | jimple_constant |
| A number constant (in decimal). More... | |
| class | jimple_symbol |
| The value of a symbol (variable). More... | |
| class | jimple_binop |
| A binary operation. More... | |
| class | jimple_cast |
| A cast operation. More... | |
| class | jimple_lengthof |
| Get the number of elements of an array (not bits/bytes). More... | |
| class | jimple_newarray |
| Allocates a new array (dynamic). More... | |
| class | jimple_expr_invoke |
| The result of a function call. More... | |
| class | jimple_virtual_invoke |
| The result of a function call. More... | |
| class | jimple_new |
| Allocates a type. More... | |
| class | jimple_deref |
| Access of arrays. More... | |
| class | jimple_nondet |
| Nondet call (This in an extension). More... | |
| class | jimple_static_member |
| A static member of object/class. More... | |
| class | jimple_virtual_member |
| A virtual member of object. More... | |