cprover
stack_depth.cpp File Reference

Stack depth checks. More...

Include dependency graph for stack_depth.cpp:

Go to the source code of this file.

Functions

symbol_exprt add_stack_depth_symbol (symbol_tablet &symbol_table)
 
void stack_depth (goto_programt &goto_program, const symbol_exprt &symbol, const int i_depth, const exprt &max_depth)
 
void stack_depth (symbol_tablet &symbol_table, goto_functionst &goto_functions, const int depth)
 

Detailed Description

Stack depth checks.

Definition in file stack_depth.cpp.

Function Documentation

§ add_stack_depth_symbol()

§ stack_depth() [1/2]

§ stack_depth() [2/2]