Symbolic Execution. More...
#include "symex_assign.h"#include <util/byte_operators.h>#include <util/expr_util.h>#include <util/pointer_expr.h>#include <util/range.h>#include "expr_skeleton.h"#include "goto_symex_state.h"#include "symex_config.h"
Include dependency graph for symex_assign.cpp:Go to the source code of this file.
Classes | |
| struct | assignmentt |
| Assignment from the rhs value to the lhs variable. More... | |
Functions | |
| constexpr bool | use_update () |
| static bool | is_string_constant_initialization (const exprt &rhs) |
| Determine whether the RHS expression is a string constant initialization. More... | |
Detailed Description
Symbolic Execution.
Definition in file symex_assign.cpp.
Function Documentation
◆ is_string_constant_initialization()
|
static |
Determine whether the RHS expression is a string constant initialization.
- Parameters
-
rhs The RHS expression
- Returns
- True if the expression points to the first character of a string constant
Definition at line 41 of file symex_assign.cpp.
◆ use_update()
|
constexpr |
Definition at line 28 of file symex_assign.cpp.
