|
CBMC
|
#include "ai_history.h"
Include dependency graph for call_stack_history.h:
This graph shows which files directly or indirectly include this file: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.