diff options
author | Frank Busse <bb0xfb@gmail.com> | 2020-11-26 17:40:49 +0000 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-12-23 16:50:11 +0000 |
commit | b73c455670c467539a28611be8d30ac421be8441 (patch) | |
tree | 7608aada8d2993568e7253a95fbc47d468701360 /cmake/string_to_list.cmake | |
parent | bb6d9441d15e7205eb64ac4f53a2652940df180e (diff) | |
download | klee-b73c455670c467539a28611be8d30ac421be8441.tar.gz |
posix runtime: getcwd: check malloc and set errno
* failing malloc was not handled before, now returns null/ENOMEM * when path is non-null and size is zero return null/EINVAL
Diffstat (limited to 'cmake/string_to_list.cmake')
0 files changed, 0 insertions, 0 deletions