diff options
author | Frank Busse <bb0xfb@gmail.com> | 2022-03-18 09:46:14 +0000 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-07-07 18:30:34 +0100 |
commit | d2f5906da4ae37a41ae257e5308d50e19689877b (patch) | |
tree | 40bb75bc1153dbf37f0df31674cf67e4af3c4da3 /runtime/POSIX/stubs.c | |
parent | 99c522b14dbbf6b26be35b6e7bb8da7b29070287 (diff) | |
download | klee-d2f5906da4ae37a41ae257e5308d50e19689877b.tar.gz |
POSIX runtime: fstatat: check for nonnull path APIs
Diffstat (limited to 'runtime/POSIX/stubs.c')
0 files changed, 0 insertions, 0 deletions