cprover
symex_builtin_functions.cpp File Reference
+ Include dependency graph for symex_builtin_functions.cpp:

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)
 

Detailed Description

Symbolic Execution of ANSI-C

Definition in file symex_builtin_functions.cpp.

Function Documentation

◆ c_sizeof_type_rec()

static typet c_sizeof_type_rec ( const exprt expr)
inlinestatic

Definition at line 23 of file symex_builtin_functions.cpp.

◆ get_string_argument()

irep_idt get_string_argument ( const exprt src,
const namespacet ns 
)

Definition at line 299 of file symex_builtin_functions.cpp.

◆ get_string_argument_rec()

irep_idt get_string_argument_rec ( const exprt src)

Definition at line 272 of file symex_builtin_functions.cpp.

◆ get_symbol()

irep_idt get_symbol ( const exprt src)

Definition at line 207 of file symex_builtin_functions.cpp.