blob: 2835f1d38355099d4a3a9a3ce642ff9d1dce67ee [file] [log] [blame]
Nick Kralevich5bcf3982013-06-28 10:34:09 -07001/*
2 * Copyright (C) 2013 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
Dan Albertf68dcbe2016-02-02 17:13:03 -080017// -Werror is on whether we like it or not, and we're intentionally doing awful
18// things in this file. GCC is dumb and doesn't have a specific error class for
19// the fortify failures (it's just -Werror), so we can't use anything more
20// constrained than disabling all the warnings in the file :( It also won't let
21// us use system_header in a .cpp file, so we have to #include this from
22// fortify_test_main.cpp.
23#pragma GCC system_header
24
Nick Kralevich5bcf3982013-06-28 10:34:09 -070025#include <gtest/gtest.h>
Yabin Cui9df70402014-11-05 18:01:01 -080026#include "BionicDeathTest.h"
Nick Kralevich5bcf3982013-06-28 10:34:09 -070027
Yabin Cui9df70402014-11-05 18:01:01 -080028#include <fcntl.h>
29#include <malloc.h>
Elliott Hughes4674e382015-02-02 09:15:19 -080030#include <poll.h>
Yabin Cui9df70402014-11-05 18:01:01 -080031#include <signal.h>
32#include <stdarg.h>
33#include <string.h>
34#include <sys/socket.h>
35#include <sys/stat.h>
36#include <sys/types.h>
Yabin Cuif4fe6932015-02-03 17:52:32 -080037#include <time.h>
Yabin Cui9df70402014-11-05 18:01:01 -080038
Elliott Hughesd036e942015-02-02 11:18:58 -080039#if __BIONIC__
40#define ASSERT_FORTIFY(expr) ASSERT_EXIT(expr, testing::KilledBySignal(SIGABRT), "FORTIFY")
41#else
42#define ASSERT_FORTIFY(expr) ASSERT_EXIT(expr, testing::KilledBySignal(SIGABRT), "")
43#endif
44
Yabin Cui9df70402014-11-05 18:01:01 -080045// Fortify test code needs to run multiple times, so TEST_NAME macro is used to
46// distinguish different tests. TEST_NAME is defined in compilation command.
Nick Kralevich5bcf3982013-06-28 10:34:09 -070047#define DEATHTEST_PASTER(name) name##_DeathTest
48#define DEATHTEST_EVALUATOR(name) DEATHTEST_PASTER(name)
49#define DEATHTEST DEATHTEST_EVALUATOR(TEST_NAME)
50
Yabin Cui9df70402014-11-05 18:01:01 -080051class DEATHTEST : public BionicDeathTest {};
Nick Kralevichbe0e43b2014-07-23 13:56:23 -070052
Nick Kralevich5bcf3982013-06-28 10:34:09 -070053#if defined(_FORTIFY_SOURCE) && _FORTIFY_SOURCE == 2
54struct foo {
55 char empty[0];
56 char one[1];
57 char a[10];
58 char b[10];
59};
60
Nick Kralevichbe0e43b2014-07-23 13:56:23 -070061TEST_F(DEATHTEST, stpncpy_fortified2) {
Christopher Ferris950a58e2014-04-04 14:38:18 -070062 foo myfoo;
63 int copy_amt = atoi("11");
Elliott Hughesd036e942015-02-02 11:18:58 -080064 ASSERT_FORTIFY(stpncpy(myfoo.a, "01234567890", copy_amt));
Christopher Ferris950a58e2014-04-04 14:38:18 -070065}
Christopher Ferris950a58e2014-04-04 14:38:18 -070066
Nick Kralevichbe0e43b2014-07-23 13:56:23 -070067TEST_F(DEATHTEST, stpncpy2_fortified2) {
Christopher Ferris950a58e2014-04-04 14:38:18 -070068 foo myfoo;
69 memset(&myfoo, 0, sizeof(myfoo));
70 myfoo.one[0] = 'A'; // not null terminated string
Elliott Hughesd036e942015-02-02 11:18:58 -080071 ASSERT_FORTIFY(stpncpy(myfoo.b, myfoo.one, sizeof(myfoo.b)));
Christopher Ferris950a58e2014-04-04 14:38:18 -070072}
Christopher Ferris950a58e2014-04-04 14:38:18 -070073
Nick Kralevichbe0e43b2014-07-23 13:56:23 -070074TEST_F(DEATHTEST, strncpy_fortified2) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -070075 foo myfoo;
76 int copy_amt = atoi("11");
Elliott Hughesd036e942015-02-02 11:18:58 -080077 ASSERT_FORTIFY(strncpy(myfoo.a, "01234567890", copy_amt));
Nick Kralevich5bcf3982013-06-28 10:34:09 -070078}
Nick Kralevich5bcf3982013-06-28 10:34:09 -070079
Nick Kralevichbe0e43b2014-07-23 13:56:23 -070080TEST_F(DEATHTEST, strncpy2_fortified2) {
Nick Kralevich93501d32013-08-28 10:47:43 -070081 foo myfoo;
82 memset(&myfoo, 0, sizeof(myfoo));
83 myfoo.one[0] = 'A'; // not null terminated string
Elliott Hughesd036e942015-02-02 11:18:58 -080084 ASSERT_FORTIFY(strncpy(myfoo.b, myfoo.one, sizeof(myfoo.b)));
Nick Kralevich93501d32013-08-28 10:47:43 -070085}
Nick Kralevich93501d32013-08-28 10:47:43 -070086
Nick Kralevichbe0e43b2014-07-23 13:56:23 -070087TEST_F(DEATHTEST, sprintf_fortified2) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -070088 foo myfoo;
89 char source_buf[15];
90 memcpy(source_buf, "12345678901234", 15);
Elliott Hughesd036e942015-02-02 11:18:58 -080091 ASSERT_FORTIFY(sprintf(myfoo.a, "%s", source_buf));
Nick Kralevich5bcf3982013-06-28 10:34:09 -070092}
Nick Kralevich5bcf3982013-06-28 10:34:09 -070093
Nick Kralevich884a3de2014-10-06 00:39:47 +000094TEST_F(DEATHTEST, sprintf2_fortified2) {
Nick Kralevich884a3de2014-10-06 00:39:47 +000095 foo myfoo;
Elliott Hughesd036e942015-02-02 11:18:58 -080096 ASSERT_FORTIFY(sprintf(myfoo.a, "0123456789"));
Nick Kralevich884a3de2014-10-06 00:39:47 +000097}
Nick Kralevich884a3de2014-10-06 00:39:47 +000098
Nick Kralevich5bcf3982013-06-28 10:34:09 -070099static int vsprintf_helper2(const char *fmt, ...) {
100 foo myfoo;
101 va_list va;
102 int result;
103
104 va_start(va, fmt);
105 result = vsprintf(myfoo.a, fmt, va); // should crash here
106 va_end(va);
107 return result;
108}
109
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700110TEST_F(DEATHTEST, vsprintf_fortified2) {
Elliott Hughesd036e942015-02-02 11:18:58 -0800111 ASSERT_FORTIFY(vsprintf_helper2("%s", "0123456789"));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700112}
113
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700114TEST_F(DEATHTEST, vsprintf2_fortified2) {
Elliott Hughesd036e942015-02-02 11:18:58 -0800115 ASSERT_FORTIFY(vsprintf_helper2("0123456789"));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700116}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700117
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700118static int vsnprintf_helper2(const char *fmt, ...) {
119 foo myfoo;
120 va_list va;
121 int result;
122 size_t size = atoi("11");
123
124 va_start(va, fmt);
125 result = vsnprintf(myfoo.a, size, fmt, va); // should crash here
126 va_end(va);
127 return result;
128}
129
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700130TEST_F(DEATHTEST, vsnprintf_fortified2) {
Elliott Hughesd036e942015-02-02 11:18:58 -0800131 ASSERT_FORTIFY(vsnprintf_helper2("%s", "0123456789"));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700132}
133
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700134TEST_F(DEATHTEST, vsnprintf2_fortified2) {
Elliott Hughesd036e942015-02-02 11:18:58 -0800135 ASSERT_FORTIFY(vsnprintf_helper2("0123456789"));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700136}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700137
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700138// zero sized target with "\0" source (should fail)
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700139TEST_F(DEATHTEST, stpcpy_fortified2) {
Christopher Ferris950a58e2014-04-04 14:38:18 -0700140#if defined(__BIONIC__)
Christopher Ferris950a58e2014-04-04 14:38:18 -0700141 foo myfoo;
142 char* src = strdup("");
Elliott Hughesd036e942015-02-02 11:18:58 -0800143 ASSERT_FORTIFY(stpcpy(myfoo.empty, src));
Christopher Ferris950a58e2014-04-04 14:38:18 -0700144 free(src);
145#else // __BIONIC__
146 GTEST_LOG_(INFO) << "This test does nothing.\n";
147#endif // __BIONIC__
148}
Christopher Ferris950a58e2014-04-04 14:38:18 -0700149
Christopher Ferris950a58e2014-04-04 14:38:18 -0700150// zero sized target with "\0" source (should fail)
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700151TEST_F(DEATHTEST, strcpy_fortified2) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800152#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700153 foo myfoo;
154 char* src = strdup("");
Elliott Hughesd036e942015-02-02 11:18:58 -0800155 ASSERT_FORTIFY(strcpy(myfoo.empty, src));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700156 free(src);
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800157#else // __BIONIC__
158 GTEST_LOG_(INFO) << "This test does nothing.\n";
159#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700160}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700161
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700162// zero sized target with longer source (should fail)
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700163TEST_F(DEATHTEST, strcpy2_fortified2) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800164#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700165 foo myfoo;
166 char* src = strdup("1");
Elliott Hughesd036e942015-02-02 11:18:58 -0800167 ASSERT_FORTIFY(strcpy(myfoo.empty, src));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700168 free(src);
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800169#else // __BIONIC__
170 GTEST_LOG_(INFO) << "This test does nothing.\n";
171#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700172}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700173
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700174// one byte target with longer source (should fail)
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700175TEST_F(DEATHTEST, strcpy3_fortified2) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800176#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700177 foo myfoo;
178 char* src = strdup("12");
Elliott Hughesd036e942015-02-02 11:18:58 -0800179 ASSERT_FORTIFY(strcpy(myfoo.one, src));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700180 free(src);
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800181#else // __BIONIC__
182 GTEST_LOG_(INFO) << "This test does nothing.\n";
183#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700184}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700185
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700186TEST_F(DEATHTEST, strchr_fortified2) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800187#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700188 foo myfoo;
189 memcpy(myfoo.a, "0123456789", sizeof(myfoo.a));
190 myfoo.b[0] = '\0';
Elliott Hughesd036e942015-02-02 11:18:58 -0800191 ASSERT_FORTIFY(printf("%s", strchr(myfoo.a, 'a')));
George Burgess IVbd3d2082017-04-04 17:34:02 -0700192 ASSERT_FORTIFY(printf("%s", strchr(static_cast<const char*>(myfoo.a), 'a')));
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800193#else // __BIONIC__
194 GTEST_LOG_(INFO) << "This test does nothing.\n";
195#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700196}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700197
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700198TEST_F(DEATHTEST, strrchr_fortified2) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800199#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700200 foo myfoo;
201 memcpy(myfoo.a, "0123456789", 10);
202 memcpy(myfoo.b, "01234", 6);
Elliott Hughesd036e942015-02-02 11:18:58 -0800203 ASSERT_FORTIFY(printf("%s", strrchr(myfoo.a, 'a')));
George Burgess IVbd3d2082017-04-04 17:34:02 -0700204 ASSERT_FORTIFY(printf("%s", strrchr(static_cast<const char*>(myfoo.a), 'a')));
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800205#else // __BIONIC__
206 GTEST_LOG_(INFO) << "This test does nothing.\n";
207#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700208}
George Burgess IVbd3d2082017-04-04 17:34:02 -0700209
210TEST_F(DEATHTEST, memchr_fortified2) {
211#if defined(__BIONIC__)
212 foo myfoo;
213 volatile int asize = sizeof(myfoo.a) + 1;
214 memcpy(myfoo.a, "0123456789", sizeof(myfoo.a));
215 ASSERT_FORTIFY(printf("%s", memchr(myfoo.a, 'a', asize)));
216 ASSERT_FORTIFY(printf("%s", memchr(static_cast<const void*>(myfoo.a), 'a', asize)));
217#else // __BIONIC__
218 GTEST_LOG_(INFO) << "This test does nothing.\n";
219#endif // __BIONIC__
220}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700221
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700222// this buffer overflow. TODO: Fix clang.
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700223TEST_F(DEATHTEST, strlcpy_fortified2) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800224#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700225 foo myfoo;
226 strcpy(myfoo.a, "01");
227 size_t n = strlen(myfoo.a);
Elliott Hughesd036e942015-02-02 11:18:58 -0800228 ASSERT_FORTIFY(strlcpy(myfoo.one, myfoo.a, n));
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800229#else // __BIONIC__
230 GTEST_LOG_(INFO) << "This test does nothing.\n";
231#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700232}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700233
Nick Kralevicha6cde392013-06-29 08:15:25 -0700234// this buffer overflow. TODO: Fix clang.
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700235TEST_F(DEATHTEST, strlcat_fortified2) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800236#if defined(__BIONIC__)
Nick Kralevicha6cde392013-06-29 08:15:25 -0700237 foo myfoo;
238 strcpy(myfoo.a, "01");
239 myfoo.one[0] = '\0';
240 size_t n = strlen(myfoo.a);
Elliott Hughesd036e942015-02-02 11:18:58 -0800241 ASSERT_FORTIFY(strlcat(myfoo.one, myfoo.a, n));
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800242#else // __BIONIC__
243 GTEST_LOG_(INFO) << "This test does nothing.\n";
244#endif // __BIONIC__
Nick Kralevicha6cde392013-06-29 08:15:25 -0700245}
Nick Kralevicha6cde392013-06-29 08:15:25 -0700246
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700247TEST_F(DEATHTEST, strncat_fortified2) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700248 foo myfoo;
249 size_t n = atoi("10"); // avoid compiler optimizations
250 strncpy(myfoo.a, "012345678", n);
Elliott Hughesd036e942015-02-02 11:18:58 -0800251 ASSERT_FORTIFY(strncat(myfoo.a, "9", n));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700252}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700253
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700254TEST_F(DEATHTEST, strncat2_fortified2) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700255 foo myfoo;
256 myfoo.a[0] = '\0';
257 size_t n = atoi("10"); // avoid compiler optimizations
Elliott Hughesd036e942015-02-02 11:18:58 -0800258 ASSERT_FORTIFY(strncat(myfoo.a, "0123456789", n));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700259}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700260
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700261TEST_F(DEATHTEST, strncat3_fortified2) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700262 foo myfoo;
263 memcpy(myfoo.a, "0123456789", sizeof(myfoo.a)); // unterminated string
264 myfoo.b[0] = '\0';
265 size_t n = atoi("10"); // avoid compiler optimizations
Elliott Hughesd036e942015-02-02 11:18:58 -0800266 ASSERT_FORTIFY(strncat(myfoo.b, myfoo.a, n));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700267}
268
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700269TEST_F(DEATHTEST, strcat_fortified2) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700270 char src[11];
271 strcpy(src, "0123456789");
272 foo myfoo;
273 myfoo.a[0] = '\0';
Elliott Hughesd036e942015-02-02 11:18:58 -0800274 ASSERT_FORTIFY(strcat(myfoo.a, src));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700275}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700276
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700277TEST_F(DEATHTEST, strcat2_fortified2) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700278 foo myfoo;
279 memcpy(myfoo.a, "0123456789", sizeof(myfoo.a)); // unterminated string
280 myfoo.b[0] = '\0';
Elliott Hughesd036e942015-02-02 11:18:58 -0800281 ASSERT_FORTIFY(strcat(myfoo.b, myfoo.a));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700282}
283
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700284TEST_F(DEATHTEST, snprintf_fortified2) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700285 foo myfoo;
286 strcpy(myfoo.a, "012345678");
287 size_t n = strlen(myfoo.a) + 2;
Elliott Hughesd036e942015-02-02 11:18:58 -0800288 ASSERT_FORTIFY(snprintf(myfoo.b, n, "a%s", myfoo.a));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700289}
290
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700291TEST_F(DEATHTEST, bzero_fortified2) {
Nick Kralevicha6cde392013-06-29 08:15:25 -0700292 foo myfoo;
293 memcpy(myfoo.b, "0123456789", sizeof(myfoo.b));
294 size_t n = atoi("11");
Elliott Hughesd036e942015-02-02 11:18:58 -0800295 ASSERT_FORTIFY(bzero(myfoo.b, n));
Nick Kralevicha6cde392013-06-29 08:15:25 -0700296}
297
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700298#endif /* defined(_FORTIFY_SOURCE) && _FORTIFY_SOURCE=2 */
299
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700300// multibyte target where we over fill (should fail)
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700301TEST_F(DEATHTEST, strcpy_fortified) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800302#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700303 char buf[10];
304 char *orig = strdup("0123456789");
Elliott Hughesd036e942015-02-02 11:18:58 -0800305 ASSERT_FORTIFY(strcpy(buf, orig));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700306 free(orig);
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800307#else // __BIONIC__
308 GTEST_LOG_(INFO) << "This test does nothing.\n";
309#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700310}
311
312// zero sized target with "\0" source (should fail)
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700313TEST_F(DEATHTEST, strcpy2_fortified) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800314#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700315 char buf[0];
316 char *orig = strdup("");
Elliott Hughesd036e942015-02-02 11:18:58 -0800317 ASSERT_FORTIFY(strcpy(buf, orig));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700318 free(orig);
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800319#else // __BIONIC__
320 GTEST_LOG_(INFO) << "This test does nothing.\n";
321#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700322}
323
324// zero sized target with longer source (should fail)
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700325TEST_F(DEATHTEST, strcpy3_fortified) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800326#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700327 char buf[0];
328 char *orig = strdup("1");
Elliott Hughesd036e942015-02-02 11:18:58 -0800329 ASSERT_FORTIFY(strcpy(buf, orig));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700330 free(orig);
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800331#else // __BIONIC__
332 GTEST_LOG_(INFO) << "This test does nothing.\n";
333#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700334}
335
336// one byte target with longer source (should fail)
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700337TEST_F(DEATHTEST, strcpy4_fortified) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800338#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700339 char buf[1];
340 char *orig = strdup("12");
Elliott Hughesd036e942015-02-02 11:18:58 -0800341 ASSERT_FORTIFY(strcpy(buf, orig));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700342 free(orig);
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800343#else // __BIONIC__
344 GTEST_LOG_(INFO) << "This test does nothing.\n";
345#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700346}
347
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700348TEST_F(DEATHTEST, strlen_fortified) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800349#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700350 char buf[10];
351 memcpy(buf, "0123456789", sizeof(buf));
Elliott Hughesd036e942015-02-02 11:18:58 -0800352 ASSERT_FORTIFY(printf("%zd", strlen(buf)));
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800353#else // __BIONIC__
354 GTEST_LOG_(INFO) << "This test does nothing.\n";
355#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700356}
357
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700358TEST_F(DEATHTEST, strchr_fortified) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800359#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700360 char buf[10];
361 memcpy(buf, "0123456789", sizeof(buf));
Elliott Hughesd036e942015-02-02 11:18:58 -0800362 ASSERT_FORTIFY(printf("%s", strchr(buf, 'a')));
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800363#else // __BIONIC__
364 GTEST_LOG_(INFO) << "This test does nothing.\n";
365#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700366}
367
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700368TEST_F(DEATHTEST, strrchr_fortified) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800369#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700370 char buf[10];
371 memcpy(buf, "0123456789", sizeof(buf));
Elliott Hughesd036e942015-02-02 11:18:58 -0800372 ASSERT_FORTIFY(printf("%s", strrchr(buf, 'a')));
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800373#else // __BIONIC__
374 GTEST_LOG_(INFO) << "This test does nothing.\n";
375#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700376}
377
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700378TEST_F(DEATHTEST, strlcpy_fortified) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800379#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700380 char bufa[15];
381 char bufb[10];
382 strcpy(bufa, "01234567890123");
383 size_t n = strlen(bufa);
Elliott Hughesd036e942015-02-02 11:18:58 -0800384 ASSERT_FORTIFY(strlcpy(bufb, bufa, n));
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800385#else // __BIONIC__
386 GTEST_LOG_(INFO) << "This test does nothing.\n";
387#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700388}
389
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700390TEST_F(DEATHTEST, strlcat_fortified) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800391#if defined(__BIONIC__)
Nick Kralevicha6cde392013-06-29 08:15:25 -0700392 char bufa[15];
393 char bufb[10];
394 bufb[0] = '\0';
395 strcpy(bufa, "01234567890123");
396 size_t n = strlen(bufa);
Elliott Hughesd036e942015-02-02 11:18:58 -0800397 ASSERT_FORTIFY(strlcat(bufb, bufa, n));
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800398#else // __BIONIC__
399 GTEST_LOG_(INFO) << "This test does nothing.\n";
400#endif // __BIONIC__
Nick Kralevicha6cde392013-06-29 08:15:25 -0700401}
402
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700403TEST_F(DEATHTEST, sprintf_fortified) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700404 char buf[10];
405 char source_buf[15];
406 memcpy(source_buf, "12345678901234", 15);
Elliott Hughesd036e942015-02-02 11:18:58 -0800407 ASSERT_FORTIFY(sprintf(buf, "%s", source_buf));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700408}
409
Yi Kong2d3122c2017-04-30 15:08:05 -0700410#ifdef __clang__ && !__has_attribute(alloc_size)
411// TODO: remove this after Clang prebuilt rebase.
George Burgess IV5f8a6732017-04-06 11:26:11 -0700412#else
Nick Kralevichb91791d2013-10-02 14:14:40 -0700413// This test is disabled in clang because clang doesn't properly detect
414// this buffer overflow. TODO: Fix clang.
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700415TEST_F(DEATHTEST, sprintf_malloc_fortified) {
Nick Kralevichb91791d2013-10-02 14:14:40 -0700416 char* buf = (char *) malloc(10);
417 char source_buf[11];
418 memcpy(source_buf, "1234567890", 11);
Elliott Hughesd036e942015-02-02 11:18:58 -0800419 ASSERT_FORTIFY(sprintf(buf, "%s", source_buf));
Nick Kralevichb91791d2013-10-02 14:14:40 -0700420 free(buf);
421}
422#endif
423
Nick Kralevich884a3de2014-10-06 00:39:47 +0000424TEST_F(DEATHTEST, sprintf2_fortified) {
Nick Kralevich884a3de2014-10-06 00:39:47 +0000425 char buf[5];
Elliott Hughesd036e942015-02-02 11:18:58 -0800426 ASSERT_FORTIFY(sprintf(buf, "aaaaa"));
Nick Kralevich884a3de2014-10-06 00:39:47 +0000427}
428
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700429static int vsprintf_helper(const char *fmt, ...) {
430 char buf[10];
431 va_list va;
432 int result;
433
434 va_start(va, fmt);
435 result = vsprintf(buf, fmt, va); // should crash here
436 va_end(va);
437 return result;
438}
439
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700440TEST_F(DEATHTEST, vsprintf_fortified) {
Elliott Hughesd036e942015-02-02 11:18:58 -0800441 ASSERT_FORTIFY(vsprintf_helper("%s", "0123456789"));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700442}
443
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700444TEST_F(DEATHTEST, vsprintf2_fortified) {
Elliott Hughesd036e942015-02-02 11:18:58 -0800445 ASSERT_FORTIFY(vsprintf_helper("0123456789"));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700446}
447
448static int vsnprintf_helper(const char *fmt, ...) {
449 char buf[10];
450 va_list va;
451 int result;
452 size_t size = atoi("11");
453
454 va_start(va, fmt);
455 result = vsnprintf(buf, size, fmt, va); // should crash here
456 va_end(va);
457 return result;
458}
459
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700460TEST_F(DEATHTEST, vsnprintf_fortified) {
Elliott Hughesd036e942015-02-02 11:18:58 -0800461 ASSERT_FORTIFY(vsnprintf_helper("%s", "0123456789"));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700462}
463
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700464TEST_F(DEATHTEST, vsnprintf2_fortified) {
Elliott Hughesd036e942015-02-02 11:18:58 -0800465 ASSERT_FORTIFY(vsnprintf_helper("0123456789"));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700466}
467
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700468TEST_F(DEATHTEST, strncat_fortified) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700469 char buf[10];
470 size_t n = atoi("10"); // avoid compiler optimizations
471 strncpy(buf, "012345678", n);
Elliott Hughesd036e942015-02-02 11:18:58 -0800472 ASSERT_FORTIFY(strncat(buf, "9", n));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700473}
474
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700475TEST_F(DEATHTEST, strncat2_fortified) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700476 char buf[10];
477 buf[0] = '\0';
478 size_t n = atoi("10"); // avoid compiler optimizations
Elliott Hughesd036e942015-02-02 11:18:58 -0800479 ASSERT_FORTIFY(strncat(buf, "0123456789", n));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700480}
481
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700482TEST_F(DEATHTEST, strcat_fortified) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700483 char src[11];
484 strcpy(src, "0123456789");
485 char buf[10];
486 buf[0] = '\0';
Elliott Hughesd036e942015-02-02 11:18:58 -0800487 ASSERT_FORTIFY(strcat(buf, src));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700488}
489
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700490TEST_F(DEATHTEST, memmove_fortified) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700491 char buf[20];
492 strcpy(buf, "0123456789");
493 size_t n = atoi("10");
Elliott Hughesd036e942015-02-02 11:18:58 -0800494 ASSERT_FORTIFY(memmove(buf + 11, buf, n));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700495}
496
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700497TEST_F(DEATHTEST, memcpy_fortified) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700498 char bufa[10];
499 char bufb[10];
500 strcpy(bufa, "012345678");
501 size_t n = atoi("11");
Elliott Hughesd036e942015-02-02 11:18:58 -0800502 ASSERT_FORTIFY(memcpy(bufb, bufa, n));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700503}
504
Elliott Hughes62e59642016-03-01 11:22:42 -0800505TEST_F(DEATHTEST, memset_fortified) {
506 char buf[10];
507 size_t n = atoi("11");
508 ASSERT_FORTIFY(memset(buf, 0, n));
509}
510
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700511TEST_F(DEATHTEST, stpncpy_fortified) {
Christopher Ferris950a58e2014-04-04 14:38:18 -0700512 char bufa[15];
513 char bufb[10];
514 strcpy(bufa, "01234567890123");
515 size_t n = strlen(bufa);
Elliott Hughesd036e942015-02-02 11:18:58 -0800516 ASSERT_FORTIFY(stpncpy(bufb, bufa, n));
Christopher Ferris950a58e2014-04-04 14:38:18 -0700517}
518
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700519TEST_F(DEATHTEST, stpncpy2_fortified) {
Christopher Ferris950a58e2014-04-04 14:38:18 -0700520 char dest[11];
521 char src[10];
522 memcpy(src, "0123456789", sizeof(src)); // src is not null terminated
Elliott Hughesd036e942015-02-02 11:18:58 -0800523 ASSERT_FORTIFY(stpncpy(dest, src, sizeof(dest)));
Christopher Ferris950a58e2014-04-04 14:38:18 -0700524}
525
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700526TEST_F(DEATHTEST, strncpy_fortified) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700527 char bufa[15];
528 char bufb[10];
529 strcpy(bufa, "01234567890123");
530 size_t n = strlen(bufa);
Elliott Hughesd036e942015-02-02 11:18:58 -0800531 ASSERT_FORTIFY(strncpy(bufb, bufa, n));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700532}
533
Christopher Ferris950a58e2014-04-04 14:38:18 -0700534
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700535TEST_F(DEATHTEST, strncpy2_fortified) {
Nick Kralevich93501d32013-08-28 10:47:43 -0700536 char dest[11];
537 char src[10];
538 memcpy(src, "0123456789", sizeof(src)); // src is not null terminated
Elliott Hughesd036e942015-02-02 11:18:58 -0800539 ASSERT_FORTIFY(strncpy(dest, src, sizeof(dest)));
Nick Kralevich93501d32013-08-28 10:47:43 -0700540}
541
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700542TEST_F(DEATHTEST, snprintf_fortified) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700543 char bufa[15];
544 char bufb[10];
545 strcpy(bufa, "0123456789");
546 size_t n = strlen(bufa) + 1;
Elliott Hughesd036e942015-02-02 11:18:58 -0800547 ASSERT_FORTIFY(snprintf(bufb, n, "%s", bufa));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700548}
549
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700550TEST_F(DEATHTEST, bzero_fortified) {
Nick Kralevicha6cde392013-06-29 08:15:25 -0700551 char buf[10];
552 memcpy(buf, "0123456789", sizeof(buf));
553 size_t n = atoi("11");
Elliott Hughesd036e942015-02-02 11:18:58 -0800554 ASSERT_FORTIFY(bzero(buf, n));
Nick Kralevicha6cde392013-06-29 08:15:25 -0700555}
556
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700557TEST_F(DEATHTEST, umask_fortified) {
Nick Kralevicha6cde392013-06-29 08:15:25 -0700558 mode_t mask = atoi("1023"); // 01777 in octal
Elliott Hughesd036e942015-02-02 11:18:58 -0800559 ASSERT_FORTIFY(umask(mask));
Nick Kralevicha6cde392013-06-29 08:15:25 -0700560}
561
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700562TEST_F(DEATHTEST, recv_fortified) {
Nick Kralevich60f4f9a2013-09-24 16:32:07 -0700563 size_t data_len = atoi("11"); // suppress compiler optimizations
564 char buf[10];
Elliott Hughesd036e942015-02-02 11:18:58 -0800565 ASSERT_FORTIFY(recv(0, buf, data_len, 0));
Nick Kralevich60f4f9a2013-09-24 16:32:07 -0700566}
567
Daniel Micay95b59c52017-02-13 17:27:59 -0800568TEST_F(DEATHTEST, send_fortified) {
569 size_t data_len = atoi("11"); // suppress compiler optimizations
570 char buf[10] = {0};
571 ASSERT_FORTIFY(send(0, buf, data_len, 0));
572}
573
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700574TEST_F(DEATHTEST, FD_ISSET_fortified) {
Elliott Hughes063525c2014-05-13 11:19:57 -0700575#if defined(__BIONIC__) // glibc catches this at compile-time.
Nick Kralevich90201d52013-10-02 16:11:30 -0700576 fd_set set;
577 memset(&set, 0, sizeof(set));
Elliott Hughesd036e942015-02-02 11:18:58 -0800578 ASSERT_FORTIFY(FD_ISSET(-1, &set));
Elliott Hughes409588c2014-04-23 23:02:43 -0700579#endif
Nick Kralevich90201d52013-10-02 16:11:30 -0700580}
581
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700582TEST_F(DEATHTEST, FD_ISSET_2_fortified) {
Nick Kralevich7943df62013-10-03 14:08:39 -0700583 char buf[1];
584 fd_set* set = (fd_set*) buf;
Elliott Hughesd036e942015-02-02 11:18:58 -0800585 ASSERT_FORTIFY(FD_ISSET(0, set));
Nick Kralevich7943df62013-10-03 14:08:39 -0700586}
587
Daniel Micay9101b002015-05-20 15:31:26 -0400588TEST_F(DEATHTEST, getcwd_fortified) {
589 char buf[1];
590 size_t ct = atoi("2"); // prevent optimizations
591 ASSERT_FORTIFY(getcwd(buf, ct));
592}
593
Daniel Micaye7e1c872015-04-16 09:07:45 -0400594TEST_F(DEATHTEST, pread_fortified) {
595 char buf[1];
596 size_t ct = atoi("2"); // prevent optimizations
597 int fd = open("/dev/null", O_RDONLY);
598 ASSERT_FORTIFY(pread(fd, buf, ct, 0));
599 close(fd);
600}
601
602TEST_F(DEATHTEST, pread64_fortified) {
603 char buf[1];
604 size_t ct = atoi("2"); // prevent optimizations
605 int fd = open("/dev/null", O_RDONLY);
606 ASSERT_FORTIFY(pread64(fd, buf, ct, 0));
607 close(fd);
608}
609
Daniel Micayafdd1542015-07-20 21:37:29 -0400610TEST_F(DEATHTEST, pwrite_fortified) {
611 char buf[1] = {0};
612 size_t ct = atoi("2"); // prevent optimizations
613 int fd = open("/dev/null", O_WRONLY);
614 ASSERT_FORTIFY(pwrite(fd, buf, ct, 0));
615 close(fd);
616}
617
618TEST_F(DEATHTEST, pwrite64_fortified) {
619 char buf[1] = {0};
620 size_t ct = atoi("2"); // prevent optimizations
621 int fd = open("/dev/null", O_WRONLY);
622 ASSERT_FORTIFY(pwrite64(fd, buf, ct, 0));
623 close(fd);
624}
625
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700626TEST_F(DEATHTEST, read_fortified) {
Nick Kralevichb036b5c2013-10-09 20:16:34 -0700627 char buf[1];
628 size_t ct = atoi("2"); // prevent optimizations
629 int fd = open("/dev/null", O_RDONLY);
Elliott Hughesd036e942015-02-02 11:18:58 -0800630 ASSERT_FORTIFY(read(fd, buf, ct));
Nick Kralevichb036b5c2013-10-09 20:16:34 -0700631 close(fd);
632}
633
Daniel Micayafdd1542015-07-20 21:37:29 -0400634TEST_F(DEATHTEST, write_fortified) {
635 char buf[1] = {0};
636 size_t ct = atoi("2"); // prevent optimizations
637 int fd = open("/dev/null", O_WRONLY);
638 ASSERT_EXIT(write(fd, buf, ct), testing::KilledBySignal(SIGABRT), "");
639 close(fd);
640}
641
Daniel Micayfed26592015-07-18 13:55:51 -0400642TEST_F(DEATHTEST, fread_fortified) {
643 char buf[1];
644 size_t ct = atoi("2"); // prevent optimizations
645 FILE* fp = fopen("/dev/null", "r");
646 ASSERT_FORTIFY(fread(buf, 1, ct, fp));
647 fclose(fp);
648}
649
650TEST_F(DEATHTEST, fwrite_fortified) {
651 char buf[1] = {0};
652 size_t ct = atoi("2"); // prevent optimizations
653 FILE* fp = fopen("/dev/null", "w");
654 ASSERT_FORTIFY(fwrite(buf, 1, ct, fp));
655 fclose(fp);
656}
657
Daniel Micay42281882015-04-17 11:26:36 -0400658TEST_F(DEATHTEST, readlink_fortified) {
659 char buf[1];
660 size_t ct = atoi("2"); // prevent optimizations
661 ASSERT_FORTIFY(readlink("/dev/null", buf, ct));
662}
663
664TEST_F(DEATHTEST, readlinkat_fortified) {
665 char buf[1];
666 size_t ct = atoi("2"); // prevent optimizations
667 ASSERT_FORTIFY(readlinkat(AT_FDCWD, "/dev/null", buf, ct));
668}
669
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700670extern "C" char* __strncat_chk(char*, const char*, size_t, size_t);
671extern "C" char* __strcat_chk(char*, const char*, size_t);
672
673TEST(TEST_NAME, strncat) {
674 char buf[10];
675 memset(buf, 'A', sizeof(buf));
676 buf[0] = 'a';
677 buf[1] = '\0';
678 char* res = __strncat_chk(buf, "01234", sizeof(buf) - strlen(buf) - 1, sizeof(buf));
679 ASSERT_EQ(buf, res);
680 ASSERT_EQ('a', buf[0]);
681 ASSERT_EQ('0', buf[1]);
682 ASSERT_EQ('1', buf[2]);
683 ASSERT_EQ('2', buf[3]);
684 ASSERT_EQ('3', buf[4]);
685 ASSERT_EQ('4', buf[5]);
686 ASSERT_EQ('\0', buf[6]);
687 ASSERT_EQ('A', buf[7]);
688 ASSERT_EQ('A', buf[8]);
689 ASSERT_EQ('A', buf[9]);
690}
691
692TEST(TEST_NAME, strncat2) {
693 char buf[10];
694 memset(buf, 'A', sizeof(buf));
695 buf[0] = 'a';
696 buf[1] = '\0';
697 char* res = __strncat_chk(buf, "0123456789", 5, sizeof(buf));
698 ASSERT_EQ(buf, res);
699 ASSERT_EQ('a', buf[0]);
700 ASSERT_EQ('0', buf[1]);
701 ASSERT_EQ('1', buf[2]);
702 ASSERT_EQ('2', buf[3]);
703 ASSERT_EQ('3', buf[4]);
704 ASSERT_EQ('4', buf[5]);
705 ASSERT_EQ('\0', buf[6]);
706 ASSERT_EQ('A', buf[7]);
707 ASSERT_EQ('A', buf[8]);
708 ASSERT_EQ('A', buf[9]);
709}
710
711TEST(TEST_NAME, strncat3) {
712 char buf[10];
713 memset(buf, 'A', sizeof(buf));
714 buf[0] = '\0';
715 char* res = __strncat_chk(buf, "0123456789", 5, sizeof(buf));
716 ASSERT_EQ(buf, res);
717 ASSERT_EQ('0', buf[0]);
718 ASSERT_EQ('1', buf[1]);
719 ASSERT_EQ('2', buf[2]);
720 ASSERT_EQ('3', buf[3]);
721 ASSERT_EQ('4', buf[4]);
722 ASSERT_EQ('\0', buf[5]);
723 ASSERT_EQ('A', buf[6]);
724 ASSERT_EQ('A', buf[7]);
725 ASSERT_EQ('A', buf[8]);
726 ASSERT_EQ('A', buf[9]);
727}
728
729TEST(TEST_NAME, strncat4) {
730 char buf[10];
731 memset(buf, 'A', sizeof(buf));
732 buf[9] = '\0';
733 char* res = __strncat_chk(buf, "", 5, sizeof(buf));
734 ASSERT_EQ(buf, res);
735 ASSERT_EQ('A', buf[0]);
736 ASSERT_EQ('A', buf[1]);
737 ASSERT_EQ('A', buf[2]);
738 ASSERT_EQ('A', buf[3]);
739 ASSERT_EQ('A', buf[4]);
740 ASSERT_EQ('A', buf[5]);
741 ASSERT_EQ('A', buf[6]);
742 ASSERT_EQ('A', buf[7]);
743 ASSERT_EQ('A', buf[8]);
744 ASSERT_EQ('\0', buf[9]);
745}
746
747TEST(TEST_NAME, strncat5) {
748 char buf[10];
749 memset(buf, 'A', sizeof(buf));
750 buf[0] = 'a';
751 buf[1] = '\0';
752 char* res = __strncat_chk(buf, "01234567", 8, sizeof(buf));
753 ASSERT_EQ(buf, res);
754 ASSERT_EQ('a', buf[0]);
755 ASSERT_EQ('0', buf[1]);
756 ASSERT_EQ('1', buf[2]);
757 ASSERT_EQ('2', buf[3]);
758 ASSERT_EQ('3', buf[4]);
759 ASSERT_EQ('4', buf[5]);
760 ASSERT_EQ('5', buf[6]);
761 ASSERT_EQ('6', buf[7]);
762 ASSERT_EQ('7', buf[8]);
763 ASSERT_EQ('\0', buf[9]);
764}
765
766TEST(TEST_NAME, strncat6) {
767 char buf[10];
768 memset(buf, 'A', sizeof(buf));
769 buf[0] = 'a';
770 buf[1] = '\0';
771 char* res = __strncat_chk(buf, "01234567", 9, sizeof(buf));
772 ASSERT_EQ(buf, res);
773 ASSERT_EQ('a', buf[0]);
774 ASSERT_EQ('0', buf[1]);
775 ASSERT_EQ('1', buf[2]);
776 ASSERT_EQ('2', buf[3]);
777 ASSERT_EQ('3', buf[4]);
778 ASSERT_EQ('4', buf[5]);
779 ASSERT_EQ('5', buf[6]);
780 ASSERT_EQ('6', buf[7]);
781 ASSERT_EQ('7', buf[8]);
782 ASSERT_EQ('\0', buf[9]);
783}
784
785
786TEST(TEST_NAME, strcat) {
787 char buf[10];
788 memset(buf, 'A', sizeof(buf));
789 buf[0] = 'a';
790 buf[1] = '\0';
791 char* res = __strcat_chk(buf, "01234", sizeof(buf));
792 ASSERT_EQ(buf, res);
793 ASSERT_EQ('a', buf[0]);
794 ASSERT_EQ('0', buf[1]);
795 ASSERT_EQ('1', buf[2]);
796 ASSERT_EQ('2', buf[3]);
797 ASSERT_EQ('3', buf[4]);
798 ASSERT_EQ('4', buf[5]);
799 ASSERT_EQ('\0', buf[6]);
800 ASSERT_EQ('A', buf[7]);
801 ASSERT_EQ('A', buf[8]);
802 ASSERT_EQ('A', buf[9]);
803}
804
805TEST(TEST_NAME, strcat2) {
806 char buf[10];
807 memset(buf, 'A', sizeof(buf));
808 buf[0] = 'a';
809 buf[1] = '\0';
810 char* res = __strcat_chk(buf, "01234567", sizeof(buf));
811 ASSERT_EQ(buf, res);
812 ASSERT_EQ('a', buf[0]);
813 ASSERT_EQ('0', buf[1]);
814 ASSERT_EQ('1', buf[2]);
815 ASSERT_EQ('2', buf[3]);
816 ASSERT_EQ('3', buf[4]);
817 ASSERT_EQ('4', buf[5]);
818 ASSERT_EQ('5', buf[6]);
819 ASSERT_EQ('6', buf[7]);
820 ASSERT_EQ('7', buf[8]);
821 ASSERT_EQ('\0', buf[9]);
822}
Nick Kralevich93501d32013-08-28 10:47:43 -0700823
Christopher Ferris950a58e2014-04-04 14:38:18 -0700824TEST(TEST_NAME, stpncpy) {
825 char src[10];
826 char dst[10];
827 memcpy(src, "0123456789", sizeof(src)); // non null terminated string
828 stpncpy(dst, src, sizeof(dst));
829 ASSERT_EQ('0', dst[0]);
830 ASSERT_EQ('1', dst[1]);
831 ASSERT_EQ('2', dst[2]);
832 ASSERT_EQ('3', dst[3]);
833 ASSERT_EQ('4', dst[4]);
834 ASSERT_EQ('5', dst[5]);
835 ASSERT_EQ('6', dst[6]);
836 ASSERT_EQ('7', dst[7]);
837 ASSERT_EQ('8', dst[8]);
838 ASSERT_EQ('9', dst[9]);
839}
840
841TEST(TEST_NAME, stpncpy2) {
842 char src[10];
843 char dst[15];
844 memcpy(src, "012345678\0", sizeof(src));
845 stpncpy(dst, src, sizeof(dst));
846 ASSERT_EQ('0', dst[0]);
847 ASSERT_EQ('1', dst[1]);
848 ASSERT_EQ('2', dst[2]);
849 ASSERT_EQ('3', dst[3]);
850 ASSERT_EQ('4', dst[4]);
851 ASSERT_EQ('5', dst[5]);
852 ASSERT_EQ('6', dst[6]);
853 ASSERT_EQ('7', dst[7]);
854 ASSERT_EQ('8', dst[8]);
855 ASSERT_EQ('\0', dst[9]);
856 ASSERT_EQ('\0', dst[10]);
857 ASSERT_EQ('\0', dst[11]);
858 ASSERT_EQ('\0', dst[12]);
859 ASSERT_EQ('\0', dst[13]);
860 ASSERT_EQ('\0', dst[14]);
861}
862
Nick Kralevich93501d32013-08-28 10:47:43 -0700863TEST(TEST_NAME, strncpy) {
864 char src[10];
865 char dst[10];
866 memcpy(src, "0123456789", sizeof(src)); // non null terminated string
867 strncpy(dst, src, sizeof(dst));
868 ASSERT_EQ('0', dst[0]);
869 ASSERT_EQ('1', dst[1]);
870 ASSERT_EQ('2', dst[2]);
871 ASSERT_EQ('3', dst[3]);
872 ASSERT_EQ('4', dst[4]);
873 ASSERT_EQ('5', dst[5]);
874 ASSERT_EQ('6', dst[6]);
875 ASSERT_EQ('7', dst[7]);
876 ASSERT_EQ('8', dst[8]);
877 ASSERT_EQ('9', dst[9]);
878}
879
880TEST(TEST_NAME, strncpy2) {
881 char src[10];
882 char dst[15];
883 memcpy(src, "012345678\0", sizeof(src));
884 strncpy(dst, src, sizeof(dst));
885 ASSERT_EQ('0', dst[0]);
886 ASSERT_EQ('1', dst[1]);
887 ASSERT_EQ('2', dst[2]);
888 ASSERT_EQ('3', dst[3]);
889 ASSERT_EQ('4', dst[4]);
890 ASSERT_EQ('5', dst[5]);
891 ASSERT_EQ('6', dst[6]);
892 ASSERT_EQ('7', dst[7]);
893 ASSERT_EQ('8', dst[8]);
894 ASSERT_EQ('\0', dst[9]);
895 ASSERT_EQ('\0', dst[10]);
896 ASSERT_EQ('\0', dst[11]);
897 ASSERT_EQ('\0', dst[12]);
898 ASSERT_EQ('\0', dst[13]);
899 ASSERT_EQ('\0', dst[14]);
900}
Christopher Ferris16e185c2013-09-10 16:56:34 -0700901
902TEST(TEST_NAME, strcat_chk_max_int_size) {
903 char buf[10];
904 memset(buf, 'A', sizeof(buf));
905 buf[0] = 'a';
906 buf[1] = '\0';
907 char* res = __strcat_chk(buf, "01234567", (size_t)-1);
908 ASSERT_EQ(buf, res);
909 ASSERT_EQ('a', buf[0]);
910 ASSERT_EQ('0', buf[1]);
911 ASSERT_EQ('1', buf[2]);
912 ASSERT_EQ('2', buf[3]);
913 ASSERT_EQ('3', buf[4]);
914 ASSERT_EQ('4', buf[5]);
915 ASSERT_EQ('5', buf[6]);
916 ASSERT_EQ('6', buf[7]);
917 ASSERT_EQ('7', buf[8]);
918 ASSERT_EQ('\0', buf[9]);
919}
920
Christopher Ferris950a58e2014-04-04 14:38:18 -0700921extern "C" char* __stpcpy_chk(char*, const char*, size_t);
922
923TEST(TEST_NAME, stpcpy_chk_max_int_size) {
924 char buf[10];
925 char* res = __stpcpy_chk(buf, "012345678", (size_t)-1);
926 ASSERT_EQ(buf + strlen("012345678"), res);
927 ASSERT_STREQ("012345678", buf);
928}
929
Christopher Ferris16e185c2013-09-10 16:56:34 -0700930extern "C" char* __strcpy_chk(char*, const char*, size_t);
931
932TEST(TEST_NAME, strcpy_chk_max_int_size) {
933 char buf[10];
934 char* res = __strcpy_chk(buf, "012345678", (size_t)-1);
935 ASSERT_EQ(buf, res);
Christopher Ferris950a58e2014-04-04 14:38:18 -0700936 ASSERT_STREQ("012345678", buf);
Christopher Ferris16e185c2013-09-10 16:56:34 -0700937}
938
939extern "C" void* __memcpy_chk(void*, const void*, size_t, size_t);
940
941TEST(TEST_NAME, memcpy_chk_max_int_size) {
942 char buf[10];
943 void* res = __memcpy_chk(buf, "012345678", sizeof(buf), (size_t)-1);
944 ASSERT_EQ((void*)buf, res);
945 ASSERT_EQ('0', buf[0]);
946 ASSERT_EQ('1', buf[1]);
947 ASSERT_EQ('2', buf[2]);
948 ASSERT_EQ('3', buf[3]);
949 ASSERT_EQ('4', buf[4]);
950 ASSERT_EQ('5', buf[5]);
951 ASSERT_EQ('6', buf[6]);
952 ASSERT_EQ('7', buf[7]);
953 ASSERT_EQ('8', buf[8]);
954 ASSERT_EQ('\0', buf[9]);
955}
Stephen Hines6e380722013-10-11 00:45:24 -0700956
957// Verify that macro expansion is done properly for sprintf/snprintf (which
958// are defined as macros in stdio.h under clang).
959#define CONTENTS "macro expansion"
960#define BUF_AND_SIZE(A) A, sizeof(A)
961#define BUF_AND_CONTENTS(A) A, CONTENTS
962#define BUF_AND_SIZE_AND_CONTENTS(A) A, sizeof(A), CONTENTS
963TEST(TEST_NAME, s_n_printf_macro_expansion) {
964 char buf[BUFSIZ];
965 snprintf(BUF_AND_SIZE(buf), CONTENTS);
966 EXPECT_STREQ(CONTENTS, buf);
967
968 snprintf(BUF_AND_SIZE_AND_CONTENTS(buf));
969 EXPECT_STREQ(CONTENTS, buf);
970
971 sprintf(BUF_AND_CONTENTS(buf));
972 EXPECT_STREQ(CONTENTS, buf);
973}
Elliott Hughes4674e382015-02-02 09:15:19 -0800974
975TEST_F(DEATHTEST, poll_fortified) {
976 nfds_t fd_count = atoi("2"); // suppress compiler optimizations
977 pollfd buf[1] = {{0, POLLIN, 0}};
Yabin Cuif4fe6932015-02-03 17:52:32 -0800978 // Set timeout to zero to prevent waiting in poll when fortify test fails.
979 ASSERT_FORTIFY(poll(buf, fd_count, 0));
Elliott Hughes4674e382015-02-02 09:15:19 -0800980}
981
982TEST_F(DEATHTEST, ppoll_fortified) {
983 nfds_t fd_count = atoi("2"); // suppress compiler optimizations
984 pollfd buf[1] = {{0, POLLIN, 0}};
Yabin Cuif4fe6932015-02-03 17:52:32 -0800985 // Set timeout to zero to prevent waiting in ppoll when fortify test fails.
986 timespec timeout;
987 timeout.tv_sec = timeout.tv_nsec = 0;
988 ASSERT_FORTIFY(ppoll(buf, fd_count, &timeout, NULL));
Elliott Hughes4674e382015-02-02 09:15:19 -0800989}