cprover
|
Symbolic Execution of ANSI-C. More...
#include "goto_symex.h"
#include <util/arith_tools.h>
#include <util/c_types.h>
#include <util/expr_initializer.h>
#include <util/invariant_utils.h>
#include <util/optional.h>
#include <util/pointer_offset_size.h>
#include <util/simplify_expr.h>
#include <util/string2int.h>
Go to the source code of this file.
Functions | |
static typet | c_sizeof_type_rec (const exprt &expr) |
irep_idt | get_symbol (const exprt &src) |
irep_idt | get_string_argument_rec (const exprt &src) |
irep_idt | get_string_argument (const exprt &src, const namespacet &ns) |
Symbolic Execution of ANSI-C.
Definition in file symex_builtin_functions.cpp.
Definition at line 23 of file symex_builtin_functions.cpp.
irep_idt get_string_argument | ( | const exprt & | src, |
const namespacet & | ns | ||
) |
Definition at line 299 of file symex_builtin_functions.cpp.
Definition at line 272 of file symex_builtin_functions.cpp.
Definition at line 207 of file symex_builtin_functions.cpp.