diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-05-27 11:42:01 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-05-27 11:42:01 +0100 |
| commit | 6899ea11475aca9ca60f77b746fc3b08272481e5 (patch) | |
| tree | 41d768315d97f5f8c2ee12ca10f7d05de641a5b3 /lib/Core/Executor.cpp | |
| parent | a8012548f2cc31e2c2283f9f500b281532aa5aa7 (diff) | |
| download | klee-6899ea11475aca9ca60f77b746fc3b08272481e5.tar.gz | |
Fixed the stub for times() not to dereference a NULL pointer when call with a NULL argument. In respose of issue https://github.com/klee/klee/issues/399
Diffstat (limited to 'lib/Core/Executor.cpp')
0 files changed, 0 insertions, 0 deletions