diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-08-04 23:15:29 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-08-07 11:06:34 +0100 |
| commit | 75d0c41e361583cf922b6082b1cb13eee2811e33 (patch) | |
| tree | 35f4cedcc4c835f0499ce333d36f810965372a5d /lib/Module/IntrinsicCleaner.cpp | |
| parent | a4ed54c2b8228a30785c11d7542427a1bd1f7292 (diff) | |
| download | klee-75d0c41e361583cf922b6082b1cb13eee2811e33.tar.gz | |
Added checks for div/mod by zero and overshifts in constant expressions. Such div/mod by zero expressions would previously crash KLEE. Added two test cases, one for div/mod by zero, the other for overshift. This fixes the bug reported in #268.
Diffstat (limited to 'lib/Module/IntrinsicCleaner.cpp')
0 files changed, 0 insertions, 0 deletions