diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2016-11-06 11:46:40 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-11-05 20:09:11 +0000 |
| commit | ea2b756666fa60b47efe16510d81c3b29beab4df (patch) | |
| tree | 9aeb7de0891adae62bbb95b56ac8409fa5749a37 /test/Feature/OverflowMul.leq36.ll | |
| parent | 36a9acc3880861842cc6a9da11dd872e36ed19cb (diff) | |
| download | klee-ea2b756666fa60b47efe16510d81c3b29beab4df.tar.gz | |
Check for stack overflow in a tested program
Check if a state reaches the maximum number of stack frames allowed. To be performant, the number of stack frames are checked. In comparison, native execution checks the size of the stack. Still, this is good enough to find possible stack overflows. The limit can be changed with `-max-stack-frames`. The current default is 8192 frames.
Diffstat (limited to 'test/Feature/OverflowMul.leq36.ll')
0 files changed, 0 insertions, 0 deletions