Browse Source

Introducing recallocarray(3), a blend of calloc(3) and reallocarray(3)

with the added feature that released memory is cleared. Much input from various
developers. ok deraadt@ tom@
OPENBSD_6_1
otto 7 years ago
parent
commit
6cec33e265
3 changed files with 147 additions and 7 deletions
  1. +2
    -1
      src/lib/libc/stdlib/Makefile.inc
  2. +64
    -6
      src/lib/libc/stdlib/malloc.3
  3. +81
    -0
      src/lib/libc/stdlib/recallocarray.c

+ 2
- 1
src/lib/libc/stdlib/Makefile.inc View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile.inc,v 1.61 2016/08/14 23:18:03 guenther Exp $
# $OpenBSD: Makefile.inc,v 1.62 2017/03/06 18:44:21 otto Exp $
# stdlib sources # stdlib sources
.PATH: ${LIBCSRCDIR}/arch/${MACHINE_CPU}/stdlib ${LIBCSRCDIR}/stdlib .PATH: ${LIBCSRCDIR}/arch/${MACHINE_CPU}/stdlib ${LIBCSRCDIR}/stdlib
@ -7,6 +7,7 @@ SRCS+= a64l.c abort.c atexit.c atoi.c atof.c atol.c atoll.c bsearch.c \
exit.c ecvt.c gcvt.c getenv.c getopt_long.c \ exit.c ecvt.c gcvt.c getenv.c getopt_long.c \
getsubopt.c hcreate.c heapsort.c imaxabs.c imaxdiv.c insque.c \ getsubopt.c hcreate.c heapsort.c imaxabs.c imaxdiv.c insque.c \
l64a.c llabs.c lldiv.c lsearch.c malloc.c reallocarray.c \ l64a.c llabs.c lldiv.c lsearch.c malloc.c reallocarray.c \
recallocarray.c \
merge.c posix_pty.c qsort.c radixsort.c rand.c random.c \ merge.c posix_pty.c qsort.c radixsort.c rand.c random.c \
realpath.c remque.c setenv.c strtoimax.c \ realpath.c remque.c setenv.c strtoimax.c \
strtol.c strtoll.c strtonum.c strtoul.c strtoull.c strtoumax.c \ strtol.c strtoll.c strtonum.c strtoul.c strtoull.c strtoumax.c \


+ 64
- 6
src/lib/libc/stdlib/malloc.3 View File

@ -30,9 +30,9 @@
.\" OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF .\" OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
.\" SUCH DAMAGE. .\" SUCH DAMAGE.
.\" .\"
.\" $OpenBSD: malloc.3,v 1.101 2017/02/12 10:46:09 otto Exp $
.\" $OpenBSD: malloc.3,v 1.102 2017/03/06 18:44:21 otto Exp $
.\" .\"
.Dd $Mdocdate: February 12 2017 $
.Dd $Mdocdate: March 6 2017 $
.Dt MALLOC 3 .Dt MALLOC 3
.Os .Os
.Sh NAME .Sh NAME
@ -51,6 +51,8 @@
.Ft void * .Ft void *
.Fn reallocarray "void *ptr" "size_t nmemb" "size_t size" .Fn reallocarray "void *ptr" "size_t nmemb" "size_t size"
.Ft void * .Ft void *
.Fn recallocarray "void *ptr" "size_t oldnmemb" "size_t nmemb" "size_t size"
.Ft void *
.Fn realloc "void *ptr" "size_t size" .Fn realloc "void *ptr" "size_t size"
.Ft void .Ft void
.Fn free "void *ptr" .Fn free "void *ptr"
@ -113,6 +115,33 @@ and checks for integer overflow in the calculation
.Fa size . .Fa size .
.Pp .Pp
The The
.Fn recallocarray
function is similar to
.Fn reallocarray
except that it takes care of clearing newly allocated and freed memory.
If
.Fa ptr
is a
.Dv NULL
pointer,
.Fa oldnmemb
is ignored and the call is equivalent to
.Fn calloc .
If
.Fa ptr
is not a
.Dv NULL
pointer,
.Fa oldnmemb
must be a value such that
.Fa oldnmemb
*
.Fa size
is the size of an earlier allocation that returned
.Fa ptr ,
otherwise the behaviour is undefined.
.Pp
The
.Fn free .Fn free
function causes the space pointed to by function causes the space pointed to by
.Fa ptr .Fa ptr
@ -129,16 +158,18 @@ If
was previously freed by was previously freed by
.Fn free , .Fn free ,
.Fn realloc , .Fn realloc ,
.Fn reallocarray
or or
.Fn reallocarray ,
.Fn recallocarray ,
the behavior is undefined and the double free is a security concern. the behavior is undefined and the double free is a security concern.
.Sh RETURN VALUES .Sh RETURN VALUES
Upon successful completion, the functions Upon successful completion, the functions
.Fn malloc , .Fn malloc ,
.Fn calloc , .Fn calloc ,
.Fn realloc , .Fn realloc ,
and
.Fn reallocarray .Fn reallocarray
and
.Fn recallocarray
return a pointer to the allocated space; otherwise, a return a pointer to the allocated space; otherwise, a
.Dv NULL .Dv NULL
pointer is returned and pointer is returned and
@ -161,15 +192,31 @@ If multiplying
and and
.Fa size .Fa size
results in integer overflow, results in integer overflow,
.Fn calloc
and
.Fn calloc ,
.Fn reallocarray .Fn reallocarray
and
.Fn recallocarray
return return
.Dv NULL .Dv NULL
and set and set
.Va errno .Va errno
to to
.Er ENOMEM . .Er ENOMEM .
.Pp
If
.Fa ptr
is not NULL and multiplying
.Fa oldnmemb
and
.Fa size
results in integer overflow
.Fn recallocarray
returns
.Dv NULL
and sets
.Va errno
to
.Er EINVAL .
.Sh IDIOMS .Sh IDIOMS
Consider Consider
.Fn calloc .Fn calloc
@ -264,6 +311,17 @@ Use the following:
.Bd -literal -offset indent .Bd -literal -offset indent
newp = realloc(p, newsize); newp = realloc(p, newsize);
.Ed .Ed
.Pp
The
.Fn recallocarray
function should be used for resizing objects containing sensitive data like
keys.
To avoid leaking information,
it guarantees memory is cleared before placing it on the internal free list.
A
.Fn free
call for such an object should still be preceded by a call to
.Xr explicit_bzero 3 .
.Sh ENVIRONMENT .Sh ENVIRONMENT
.Bl -tag -width "/etc/malloc.conf" .Bl -tag -width "/etc/malloc.conf"
.It Ev MALLOC_OPTIONS .It Ev MALLOC_OPTIONS


