1801e60390
This release introduces the ability to replace/interpose the allocator (malloc) subject to certain restrictions, adds an experimental m68k port, and makes notable improvements to stdio (application-provided buffers), getaddrinfo (AI_ADDRCONFIG, support for IPv4-only kernel configurations), the dynamic linker (safety against dlopen of libraries using initial-exec TLS model, reclaiming unused memory on FDPIC archs, better dladdr results), and handling of default thread stack size (pthread_setattr_default_np now works more reliably). Many bugs have been fixed, including potentially dangerous regressions in iconv (only for new conversions to legacy encodings) and visibly incorrect behavior in printf on non-x86 archs (%a format with precision specifier), in getopt_long_only when short options are a prefix for a long option, in complex arc-trig/hyperbolic functions, in strftime and mktime (timezone-specific issues), and numerous less-obvious places. Signed-off-by: Christian Lamparter <chunkeey@gmail.com> [altered commit msg a bit keeping it tight] Tested-by: Koen Vandeputte <koen.vandeputte@ncentric.com>
198 lines
6.6 KiB
Diff
198 lines
6.6 KiB
Diff
From e6683d001a95d7c3d4d992496f00f77e01fcd268 Mon Sep 17 00:00:00 2001
|
|
From: Hauke Mehrtens <hauke@hauke-m.de>
|
|
Date: Sun, 22 Nov 2015 15:04:23 +0100
|
|
Subject: [PATCH v2] Add format attribute to some function declarations
|
|
|
|
GCC and Clang are able to check the format arguments given to a
|
|
function and warn the user if there is a error in the format arguments
|
|
or if there is a potential uncontrolled format string security problem
|
|
in the code. GCC does this automatically for some functions like
|
|
printf(), but it is also possible to annotate other functions in a way
|
|
that it will check them too. This feature is used by glibc for many
|
|
functions. This patch adds the attribute to the some functions of musl
|
|
expect for these functions where gcc automatically adds it.
|
|
|
|
GCC automatically adds checks for these functions: printf, fprintf,
|
|
sprintf, scanf, fscanf, sscanf, strftime, vprintf, vfprintf and
|
|
vsprintf.
|
|
|
|
The documentation from gcc is here:
|
|
https://gcc.gnu.org/onlinedocs/gcc/Common-Function-Attributes.html
|
|
|
|
The documentation from Clang is here:
|
|
http://clang.llvm.org/docs/AttributeReference.html#format-gnu-format
|
|
|
|
Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>
|
|
---
|
|
include/err.h | 26 +++++++++++++++++---------
|
|
include/monetary.h | 12 ++++++++++--
|
|
include/stdio.h | 29 ++++++++++++++++++++---------
|
|
include/syslog.h | 12 ++++++++++--
|
|
4 files changed, 57 insertions(+), 22 deletions(-)
|
|
|
|
--- a/include/err.h
|
|
+++ b/include/err.h
|
|
@@ -8,15 +8,23 @@
|
|
extern "C" {
|
|
#endif
|
|
|
|
-void warn(const char *, ...);
|
|
-void vwarn(const char *, va_list);
|
|
-void warnx(const char *, ...);
|
|
-void vwarnx(const char *, va_list);
|
|
+#if __GNUC__ >= 3
|
|
+#define __fp(x, y) __attribute__ ((__format__ (__printf__, x, y)))
|
|
+#else
|
|
+#define __fp(x, y)
|
|
+#endif
|
|
+
|
|
+void warn(const char *, ...) __fp(1, 2);
|
|
+void vwarn(const char *, va_list) __fp(1, 0);
|
|
+void warnx(const char *, ...) __fp(1, 2);
|
|
+void vwarnx(const char *, va_list) __fp(1, 0);
|
|
+
|
|
+_Noreturn void err(int, const char *, ...) __fp(2, 3);
|
|
+_Noreturn void verr(int, const char *, va_list) __fp(2, 0);
|
|
+_Noreturn void errx(int, const char *, ...) __fp(2, 3);
|
|
+_Noreturn void verrx(int, const char *, va_list) __fp(2, 0);
|
|
|
|
-_Noreturn void err(int, const char *, ...);
|
|
-_Noreturn void verr(int, const char *, va_list);
|
|
-_Noreturn void errx(int, const char *, ...);
|
|
-_Noreturn void verrx(int, const char *, va_list);
|
|
+#undef __fp
|
|
|
|
#ifdef __cplusplus
|
|
}
|
|
--- a/include/monetary.h
|
|
+++ b/include/monetary.h
|
|
@@ -13,8 +13,16 @@ extern "C" {
|
|
|
|
#include <bits/alltypes.h>
|
|
|
|
-ssize_t strfmon(char *__restrict, size_t, const char *__restrict, ...);
|
|
-ssize_t strfmon_l(char *__restrict, size_t, locale_t, const char *__restrict, ...);
|
|
+#if __GNUC__ >= 3
|
|
+#define __fsfm(x, y) __attribute__ ((__format__ (__strfmon__, x, y)))
|
|
+#else
|
|
+#define __fsfm(x, y)
|
|
+#endif
|
|
+
|
|
+ssize_t strfmon(char *__restrict, size_t, const char *__restrict, ...) __fsfm(3, 4);
|
|
+ssize_t strfmon_l(char *__restrict, size_t, locale_t, const char *__restrict, ...) __fsfm(4, 5);
|
|
+
|
|
+#undef __fsfm
|
|
|
|
#ifdef __cplusplus
|
|
}
|
|
--- a/include/stdio.h
|
|
+++ b/include/stdio.h
|
|
@@ -21,6 +21,14 @@ extern "C" {
|
|
|
|
#include <bits/alltypes.h>
|
|
|
|
+#if __GNUC__ >= 3
|
|
+#define __fp(x, y) __attribute__ ((__format__ (__printf__, x, y)))
|
|
+#define __fs(x, y) __attribute__ ((__format__ (__scanf__, x, y)))
|
|
+#else
|
|
+#define __fp(x, y)
|
|
+#define __fs(x, y)
|
|
+#endif
|
|
+
|
|
#ifdef __cplusplus
|
|
#define NULL 0L
|
|
#else
|
|
@@ -103,19 +111,19 @@ int puts(const char *);
|
|
int printf(const char *__restrict, ...);
|
|
int fprintf(FILE *__restrict, const char *__restrict, ...);
|
|
int sprintf(char *__restrict, const char *__restrict, ...);
|
|
-int snprintf(char *__restrict, size_t, const char *__restrict, ...);
|
|
+int snprintf(char *__restrict, size_t, const char *__restrict, ...) __fp(3, 4);
|
|
|
|
int vprintf(const char *__restrict, __isoc_va_list);
|
|
int vfprintf(FILE *__restrict, const char *__restrict, __isoc_va_list);
|
|
int vsprintf(char *__restrict, const char *__restrict, __isoc_va_list);
|
|
-int vsnprintf(char *__restrict, size_t, const char *__restrict, __isoc_va_list);
|
|
+int vsnprintf(char *__restrict, size_t, const char *__restrict, __isoc_va_list) __fp(3, 0);
|
|
|
|
int scanf(const char *__restrict, ...);
|
|
int fscanf(FILE *__restrict, const char *__restrict, ...);
|
|
int sscanf(const char *__restrict, const char *__restrict, ...);
|
|
-int vscanf(const char *__restrict, __isoc_va_list);
|
|
-int vfscanf(FILE *__restrict, const char *__restrict, __isoc_va_list);
|
|
-int vsscanf(const char *__restrict, const char *__restrict, __isoc_va_list);
|
|
+int vscanf(const char *__restrict, __isoc_va_list) __fs(1, 0);
|
|
+int vfscanf(FILE *__restrict, const char *__restrict, __isoc_va_list) __fs(2, 0);
|
|
+int vsscanf(const char *__restrict, const char *__restrict, __isoc_va_list) __fs(2, 0);
|
|
|
|
void perror(const char *);
|
|
|
|
@@ -136,8 +144,8 @@ int pclose(FILE *);
|
|
int fileno(FILE *);
|
|
int fseeko(FILE *, off_t, int);
|
|
off_t ftello(FILE *);
|
|
-int dprintf(int, const char *__restrict, ...);
|
|
-int vdprintf(int, const char *__restrict, __isoc_va_list);
|
|
+int dprintf(int, const char *__restrict, ...) __fp(2, 3);
|
|
+int vdprintf(int, const char *__restrict, __isoc_va_list) __fp(2, 0);
|
|
void flockfile(FILE *);
|
|
int ftrylockfile(FILE *);
|
|
void funlockfile(FILE *);
|
|
@@ -176,8 +184,8 @@ int fileno_unlocked(FILE *);
|
|
int getw(FILE *);
|
|
int putw(int, FILE *);
|
|
char *fgetln(FILE *, size_t *);
|
|
-int asprintf(char **, const char *, ...);
|
|
-int vasprintf(char **, const char *, __isoc_va_list);
|
|
+int asprintf(char **, const char *, ...) __fp(2, 3);
|
|
+int vasprintf(char **, const char *, __isoc_va_list) __fp(2, 0);
|
|
#endif
|
|
|
|
#ifdef _GNU_SOURCE
|
|
@@ -199,6 +207,9 @@ typedef struct _IO_cookie_io_functions_t
|
|
FILE *fopencookie(void *, const char *, cookie_io_functions_t);
|
|
#endif
|
|
|
|
+#undef __fp
|
|
+#undef __fs
|
|
+
|
|
#if defined(_LARGEFILE64_SOURCE) || defined(_GNU_SOURCE)
|
|
#define tmpfile64 tmpfile
|
|
#define fopen64 fopen
|
|
--- a/include/syslog.h
|
|
+++ b/include/syslog.h
|
|
@@ -56,16 +56,22 @@ extern "C" {
|
|
#define LOG_NOWAIT 0x10
|
|
#define LOG_PERROR 0x20
|
|
|
|
+#if __GNUC__ >= 3
|
|
+#define __fp(x, y) __attribute__ ((__format__ (__printf__, x, y)))
|
|
+#else
|
|
+#define __fp(x, y)
|
|
+#endif
|
|
+
|
|
void closelog (void);
|
|
void openlog (const char *, int, int);
|
|
int setlogmask (int);
|
|
-void syslog (int, const char *, ...);
|
|
+void syslog (int, const char *, ...) __fp(2, 3);
|
|
|
|
#if defined(_GNU_SOURCE) || defined(_BSD_SOURCE)
|
|
#define _PATH_LOG "/dev/log"
|
|
#define __NEED_va_list
|
|
#include <bits/alltypes.h>
|
|
-void vsyslog (int, const char *, va_list);
|
|
+void vsyslog (int, const char *, va_list) __fp(2, 0);
|
|
#if defined(SYSLOG_NAMES)
|
|
#define INTERNAL_NOPRI 0x10
|
|
#define INTERNAL_MARK (LOG_NFACILITIES<<3)
|
|
@@ -93,6 +99,8 @@ typedef struct {
|
|
#endif
|
|
#endif
|
|
|
|
+#undef __fp
|
|
+
|
|
#ifdef __cplusplus
|
|
}
|
|
#endif
|