blob: 216eaa0e5c6ccd24087b32f7b7338fc03fa05846 [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
17#include <gtest/gtest.h>
Nick Kralevich5bcf3982013-06-28 10:34:09 -070018
Yabin Cui9df70402014-11-05 18:01:01 -080019#include <fcntl.h>
20#include <malloc.h>
Elliott Hughes4674e382015-02-02 09:15:19 -080021#include <poll.h>
Yabin Cui9df70402014-11-05 18:01:01 -080022#include <signal.h>
23#include <stdarg.h>
24#include <string.h>
25#include <sys/socket.h>
26#include <sys/stat.h>
27#include <sys/types.h>
Yabin Cuif4fe6932015-02-03 17:52:32 -080028#include <time.h>
Yabin Cui9df70402014-11-05 18:01:01 -080029
Elliott Hughes141b9172021-04-09 17:13:09 -070030#include <android-base/silent_death_test.h>
31
Elliott Hughese7943f82023-09-28 08:20:20 -070032#if defined(__BIONIC__)
Elliott Hughesd036e942015-02-02 11:18:58 -080033#define ASSERT_FORTIFY(expr) ASSERT_EXIT(expr, testing::KilledBySignal(SIGABRT), "FORTIFY")
34#else
35#define ASSERT_FORTIFY(expr) ASSERT_EXIT(expr, testing::KilledBySignal(SIGABRT), "")
36#endif
37
Yabin Cui9df70402014-11-05 18:01:01 -080038// Fortify test code needs to run multiple times, so TEST_NAME macro is used to
39// distinguish different tests. TEST_NAME is defined in compilation command.
Nick Kralevich5bcf3982013-06-28 10:34:09 -070040#define DEATHTEST_PASTER(name) name##_DeathTest
41#define DEATHTEST_EVALUATOR(name) DEATHTEST_PASTER(name)
42#define DEATHTEST DEATHTEST_EVALUATOR(TEST_NAME)
43
Elliott Hughes141b9172021-04-09 17:13:09 -070044using DEATHTEST = SilentDeathTest;
Nick Kralevichbe0e43b2014-07-23 13:56:23 -070045
Nick Kralevich5bcf3982013-06-28 10:34:09 -070046#if defined(_FORTIFY_SOURCE) && _FORTIFY_SOURCE == 2
47struct foo {
48 char empty[0];
49 char one[1];
50 char a[10];
51 char b[10];
52};
53
Nick Kralevichbe0e43b2014-07-23 13:56:23 -070054TEST_F(DEATHTEST, stpncpy_fortified2) {
Christopher Ferris950a58e2014-04-04 14:38:18 -070055 foo myfoo;
56 int copy_amt = atoi("11");
Elliott Hughesd036e942015-02-02 11:18:58 -080057 ASSERT_FORTIFY(stpncpy(myfoo.a, "01234567890", copy_amt));
Christopher Ferris950a58e2014-04-04 14:38:18 -070058}
Christopher Ferris950a58e2014-04-04 14:38:18 -070059
Nick Kralevichbe0e43b2014-07-23 13:56:23 -070060TEST_F(DEATHTEST, stpncpy2_fortified2) {
Christopher Ferris2a391882024-12-19 13:44:35 -080061 foo myfoo = {};
Christopher Ferris950a58e2014-04-04 14:38:18 -070062 myfoo.one[0] = 'A'; // not null terminated string
Elliott Hughesd036e942015-02-02 11:18:58 -080063 ASSERT_FORTIFY(stpncpy(myfoo.b, myfoo.one, sizeof(myfoo.b)));
Christopher Ferris950a58e2014-04-04 14:38:18 -070064}
Christopher Ferris950a58e2014-04-04 14:38:18 -070065
Nick Kralevichbe0e43b2014-07-23 13:56:23 -070066TEST_F(DEATHTEST, strncpy_fortified2) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -070067 foo myfoo;
68 int copy_amt = atoi("11");
Elliott Hughesd036e942015-02-02 11:18:58 -080069 ASSERT_FORTIFY(strncpy(myfoo.a, "01234567890", copy_amt));
Nick Kralevich5bcf3982013-06-28 10:34:09 -070070}
Nick Kralevich5bcf3982013-06-28 10:34:09 -070071
Nick Kralevichbe0e43b2014-07-23 13:56:23 -070072TEST_F(DEATHTEST, strncpy2_fortified2) {
Christopher Ferris2a391882024-12-19 13:44:35 -080073 foo myfoo = {};
Nick Kralevich93501d32013-08-28 10:47:43 -070074 myfoo.one[0] = 'A'; // not null terminated string
Elliott Hughesd036e942015-02-02 11:18:58 -080075 ASSERT_FORTIFY(strncpy(myfoo.b, myfoo.one, sizeof(myfoo.b)));
Nick Kralevich93501d32013-08-28 10:47:43 -070076}
Nick Kralevich93501d32013-08-28 10:47:43 -070077
Nick Kralevichbe0e43b2014-07-23 13:56:23 -070078TEST_F(DEATHTEST, sprintf_fortified2) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -070079 foo myfoo;
80 char source_buf[15];
81 memcpy(source_buf, "12345678901234", 15);
Elliott Hughesd036e942015-02-02 11:18:58 -080082 ASSERT_FORTIFY(sprintf(myfoo.a, "%s", source_buf));
Nick Kralevich5bcf3982013-06-28 10:34:09 -070083}
Nick Kralevich5bcf3982013-06-28 10:34:09 -070084
Nick Kralevich884a3de2014-10-06 00:39:47 +000085TEST_F(DEATHTEST, sprintf2_fortified2) {
Nick Kralevich884a3de2014-10-06 00:39:47 +000086 foo myfoo;
Elliott Hughesd036e942015-02-02 11:18:58 -080087 ASSERT_FORTIFY(sprintf(myfoo.a, "0123456789"));
Nick Kralevich884a3de2014-10-06 00:39:47 +000088}
Nick Kralevich884a3de2014-10-06 00:39:47 +000089
Nick Kralevich5bcf3982013-06-28 10:34:09 -070090static int vsprintf_helper2(const char *fmt, ...) {
91 foo myfoo;
92 va_list va;
93 int result;
94
95 va_start(va, fmt);
96 result = vsprintf(myfoo.a, fmt, va); // should crash here
97 va_end(va);
98 return result;
99}
100
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700101TEST_F(DEATHTEST, vsprintf_fortified2) {
Elliott Hughesd036e942015-02-02 11:18:58 -0800102 ASSERT_FORTIFY(vsprintf_helper2("%s", "0123456789"));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700103}
104
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700105TEST_F(DEATHTEST, vsprintf2_fortified2) {
Elliott Hughesd036e942015-02-02 11:18:58 -0800106 ASSERT_FORTIFY(vsprintf_helper2("0123456789"));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700107}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700108
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700109static int vsnprintf_helper2(const char *fmt, ...) {
110 foo myfoo;
111 va_list va;
112 int result;
113 size_t size = atoi("11");
114
115 va_start(va, fmt);
116 result = vsnprintf(myfoo.a, size, fmt, va); // should crash here
117 va_end(va);
118 return result;
119}
120
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700121TEST_F(DEATHTEST, vsnprintf_fortified2) {
Elliott Hughesd036e942015-02-02 11:18:58 -0800122 ASSERT_FORTIFY(vsnprintf_helper2("%s", "0123456789"));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700123}
124
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700125TEST_F(DEATHTEST, vsnprintf2_fortified2) {
Elliott Hughesd036e942015-02-02 11:18:58 -0800126 ASSERT_FORTIFY(vsnprintf_helper2("0123456789"));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700127}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700128
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700129// zero sized target with "\0" source (should fail)
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700130TEST_F(DEATHTEST, stpcpy_fortified2) {
Christopher Ferris950a58e2014-04-04 14:38:18 -0700131#if defined(__BIONIC__)
Christopher Ferris950a58e2014-04-04 14:38:18 -0700132 foo myfoo;
133 char* src = strdup("");
Elliott Hughesd036e942015-02-02 11:18:58 -0800134 ASSERT_FORTIFY(stpcpy(myfoo.empty, src));
Christopher Ferris950a58e2014-04-04 14:38:18 -0700135 free(src);
136#else // __BIONIC__
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800137 GTEST_SKIP() << "stpcpy not available";
Christopher Ferris950a58e2014-04-04 14:38:18 -0700138#endif // __BIONIC__
139}
Christopher Ferris950a58e2014-04-04 14:38:18 -0700140
Christopher Ferris950a58e2014-04-04 14:38:18 -0700141// zero sized target with "\0" source (should fail)
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700142TEST_F(DEATHTEST, strcpy_fortified2) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800143#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700144 foo myfoo;
145 char* src = strdup("");
Elliott Hughesd036e942015-02-02 11:18:58 -0800146 ASSERT_FORTIFY(strcpy(myfoo.empty, src));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700147 free(src);
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800148#else // __BIONIC__
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800149 GTEST_SKIP() << "glibc is broken";
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800150#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700151}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700152
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700153// zero sized target with longer source (should fail)
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700154TEST_F(DEATHTEST, strcpy2_fortified2) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800155#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700156 foo myfoo;
157 char* src = strdup("1");
Elliott Hughesd036e942015-02-02 11:18:58 -0800158 ASSERT_FORTIFY(strcpy(myfoo.empty, src));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700159 free(src);
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800160#else // __BIONIC__
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800161 GTEST_SKIP() << "glibc is broken";
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800162#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700163}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700164
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700165// one byte target with longer source (should fail)
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700166TEST_F(DEATHTEST, strcpy3_fortified2) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800167#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700168 foo myfoo;
169 char* src = strdup("12");
Elliott Hughesd036e942015-02-02 11:18:58 -0800170 ASSERT_FORTIFY(strcpy(myfoo.one, src));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700171 free(src);
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800172#else // __BIONIC__
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800173 GTEST_SKIP() << "glibc is broken";
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800174#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700175}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700176
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700177TEST_F(DEATHTEST, strchr_fortified2) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800178#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700179 foo myfoo;
180 memcpy(myfoo.a, "0123456789", sizeof(myfoo.a));
181 myfoo.b[0] = '\0';
Elliott Hughesd036e942015-02-02 11:18:58 -0800182 ASSERT_FORTIFY(printf("%s", strchr(myfoo.a, 'a')));
George Burgess IVbd3d2082017-04-04 17:34:02 -0700183 ASSERT_FORTIFY(printf("%s", strchr(static_cast<const char*>(myfoo.a), 'a')));
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800184#else // __BIONIC__
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800185 GTEST_SKIP() << "glibc is broken";
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800186#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700187}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700188
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700189TEST_F(DEATHTEST, strrchr_fortified2) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800190#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700191 foo myfoo;
192 memcpy(myfoo.a, "0123456789", 10);
193 memcpy(myfoo.b, "01234", 6);
Elliott Hughesd036e942015-02-02 11:18:58 -0800194 ASSERT_FORTIFY(printf("%s", strrchr(myfoo.a, 'a')));
George Burgess IVbd3d2082017-04-04 17:34:02 -0700195 ASSERT_FORTIFY(printf("%s", strrchr(static_cast<const char*>(myfoo.a), 'a')));
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800196#else // __BIONIC__
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800197 GTEST_SKIP() << "glibc is broken";
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800198#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700199}
George Burgess IVbd3d2082017-04-04 17:34:02 -0700200
201TEST_F(DEATHTEST, memchr_fortified2) {
202#if defined(__BIONIC__)
203 foo myfoo;
204 volatile int asize = sizeof(myfoo.a) + 1;
205 memcpy(myfoo.a, "0123456789", sizeof(myfoo.a));
Stephen Hines62165a12020-08-18 01:38:14 -0700206 ASSERT_FORTIFY(printf("%s", static_cast<const char*>(memchr(myfoo.a, 'a', asize))));
207 ASSERT_FORTIFY(printf(
208 "%s", static_cast<const char*>(memchr(static_cast<const void*>(myfoo.a), 'a', asize))));
George Burgess IVbd3d2082017-04-04 17:34:02 -0700209#else // __BIONIC__
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800210 GTEST_SKIP() << "glibc is broken";
George Burgess IVbd3d2082017-04-04 17:34:02 -0700211#endif // __BIONIC__
212}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700213
Elliott Hughes55a8cc22017-11-08 21:22:44 -0800214TEST_F(DEATHTEST, memrchr_fortified2) {
215#if defined(__BIONIC__)
216 foo myfoo;
217 volatile int asize = sizeof(myfoo.a) + 1;
218 memcpy(myfoo.a, "0123456789", sizeof(myfoo.a));
Stephen Hines62165a12020-08-18 01:38:14 -0700219 ASSERT_FORTIFY(printf("%s", static_cast<const char*>(memrchr(myfoo.a, 'a', asize))));
220 ASSERT_FORTIFY(printf(
221 "%s", static_cast<const char*>(memrchr(static_cast<const void*>(myfoo.a), 'a', asize))));
Elliott Hughes55a8cc22017-11-08 21:22:44 -0800222#else // __BIONIC__
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800223 GTEST_SKIP() << "glibc is broken";
Elliott Hughes55a8cc22017-11-08 21:22:44 -0800224#endif // __BIONIC__
225}
226
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700227TEST_F(DEATHTEST, strlcpy_fortified2) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800228#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700229 foo myfoo;
230 strcpy(myfoo.a, "01");
231 size_t n = strlen(myfoo.a);
Elliott Hughesd036e942015-02-02 11:18:58 -0800232 ASSERT_FORTIFY(strlcpy(myfoo.one, myfoo.a, n));
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800233#else // __BIONIC__
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800234 GTEST_SKIP() << "strlcpy not available";
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800235#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700236}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700237
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700238TEST_F(DEATHTEST, strlcat_fortified2) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800239#if defined(__BIONIC__)
Nick Kralevicha6cde392013-06-29 08:15:25 -0700240 foo myfoo;
241 strcpy(myfoo.a, "01");
242 myfoo.one[0] = '\0';
243 size_t n = strlen(myfoo.a);
Elliott Hughesd036e942015-02-02 11:18:58 -0800244 ASSERT_FORTIFY(strlcat(myfoo.one, myfoo.a, n));
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800245#else // __BIONIC__
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800246 GTEST_SKIP() << "strlcat not available";
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800247#endif // __BIONIC__
Nick Kralevicha6cde392013-06-29 08:15:25 -0700248}
Nick Kralevicha6cde392013-06-29 08:15:25 -0700249
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700250TEST_F(DEATHTEST, strncat_fortified2) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700251 foo myfoo;
252 size_t n = atoi("10"); // avoid compiler optimizations
253 strncpy(myfoo.a, "012345678", n);
Elliott Hughesd036e942015-02-02 11:18:58 -0800254 ASSERT_FORTIFY(strncat(myfoo.a, "9", n));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700255}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700256
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700257TEST_F(DEATHTEST, strncat2_fortified2) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700258 foo myfoo;
259 myfoo.a[0] = '\0';
260 size_t n = atoi("10"); // avoid compiler optimizations
Elliott Hughesd036e942015-02-02 11:18:58 -0800261 ASSERT_FORTIFY(strncat(myfoo.a, "0123456789", n));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700262}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700263
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700264TEST_F(DEATHTEST, strncat3_fortified2) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700265 foo myfoo;
266 memcpy(myfoo.a, "0123456789", sizeof(myfoo.a)); // unterminated string
267 myfoo.b[0] = '\0';
268 size_t n = atoi("10"); // avoid compiler optimizations
Elliott Hughesd036e942015-02-02 11:18:58 -0800269 ASSERT_FORTIFY(strncat(myfoo.b, myfoo.a, n));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700270}
271
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700272TEST_F(DEATHTEST, strcat_fortified2) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700273 char src[11];
274 strcpy(src, "0123456789");
275 foo myfoo;
276 myfoo.a[0] = '\0';
Elliott Hughesd036e942015-02-02 11:18:58 -0800277 ASSERT_FORTIFY(strcat(myfoo.a, src));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700278}
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700279
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700280TEST_F(DEATHTEST, strcat2_fortified2) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700281 foo myfoo;
282 memcpy(myfoo.a, "0123456789", sizeof(myfoo.a)); // unterminated string
283 myfoo.b[0] = '\0';
Elliott Hughesd036e942015-02-02 11:18:58 -0800284 ASSERT_FORTIFY(strcat(myfoo.b, myfoo.a));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700285}
286
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700287TEST_F(DEATHTEST, snprintf_fortified2) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700288 foo myfoo;
289 strcpy(myfoo.a, "012345678");
290 size_t n = strlen(myfoo.a) + 2;
Elliott Hughesd036e942015-02-02 11:18:58 -0800291 ASSERT_FORTIFY(snprintf(myfoo.b, n, "a%s", myfoo.a));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700292}
293
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700294TEST_F(DEATHTEST, bzero_fortified2) {
Nick Kralevicha6cde392013-06-29 08:15:25 -0700295 foo myfoo;
296 memcpy(myfoo.b, "0123456789", sizeof(myfoo.b));
297 size_t n = atoi("11");
Elliott Hughesd036e942015-02-02 11:18:58 -0800298 ASSERT_FORTIFY(bzero(myfoo.b, n));
Nick Kralevicha6cde392013-06-29 08:15:25 -0700299}
300
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700301#endif /* defined(_FORTIFY_SOURCE) && _FORTIFY_SOURCE=2 */
302
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700303// multibyte target where we over fill (should fail)
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700304TEST_F(DEATHTEST, strcpy_fortified) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800305#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700306 char buf[10];
307 char *orig = strdup("0123456789");
Elliott Hughesd036e942015-02-02 11:18:58 -0800308 ASSERT_FORTIFY(strcpy(buf, orig));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700309 free(orig);
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800310#else // __BIONIC__
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800311 GTEST_SKIP() << "glibc is broken";
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800312#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700313}
314
315// zero sized target with "\0" source (should fail)
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700316TEST_F(DEATHTEST, strcpy2_fortified) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800317#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700318 char buf[0];
319 char *orig = strdup("");
Elliott Hughesd036e942015-02-02 11:18:58 -0800320 ASSERT_FORTIFY(strcpy(buf, orig));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700321 free(orig);
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800322#else // __BIONIC__
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800323 GTEST_SKIP() << "glibc is broken";
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800324#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700325}
326
327// zero sized target with longer source (should fail)
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700328TEST_F(DEATHTEST, strcpy3_fortified) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800329#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700330 char buf[0];
331 char *orig = strdup("1");
Elliott Hughesd036e942015-02-02 11:18:58 -0800332 ASSERT_FORTIFY(strcpy(buf, orig));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700333 free(orig);
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800334#else // __BIONIC__
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800335 GTEST_SKIP() << "glibc is broken";
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800336#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700337}
338
339// one byte target with longer source (should fail)
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700340TEST_F(DEATHTEST, strcpy4_fortified) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800341#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700342 char buf[1];
343 char *orig = strdup("12");
Elliott Hughesd036e942015-02-02 11:18:58 -0800344 ASSERT_FORTIFY(strcpy(buf, orig));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700345 free(orig);
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800346#else // __BIONIC__
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800347 GTEST_SKIP() << "glibc is broken";
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800348#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700349}
350
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700351TEST_F(DEATHTEST, strlen_fortified) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800352#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700353 char buf[10];
354 memcpy(buf, "0123456789", sizeof(buf));
Elliott Hughesd036e942015-02-02 11:18:58 -0800355 ASSERT_FORTIFY(printf("%zd", strlen(buf)));
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800356#else // __BIONIC__
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800357 GTEST_SKIP() << "glibc is broken";
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800358#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700359}
360
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700361TEST_F(DEATHTEST, strchr_fortified) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800362#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700363 char buf[10];
364 memcpy(buf, "0123456789", sizeof(buf));
Elliott Hughesd036e942015-02-02 11:18:58 -0800365 ASSERT_FORTIFY(printf("%s", strchr(buf, 'a')));
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800366#else // __BIONIC__
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800367 GTEST_SKIP() << "glibc is broken";
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800368#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700369}
370
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700371TEST_F(DEATHTEST, strrchr_fortified) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800372#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700373 char buf[10];
374 memcpy(buf, "0123456789", sizeof(buf));
Elliott Hughesd036e942015-02-02 11:18:58 -0800375 ASSERT_FORTIFY(printf("%s", strrchr(buf, 'a')));
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800376#else // __BIONIC__
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800377 GTEST_SKIP() << "glibc is broken";
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800378#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700379}
380
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700381TEST_F(DEATHTEST, strlcpy_fortified) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800382#if defined(__BIONIC__)
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700383 char bufa[15];
384 char bufb[10];
385 strcpy(bufa, "01234567890123");
386 size_t n = strlen(bufa);
Elliott Hughesd036e942015-02-02 11:18:58 -0800387 ASSERT_FORTIFY(strlcpy(bufb, bufa, n));
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800388#else // __BIONIC__
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800389 GTEST_SKIP() << "strlcpy not available";
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800390#endif // __BIONIC__
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700391}
392
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700393TEST_F(DEATHTEST, strlcat_fortified) {
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800394#if defined(__BIONIC__)
Nick Kralevicha6cde392013-06-29 08:15:25 -0700395 char bufa[15];
396 char bufb[10];
397 bufb[0] = '\0';
398 strcpy(bufa, "01234567890123");
399 size_t n = strlen(bufa);
Elliott Hughesd036e942015-02-02 11:18:58 -0800400 ASSERT_FORTIFY(strlcat(bufb, bufa, n));
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800401#else // __BIONIC__
Elliott Hughesbcaa4542019-03-08 15:20:23 -0800402 GTEST_SKIP() << "strlcat not available";
Christopher Ferrisf04935c2013-12-20 18:43:21 -0800403#endif // __BIONIC__
Nick Kralevicha6cde392013-06-29 08:15:25 -0700404}
405
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700406TEST_F(DEATHTEST, sprintf_fortified) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700407 char buf[10];
408 char source_buf[15];
409 memcpy(source_buf, "12345678901234", 15);
Elliott Hughesd036e942015-02-02 11:18:58 -0800410 ASSERT_FORTIFY(sprintf(buf, "%s", source_buf));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700411}
412
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700413TEST_F(DEATHTEST, sprintf_malloc_fortified) {
Nick Kralevichb91791d2013-10-02 14:14:40 -0700414 char* buf = (char *) malloc(10);
415 char source_buf[11];
416 memcpy(source_buf, "1234567890", 11);
Elliott Hughesd036e942015-02-02 11:18:58 -0800417 ASSERT_FORTIFY(sprintf(buf, "%s", source_buf));
Nick Kralevichb91791d2013-10-02 14:14:40 -0700418 free(buf);
419}
Nick Kralevichb91791d2013-10-02 14:14:40 -0700420
Nick Kralevich884a3de2014-10-06 00:39:47 +0000421TEST_F(DEATHTEST, sprintf2_fortified) {
Nick Kralevich884a3de2014-10-06 00:39:47 +0000422 char buf[5];
Elliott Hughesd036e942015-02-02 11:18:58 -0800423 ASSERT_FORTIFY(sprintf(buf, "aaaaa"));
Nick Kralevich884a3de2014-10-06 00:39:47 +0000424}
425
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700426static int vsprintf_helper(const char *fmt, ...) {
427 char buf[10];
428 va_list va;
429 int result;
430
431 va_start(va, fmt);
432 result = vsprintf(buf, fmt, va); // should crash here
433 va_end(va);
434 return result;
435}
436
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700437TEST_F(DEATHTEST, vsprintf_fortified) {
Elliott Hughesd036e942015-02-02 11:18:58 -0800438 ASSERT_FORTIFY(vsprintf_helper("%s", "0123456789"));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700439}
440
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700441TEST_F(DEATHTEST, vsprintf2_fortified) {
Elliott Hughesd036e942015-02-02 11:18:58 -0800442 ASSERT_FORTIFY(vsprintf_helper("0123456789"));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700443}
444
445static int vsnprintf_helper(const char *fmt, ...) {
446 char buf[10];
447 va_list va;
448 int result;
449 size_t size = atoi("11");
450
451 va_start(va, fmt);
452 result = vsnprintf(buf, size, fmt, va); // should crash here
453 va_end(va);
454 return result;
455}
456
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700457TEST_F(DEATHTEST, vsnprintf_fortified) {
Elliott Hughesd036e942015-02-02 11:18:58 -0800458 ASSERT_FORTIFY(vsnprintf_helper("%s", "0123456789"));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700459}
460
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700461TEST_F(DEATHTEST, vsnprintf2_fortified) {
Elliott Hughesd036e942015-02-02 11:18:58 -0800462 ASSERT_FORTIFY(vsnprintf_helper("0123456789"));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700463}
464
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700465TEST_F(DEATHTEST, strncat_fortified) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700466 char buf[10];
467 size_t n = atoi("10"); // avoid compiler optimizations
468 strncpy(buf, "012345678", n);
Elliott Hughesd036e942015-02-02 11:18:58 -0800469 ASSERT_FORTIFY(strncat(buf, "9", n));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700470}
471
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700472TEST_F(DEATHTEST, strncat2_fortified) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700473 char buf[10];
474 buf[0] = '\0';
475 size_t n = atoi("10"); // avoid compiler optimizations
Elliott Hughesd036e942015-02-02 11:18:58 -0800476 ASSERT_FORTIFY(strncat(buf, "0123456789", n));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700477}
478
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700479TEST_F(DEATHTEST, strcat_fortified) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700480 char src[11];
481 strcpy(src, "0123456789");
482 char buf[10];
483 buf[0] = '\0';
Elliott Hughesd036e942015-02-02 11:18:58 -0800484 ASSERT_FORTIFY(strcat(buf, src));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700485}
486
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700487TEST_F(DEATHTEST, memmove_fortified) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700488 char buf[20];
489 strcpy(buf, "0123456789");
490 size_t n = atoi("10");
Elliott Hughesd036e942015-02-02 11:18:58 -0800491 ASSERT_FORTIFY(memmove(buf + 11, buf, n));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700492}
493
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700494TEST_F(DEATHTEST, memcpy_fortified) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700495 char bufa[10];
496 char bufb[10];
497 strcpy(bufa, "012345678");
498 size_t n = atoi("11");
Elliott Hughesd036e942015-02-02 11:18:58 -0800499 ASSERT_FORTIFY(memcpy(bufb, bufa, n));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700500}
501
Elliott Hughes62e59642016-03-01 11:22:42 -0800502TEST_F(DEATHTEST, memset_fortified) {
503 char buf[10];
504 size_t n = atoi("11");
505 ASSERT_FORTIFY(memset(buf, 0, n));
506}
507
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700508TEST_F(DEATHTEST, stpncpy_fortified) {
Christopher Ferris950a58e2014-04-04 14:38:18 -0700509 char bufa[15];
510 char bufb[10];
511 strcpy(bufa, "01234567890123");
512 size_t n = strlen(bufa);
Elliott Hughesd036e942015-02-02 11:18:58 -0800513 ASSERT_FORTIFY(stpncpy(bufb, bufa, n));
Christopher Ferris950a58e2014-04-04 14:38:18 -0700514}
515
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700516TEST_F(DEATHTEST, stpncpy2_fortified) {
Christopher Ferris950a58e2014-04-04 14:38:18 -0700517 char dest[11];
518 char src[10];
519 memcpy(src, "0123456789", sizeof(src)); // src is not null terminated
Elliott Hughesd036e942015-02-02 11:18:58 -0800520 ASSERT_FORTIFY(stpncpy(dest, src, sizeof(dest)));
Christopher Ferris950a58e2014-04-04 14:38:18 -0700521}
522
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700523TEST_F(DEATHTEST, strncpy_fortified) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700524 char bufa[15];
525 char bufb[10];
526 strcpy(bufa, "01234567890123");
527 size_t n = strlen(bufa);
Elliott Hughesd036e942015-02-02 11:18:58 -0800528 ASSERT_FORTIFY(strncpy(bufb, bufa, n));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700529}
530
Christopher Ferris950a58e2014-04-04 14:38:18 -0700531
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700532TEST_F(DEATHTEST, strncpy2_fortified) {
Nick Kralevich93501d32013-08-28 10:47:43 -0700533 char dest[11];
534 char src[10];
535 memcpy(src, "0123456789", sizeof(src)); // src is not null terminated
Elliott Hughesd036e942015-02-02 11:18:58 -0800536 ASSERT_FORTIFY(strncpy(dest, src, sizeof(dest)));
Nick Kralevich93501d32013-08-28 10:47:43 -0700537}
538
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700539TEST_F(DEATHTEST, snprintf_fortified) {
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700540 char bufa[15];
541 char bufb[10];
542 strcpy(bufa, "0123456789");
543 size_t n = strlen(bufa) + 1;
Elliott Hughesd036e942015-02-02 11:18:58 -0800544 ASSERT_FORTIFY(snprintf(bufb, n, "%s", bufa));
Nick Kralevich5bcf3982013-06-28 10:34:09 -0700545}
546
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700547TEST_F(DEATHTEST, bzero_fortified) {
Nick Kralevicha6cde392013-06-29 08:15:25 -0700548 char buf[10];
549 memcpy(buf, "0123456789", sizeof(buf));
550 size_t n = atoi("11");
Elliott Hughesd036e942015-02-02 11:18:58 -0800551 ASSERT_FORTIFY(bzero(buf, n));
Nick Kralevicha6cde392013-06-29 08:15:25 -0700552}
553
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700554TEST_F(DEATHTEST, umask_fortified) {
Nick Kralevicha6cde392013-06-29 08:15:25 -0700555 mode_t mask = atoi("1023"); // 01777 in octal
Elliott Hughesd036e942015-02-02 11:18:58 -0800556 ASSERT_FORTIFY(umask(mask));
Nick Kralevicha6cde392013-06-29 08:15:25 -0700557}
558
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700559TEST_F(DEATHTEST, recv_fortified) {
Nick Kralevich60f4f9a2013-09-24 16:32:07 -0700560 size_t data_len = atoi("11"); // suppress compiler optimizations
561 char buf[10];
Elliott Hughesd036e942015-02-02 11:18:58 -0800562 ASSERT_FORTIFY(recv(0, buf, data_len, 0));
Nick Kralevich60f4f9a2013-09-24 16:32:07 -0700563}
564
Daniel Micay95b59c52017-02-13 17:27:59 -0800565TEST_F(DEATHTEST, send_fortified) {
566 size_t data_len = atoi("11"); // suppress compiler optimizations
567 char buf[10] = {0};
568 ASSERT_FORTIFY(send(0, buf, data_len, 0));
569}
570
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700571TEST_F(DEATHTEST, FD_ISSET_fortified) {
Elliott Hughes063525c2014-05-13 11:19:57 -0700572#if defined(__BIONIC__) // glibc catches this at compile-time.
Christopher Ferris2a391882024-12-19 13:44:35 -0800573 fd_set set = {};
Elliott Hughesd036e942015-02-02 11:18:58 -0800574 ASSERT_FORTIFY(FD_ISSET(-1, &set));
Elliott Hughes409588c2014-04-23 23:02:43 -0700575#endif
Nick Kralevich90201d52013-10-02 16:11:30 -0700576}
577
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700578TEST_F(DEATHTEST, FD_ISSET_2_fortified) {
Nick Kralevich7943df62013-10-03 14:08:39 -0700579 char buf[1];
580 fd_set* set = (fd_set*) buf;
Elliott Hughesd036e942015-02-02 11:18:58 -0800581 ASSERT_FORTIFY(FD_ISSET(0, set));
Nick Kralevich7943df62013-10-03 14:08:39 -0700582}
583
Daniel Micay9101b002015-05-20 15:31:26 -0400584TEST_F(DEATHTEST, getcwd_fortified) {
585 char buf[1];
586 size_t ct = atoi("2"); // prevent optimizations
587 ASSERT_FORTIFY(getcwd(buf, ct));
588}
589
Daniel Micaye7e1c872015-04-16 09:07:45 -0400590TEST_F(DEATHTEST, pread_fortified) {
591 char buf[1];
592 size_t ct = atoi("2"); // prevent optimizations
593 int fd = open("/dev/null", O_RDONLY);
594 ASSERT_FORTIFY(pread(fd, buf, ct, 0));
595 close(fd);
596}
597
598TEST_F(DEATHTEST, pread64_fortified) {
599 char buf[1];
600 size_t ct = atoi("2"); // prevent optimizations
601 int fd = open("/dev/null", O_RDONLY);
602 ASSERT_FORTIFY(pread64(fd, buf, ct, 0));
603 close(fd);
604}
605
Daniel Micayafdd1542015-07-20 21:37:29 -0400606TEST_F(DEATHTEST, pwrite_fortified) {
607 char buf[1] = {0};
608 size_t ct = atoi("2"); // prevent optimizations
609 int fd = open("/dev/null", O_WRONLY);
610 ASSERT_FORTIFY(pwrite(fd, buf, ct, 0));
611 close(fd);
612}
613
614TEST_F(DEATHTEST, pwrite64_fortified) {
615 char buf[1] = {0};
616 size_t ct = atoi("2"); // prevent optimizations
617 int fd = open("/dev/null", O_WRONLY);
618 ASSERT_FORTIFY(pwrite64(fd, buf, ct, 0));
619 close(fd);
620}
621
Nick Kralevichbe0e43b2014-07-23 13:56:23 -0700622TEST_F(DEATHTEST, read_fortified) {
Nick Kralevichb036b5c2013-10-09 20:16:34 -0700623 char buf[1];
624 size_t ct = atoi("2"); // prevent optimizations
625 int fd = open("/dev/null", O_RDONLY);
Elliott Hughesd036e942015-02-02 11:18:58 -0800626 ASSERT_FORTIFY(read(fd, buf, ct));
Nick Kralevichb036b5c2013-10-09 20:16:34 -0700627 close(fd);
628}
629
Daniel Micayafdd1542015-07-20 21:37:29 -0400630TEST_F(DEATHTEST, write_fortified) {
631 char buf[1] = {0};
632 size_t ct = atoi("2"); // prevent optimizations
633 int fd = open("/dev/null", O_WRONLY);
634 ASSERT_EXIT(write(fd, buf, ct), testing::KilledBySignal(SIGABRT), "");
635 close(fd);
636}
637
Daniel Micayfed26592015-07-18 13:55:51 -0400638TEST_F(DEATHTEST, fread_fortified) {
639 char buf[1];
640 size_t ct = atoi("2"); // prevent optimizations
641 FILE* fp = fopen("/dev/null", "r");
642 ASSERT_FORTIFY(fread(buf, 1, ct, fp));
643 fclose(fp);
644}
645
646TEST_F(DEATHTEST, fwrite_fortified) {
647 char buf[1] = {0};
648 size_t ct = atoi("2"); // prevent optimizations
649 FILE* fp = fopen("/dev/null", "w");
650 ASSERT_FORTIFY(fwrite(buf, 1, ct, fp));
651 fclose(fp);
652}
653
Daniel Micay42281882015-04-17 11:26:36 -0400654TEST_F(DEATHTEST, readlink_fortified) {
655 char buf[1];
656 size_t ct = atoi("2"); // prevent optimizations
657 ASSERT_FORTIFY(readlink("/dev/null", buf, ct));
658}
659
660TEST_F(DEATHTEST, readlinkat_fortified) {
661 char buf[1];
662 size_t ct = atoi("2"); // prevent optimizations
663 ASSERT_FORTIFY(readlinkat(AT_FDCWD, "/dev/null", buf, ct));
664}
665
zijunzhaoe1833e52023-04-26 21:43:30 +0000666TEST(TEST_NAME, snprintf_nullptr_valid) {
667 ASSERT_EQ(10, snprintf(nullptr, 0, "0123456789"));
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
George Burgess IV849c0b92019-06-10 16:22:09 -0700921TEST(TEST_NAME, mempcpy_chk) {
922 const char input_str[] = "abcdefg";
923 size_t input_str_size = strlen(input_str) + 1;
924
925 char buf1[10] = {};
926 char buf2[10] = {};
927
928 __builtin_mempcpy(buf1, input_str, input_str_size);
929 __builtin___mempcpy_chk(buf2, input_str, input_str_size, __bos0(buf2));
930
931 ASSERT_EQ(memcmp(buf1, buf2, sizeof(buf2)), 0);
932
933 void *builtin_ptr = __builtin_mempcpy(buf1, input_str, input_str_size);
934 void *fortify_ptr = __builtin___mempcpy_chk(buf1, input_str, input_str_size, __bos0(buf2));
935
936 ASSERT_EQ(builtin_ptr, fortify_ptr);
937}
938
Christopher Ferris950a58e2014-04-04 14:38:18 -0700939extern "C" char* __stpcpy_chk(char*, const char*, size_t);
940
941TEST(TEST_NAME, stpcpy_chk_max_int_size) {
942 char buf[10];
943 char* res = __stpcpy_chk(buf, "012345678", (size_t)-1);
944 ASSERT_EQ(buf + strlen("012345678"), res);
945 ASSERT_STREQ("012345678", buf);
946}
947
Christopher Ferris16e185c2013-09-10 16:56:34 -0700948extern "C" char* __strcpy_chk(char*, const char*, size_t);
949
950TEST(TEST_NAME, strcpy_chk_max_int_size) {
951 char buf[10];
952 char* res = __strcpy_chk(buf, "012345678", (size_t)-1);
953 ASSERT_EQ(buf, res);
Christopher Ferris950a58e2014-04-04 14:38:18 -0700954 ASSERT_STREQ("012345678", buf);
Christopher Ferris16e185c2013-09-10 16:56:34 -0700955}
956
957extern "C" void* __memcpy_chk(void*, const void*, size_t, size_t);
958
Daniel Verkampdf4e06c2025-01-24 14:08:16 -0800959TEST(TEST_NAME, memcpy_chk_smaller) {
960 char buf[10] = "XXXXXXXXX";
961 size_t n = atoi("5");
962 void* res = __memcpy_chk(buf, "012346578", n, sizeof(buf));
963 ASSERT_EQ((void*)buf, res);
964 ASSERT_EQ('0', buf[0]);
965 ASSERT_EQ('1', buf[1]);
966 ASSERT_EQ('2', buf[2]);
967 ASSERT_EQ('3', buf[3]);
968 ASSERT_EQ('4', buf[4]);
969 ASSERT_EQ('X', buf[5]);
970 ASSERT_EQ('X', buf[6]);
971 ASSERT_EQ('X', buf[7]);
972 ASSERT_EQ('X', buf[8]);
973 ASSERT_EQ('\0', buf[9]);
974}
975
976TEST(TEST_NAME, memcpy_chk_exact_size) {
977 char buf[10] = "XXXXXXXXX";
978 size_t n = atoi("10");
979 void* res = __memcpy_chk(buf, "012345678", n, sizeof(buf));
980 ASSERT_EQ((void*)buf, res);
981 ASSERT_EQ('0', buf[0]);
982 ASSERT_EQ('1', buf[1]);
983 ASSERT_EQ('2', buf[2]);
984 ASSERT_EQ('3', buf[3]);
985 ASSERT_EQ('4', buf[4]);
986 ASSERT_EQ('5', buf[5]);
987 ASSERT_EQ('6', buf[6]);
988 ASSERT_EQ('7', buf[7]);
989 ASSERT_EQ('8', buf[8]);
990 ASSERT_EQ('\0', buf[9]);
991}
992
Christopher Ferris16e185c2013-09-10 16:56:34 -0700993TEST(TEST_NAME, memcpy_chk_max_int_size) {
994 char buf[10];
Daniel Verkamp4f7d3d62025-01-24 14:04:55 -0800995 size_t buf_size = atoi("-1");
996 void* res = __memcpy_chk(buf, "012345678", sizeof(buf), buf_size);
Christopher Ferris16e185c2013-09-10 16:56:34 -0700997 ASSERT_EQ((void*)buf, res);
998 ASSERT_EQ('0', buf[0]);
999 ASSERT_EQ('1', buf[1]);
1000 ASSERT_EQ('2', buf[2]);
1001 ASSERT_EQ('3', buf[3]);
1002 ASSERT_EQ('4', buf[4]);
1003 ASSERT_EQ('5', buf[5]);
1004 ASSERT_EQ('6', buf[6]);
1005 ASSERT_EQ('7', buf[7]);
1006 ASSERT_EQ('8', buf[8]);
1007 ASSERT_EQ('\0', buf[9]);
1008}
Stephen Hines6e380722013-10-11 00:45:24 -07001009
1010// Verify that macro expansion is done properly for sprintf/snprintf (which
1011// are defined as macros in stdio.h under clang).
1012#define CONTENTS "macro expansion"
1013#define BUF_AND_SIZE(A) A, sizeof(A)
1014#define BUF_AND_CONTENTS(A) A, CONTENTS
1015#define BUF_AND_SIZE_AND_CONTENTS(A) A, sizeof(A), CONTENTS
1016TEST(TEST_NAME, s_n_printf_macro_expansion) {
1017 char buf[BUFSIZ];
1018 snprintf(BUF_AND_SIZE(buf), CONTENTS);
1019 EXPECT_STREQ(CONTENTS, buf);
1020
1021 snprintf(BUF_AND_SIZE_AND_CONTENTS(buf));
1022 EXPECT_STREQ(CONTENTS, buf);
1023
1024 sprintf(BUF_AND_CONTENTS(buf));
1025 EXPECT_STREQ(CONTENTS, buf);
1026}
Elliott Hughes4674e382015-02-02 09:15:19 -08001027
1028TEST_F(DEATHTEST, poll_fortified) {
1029 nfds_t fd_count = atoi("2"); // suppress compiler optimizations
1030 pollfd buf[1] = {{0, POLLIN, 0}};
Yabin Cuif4fe6932015-02-03 17:52:32 -08001031 // Set timeout to zero to prevent waiting in poll when fortify test fails.
1032 ASSERT_FORTIFY(poll(buf, fd_count, 0));
Elliott Hughes4674e382015-02-02 09:15:19 -08001033}
1034
1035TEST_F(DEATHTEST, ppoll_fortified) {
1036 nfds_t fd_count = atoi("2"); // suppress compiler optimizations
1037 pollfd buf[1] = {{0, POLLIN, 0}};
Yabin Cuif4fe6932015-02-03 17:52:32 -08001038 // Set timeout to zero to prevent waiting in ppoll when fortify test fails.
1039 timespec timeout;
1040 timeout.tv_sec = timeout.tv_nsec = 0;
Elliott Hughesb83bf142018-03-22 11:01:25 -07001041 ASSERT_FORTIFY(ppoll(buf, fd_count, &timeout, nullptr));
1042}
1043
1044TEST_F(DEATHTEST, ppoll64_fortified) {
Elliott Hughese7943f82023-09-28 08:20:20 -07001045#if defined(__BIONIC__) // glibc doesn't have ppoll64.
Elliott Hughesb83bf142018-03-22 11:01:25 -07001046 nfds_t fd_count = atoi("2"); // suppress compiler optimizations
1047 pollfd buf[1] = {{0, POLLIN, 0}};
1048 // Set timeout to zero to prevent waiting in ppoll when fortify test fails.
1049 timespec timeout;
1050 timeout.tv_sec = timeout.tv_nsec = 0;
1051 ASSERT_FORTIFY(ppoll64(buf, fd_count, &timeout, nullptr));
1052#endif
Elliott Hughes4674e382015-02-02 09:15:19 -08001053}
Elliott Hughesb115aef2017-08-04 09:34:19 -07001054
1055TEST_F(DEATHTEST, open_O_CREAT_without_mode_fortified) {
1056 int flags = O_CREAT; // Fool the compiler.
1057 ASSERT_FORTIFY(open("", flags));
1058}
1059
1060TEST_F(DEATHTEST, open_O_TMPFILE_without_mode_fortified) {
Elliott Hughesb115aef2017-08-04 09:34:19 -07001061 int flags = O_TMPFILE; // Fool the compiler.
1062 ASSERT_FORTIFY(open("", flags));
Elliott Hughesb115aef2017-08-04 09:34:19 -07001063}