+ 81
- 0
src/lib/libc/stdlib/recallocarray.c View File

@ -0,0 +1,81 @@
/* $OpenBSD: recallocarray.c,v 1.1 2017/03/06 18:44:21 otto Exp $ */
/*
* Copyright (c) 2008, 2017 Otto Moerbeek <otto@drijf.net>
*
* Permission to use, copy, modify, and distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
* copyright notice and this permission notice appear in all copies.
*
* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
* WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
* MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
* ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
* WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
* ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
*/
#include <errno.h>
#include <stdlib.h>
#include <stdint.h>
#include <string.h>
#include <unistd.h>
/*
* This is sqrt(SIZE_MAX+1), as s1*s2 <= SIZE_MAX
* if both s1 < MUL_NO_OVERFLOW and s2 < MUL_NO_OVERFLOW
*/
#define MUL_NO_OVERFLOW ((size_t)1 << (sizeof(size_t) * 4))
void *
recallocarray(void *ptr, size_t oldnmemb, size_t newnmemb, size_t size)
{
size_t oldsize, newsize;
void *newptr;
if (ptr == NULL)
return calloc(newnmemb, size);
if ((newnmemb >= MUL_NO_OVERFLOW || size >= MUL_NO_OVERFLOW) &&
newnmemb > 0 && SIZE_MAX / newnmemb < size) {
errno = ENOMEM;
return NULL;
}
newsize = newnmemb * size;
if ((oldnmemb >= MUL_NO_OVERFLOW || size >= MUL_NO_OVERFLOW) &&
oldnmemb > 0 && SIZE_MAX / oldnmemb < size) {
errno = EINVAL;
return NULL;
}
oldsize = oldnmemb * size;
/*
* Don't bother too much if we're shrinking just a bit,
* we do not shrink for series of small steps, oh well.
*/
if (newsize <= oldsize) {
size_t d = oldsize - newsize;
if (d < oldsize / 2 && d < getpagesize()) {
memset((char *)ptr + newsize, 0, d);
return ptr;
}
}
newptr = malloc(newsize);
if (newptr == NULL)
return NULL;
if (newsize > oldsize) {
memcpy(newptr, ptr, oldsize);
memset((char *)newptr + oldsize, 0, newsize - oldsize);
} else
memcpy(newptr, ptr, newsize);
explicit_bzero(ptr, oldsize);
free(ptr);
return newptr;
}
DEF_WEAK(recallocarray);

Loading…
Cancel
Save