CBMC
|
History for tracking the call stack and performing interprocedural analysis. More...
#include "ai_history.h"
Go to the source code of this file.
Classes | |
class | call_stack_historyt |
Records the call stack Care must be taken when using this on recursive code; it will need the domain to be capable of limiting the recursion. More... | |
class | call_stack_historyt::call_stack_entryt |
class | call_stack_history_factoryt |
History for tracking the call stack and performing interprocedural analysis.
Definition in file call_stack_history.h.