[prev in list] [next in list] [prev in thread] [next in thread]
List: klee-commits
Subject: [klee-commits] [klee/klee] bb6d94: tests: add getcwd EINVAL test
From: Frank Busse <noreply () github ! com>
Date: 2020-12-23 16:50:28
Message-ID: klee/klee/push/refs/heads/master/4ea592-b73c45 () github ! com
[Download RAW message or body]
*******************
This email originates from outside Imperial. Do not click on links and attachments \
unless you recognise the sender. If you trust the sender, add them to your safe \
senders list https://spam.ic.ac.uk/SpamConsole/Senders.aspx to disable email stamping \
for this address.
*******************
Branch: refs/heads/master
Home: https://github.com/klee/klee
Commit: bb6d9441d15e7205eb64ac4f53a2652940df180e
https://github.com/klee/klee/commit/bb6d9441d15e7205eb64ac4f53a2652940df180e
Author: Frank Busse <bb0xfb@gmail.com>
Date: 2020-12-23 (Wed, 23 Dec 2020)
Changed paths:
A test/Runtime/POSIX/GetcwdFail.c
Log Message:
-----------
tests: add getcwd EINVAL test
Commit: b73c455670c467539a28611be8d30ac421be8441
https://github.com/klee/klee/commit/b73c455670c467539a28611be8d30ac421be8441
Author: Frank Busse <bb0xfb@gmail.com>
Date: 2020-12-23 (Wed, 23 Dec 2020)
Changed paths:
M runtime/POSIX/fd.c
Log Message:
-----------
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
Compare: https://github.com/klee/klee/compare/4ea592d29315...b73c455670c4
_______________________________________________
klee-commits mailing list
klee-commits@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-commits
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic