cprover
|
Symbolic Execution. More...
#include "goto_symex.h"
#include <cassert>
#include <memory>
#include <util/std_expr.h>
#include <util/symbol_table.h>
#include <util/replace_symbol.h>
#include <util/make_unique.h>
#include <analyses/dirty.h>
Go to the source code of this file.
Functions | |
static goto_symext::get_goto_functiont | get_function_from_goto_functions (const goto_functionst &goto_functions) |
Symbolic Execution.
Definition in file symex_main.cpp.
|
static |
Definition at line 161 of file symex_main.cpp.
References goto_functionst::function_map.
Referenced by goto_symext::symex_from_entry_point_of(), goto_symext::symex_instruction_range(), and goto_symext::symex_with_state().