[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Out of bounds va_arg access in rpl_fcntl
From: |
Bruno Haible |
Subject: |
Re: Out of bounds va_arg access in rpl_fcntl |
Date: |
Wed, 05 Sep 2018 18:48:34 +0200 |
User-agent: |
KMail/5.1.3 (Linux/4.4.0-134-generic; KDE/5.18.0; x86_64; ; ) |
Hi Paul,
> Although this is true on all practical platforms, in theory a POSIX
> implementation could have trouble with this implementation. Frank, does the
> attached (untested) patch pacify KLEE?
I'm looking at a patch along these lines as well. I'm checking all possible
fcntl actions on all platforms, cross-checking with the info in their man
pages...
Bruno