am 5940f98a: Merge "Fortify poll and ppoll."
* commit '5940f98a35d64f9ca249536bb8cdcdbfe43e9bc3': Fortify poll and ppoll.
This commit is contained in:
commit
20f2e4f7ad
@ -69,6 +69,7 @@ libc_common_src_files += \
|
|||||||
bionic/__FD_chk.cpp \
|
bionic/__FD_chk.cpp \
|
||||||
bionic/__fgets_chk.cpp \
|
bionic/__fgets_chk.cpp \
|
||||||
bionic/__memmove_chk.cpp \
|
bionic/__memmove_chk.cpp \
|
||||||
|
bionic/__poll_chk.cpp \
|
||||||
bionic/__read_chk.cpp \
|
bionic/__read_chk.cpp \
|
||||||
bionic/__recvfrom_chk.cpp \
|
bionic/__recvfrom_chk.cpp \
|
||||||
bionic/__stpcpy_chk.cpp \
|
bionic/__stpcpy_chk.cpp \
|
||||||
|
49
libc/bionic/__poll_chk.cpp
Normal file
49
libc/bionic/__poll_chk.cpp
Normal file
@ -0,0 +1,49 @@
|
|||||||
|
/*
|
||||||
|
* Copyright (C) 2015 The Android Open Source Project
|
||||||
|
* All rights reserved.
|
||||||
|
*
|
||||||
|
* Redistribution and use in source and binary forms, with or without
|
||||||
|
* modification, are permitted provided that the following conditions
|
||||||
|
* are met:
|
||||||
|
* * Redistributions of source code must retain the above copyright
|
||||||
|
* notice, this list of conditions and the following disclaimer.
|
||||||
|
* * Redistributions in binary form must reproduce the above copyright
|
||||||
|
* notice, this list of conditions and the following disclaimer in
|
||||||
|
* the documentation and/or other materials provided with the
|
||||||
|
* distribution.
|
||||||
|
*
|
||||||
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
||||||
|
* "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
||||||
|
* LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
|
||||||
|
* FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
|
||||||
|
* COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
||||||
|
* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
|
||||||
|
* BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
|
||||||
|
* OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
|
||||||
|
* AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
|
||||||
|
* OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
|
||||||
|
* OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
||||||
|
* SUCH DAMAGE.
|
||||||
|
*/
|
||||||
|
|
||||||
|
#undef _FORTIFY_SOURCE
|
||||||
|
#include <poll.h>
|
||||||
|
#include "private/libc_logging.h"
|
||||||
|
|
||||||
|
#include <stdio.h>
|
||||||
|
|
||||||
|
extern "C" int __poll_chk(struct pollfd* fds, nfds_t fd_count, int timeout, size_t fds_size) {
|
||||||
|
fprintf(stderr, "__poll_chk %p %i %i %i\n", fds, (int)fd_count, timeout, (int) fds_size);
|
||||||
|
if (__predict_false(fds_size / sizeof(*fds) < fd_count)) {
|
||||||
|
__fortify_chk_fail("poll: pollfd array smaller than fd count", 0);
|
||||||
|
}
|
||||||
|
return poll(fds, fd_count, timeout);
|
||||||
|
}
|
||||||
|
|
||||||
|
extern "C" int __ppoll_chk(struct pollfd* fds, nfds_t fd_count, const struct timespec* timeout, const sigset_t* mask, size_t fds_size) {
|
||||||
|
fprintf(stderr, "__ppoll_chk %p %i %p %p %i\n", fds, (int)fd_count, timeout, mask, (int) fds_size);
|
||||||
|
if (__predict_false(fds_size / sizeof(*fds) < fd_count)) {
|
||||||
|
__fortify_chk_fail("ppoll: pollfd array smaller than fd count", 0);
|
||||||
|
}
|
||||||
|
return ppoll(fds, fd_count, timeout, mask);
|
||||||
|
}
|
@ -38,8 +38,52 @@ __BEGIN_DECLS
|
|||||||
|
|
||||||
typedef unsigned int nfds_t;
|
typedef unsigned int nfds_t;
|
||||||
|
|
||||||
extern int poll(struct pollfd*, nfds_t, int);
|
int poll(struct pollfd*, nfds_t, int);
|
||||||
extern int ppoll(struct pollfd*, nfds_t, const struct timespec*, const sigset_t*);
|
int ppoll(struct pollfd*, nfds_t, const struct timespec*, const sigset_t*);
|
||||||
|
|
||||||
|
int __poll_chk(struct pollfd*, nfds_t, int, size_t);
|
||||||
|
int __poll_real(struct pollfd*, nfds_t, int) __RENAME(poll);
|
||||||
|
__errordecl(__poll_too_small_error, "poll: pollfd array smaller than fd count");
|
||||||
|
|
||||||
|
int __ppoll_chk(struct pollfd*, nfds_t, const struct timespec*, const sigset_t*, size_t);
|
||||||
|
int __ppoll_real(struct pollfd*, nfds_t, const struct timespec*, const sigset_t*) __RENAME(ppoll);
|
||||||
|
__errordecl(__ppoll_too_small_error, "ppoll: pollfd array smaller than fd count");
|
||||||
|
|
||||||
|
#if defined(__BIONIC_FORTIFY)
|
||||||
|
|
||||||
|
__BIONIC_FORTIFY_INLINE
|
||||||
|
int poll(struct pollfd* fds, nfds_t fd_count, int timeout) {
|
||||||
|
#if defined(__clang__)
|
||||||
|
return __poll_chk(fds, fd_count, timeout, __bos(fds));
|
||||||
|
#else
|
||||||
|
if (__bos(fds) != __BIONIC_FORTIFY_UNKNOWN_SIZE) {
|
||||||
|
if (!__builtin_constant_p(fd_count)) {
|
||||||
|
return __poll_chk(fds, fd_count, timeout, __bos(fds));
|
||||||
|
} else if (__bos(fds) / sizeof(*fds) < fd_count) {
|
||||||
|
__poll_too_small_error();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return __poll_real(fds, fd_count, timeout);
|
||||||
|
#endif
|
||||||
|
}
|
||||||
|
|
||||||
|
__BIONIC_FORTIFY_INLINE
|
||||||
|
int ppoll(struct pollfd* fds, nfds_t fd_count, const struct timespec* timeout, const sigset_t* mask) {
|
||||||
|
#if defined(__clang__)
|
||||||
|
return __ppoll_chk(fds, fd_count, timeout, mask, __bos(fds));
|
||||||
|
#else
|
||||||
|
if (__bos(fds) != __BIONIC_FORTIFY_UNKNOWN_SIZE) {
|
||||||
|
if (!__builtin_constant_p(fd_count)) {
|
||||||
|
return __ppoll_chk(fds, fd_count, timeout, mask, __bos(fds));
|
||||||
|
} else if (__bos(fds) / sizeof(*fds) < fd_count) {
|
||||||
|
__ppoll_too_small_error();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return __ppoll_real(fds, fd_count, timeout, mask);
|
||||||
|
#endif
|
||||||
|
}
|
||||||
|
|
||||||
|
#endif
|
||||||
|
|
||||||
__END_DECLS
|
__END_DECLS
|
||||||
|
|
||||||
|
@ -19,6 +19,7 @@
|
|||||||
|
|
||||||
#include <fcntl.h>
|
#include <fcntl.h>
|
||||||
#include <malloc.h>
|
#include <malloc.h>
|
||||||
|
#include <poll.h>
|
||||||
#include <signal.h>
|
#include <signal.h>
|
||||||
#include <stdarg.h>
|
#include <stdarg.h>
|
||||||
#include <string.h>
|
#include <string.h>
|
||||||
@ -629,15 +630,6 @@ TEST_F(DEATHTEST, FD_ISSET_2_fortified) {
|
|||||||
ASSERT_EXIT(FD_ISSET(0, set), testing::KilledBySignal(SIGABRT), "");
|
ASSERT_EXIT(FD_ISSET(0, set), testing::KilledBySignal(SIGABRT), "");
|
||||||
}
|
}
|
||||||
|
|
||||||
// gtest's ASSERT_EXIT needs a valid expression, but glibc has a do-while macro.
|
|
||||||
static void FD_ZERO_function(fd_set* s) { FD_ZERO(s); }
|
|
||||||
|
|
||||||
TEST_F(DEATHTEST, FD_ZERO_fortified) {
|
|
||||||
char buf[1];
|
|
||||||
fd_set* set = (fd_set*) buf;
|
|
||||||
ASSERT_EXIT(FD_ZERO_function(set), testing::KilledBySignal(SIGABRT), "");
|
|
||||||
}
|
|
||||||
|
|
||||||
TEST_F(DEATHTEST, read_fortified) {
|
TEST_F(DEATHTEST, read_fortified) {
|
||||||
char buf[1];
|
char buf[1];
|
||||||
size_t ct = atoi("2"); // prevent optimizations
|
size_t ct = atoi("2"); // prevent optimizations
|
||||||
@ -950,3 +942,15 @@ TEST(TEST_NAME, s_n_printf_macro_expansion) {
|
|||||||
sprintf(BUF_AND_CONTENTS(buf));
|
sprintf(BUF_AND_CONTENTS(buf));
|
||||||
EXPECT_STREQ(CONTENTS, buf);
|
EXPECT_STREQ(CONTENTS, buf);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
TEST_F(DEATHTEST, poll_fortified) {
|
||||||
|
nfds_t fd_count = atoi("2"); // suppress compiler optimizations
|
||||||
|
pollfd buf[1] = {{0, POLLIN, 0}};
|
||||||
|
ASSERT_EXIT(poll(buf, fd_count, -1), testing::KilledBySignal(SIGABRT), "");
|
||||||
|
}
|
||||||
|
|
||||||
|
TEST_F(DEATHTEST, ppoll_fortified) {
|
||||||
|
nfds_t fd_count = atoi("2"); // suppress compiler optimizations
|
||||||
|
pollfd buf[1] = {{0, POLLIN, 0}};
|
||||||
|
ASSERT_EXIT(ppoll(buf, fd_count, NULL, NULL), testing::KilledBySignal(SIGABRT), "");
|
||||||
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user