mirror of
https://github.com/Zenithsiz/ftmemsim-valgrind.git
synced 2026-02-03 10:05:29 +00:00
to follow. * add behavioural eclass tags for most functions in mc_replace_strmem.c and vg_replace_malloc.c. * add a wrapper for strspn() (see bug 270925) * coregrind/m_redir.c: add logic to use eclass tags for resolving conflicting redirections. Improve debug printing in that situation. * mc_replace_strmem.c: add a wrapper for "__GI___strcasecmp_l". Gark. Is this correct? Does __GI___strcasecmp_l behave the same as __GI_strcasecmp_l and strcasecmp_l ? git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11985
1297 lines
39 KiB
C
1297 lines
39 KiB
C
|
|
/*--------------------------------------------------------------------*/
|
|
/*--- Replacements for strcpy(), memcpy() et al, which run on the ---*/
|
|
/*--- simulated CPU. ---*/
|
|
/*--- mc_replace_strmem.c ---*/
|
|
/*--------------------------------------------------------------------*/
|
|
|
|
/*
|
|
This file is part of MemCheck, a heavyweight Valgrind tool for
|
|
detecting memory errors.
|
|
|
|
Copyright (C) 2000-2010 Julian Seward
|
|
jseward@acm.org
|
|
|
|
This program is free software; you can redistribute it and/or
|
|
modify it under the terms of the GNU General Public License as
|
|
published by the Free Software Foundation; either version 2 of the
|
|
License, or (at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful, but
|
|
WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program; if not, write to the Free Software
|
|
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
|
|
02111-1307, USA.
|
|
|
|
The GNU General Public License is contained in the file COPYING.
|
|
*/
|
|
|
|
#include "pub_tool_basics.h"
|
|
#include "pub_tool_hashtable.h"
|
|
#include "pub_tool_redir.h"
|
|
#include "pub_tool_tooliface.h"
|
|
#include "valgrind.h"
|
|
|
|
#include "mc_include.h"
|
|
#include "memcheck.h"
|
|
|
|
/* ---------------------------------------------------------------------
|
|
We have our own versions of these functions for two reasons:
|
|
(a) it allows us to do overlap checking
|
|
(b) some of the normal versions are hyper-optimised, which fools
|
|
Memcheck and cause spurious value warnings. Our versions are
|
|
simpler.
|
|
|
|
Note that overenthusiastic use of PLT bypassing by the glibc people also
|
|
means that we need to patch multiple versions of some of the functions to
|
|
our own implementations.
|
|
|
|
THEY RUN ON THE SIMD CPU!
|
|
------------------------------------------------------------------ */
|
|
|
|
/* Assignment of behavioural equivalence class tags: 2NNN is intended
|
|
to be reserved for Memcheck. Current usage:
|
|
|
|
2001 STRRCHR
|
|
2002 STRCHR
|
|
2003 STRCAT
|
|
2004 STRNCAT
|
|
2005 STRLCAT
|
|
2006 STRNLEN
|
|
2007 STRLEN
|
|
2008 STRCPY
|
|
2009 STRNCPY
|
|
2010 STRLCPY
|
|
2011 STRNCMP
|
|
2012 STRCASECMP
|
|
2013 STRNCASECMP
|
|
2014 STRCASECMP_L
|
|
2015 STRNCASECMP_L
|
|
2016 STRCMP
|
|
2017 MEMCHR
|
|
2018 MEMMOVE
|
|
2019 MEMCMP
|
|
2020 STPCPY
|
|
2021 MEMSET
|
|
2022 MEMCPY
|
|
2023 BCOPY
|
|
2024 GLIBC25___MEMMOVE_CHK
|
|
2025 GLIBC232_STRCHRNUL
|
|
2026 GLIBC232_RAWMEMCHR
|
|
2027 GLIBC25___STRCPY_CHK
|
|
2028 GLIBC25___STPCPY_CHK
|
|
2029 GLIBC25_MEMPCPY
|
|
2030 GLIBC26___MEMCPY_CHK
|
|
2031 STRSTR
|
|
2032 STRPBRK
|
|
2033 STRCSPN
|
|
2034 STRSPN
|
|
*/
|
|
|
|
|
|
/* Figure out if [dst .. dst+dstlen-1] overlaps with
|
|
[src .. src+srclen-1].
|
|
We assume that the address ranges do not wrap around
|
|
(which is safe since on Linux addresses >= 0xC0000000
|
|
are not accessible and the program will segfault in this
|
|
circumstance, presumably).
|
|
*/
|
|
static inline
|
|
Bool is_overlap ( void* dst, const void* src, SizeT dstlen, SizeT srclen )
|
|
{
|
|
Addr loS, hiS, loD, hiD;
|
|
|
|
if (dstlen == 0 || srclen == 0)
|
|
return False;
|
|
|
|
loS = (Addr)src;
|
|
loD = (Addr)dst;
|
|
hiS = loS + srclen - 1;
|
|
hiD = loD + dstlen - 1;
|
|
|
|
/* So figure out if [loS .. hiS] overlaps with [loD .. hiD]. */
|
|
if (loS < loD) {
|
|
return !(hiS < loD);
|
|
}
|
|
else if (loD < loS) {
|
|
return !(hiD < loS);
|
|
}
|
|
else {
|
|
/* They start at same place. Since we know neither of them has
|
|
zero length, they must overlap. */
|
|
return True;
|
|
}
|
|
}
|
|
|
|
|
|
/* Call here to exit if we can't continue. On Android we can't call
|
|
_exit for some reason, so we have to blunt-instrument it. */
|
|
__attribute__ ((__noreturn__))
|
|
static inline void my_exit ( int x )
|
|
{
|
|
# if defined(VGPV_arm_linux_android)
|
|
__asm__ __volatile__(".word 0xFFFFFFFF");
|
|
while (1) {}
|
|
# else
|
|
extern void _exit(int status);
|
|
_exit(x);
|
|
# endif
|
|
}
|
|
|
|
|
|
// This is a macro rather than a function because we don't want to have an
|
|
// extra function in the stack trace.
|
|
#define RECORD_OVERLAP_ERROR(s, src, dst, len) \
|
|
VALGRIND_DO_CLIENT_REQUEST_EXPR(0, \
|
|
_VG_USERREQ__MEMCHECK_RECORD_OVERLAP_ERROR, \
|
|
s, src, dst, len, 0)
|
|
|
|
|
|
#define STRRCHR(soname, fnname) \
|
|
char* VG_REPLACE_FUNCTION_EZU(2001,soname,fnname)( const char* s, int c ); \
|
|
char* VG_REPLACE_FUNCTION_EZU(2001,soname,fnname)( const char* s, int c ) \
|
|
{ \
|
|
UChar ch = (UChar)((UInt)c); \
|
|
UChar* p = (UChar*)s; \
|
|
UChar* last = NULL; \
|
|
while (True) { \
|
|
if (*p == ch) last = p; \
|
|
if (*p == 0) return last; \
|
|
p++; \
|
|
} \
|
|
}
|
|
|
|
// Apparently rindex() is the same thing as strrchr()
|
|
STRRCHR(VG_Z_LIBC_SONAME, strrchr)
|
|
STRRCHR(VG_Z_LIBC_SONAME, rindex)
|
|
#if defined(VGO_linux)
|
|
STRRCHR(VG_Z_LIBC_SONAME, __GI_strrchr)
|
|
STRRCHR(VG_Z_LD_LINUX_SO_2, rindex)
|
|
#elif defined(VGO_darwin)
|
|
STRRCHR(VG_Z_DYLD, strrchr)
|
|
STRRCHR(VG_Z_DYLD, rindex)
|
|
#endif
|
|
|
|
|
|
#define STRCHR(soname, fnname) \
|
|
char* VG_REPLACE_FUNCTION_EZU(2002,soname,fnname) ( const char* s, int c ); \
|
|
char* VG_REPLACE_FUNCTION_EZU(2002,soname,fnname) ( const char* s, int c ) \
|
|
{ \
|
|
UChar ch = (UChar)((UInt)c); \
|
|
UChar* p = (UChar*)s; \
|
|
while (True) { \
|
|
if (*p == ch) return p; \
|
|
if (*p == 0) return NULL; \
|
|
p++; \
|
|
} \
|
|
}
|
|
|
|
// Apparently index() is the same thing as strchr()
|
|
STRCHR(VG_Z_LIBC_SONAME, strchr)
|
|
STRCHR(VG_Z_LIBC_SONAME, index)
|
|
#if defined(VGO_linux)
|
|
STRCHR(VG_Z_LIBC_SONAME, __GI_strchr)
|
|
STRCHR(VG_Z_LD_LINUX_SO_2, strchr)
|
|
STRCHR(VG_Z_LD_LINUX_SO_2, index)
|
|
STRCHR(VG_Z_LD_LINUX_X86_64_SO_2, strchr)
|
|
STRCHR(VG_Z_LD_LINUX_X86_64_SO_2, index)
|
|
#elif defined(VGO_darwin)
|
|
STRCHR(VG_Z_DYLD, strchr)
|
|
STRCHR(VG_Z_DYLD, index)
|
|
#endif
|
|
|
|
|
|
#define STRCAT(soname, fnname) \
|
|
char* VG_REPLACE_FUNCTION_EZU(2003,soname,fnname) \
|
|
( char* dst, const char* src ); \
|
|
char* VG_REPLACE_FUNCTION_EZU(2003,soname,fnname) \
|
|
( char* dst, const char* src ) \
|
|
{ \
|
|
const Char* src_orig = src; \
|
|
Char* dst_orig = dst; \
|
|
while (*dst) dst++; \
|
|
while (*src) *dst++ = *src++; \
|
|
*dst = 0; \
|
|
\
|
|
/* This is a bit redundant, I think; any overlap and the strcat will */ \
|
|
/* go forever... or until a seg fault occurs. */ \
|
|
if (is_overlap(dst_orig, \
|
|
src_orig, \
|
|
(Addr)dst-(Addr)dst_orig+1, \
|
|
(Addr)src-(Addr)src_orig+1)) \
|
|
RECORD_OVERLAP_ERROR("strcat", dst_orig, src_orig, 0); \
|
|
\
|
|
return dst_orig; \
|
|
}
|
|
|
|
STRCAT(VG_Z_LIBC_SONAME, strcat)
|
|
#if defined(VGO_linux)
|
|
STRCAT(VG_Z_LIBC_SONAME, __GI_strcat)
|
|
#endif
|
|
|
|
#define STRNCAT(soname, fnname) \
|
|
char* VG_REPLACE_FUNCTION_EZU(2004,soname,fnname) \
|
|
( char* dst, const char* src, SizeT n ); \
|
|
char* VG_REPLACE_FUNCTION_EZU(2004,soname,fnname) \
|
|
( char* dst, const char* src, SizeT n ) \
|
|
{ \
|
|
const Char* src_orig = src; \
|
|
Char* dst_orig = dst; \
|
|
SizeT m = 0; \
|
|
\
|
|
while (*dst) dst++; \
|
|
while (m < n && *src) { m++; *dst++ = *src++; } /* concat <= n chars */ \
|
|
*dst = 0; /* always add null */ \
|
|
\
|
|
/* This checks for overlap after copying, unavoidable without */ \
|
|
/* pre-counting lengths... should be ok */ \
|
|
if (is_overlap(dst_orig, \
|
|
src_orig, \
|
|
(Addr)dst-(Addr)dst_orig+1, \
|
|
(Addr)src-(Addr)src_orig+1)) \
|
|
RECORD_OVERLAP_ERROR("strncat", dst_orig, src_orig, n); \
|
|
\
|
|
return dst_orig; \
|
|
}
|
|
|
|
STRNCAT(VG_Z_LIBC_SONAME, strncat)
|
|
#if defined(VGO_darwin)
|
|
STRNCAT(VG_Z_DYLD, strncat)
|
|
#endif
|
|
|
|
|
|
/* Append src to dst. n is the size of dst's buffer. dst is guaranteed
|
|
to be nul-terminated after the copy, unless n <= strlen(dst_orig).
|
|
Returns min(n, strlen(dst_orig)) + strlen(src_orig).
|
|
Truncation occurred if retval >= n.
|
|
*/
|
|
#define STRLCAT(soname, fnname) \
|
|
SizeT VG_REPLACE_FUNCTION_EZU(2005,soname,fnname) \
|
|
( char* dst, const char* src, SizeT n ); \
|
|
SizeT VG_REPLACE_FUNCTION_EZU(2005,soname,fnname) \
|
|
( char* dst, const char* src, SizeT n ) \
|
|
{ \
|
|
const Char* src_orig = src; \
|
|
Char* dst_orig = dst; \
|
|
SizeT m = 0; \
|
|
\
|
|
while (m < n && *dst) { m++; dst++; } \
|
|
if (m < n) { \
|
|
/* Fill as far as dst_orig[n-2], then nul-terminate. */ \
|
|
while (m < n-1 && *src) { m++; *dst++ = *src++; } \
|
|
*dst = 0; \
|
|
} else { \
|
|
/* No space to copy anything to dst. m == n */ \
|
|
} \
|
|
/* Finish counting min(n, strlen(dst_orig)) + strlen(src_orig) */ \
|
|
while (*src) { m++; src++; } \
|
|
/* This checks for overlap after copying, unavoidable without */ \
|
|
/* pre-counting lengths... should be ok */ \
|
|
if (is_overlap(dst_orig, \
|
|
src_orig, \
|
|
(Addr)dst-(Addr)dst_orig+1, \
|
|
(Addr)src-(Addr)src_orig+1)) \
|
|
RECORD_OVERLAP_ERROR("strlcat", dst_orig, src_orig, n); \
|
|
\
|
|
return m; \
|
|
}
|
|
|
|
#if defined(VGO_darwin)
|
|
STRLCAT(VG_Z_LIBC_SONAME, strlcat)
|
|
STRLCAT(VG_Z_DYLD, strlcat)
|
|
#endif
|
|
|
|
|
|
#define STRNLEN(soname, fnname) \
|
|
SizeT VG_REPLACE_FUNCTION_EZU(2006,soname,fnname) \
|
|
( const char* str, SizeT n ); \
|
|
SizeT VG_REPLACE_FUNCTION_EZU(2006,soname,fnname) \
|
|
( const char* str, SizeT n ) \
|
|
{ \
|
|
SizeT i = 0; \
|
|
while (i < n && str[i] != 0) i++; \
|
|
return i; \
|
|
}
|
|
|
|
STRNLEN(VG_Z_LIBC_SONAME, strnlen)
|
|
#if defined(VGO_linux)
|
|
STRNLEN(VG_Z_LIBC_SONAME, __GI_strnlen)
|
|
#endif
|
|
|
|
|
|
// Note that this replacement often doesn't get used because gcc inlines
|
|
// calls to strlen() with its own built-in version. This can be very
|
|
// confusing if you aren't expecting it. Other small functions in this file
|
|
// may also be inline by gcc.
|
|
#define STRLEN(soname, fnname) \
|
|
SizeT VG_REPLACE_FUNCTION_EZU(2007,soname,fnname) \
|
|
( const char* str ); \
|
|
SizeT VG_REPLACE_FUNCTION_EZU(2007,soname,fnname) \
|
|
( const char* str ) \
|
|
{ \
|
|
SizeT i = 0; \
|
|
while (str[i] != 0) i++; \
|
|
return i; \
|
|
}
|
|
|
|
STRLEN(VG_Z_LIBC_SONAME, strlen)
|
|
#if defined(VGO_linux)
|
|
STRLEN(VG_Z_LIBC_SONAME, __GI_strlen)
|
|
#endif
|
|
|
|
|
|
#define STRCPY(soname, fnname) \
|
|
char* VG_REPLACE_FUNCTION_EZU(2008,soname,fnname) \
|
|
( char* dst, const char* src ); \
|
|
char* VG_REPLACE_FUNCTION_EZU(2008,soname,fnname) \
|
|
( char* dst, const char* src ) \
|
|
{ \
|
|
const Char* src_orig = src; \
|
|
Char* dst_orig = dst; \
|
|
\
|
|
while (*src) *dst++ = *src++; \
|
|
*dst = 0; \
|
|
\
|
|
/* This checks for overlap after copying, unavoidable without */ \
|
|
/* pre-counting length... should be ok */ \
|
|
if (is_overlap(dst_orig, \
|
|
src_orig, \
|
|
(Addr)dst-(Addr)dst_orig+1, \
|
|
(Addr)src-(Addr)src_orig+1)) \
|
|
RECORD_OVERLAP_ERROR("strcpy", dst_orig, src_orig, 0); \
|
|
\
|
|
return dst_orig; \
|
|
}
|
|
|
|
STRCPY(VG_Z_LIBC_SONAME, strcpy)
|
|
#if defined(VGO_linux)
|
|
STRCPY(VG_Z_LIBC_SONAME, __GI_strcpy)
|
|
#elif defined(VGO_darwin)
|
|
STRCPY(VG_Z_DYLD, strcpy)
|
|
#endif
|
|
|
|
|
|
#define STRNCPY(soname, fnname) \
|
|
char* VG_REPLACE_FUNCTION_EZU(2009,soname,fnname) \
|
|
( char* dst, const char* src, SizeT n ); \
|
|
char* VG_REPLACE_FUNCTION_EZU(2009,soname,fnname) \
|
|
( char* dst, const char* src, SizeT n ) \
|
|
{ \
|
|
const Char* src_orig = src; \
|
|
Char* dst_orig = dst; \
|
|
SizeT m = 0; \
|
|
\
|
|
while (m < n && *src) { m++; *dst++ = *src++; } \
|
|
/* Check for overlap after copying; all n bytes of dst are relevant, */ \
|
|
/* but only m+1 bytes of src if terminator was found */ \
|
|
if (is_overlap(dst_orig, src_orig, n, (m < n) ? m+1 : n)) \
|
|
RECORD_OVERLAP_ERROR("strncpy", dst, src, n); \
|
|
while (m++ < n) *dst++ = 0; /* must pad remainder with nulls */ \
|
|
\
|
|
return dst_orig; \
|
|
}
|
|
|
|
STRNCPY(VG_Z_LIBC_SONAME, strncpy)
|
|
#if defined(VGO_linux)
|
|
STRNCPY(VG_Z_LIBC_SONAME, __GI_strncpy)
|
|
#elif defined(VGO_darwin)
|
|
STRNCPY(VG_Z_DYLD, strncpy)
|
|
#endif
|
|
|
|
|
|
/* Copy up to n-1 bytes from src to dst. Then nul-terminate dst if n > 0.
|
|
Returns strlen(src). Does not zero-fill the remainder of dst. */
|
|
#define STRLCPY(soname, fnname) \
|
|
SizeT VG_REPLACE_FUNCTION_EZU(2010,soname,fnname) \
|
|
( char* dst, const char* src, SizeT n ); \
|
|
SizeT VG_REPLACE_FUNCTION_EZU(2010,soname,fnname) \
|
|
( char* dst, const char* src, SizeT n ) \
|
|
{ \
|
|
const char* src_orig = src; \
|
|
char* dst_orig = dst; \
|
|
SizeT m = 0; \
|
|
\
|
|
while (m < n-1 && *src) { m++; *dst++ = *src++; } \
|
|
/* m non-nul bytes have now been copied, and m <= n-1. */ \
|
|
/* Check for overlap after copying; all n bytes of dst are relevant, */ \
|
|
/* but only m+1 bytes of src if terminator was found */ \
|
|
if (is_overlap(dst_orig, src_orig, n, (m < n) ? m+1 : n)) \
|
|
RECORD_OVERLAP_ERROR("strlcpy", dst, src, n); \
|
|
/* Nul-terminate dst. */ \
|
|
if (n > 0) *dst = 0; \
|
|
/* Finish counting strlen(src). */ \
|
|
while (*src) src++; \
|
|
return src - src_orig; \
|
|
}
|
|
|
|
#if defined(VGO_darwin)
|
|
STRLCPY(VG_Z_LIBC_SONAME, strlcpy)
|
|
STRLCPY(VG_Z_DYLD, strlcpy)
|
|
#endif
|
|
|
|
|
|
#define STRNCMP(soname, fnname) \
|
|
int VG_REPLACE_FUNCTION_EZU(2011,soname,fnname) \
|
|
( const char* s1, const char* s2, SizeT nmax ); \
|
|
int VG_REPLACE_FUNCTION_EZU(2011,soname,fnname) \
|
|
( const char* s1, const char* s2, SizeT nmax ) \
|
|
{ \
|
|
SizeT n = 0; \
|
|
while (True) { \
|
|
if (n >= nmax) return 0; \
|
|
if (*s1 == 0 && *s2 == 0) return 0; \
|
|
if (*s1 == 0) return -1; \
|
|
if (*s2 == 0) return 1; \
|
|
\
|
|
if (*(unsigned char*)s1 < *(unsigned char*)s2) return -1; \
|
|
if (*(unsigned char*)s1 > *(unsigned char*)s2) return 1; \
|
|
\
|
|
s1++; s2++; n++; \
|
|
} \
|
|
}
|
|
|
|
STRNCMP(VG_Z_LIBC_SONAME, strncmp)
|
|
#if defined(VGO_linux)
|
|
STRNCMP(VG_Z_LIBC_SONAME, __GI_strncmp)
|
|
#elif defined(VGO_darwin)
|
|
STRNCMP(VG_Z_DYLD, strncmp)
|
|
#endif
|
|
|
|
|
|
#define STRCASECMP(soname, fnname) \
|
|
int VG_REPLACE_FUNCTION_EZU(2012,soname,fnname) \
|
|
( const char* s1, const char* s2 ); \
|
|
int VG_REPLACE_FUNCTION_EZU(2012,soname,fnname) \
|
|
( const char* s1, const char* s2 ) \
|
|
{ \
|
|
extern int tolower(int); \
|
|
register unsigned char c1; \
|
|
register unsigned char c2; \
|
|
while (True) { \
|
|
c1 = tolower(*(unsigned char *)s1); \
|
|
c2 = tolower(*(unsigned char *)s2); \
|
|
if (c1 != c2) break; \
|
|
if (c1 == 0) break; \
|
|
s1++; s2++; \
|
|
} \
|
|
if ((unsigned char)c1 < (unsigned char)c2) return -1; \
|
|
if ((unsigned char)c1 > (unsigned char)c2) return 1; \
|
|
return 0; \
|
|
}
|
|
|
|
#if !defined(VGPV_arm_linux_android)
|
|
STRCASECMP(VG_Z_LIBC_SONAME, strcasecmp)
|
|
#endif
|
|
#if defined(VGO_linux) && !defined(VGPV_arm_linux_android)
|
|
STRCASECMP(VG_Z_LIBC_SONAME, __GI_strcasecmp)
|
|
#endif
|
|
|
|
|
|
#define STRNCASECMP(soname, fnname) \
|
|
int VG_REPLACE_FUNCTION_EZU(2013,soname,fnname) \
|
|
( const char* s1, const char* s2, SizeT nmax ); \
|
|
int VG_REPLACE_FUNCTION_EZU(2013,soname,fnname) \
|
|
( const char* s1, const char* s2, SizeT nmax ) \
|
|
{ \
|
|
extern int tolower(int); \
|
|
SizeT n = 0; \
|
|
while (True) { \
|
|
if (n >= nmax) return 0; \
|
|
if (*s1 == 0 && *s2 == 0) return 0; \
|
|
if (*s1 == 0) return -1; \
|
|
if (*s2 == 0) return 1; \
|
|
\
|
|
if (tolower(*(unsigned char*)s1) \
|
|
< tolower(*(unsigned char*)s2)) return -1; \
|
|
if (tolower(*(unsigned char*)s1) \
|
|
> tolower(*(unsigned char*)s2)) return 1; \
|
|
\
|
|
s1++; s2++; n++; \
|
|
} \
|
|
}
|
|
|
|
#if !defined(VGPV_arm_linux_android)
|
|
STRNCASECMP(VG_Z_LIBC_SONAME, strncasecmp)
|
|
#endif
|
|
#if defined(VGO_linux) && !defined(VGPV_arm_linux_android)
|
|
STRNCASECMP(VG_Z_LIBC_SONAME, __GI_strncasecmp)
|
|
#elif defined(VGO_darwin)
|
|
STRNCASECMP(VG_Z_DYLD, strncasecmp)
|
|
#endif
|
|
|
|
|
|
#define STRCASECMP_L(soname, fnname) \
|
|
int VG_REPLACE_FUNCTION_EZU(2014,soname,fnname) \
|
|
( const char* s1, const char* s2, void* locale ); \
|
|
int VG_REPLACE_FUNCTION_EZU(2014,soname,fnname) \
|
|
( const char* s1, const char* s2, void* locale ) \
|
|
{ \
|
|
extern int tolower_l(int, void*) __attribute__((weak)); \
|
|
register unsigned char c1; \
|
|
register unsigned char c2; \
|
|
while (True) { \
|
|
c1 = tolower_l(*(unsigned char *)s1, locale); \
|
|
c2 = tolower_l(*(unsigned char *)s2, locale); \
|
|
if (c1 != c2) break; \
|
|
if (c1 == 0) break; \
|
|
s1++; s2++; \
|
|
} \
|
|
if ((unsigned char)c1 < (unsigned char)c2) return -1; \
|
|
if ((unsigned char)c1 > (unsigned char)c2) return 1; \
|
|
return 0; \
|
|
}
|
|
|
|
STRCASECMP_L(VG_Z_LIBC_SONAME, strcasecmp_l)
|
|
#if defined(VGO_linux)
|
|
STRCASECMP_L(VG_Z_LIBC_SONAME, __GI_strcasecmp_l)
|
|
STRCASECMP_L(VG_Z_LIBC_SONAME, __GI___strcasecmp_l)
|
|
#endif
|
|
|
|
|
|
#define STRNCASECMP_L(soname, fnname) \
|
|
int VG_REPLACE_FUNCTION_EZU(2015,soname,fnname) \
|
|
( const char* s1, const char* s2, SizeT nmax, void* locale ); \
|
|
int VG_REPLACE_FUNCTION_EZU(2015,soname,fnname) \
|
|
( const char* s1, const char* s2, SizeT nmax, void* locale ) \
|
|
{ \
|
|
extern int tolower_l(int, void*) __attribute__((weak)); \
|
|
SizeT n = 0; \
|
|
while (True) { \
|
|
if (n >= nmax) return 0; \
|
|
if (*s1 == 0 && *s2 == 0) return 0; \
|
|
if (*s1 == 0) return -1; \
|
|
if (*s2 == 0) return 1; \
|
|
\
|
|
if (tolower_l(*(unsigned char*)s1, locale) \
|
|
< tolower_l(*(unsigned char*)s2, locale)) return -1; \
|
|
if (tolower_l(*(unsigned char*)s1, locale) \
|
|
> tolower_l(*(unsigned char*)s2, locale)) return 1; \
|
|
\
|
|
s1++; s2++; n++; \
|
|
} \
|
|
}
|
|
|
|
STRNCASECMP_L(VG_Z_LIBC_SONAME, strncasecmp_l)
|
|
#if defined(VGO_linux)
|
|
STRNCASECMP_L(VG_Z_LIBC_SONAME, __GI_strncasecmp_l)
|
|
#elif defined(VGO_darwin)
|
|
STRNCASECMP_L(VG_Z_DYLD, strncasecmp_l)
|
|
#endif
|
|
|
|
|
|
#define STRCMP(soname, fnname) \
|
|
int VG_REPLACE_FUNCTION_EZU(2016,soname,fnname) \
|
|
( const char* s1, const char* s2 ); \
|
|
int VG_REPLACE_FUNCTION_EZU(2016,soname,fnname) \
|
|
( const char* s1, const char* s2 ) \
|
|
{ \
|
|
register unsigned char c1; \
|
|
register unsigned char c2; \
|
|
while (True) { \
|
|
c1 = *(unsigned char *)s1; \
|
|
c2 = *(unsigned char *)s2; \
|
|
if (c1 != c2) break; \
|
|
if (c1 == 0) break; \
|
|
s1++; s2++; \
|
|
} \
|
|
if ((unsigned char)c1 < (unsigned char)c2) return -1; \
|
|
if ((unsigned char)c1 > (unsigned char)c2) return 1; \
|
|
return 0; \
|
|
}
|
|
|
|
STRCMP(VG_Z_LIBC_SONAME, strcmp)
|
|
#if defined(VGO_linux)
|
|
STRCMP(VG_Z_LIBC_SONAME, __GI_strcmp)
|
|
STRCMP(VG_Z_LD_LINUX_X86_64_SO_2, strcmp)
|
|
STRCMP(VG_Z_LD64_SO_1, strcmp)
|
|
#endif
|
|
|
|
|
|
#define MEMCHR(soname, fnname) \
|
|
void* VG_REPLACE_FUNCTION_EZU(2017,soname,fnname) \
|
|
(const void *s, int c, SizeT n); \
|
|
void* VG_REPLACE_FUNCTION_EZU(2017,soname,fnname) \
|
|
(const void *s, int c, SizeT n) \
|
|
{ \
|
|
SizeT i; \
|
|
UChar c0 = (UChar)c; \
|
|
UChar* p = (UChar*)s; \
|
|
for (i = 0; i < n; i++) \
|
|
if (p[i] == c0) return (void*)(&p[i]); \
|
|
return NULL; \
|
|
}
|
|
|
|
MEMCHR(VG_Z_LIBC_SONAME, memchr)
|
|
#if defined(VGO_darwin)
|
|
MEMCHR(VG_Z_DYLD, memchr)
|
|
#endif
|
|
|
|
|
|
#define MEMMOVE_OR_MEMCPY(becTag, soname, fnname, do_ol_check) \
|
|
void* VG_REPLACE_FUNCTION_EZU(becTag,soname,fnname) \
|
|
( void *dst, const void *src, SizeT len ); \
|
|
void* VG_REPLACE_FUNCTION_EZU(becTag,soname,fnname) \
|
|
( void *dst, const void *src, SizeT len ) \
|
|
{ \
|
|
if (do_ol_check && is_overlap(dst, src, len, len)) \
|
|
RECORD_OVERLAP_ERROR("memcpy", dst, src, len); \
|
|
\
|
|
const Addr WS = sizeof(UWord); /* 8 or 4 */ \
|
|
const Addr WM = WS - 1; /* 7 or 3 */ \
|
|
\
|
|
if (dst < src) { \
|
|
\
|
|
/* Copying backwards. */ \
|
|
SizeT n = len; \
|
|
Addr d = (Addr)dst; \
|
|
Addr s = (Addr)src; \
|
|
\
|
|
if (((s^d) & WM) == 0) { \
|
|
/* s and d have same UWord alignment. */ \
|
|
/* Pull up to a UWord boundary. */ \
|
|
while ((s & WM) != 0 && n >= 1) \
|
|
{ *(UChar*)d = *(UChar*)s; s += 1; d += 1; n -= 1; } \
|
|
/* Copy UWords. */ \
|
|
while (n >= WS) \
|
|
{ *(UWord*)d = *(UWord*)s; s += WS; d += WS; n -= WS; } \
|
|
if (n == 0) \
|
|
return dst; \
|
|
} \
|
|
if (((s|d) & 1) == 0) { \
|
|
/* Both are 16-aligned; copy what we can thusly. */ \
|
|
while (n >= 2) \
|
|
{ *(UShort*)d = *(UShort*)s; s += 2; d += 2; n -= 2; } \
|
|
} \
|
|
/* Copy leftovers, or everything if misaligned. */ \
|
|
while (n >= 1) \
|
|
{ *(UChar*)d = *(UChar*)s; s += 1; d += 1; n -= 1; } \
|
|
\
|
|
} else if (dst > src) { \
|
|
\
|
|
SizeT n = len; \
|
|
Addr d = ((Addr)dst) + n; \
|
|
Addr s = ((Addr)src) + n; \
|
|
\
|
|
/* Copying forwards. */ \
|
|
if (((s^d) & WM) == 0) { \
|
|
/* s and d have same UWord alignment. */ \
|
|
/* Back down to a UWord boundary. */ \
|
|
while ((s & WM) != 0 && n >= 1) \
|
|
{ s -= 1; d -= 1; *(UChar*)d = *(UChar*)s; n -= 1; } \
|
|
/* Copy UWords. */ \
|
|
while (n >= WS) \
|
|
{ s -= WS; d -= WS; *(UWord*)d = *(UWord*)s; n -= WS; } \
|
|
if (n == 0) \
|
|
return dst; \
|
|
} \
|
|
if (((s|d) & 1) == 0) { \
|
|
/* Both are 16-aligned; copy what we can thusly. */ \
|
|
while (n >= 2) \
|
|
{ s -= 2; d -= 2; *(UShort*)d = *(UShort*)s; n -= 2; } \
|
|
} \
|
|
/* Copy leftovers, or everything if misaligned. */ \
|
|
while (n >= 1) \
|
|
{ s -= 1; d -= 1; *(UChar*)d = *(UChar*)s; n -= 1; } \
|
|
\
|
|
} \
|
|
\
|
|
return dst; \
|
|
}
|
|
|
|
#define MEMMOVE(soname, fnname) \
|
|
MEMMOVE_OR_MEMCPY(2018, soname, fnname, 0)
|
|
|
|
#define MEMCPY(soname, fnname) \
|
|
MEMMOVE_OR_MEMCPY(2022, soname, fnname, 1)
|
|
|
|
#if defined(VGO_linux)
|
|
/* For older memcpy we have to use memmove-like semantics and skip the
|
|
overlap check; sigh; see #275284. */
|
|
MEMMOVE(VG_Z_LIBC_SONAME, memcpy)
|
|
MEMMOVE(VG_Z_LD_SO_1, memcpy) /* ld.so.1 */
|
|
MEMMOVE(VG_Z_LD64_SO_1, memcpy) /* ld64.so.1 */
|
|
#elif defined(VGO_darwin)
|
|
MEMCPY(VG_Z_LIBC_SONAME, memcpy)
|
|
MEMCPY(VG_Z_DYLD, memcpy)
|
|
#endif
|
|
/* icc9 blats these around all over the place. Not only in the main
|
|
executable but various .so's. They are highly tuned and read
|
|
memory beyond the source boundary (although work correctly and
|
|
never go across page boundaries), so give errors when run natively,
|
|
at least for misaligned source arg. Just intercepting in the exe
|
|
only until we understand more about the problem. See
|
|
http://bugs.kde.org/show_bug.cgi?id=139776
|
|
*/
|
|
MEMCPY(NONE, _intel_fast_memcpy)
|
|
|
|
|
|
#define MEMCMP(soname, fnname) \
|
|
int VG_REPLACE_FUNCTION_EZU(2019,soname,fnname) \
|
|
( const void *s1V, const void *s2V, SizeT n ); \
|
|
int VG_REPLACE_FUNCTION_EZU(2019,soname,fnname) \
|
|
( const void *s1V, const void *s2V, SizeT n ) \
|
|
{ \
|
|
int res; \
|
|
unsigned char a0; \
|
|
unsigned char b0; \
|
|
unsigned char* s1 = (unsigned char*)s1V; \
|
|
unsigned char* s2 = (unsigned char*)s2V; \
|
|
\
|
|
while (n != 0) { \
|
|
a0 = s1[0]; \
|
|
b0 = s2[0]; \
|
|
s1 += 1; \
|
|
s2 += 1; \
|
|
res = ((int)a0) - ((int)b0); \
|
|
if (res != 0) \
|
|
return res; \
|
|
n -= 1; \
|
|
} \
|
|
return 0; \
|
|
}
|
|
|
|
MEMCMP(VG_Z_LIBC_SONAME, memcmp)
|
|
MEMCMP(VG_Z_LIBC_SONAME, bcmp)
|
|
#if defined(VGO_linux)
|
|
MEMCMP(VG_Z_LD_SO_1, bcmp)
|
|
#elif defined(VGO_darwin)
|
|
MEMCMP(VG_Z_DYLD, memcmp)
|
|
MEMCMP(VG_Z_DYLD, bcmp)
|
|
#endif
|
|
|
|
|
|
/* Copy SRC to DEST, returning the address of the terminating '\0' in
|
|
DEST. (minor variant of strcpy) */
|
|
#define STPCPY(soname, fnname) \
|
|
char* VG_REPLACE_FUNCTION_EZU(2020,soname,fnname) \
|
|
( char* dst, const char* src ); \
|
|
char* VG_REPLACE_FUNCTION_EZU(2020,soname,fnname) \
|
|
( char* dst, const char* src ) \
|
|
{ \
|
|
const Char* src_orig = src; \
|
|
Char* dst_orig = dst; \
|
|
\
|
|
while (*src) *dst++ = *src++; \
|
|
*dst = 0; \
|
|
\
|
|
/* This checks for overlap after copying, unavoidable without */ \
|
|
/* pre-counting length... should be ok */ \
|
|
if (is_overlap(dst_orig, \
|
|
src_orig, \
|
|
(Addr)dst-(Addr)dst_orig+1, \
|
|
(Addr)src-(Addr)src_orig+1)) \
|
|
RECORD_OVERLAP_ERROR("stpcpy", dst_orig, src_orig, 0); \
|
|
\
|
|
return dst; \
|
|
}
|
|
|
|
STPCPY(VG_Z_LIBC_SONAME, stpcpy)
|
|
#if defined(VGO_linux)
|
|
STPCPY(VG_Z_LIBC_SONAME, __GI_stpcpy)
|
|
STPCPY(VG_Z_LD_LINUX_SO_2, stpcpy)
|
|
STPCPY(VG_Z_LD_LINUX_X86_64_SO_2, stpcpy)
|
|
#elif defined(VGO_darwin)
|
|
STPCPY(VG_Z_DYLD, stpcpy)
|
|
#endif
|
|
|
|
|
|
#define MEMSET(soname, fnname) \
|
|
void* VG_REPLACE_FUNCTION_EZU(2021,soname,fnname) \
|
|
(void *s, Int c, SizeT n); \
|
|
void* VG_REPLACE_FUNCTION_EZU(2021,soname,fnname) \
|
|
(void *s, Int c, SizeT n) \
|
|
{ \
|
|
Addr a = (Addr)s; \
|
|
UInt c4 = (c & 0xFF); \
|
|
c4 = (c4 << 8) | c4; \
|
|
c4 = (c4 << 16) | c4; \
|
|
while ((a & 3) != 0 && n >= 1) \
|
|
{ *(UChar*)a = (UChar)c; a += 1; n -= 1; } \
|
|
while (n >= 4) \
|
|
{ *(UInt*)a = c4; a += 4; n -= 4; } \
|
|
while (n >= 1) \
|
|
{ *(UChar*)a = (UChar)c; a += 1; n -= 1; } \
|
|
return s; \
|
|
}
|
|
|
|
MEMSET(VG_Z_LIBC_SONAME, memset)
|
|
#if defined(VGO_darwin)
|
|
MEMSET(VG_Z_DYLD, memset)
|
|
#endif
|
|
|
|
|
|
/* memmove -- use the MEMMOVE defn which also serves for memcpy. */
|
|
MEMMOVE(VG_Z_LIBC_SONAME, memmove)
|
|
#if defined(VGO_darwin)
|
|
MEMMOVE(VG_Z_DYLD, memmove)
|
|
#endif
|
|
|
|
|
|
#define BCOPY(soname, fnname) \
|
|
void VG_REPLACE_FUNCTION_EZU(2023,soname,fnname) \
|
|
(const void *srcV, void *dstV, SizeT n); \
|
|
void VG_REPLACE_FUNCTION_EZU(2023,soname,fnname) \
|
|
(const void *srcV, void *dstV, SizeT n) \
|
|
{ \
|
|
SizeT i; \
|
|
Char* dst = (Char*)dstV; \
|
|
Char* src = (Char*)srcV; \
|
|
if (dst < src) { \
|
|
for (i = 0; i < n; i++) \
|
|
dst[i] = src[i]; \
|
|
} \
|
|
else \
|
|
if (dst > src) { \
|
|
for (i = 0; i < n; i++) \
|
|
dst[n-i-1] = src[n-i-1]; \
|
|
} \
|
|
}
|
|
|
|
#if defined(VGO_darwin)
|
|
BCOPY(VG_Z_LIBC_SONAME, bcopy)
|
|
BCOPY(VG_Z_DYLD, bcopy)
|
|
#endif
|
|
|
|
|
|
/* glibc 2.5 variant of memmove which checks the dest is big enough.
|
|
There is no specific part of glibc that this is copied from. */
|
|
#define GLIBC25___MEMMOVE_CHK(soname, fnname) \
|
|
void* VG_REPLACE_FUNCTION_EZU(2024,soname,fnname) \
|
|
(void *dstV, const void *srcV, SizeT n, SizeT destlen); \
|
|
void* VG_REPLACE_FUNCTION_EZU(2024,soname,fnname) \
|
|
(void *dstV, const void *srcV, SizeT n, SizeT destlen) \
|
|
{ \
|
|
SizeT i; \
|
|
Char* dst = (Char*)dstV; \
|
|
Char* src = (Char*)srcV; \
|
|
if (destlen < n) \
|
|
goto badness; \
|
|
if (dst < src) { \
|
|
for (i = 0; i < n; i++) \
|
|
dst[i] = src[i]; \
|
|
} \
|
|
else \
|
|
if (dst > src) { \
|
|
for (i = 0; i < n; i++) \
|
|
dst[n-i-1] = src[n-i-1]; \
|
|
} \
|
|
return dst; \
|
|
badness: \
|
|
VALGRIND_PRINTF_BACKTRACE( \
|
|
"*** memmove_chk: buffer overflow detected ***: " \
|
|
"program terminated\n"); \
|
|
my_exit(127); \
|
|
/*NOTREACHED*/ \
|
|
return NULL; \
|
|
}
|
|
|
|
GLIBC25___MEMMOVE_CHK(VG_Z_LIBC_SONAME, __memmove_chk)
|
|
|
|
|
|
/* Find the first occurrence of C in S or the final NUL byte. */
|
|
#define GLIBC232_STRCHRNUL(soname, fnname) \
|
|
char* VG_REPLACE_FUNCTION_EZU(2025,soname,fnname) \
|
|
(const char* s, int c_in); \
|
|
char* VG_REPLACE_FUNCTION_EZU(2025,soname,fnname) \
|
|
(const char* s, int c_in) \
|
|
{ \
|
|
unsigned char c = (unsigned char) c_in; \
|
|
unsigned char* char_ptr = (unsigned char *)s; \
|
|
while (1) { \
|
|
if (*char_ptr == 0) return char_ptr; \
|
|
if (*char_ptr == c) return char_ptr; \
|
|
char_ptr++; \
|
|
} \
|
|
}
|
|
|
|
GLIBC232_STRCHRNUL(VG_Z_LIBC_SONAME, strchrnul)
|
|
|
|
|
|
/* Find the first occurrence of C in S. */
|
|
#define GLIBC232_RAWMEMCHR(soname, fnname) \
|
|
char* VG_REPLACE_FUNCTION_EZU(2026,soname,fnname) \
|
|
(const char* s, int c_in); \
|
|
char* VG_REPLACE_FUNCTION_EZU(2026,soname,fnname) \
|
|
(const char* s, int c_in) \
|
|
{ \
|
|
unsigned char c = (unsigned char) c_in; \
|
|
unsigned char* char_ptr = (unsigned char *)s; \
|
|
while (1) { \
|
|
if (*char_ptr == c) return char_ptr; \
|
|
char_ptr++; \
|
|
} \
|
|
}
|
|
|
|
GLIBC232_RAWMEMCHR(VG_Z_LIBC_SONAME, rawmemchr)
|
|
#if defined (VGO_linux)
|
|
GLIBC232_RAWMEMCHR(VG_Z_LIBC_SONAME, __GI___rawmemchr)
|
|
#endif
|
|
|
|
/* glibc variant of strcpy that checks the dest is big enough.
|
|
Copied from glibc-2.5/debug/test-strcpy_chk.c. */
|
|
#define GLIBC25___STRCPY_CHK(soname,fnname) \
|
|
char* VG_REPLACE_FUNCTION_EZU(2027,soname,fnname) \
|
|
(char* dst, const char* src, SizeT len); \
|
|
char* VG_REPLACE_FUNCTION_EZU(2027,soname,fnname) \
|
|
(char* dst, const char* src, SizeT len) \
|
|
{ \
|
|
char* ret = dst; \
|
|
if (! len) \
|
|
goto badness; \
|
|
while ((*dst++ = *src++) != '\0') \
|
|
if (--len == 0) \
|
|
goto badness; \
|
|
return ret; \
|
|
badness: \
|
|
VALGRIND_PRINTF_BACKTRACE( \
|
|
"*** strcpy_chk: buffer overflow detected ***: " \
|
|
"program terminated\n"); \
|
|
my_exit(127); \
|
|
/*NOTREACHED*/ \
|
|
return NULL; \
|
|
}
|
|
|
|
GLIBC25___STRCPY_CHK(VG_Z_LIBC_SONAME, __strcpy_chk)
|
|
|
|
|
|
/* glibc variant of stpcpy that checks the dest is big enough.
|
|
Copied from glibc-2.5/debug/test-stpcpy_chk.c. */
|
|
#define GLIBC25___STPCPY_CHK(soname,fnname) \
|
|
char* VG_REPLACE_FUNCTION_EZU(2028,soname,fnname) \
|
|
(char* dst, const char* src, SizeT len); \
|
|
char* VG_REPLACE_FUNCTION_EZU(2028,soname,fnname) \
|
|
(char* dst, const char* src, SizeT len) \
|
|
{ \
|
|
if (! len) \
|
|
goto badness; \
|
|
while ((*dst++ = *src++) != '\0') \
|
|
if (--len == 0) \
|
|
goto badness; \
|
|
return dst - 1; \
|
|
badness: \
|
|
VALGRIND_PRINTF_BACKTRACE( \
|
|
"*** stpcpy_chk: buffer overflow detected ***: " \
|
|
"program terminated\n"); \
|
|
my_exit(127); \
|
|
/*NOTREACHED*/ \
|
|
return NULL; \
|
|
}
|
|
|
|
GLIBC25___STPCPY_CHK(VG_Z_LIBC_SONAME, __stpcpy_chk)
|
|
|
|
|
|
/* mempcpy */
|
|
#define GLIBC25_MEMPCPY(soname, fnname) \
|
|
void* VG_REPLACE_FUNCTION_EZU(2029,soname,fnname) \
|
|
( void *dst, const void *src, SizeT len ); \
|
|
void* VG_REPLACE_FUNCTION_EZU(2029,soname,fnname) \
|
|
( void *dst, const void *src, SizeT len ) \
|
|
{ \
|
|
register char *d; \
|
|
register char *s; \
|
|
SizeT len_saved = len; \
|
|
\
|
|
if (len == 0) \
|
|
return dst; \
|
|
\
|
|
if (is_overlap(dst, src, len, len)) \
|
|
RECORD_OVERLAP_ERROR("mempcpy", dst, src, len); \
|
|
\
|
|
if ( dst > src ) { \
|
|
d = (char *)dst + len - 1; \
|
|
s = (char *)src + len - 1; \
|
|
while ( len-- ) { \
|
|
*d-- = *s--; \
|
|
} \
|
|
} else if ( dst < src ) { \
|
|
d = (char *)dst; \
|
|
s = (char *)src; \
|
|
while ( len-- ) { \
|
|
*d++ = *s++; \
|
|
} \
|
|
} \
|
|
return (void*)( ((char*)dst) + len_saved ); \
|
|
}
|
|
|
|
GLIBC25_MEMPCPY(VG_Z_LIBC_SONAME, mempcpy)
|
|
#if defined(VGO_linux)
|
|
GLIBC25_MEMPCPY(VG_Z_LD_SO_1, mempcpy) /* ld.so.1 */
|
|
#endif
|
|
|
|
|
|
#define GLIBC26___MEMCPY_CHK(soname, fnname) \
|
|
void* VG_REPLACE_FUNCTION_EZU(2030,soname,fnname) \
|
|
(void* dst, const void* src, SizeT len, SizeT dstlen ); \
|
|
void* VG_REPLACE_FUNCTION_EZU(2030,soname,fnname) \
|
|
(void* dst, const void* src, SizeT len, SizeT dstlen ) \
|
|
{ \
|
|
register char *d; \
|
|
register char *s; \
|
|
\
|
|
if (dstlen < len) goto badness; \
|
|
\
|
|
if (len == 0) \
|
|
return dst; \
|
|
\
|
|
if (is_overlap(dst, src, len, len)) \
|
|
RECORD_OVERLAP_ERROR("memcpy_chk", dst, src, len); \
|
|
\
|
|
if ( dst > src ) { \
|
|
d = (char *)dst + len - 1; \
|
|
s = (char *)src + len - 1; \
|
|
while ( len-- ) { \
|
|
*d-- = *s--; \
|
|
} \
|
|
} else if ( dst < src ) { \
|
|
d = (char *)dst; \
|
|
s = (char *)src; \
|
|
while ( len-- ) { \
|
|
*d++ = *s++; \
|
|
} \
|
|
} \
|
|
return dst; \
|
|
badness: \
|
|
VALGRIND_PRINTF_BACKTRACE( \
|
|
"*** memcpy_chk: buffer overflow detected ***: " \
|
|
"program terminated\n"); \
|
|
my_exit(127); \
|
|
/*NOTREACHED*/ \
|
|
return NULL; \
|
|
}
|
|
|
|
GLIBC26___MEMCPY_CHK(VG_Z_LIBC_SONAME, __memcpy_chk)
|
|
|
|
|
|
#define STRSTR(soname, fnname) \
|
|
void* VG_REPLACE_FUNCTION_EZU(2031,soname,fnname) \
|
|
(void* haystack, void* needle); \
|
|
void* VG_REPLACE_FUNCTION_EZU(2031,soname,fnname) \
|
|
(void* haystack, void* needle) \
|
|
{ \
|
|
UChar* h = (UChar*)haystack; \
|
|
UChar* n = (UChar*)needle; \
|
|
\
|
|
/* find the length of n, not including terminating zero */ \
|
|
UWord nlen = 0; \
|
|
while (n[nlen]) nlen++; \
|
|
\
|
|
/* if n is the empty string, match immediately. */ \
|
|
if (nlen == 0) return h; \
|
|
\
|
|
/* assert(nlen >= 1); */ \
|
|
UChar n0 = n[0]; \
|
|
\
|
|
while (1) { \
|
|
UChar hh = *h; \
|
|
if (hh == 0) return NULL; \
|
|
if (hh != n0) { h++; continue; } \
|
|
\
|
|
UWord i; \
|
|
for (i = 0; i < nlen; i++) { \
|
|
if (n[i] != h[i]) \
|
|
break; \
|
|
} \
|
|
/* assert(i >= 0 && i <= nlen); */ \
|
|
if (i == nlen) \
|
|
return h; \
|
|
\
|
|
h++; \
|
|
} \
|
|
}
|
|
|
|
#if defined(VGO_linux)
|
|
STRSTR(VG_Z_LIBC_SONAME, strstr)
|
|
#endif
|
|
|
|
|
|
#define STRPBRK(soname, fnname) \
|
|
void* VG_REPLACE_FUNCTION_EZU(2032,soname,fnname) \
|
|
(void* sV, void* acceptV); \
|
|
void* VG_REPLACE_FUNCTION_EZU(2032,soname,fnname) \
|
|
(void* sV, void* acceptV) \
|
|
{ \
|
|
UChar* s = (UChar*)sV; \
|
|
UChar* accept = (UChar*)acceptV; \
|
|
\
|
|
/* find the length of 'accept', not including terminating zero */ \
|
|
UWord nacc = 0; \
|
|
while (accept[nacc]) nacc++; \
|
|
\
|
|
/* if n is the empty string, fail immediately. */ \
|
|
if (nacc == 0) return NULL; \
|
|
\
|
|
/* assert(nacc >= 1); */ \
|
|
while (1) { \
|
|
UWord i; \
|
|
UChar sc = *s; \
|
|
if (sc == 0) \
|
|
break; \
|
|
for (i = 0; i < nacc; i++) { \
|
|
if (sc == accept[i]) \
|
|
return s; \
|
|
} \
|
|
s++; \
|
|
} \
|
|
\
|
|
return NULL; \
|
|
}
|
|
|
|
#if defined(VGO_linux)
|
|
STRPBRK(VG_Z_LIBC_SONAME, strpbrk)
|
|
#endif
|
|
|
|
|
|
#define STRCSPN(soname, fnname) \
|
|
SizeT VG_REPLACE_FUNCTION_EZU(2033,soname,fnname) \
|
|
(void* sV, void* rejectV); \
|
|
SizeT VG_REPLACE_FUNCTION_EZU(2033,soname,fnname) \
|
|
(void* sV, void* rejectV) \
|
|
{ \
|
|
UChar* s = (UChar*)sV; \
|
|
UChar* reject = (UChar*)rejectV; \
|
|
\
|
|
/* find the length of 'reject', not including terminating zero */ \
|
|
UWord nrej = 0; \
|
|
while (reject[nrej]) nrej++; \
|
|
\
|
|
UWord len = 0; \
|
|
while (1) { \
|
|
UWord i; \
|
|
UChar sc = *s; \
|
|
if (sc == 0) \
|
|
break; \
|
|
for (i = 0; i < nrej; i++) { \
|
|
if (sc == reject[i]) \
|
|
break; \
|
|
} \
|
|
/* assert(i >= 0 && i <= nrej); */ \
|
|
if (i < nrej) \
|
|
break; \
|
|
s++; \
|
|
len++; \
|
|
} \
|
|
\
|
|
return len; \
|
|
}
|
|
|
|
#if defined(VGO_linux)
|
|
STRCSPN(VG_Z_LIBC_SONAME, strcspn)
|
|
#endif
|
|
|
|
|
|
#define STRSPN(soname, fnname) \
|
|
SizeT VG_REPLACE_FUNCTION_EZU(2034,soname,fnname) \
|
|
(void* sV, void* acceptV); \
|
|
SizeT VG_REPLACE_FUNCTION_EZU(2034,soname,fnname) \
|
|
(void* sV, void* acceptV) \
|
|
{ \
|
|
UChar* s = (UChar*)sV; \
|
|
UChar* accept = (UChar*)acceptV; \
|
|
\
|
|
/* find the length of 'accept', not including terminating zero */ \
|
|
UWord nacc = 0; \
|
|
while (accept[nacc]) nacc++; \
|
|
if (nacc == 0) return 0; \
|
|
\
|
|
UWord len = 0; \
|
|
while (1) { \
|
|
UWord i; \
|
|
UChar sc = *s; \
|
|
if (sc == 0) \
|
|
break; \
|
|
for (i = 0; i < nacc; i++) { \
|
|
if (sc == accept[i]) \
|
|
break; \
|
|
} \
|
|
/* assert(i >= 0 && i <= nacc); */ \
|
|
if (i == nacc) \
|
|
break; \
|
|
s++; \
|
|
len++; \
|
|
} \
|
|
\
|
|
return len; \
|
|
}
|
|
|
|
#if defined(VGO_linux)
|
|
STRSPN(VG_Z_LIBC_SONAME, strspn)
|
|
#endif
|
|
|
|
|
|
/*------------------------------------------------------------*/
|
|
/*--- Improve definedness checking of process environment ---*/
|
|
/*------------------------------------------------------------*/
|
|
|
|
#if defined(VGO_linux)
|
|
|
|
/* If these wind up getting generated via a macro, so that multiple
|
|
versions of each function exist (as above), use the _EZU variants
|
|
to assign equivalance class tags. */
|
|
|
|
/* putenv */
|
|
int VG_WRAP_FUNCTION_ZU(VG_Z_LIBC_SONAME, putenv) (char* string);
|
|
int VG_WRAP_FUNCTION_ZU(VG_Z_LIBC_SONAME, putenv) (char* string)
|
|
{
|
|
OrigFn fn;
|
|
Word result;
|
|
const char* p = string;
|
|
VALGRIND_GET_ORIG_FN(fn);
|
|
/* Now by walking over the string we magically produce
|
|
traces when hitting undefined memory. */
|
|
if (p)
|
|
while (*p++)
|
|
;
|
|
CALL_FN_W_W(result, fn, string);
|
|
return result;
|
|
}
|
|
|
|
/* unsetenv */
|
|
int VG_WRAP_FUNCTION_ZU(VG_Z_LIBC_SONAME, unsetenv) (const char* name);
|
|
int VG_WRAP_FUNCTION_ZU(VG_Z_LIBC_SONAME, unsetenv) (const char* name)
|
|
{
|
|
OrigFn fn;
|
|
Word result;
|
|
const char* p = name;
|
|
VALGRIND_GET_ORIG_FN(fn);
|
|
/* Now by walking over the string we magically produce
|
|
traces when hitting undefined memory. */
|
|
if (p)
|
|
while (*p++)
|
|
;
|
|
CALL_FN_W_W(result, fn, name);
|
|
return result;
|
|
}
|
|
|
|
/* setenv */
|
|
int VG_WRAP_FUNCTION_ZU(VG_Z_LIBC_SONAME, setenv)
|
|
(const char* name, const char* value, int overwrite);
|
|
int VG_WRAP_FUNCTION_ZU(VG_Z_LIBC_SONAME, setenv)
|
|
(const char* name, const char* value, int overwrite)
|
|
{
|
|
OrigFn fn;
|
|
Word result;
|
|
const char* p;
|
|
VALGRIND_GET_ORIG_FN(fn);
|
|
/* Now by walking over the string we magically produce
|
|
traces when hitting undefined memory. */
|
|
if (name)
|
|
for (p = name; *p; p++)
|
|
;
|
|
if (value)
|
|
for (p = value; *p; p++)
|
|
;
|
|
VALGRIND_CHECK_VALUE_IS_DEFINED (overwrite);
|
|
CALL_FN_W_WWW(result, fn, name, value, overwrite);
|
|
return result;
|
|
}
|
|
|
|
#endif /* defined(VGO_linux) */
|
|
|
|
/*--------------------------------------------------------------------*/
|
|
/*--- end ---*/
|
|
/*--------------------------------------------------------------------*/
|