mirror of
https://github.com/Zenithsiz/ftmemsim-valgrind.git
synced 2026-02-04 02:18:37 +00:00
run, though. There are lots of stubs to be filled in. (The asm ones currently just have "swi" in them, which seems to cause seg faults.) Also, some of the macros are decided dubious, especially: ARCH_* are bogus SYSCALL_RET is bogus PLATFORM_SET_SYSCALL_RESULT is bogus not sure about SET_SYSCALL_RETVAL FIRST_STACK_FRAME et al -- bogus? VG_MAX_JUMPS ? And in stage2.lds, the 0x8048000 is almost certainly wrong This required some tweakings of the core: - some of the vki_*.h kernel types were fixed up - had to disable the AM_PROG_CC_C_O macro in configure.in, because automake (autoconf?) didn't like it... - some "#ifdef __x86__" guards were introduced, for nasty x86 things I don't yet know how to factor out (trampoline page muck, sysinfo page muck). - fixed a minor stupidity in vg_proxylwp.c. - moved the ptrace wrapper into the x86-linux part - had to change the intercept mangling scheme, to use 'J' instead of '$' as the escape char because GCC didn't like '$'. This is all very dubious, and only works because none of our intercepted symbols contains a 'J'. To be fixed up ASAP. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3120
1102 lines
45 KiB
C
1102 lines
45 KiB
C
/*-*- c -*- ----------------------------------------------------------*/
|
|
/*--- The only header your tool will ever need to #include... ---*/
|
|
/*--- tool.h ---*/
|
|
/*--------------------------------------------------------------------*/
|
|
|
|
/*
|
|
This file is part of Valgrind, an extensible x86 protected-mode
|
|
emulator for monitoring program execution on x86-Unixes.
|
|
|
|
Copyright (C) 2000-2004 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.
|
|
*/
|
|
|
|
#ifndef __TOOL_H
|
|
#define __TOOL_H
|
|
|
|
#include <stdarg.h> /* ANSI varargs stuff */
|
|
#include <setjmp.h> /* for jmp_buf */
|
|
|
|
#include "basic_types.h"
|
|
#include "tool_asm.h" // asm stuff
|
|
#include "tool_arch.h" // arch-specific tool stuff
|
|
#include "vki.h"
|
|
|
|
#include "libvex.h"
|
|
#include "libvex_ir.h"
|
|
|
|
/*====================================================================*/
|
|
/*=== Build options and table sizes. ===*/
|
|
/*====================================================================*/
|
|
|
|
/* You should be able to change these options or sizes, recompile, and
|
|
still have a working system. */
|
|
|
|
/* The maximum number of pthreads that we support. This is
|
|
deliberately not very high since our implementation of some of the
|
|
scheduler algorithms is surely O(N) in the number of threads, since
|
|
that's simple, at least. And (in practice) we hope that most
|
|
programs do not need many threads. */
|
|
#define VG_N_THREADS 100
|
|
|
|
/* Maximum number of pthread keys available. Again, we start low until
|
|
the need for a higher number presents itself. */
|
|
#define VG_N_THREAD_KEYS 50
|
|
|
|
|
|
/*====================================================================*/
|
|
/*=== Useful macros ===*/
|
|
/*====================================================================*/
|
|
|
|
#define mycat_wrk(aaa,bbb) aaa##bbb
|
|
#define mycat(aaa,bbb) mycat_wrk(aaa,bbb)
|
|
|
|
/* No, really. I _am_ that strange. */
|
|
#define OINK(nnn) VG_(message)(Vg_DebugMsg, "OINK %d",nnn)
|
|
|
|
/* Path to all our library/aux files */
|
|
extern const Char *VG_(libdir);
|
|
|
|
|
|
/*====================================================================*/
|
|
/*=== Core/tool interface version ===*/
|
|
/*====================================================================*/
|
|
|
|
/* The major version number indicates binary-incompatible changes to the
|
|
interface; if the core and tool major versions don't match, Valgrind
|
|
will abort. The minor version indicates binary-compatible changes.
|
|
|
|
(Update: as it happens, we're never using the minor version number, because
|
|
there's no point in doing so.)
|
|
*/
|
|
#define VG_CORE_INTERFACE_MAJOR_VERSION 7
|
|
#define VG_CORE_INTERFACE_MINOR_VERSION 0
|
|
|
|
typedef struct _ToolInfo {
|
|
Int sizeof_ToolInfo;
|
|
Int interface_major_version;
|
|
Int interface_minor_version;
|
|
|
|
/* Initialise tool. Must do the following:
|
|
- initialise the `details' struct, via the VG_(details_*)() functions
|
|
- register any helpers called by generated code
|
|
|
|
May do the following:
|
|
- initialise the `needs' struct to indicate certain requirements, via
|
|
the VG_(needs_*)() functions
|
|
- initialize all the tool's entrypoints via the VG_(init_*)() functions
|
|
- register any tool-specific profiling events
|
|
- any other tool-specific initialisation
|
|
*/
|
|
void (*tl_pre_clo_init) ( void );
|
|
|
|
/* Specifies how big the shadow segment should be as a ratio to the
|
|
client address space. 0 for no shadow segment. */
|
|
float shadow_ratio;
|
|
} ToolInfo;
|
|
|
|
/* Every tool must include this macro somewhere, exactly once. */
|
|
#define VG_DETERMINE_INTERFACE_VERSION(pre_clo_init, shadow) \
|
|
const ToolInfo TL_(tool_info) = { \
|
|
.sizeof_ToolInfo = sizeof(ToolInfo), \
|
|
.interface_major_version = VG_CORE_INTERFACE_MAJOR_VERSION, \
|
|
.interface_minor_version = VG_CORE_INTERFACE_MINOR_VERSION, \
|
|
.tl_pre_clo_init = pre_clo_init, \
|
|
.shadow_ratio = shadow, \
|
|
};
|
|
|
|
/*====================================================================*/
|
|
/*=== Command-line options ===*/
|
|
/*====================================================================*/
|
|
|
|
/* Use this for normal null-termination-style string comparison */
|
|
#define VG_STREQ(s1,s2) (s1 != NULL && s2 != NULL \
|
|
&& VG_(strcmp)((s1),(s2))==0)
|
|
|
|
/* Use these for recognising tool command line options -- stops comparing
|
|
once whitespace is reached. */
|
|
#define VG_CLO_STREQ(s1,s2) (0==VG_(strcmp_ws)((s1),(s2)))
|
|
#define VG_CLO_STREQN(nn,s1,s2) (0==VG_(strncmp_ws)((s1),(s2),(nn)))
|
|
|
|
// Higher-level command-line option recognisers; use in if/else chains
|
|
|
|
#define VG_BOOL_CLO(qq_option, qq_var) \
|
|
if (VG_CLO_STREQ(arg, qq_option"=yes")) { (qq_var) = True; } \
|
|
else if (VG_CLO_STREQ(arg, qq_option"=no")) { (qq_var) = False; }
|
|
|
|
#define VG_STR_CLO(qq_option, qq_var) \
|
|
if (VG_CLO_STREQN(VG_(strlen)(qq_option)+1, arg, qq_option"=")) { \
|
|
(qq_var) = &arg[ VG_(strlen)(qq_option)+1 ]; \
|
|
}
|
|
|
|
#define VG_NUM_CLO(qq_option, qq_var) \
|
|
if (VG_CLO_STREQN(VG_(strlen)(qq_option)+1, arg, qq_option"=")) { \
|
|
(qq_var) = (Int)VG_(atoll)( &arg[ VG_(strlen)(qq_option)+1 ] ); \
|
|
}
|
|
|
|
// Bounded integer arg
|
|
#define VG_BNUM_CLO(qq_option, qq_var, qq_lo, qq_hi) \
|
|
if (VG_CLO_STREQN(VG_(strlen)(qq_option)+1, arg, qq_option"=")) { \
|
|
(qq_var) = (Int)VG_(atoll)( &arg[ VG_(strlen)(qq_option)+1 ] ); \
|
|
if ((qq_var) < (qq_lo)) (qq_var) = (qq_lo); \
|
|
if ((qq_var) > (qq_hi)) (qq_var) = (qq_hi); \
|
|
}
|
|
|
|
|
|
/* Verbosity level: 0 = silent, 1 (default), > 1 = more verbose. */
|
|
extern Int VG_(clo_verbosity);
|
|
|
|
/* Profile? */
|
|
extern Bool VG_(clo_profile);
|
|
|
|
/* Call this if a recognised option was bad for some reason.
|
|
Note: don't use it just because an option was unrecognised -- return 'False'
|
|
from TL_(process_cmd_line_option) to indicate that. */
|
|
extern void VG_(bad_option) ( Char* opt );
|
|
|
|
/* Client args */
|
|
extern Int VG_(client_argc);
|
|
extern Char** VG_(client_argv);
|
|
|
|
/* Client environment. Can be inspected with VG_(getenv)() */
|
|
extern Char** VG_(client_envp);
|
|
|
|
|
|
/*====================================================================*/
|
|
/*=== Printing messages for the user ===*/
|
|
/*====================================================================*/
|
|
|
|
/* Print a message prefixed by "??<pid>?? "; '?' depends on the VgMsgKind.
|
|
Should be used for all user output. */
|
|
|
|
typedef
|
|
enum { Vg_UserMsg, /* '?' == '=' */
|
|
Vg_DebugMsg, /* '?' == '-' */
|
|
Vg_DebugExtraMsg, /* '?' == '+' */
|
|
Vg_ClientMsg, /* '?' == '*' */
|
|
}
|
|
VgMsgKind;
|
|
|
|
/* Functions for building a message from multiple parts. */
|
|
extern int VG_(start_msg) ( VgMsgKind kind );
|
|
extern int VG_(add_to_msg) ( Char* format, ... );
|
|
/* Ends and prints the message. Appends a newline. */
|
|
extern int VG_(end_msg) ( void );
|
|
|
|
/* Send a single-part message. Appends a newline. */
|
|
extern int VG_(message) ( VgMsgKind kind, Char* format, ... );
|
|
extern int VG_(vmessage) ( VgMsgKind kind, Char* format, va_list vargs );
|
|
|
|
|
|
/*====================================================================*/
|
|
/*=== Profiling ===*/
|
|
/*====================================================================*/
|
|
|
|
/* Nb: VGP_(register_profile_event)() relies on VgpUnc being the first one */
|
|
#define VGP_CORE_LIST \
|
|
/* These ones depend on the core */ \
|
|
VGP_PAIR(VgpUnc, "unclassified"), \
|
|
VGP_PAIR(VgpStartup, "startup"), \
|
|
VGP_PAIR(VgpRun, "running"), \
|
|
VGP_PAIR(VgpSched, "scheduler"), \
|
|
VGP_PAIR(VgpMalloc, "low-lev malloc/free"), \
|
|
VGP_PAIR(VgpCliMalloc, "client malloc/free"), \
|
|
VGP_PAIR(VgpTranslate, "translate-main"), \
|
|
VGP_PAIR(VgpToUCode, "to-ucode"), \
|
|
VGP_PAIR(VgpFromUcode, "from-ucode"), \
|
|
VGP_PAIR(VgpImprove, "improve"), \
|
|
VGP_PAIR(VgpESPUpdate, "ESP-update"), \
|
|
VGP_PAIR(VgpRegAlloc, "reg-alloc"), \
|
|
VGP_PAIR(VgpLiveness, "liveness-analysis"), \
|
|
VGP_PAIR(VgpDoLRU, "do-lru"), \
|
|
VGP_PAIR(VgpSlowFindT, "slow-search-transtab"), \
|
|
VGP_PAIR(VgpExeContext, "exe-context"), \
|
|
VGP_PAIR(VgpReadSyms, "read-syms"), \
|
|
VGP_PAIR(VgpSearchSyms, "search-syms"), \
|
|
VGP_PAIR(VgpAddToT, "add-to-transtab"), \
|
|
VGP_PAIR(VgpCoreSysWrap, "core-syscall-wrapper"), \
|
|
VGP_PAIR(VgpDemangle, "demangle"), \
|
|
VGP_PAIR(VgpCoreCheapSanity, "core-cheap-sanity"), \
|
|
VGP_PAIR(VgpCoreExpensiveSanity, "core-expensive-sanity"), \
|
|
/* These ones depend on the tool */ \
|
|
VGP_PAIR(VgpPreCloInit, "pre-clo-init"), \
|
|
VGP_PAIR(VgpPostCloInit, "post-clo-init"), \
|
|
VGP_PAIR(VgpInstrument, "instrument"), \
|
|
VGP_PAIR(VgpToolSysWrap, "tool-syscall-wrapper"), \
|
|
VGP_PAIR(VgpToolCheapSanity, "tool-cheap-sanity"), \
|
|
VGP_PAIR(VgpToolExpensiveSanity, "tool-expensive-sanity"), \
|
|
VGP_PAIR(VgpFini, "fini")
|
|
|
|
#define VGP_PAIR(n,name) n
|
|
typedef enum { VGP_CORE_LIST } VgpCoreCC;
|
|
#undef VGP_PAIR
|
|
|
|
/* When registering tool profiling events, ensure that the 'n' value is in
|
|
* the range (VgpFini+1..) */
|
|
extern void VGP_(register_profile_event) ( Int n, Char* name );
|
|
|
|
extern void VGP_(pushcc) ( UInt cc );
|
|
extern void VGP_(popcc) ( UInt cc );
|
|
|
|
/* Define them only if they haven't already been defined by vg_profile.c */
|
|
#ifndef VGP_PUSHCC
|
|
# define VGP_PUSHCC(x)
|
|
#endif
|
|
#ifndef VGP_POPCC
|
|
# define VGP_POPCC(x)
|
|
#endif
|
|
|
|
|
|
/*====================================================================*/
|
|
/*=== Useful stuff to call from generated code ===*/
|
|
/*====================================================================*/
|
|
|
|
/* ------------------------------------------------------------------ */
|
|
/* General stuff */
|
|
|
|
/* 64-bit counter for the number of basic blocks done. */
|
|
extern ULong VG_(bbs_done);
|
|
|
|
/* Check if an address is 4-byte aligned */
|
|
#define IS_ALIGNED4_ADDR(aaa_p) (0 == (((UInt)(aaa_p)) & 3))
|
|
#define IS_ALIGNED8_ADDR(aaa_p) (0 == (((UInt)(aaa_p)) & 7))
|
|
|
|
|
|
/* ------------------------------------------------------------------ */
|
|
/* Thread-related stuff */
|
|
|
|
/* Special magic value for an invalid ThreadId. It corresponds to
|
|
LinuxThreads using zero as the initial value for
|
|
pthread_mutex_t.__m_owner and pthread_cond_t.__c_waiting. */
|
|
#define VG_INVALID_THREADID ((ThreadId)(0))
|
|
|
|
/* ThreadIds are simply indices into the VG_(threads)[] array. */
|
|
typedef
|
|
UInt
|
|
ThreadId;
|
|
|
|
/* Returns the tid of the currently running thread. Only call it when
|
|
running generated code. It will barf if there is no running thread.
|
|
Will never return zero.
|
|
*/
|
|
extern ThreadId VG_(get_current_tid) ( void );
|
|
|
|
/* Does the scheduler think we are running generated code right now? */
|
|
extern Bool VG_(running_a_thread) ( void );
|
|
|
|
/* Searches through all thread's stacks to see if any match. Returns
|
|
VG_INVALID_THREADID if none match. */
|
|
extern ThreadId VG_(first_matching_thread_stack)
|
|
( Bool (*p) ( Addr stack_min, Addr stack_max, void* d ),
|
|
void* d );
|
|
|
|
/* Get the simulated %esp */
|
|
extern Addr VG_(get_stack_pointer) ( ThreadId tid );
|
|
|
|
|
|
/*====================================================================*/
|
|
/*=== Valgrind's version of libc ===*/
|
|
/*====================================================================*/
|
|
|
|
/* Valgrind doesn't use libc at all, for good reasons (trust us). So here
|
|
are its own versions of C library functions, but with VG_ prefixes. Note
|
|
that the types of some are slightly different to the real ones. Some
|
|
additional useful functions are provided too; descriptions of how they
|
|
work are given below. */
|
|
|
|
#if !defined(NULL)
|
|
# define NULL ((void*)0)
|
|
#endif
|
|
|
|
|
|
/* ------------------------------------------------------------------ */
|
|
/* stdio.h
|
|
*
|
|
* Note that they all output to the file descriptor given by the
|
|
* --log-fd/--log-file/--log-socket argument, which defaults to 2 (stderr).
|
|
* Hence no need for VG_(fprintf)().
|
|
*/
|
|
extern UInt VG_(printf) ( const char *format, ... );
|
|
/* too noisy ... __attribute__ ((format (printf, 1, 2))) ; */
|
|
extern UInt VG_(sprintf) ( Char* buf, Char *format, ... );
|
|
extern UInt VG_(vprintf) ( void(*send)(Char),
|
|
const Char *format, va_list vargs );
|
|
|
|
extern Int VG_(rename) ( Char* old_name, Char* new_name );
|
|
|
|
/* ------------------------------------------------------------------ */
|
|
/* stdlib.h */
|
|
|
|
extern void* VG_(malloc) ( SizeT nbytes );
|
|
extern void VG_(free) ( void* p );
|
|
extern void* VG_(calloc) ( SizeT n, SizeT nbytes );
|
|
extern void* VG_(realloc) ( void* p, SizeT size );
|
|
extern void* VG_(malloc_aligned) ( SizeT align_bytes, SizeT nbytes );
|
|
|
|
extern void VG_(print_malloc_stats) ( void );
|
|
|
|
|
|
extern void VG_(exit)( Int status )
|
|
__attribute__ ((__noreturn__));
|
|
/* Prints a panic message (a constant string), appends newline and bug
|
|
reporting info, aborts. */
|
|
__attribute__ ((__noreturn__))
|
|
extern void VG_(tool_panic) ( Char* str );
|
|
|
|
/* Looks up VG_(client_envp) */
|
|
extern Char* VG_(getenv) ( Char* name );
|
|
|
|
/* Get client resource limit*/
|
|
extern Int VG_(getrlimit) ( Int resource, struct vki_rlimit *rlim );
|
|
|
|
/* Set client resource limit*/
|
|
extern Int VG_(setrlimit) ( Int resource, struct vki_rlimit *rlim );
|
|
|
|
/* Crude stand-in for the glibc system() call. */
|
|
extern Int VG_(system) ( Char* cmd );
|
|
|
|
extern Long VG_(atoll) ( Char* str );
|
|
|
|
/* Like atoll(), but converts a number of base 16 */
|
|
extern Long VG_(atoll16) ( Char* str );
|
|
|
|
/* Like atoll(), but converts a number of base 2..36 */
|
|
extern Long VG_(atoll36) ( UInt base, Char* str );
|
|
|
|
/* Like qsort(), but does shell-sort. The size==1/2/4 cases are specialised. */
|
|
extern void VG_(ssort)( void* base, SizeT nmemb, SizeT size,
|
|
Int (*compar)(void*, void*) );
|
|
|
|
|
|
/* ------------------------------------------------------------------ */
|
|
/* ctype.h */
|
|
extern Bool VG_(isspace) ( Char c );
|
|
extern Bool VG_(isdigit) ( Char c );
|
|
extern Char VG_(toupper) ( Char c );
|
|
|
|
|
|
/* ------------------------------------------------------------------ */
|
|
/* string.h */
|
|
extern Int VG_(strlen) ( const Char* str );
|
|
extern Char* VG_(strcat) ( Char* dest, const Char* src );
|
|
extern Char* VG_(strncat) ( Char* dest, const Char* src, Int n );
|
|
extern Char* VG_(strpbrk) ( const Char* s, const Char* accept );
|
|
extern Char* VG_(strcpy) ( Char* dest, const Char* src );
|
|
extern Char* VG_(strncpy) ( Char* dest, const Char* src, Int ndest );
|
|
extern Int VG_(strcmp) ( const Char* s1, const Char* s2 );
|
|
extern Int VG_(strncmp) ( const Char* s1, const Char* s2, Int nmax );
|
|
extern Char* VG_(strstr) ( const Char* haystack, Char* needle );
|
|
extern Char* VG_(strchr) ( const Char* s, Char c );
|
|
extern Char* VG_(strrchr) ( const Char* s, Char c );
|
|
extern Char* VG_(strdup) ( const Char* s);
|
|
extern void* VG_(memcpy) ( void *d, const void *s, Int sz );
|
|
extern void* VG_(memset) ( void *s, Int c, Int sz );
|
|
extern Int VG_(memcmp) ( const void* s1, const void* s2, Int n );
|
|
|
|
/* Like strcmp() and strncmp(), but stop comparing at any whitespace. */
|
|
extern Int VG_(strcmp_ws) ( const Char* s1, const Char* s2 );
|
|
extern Int VG_(strncmp_ws) ( const Char* s1, const Char* s2, Int nmax );
|
|
|
|
/* Like strncpy(), but if 'src' is longer than 'ndest' inserts a '\0' as the
|
|
last character. */
|
|
extern void VG_(strncpy_safely) ( Char* dest, const Char* src, Int ndest );
|
|
|
|
/* Mini-regexp function. Searches for 'pat' in 'str'. Supports
|
|
* meta-symbols '*' and '?'. '\' escapes meta-symbols. */
|
|
extern Bool VG_(string_match) ( const Char* pat, const Char* str );
|
|
|
|
|
|
/* ------------------------------------------------------------------ */
|
|
/* math.h */
|
|
/* Returns the base-2 logarithm of x. */
|
|
extern Int VG_(log2) ( Int x );
|
|
|
|
|
|
/* ------------------------------------------------------------------ */
|
|
/* unistd.h, fcntl.h, sys/stat.h */
|
|
extern Int VG_(getdents)( UInt fd, struct vki_dirent *dirp, UInt count );
|
|
extern Int VG_(readlink)( Char* path, Char* buf, UInt bufsize );
|
|
extern Int VG_(getpid) ( void );
|
|
extern Int VG_(getppid) ( void );
|
|
extern Int VG_(getpgrp) ( void );
|
|
extern Int VG_(gettid) ( void );
|
|
extern Int VG_(setpgid) ( Int pid, Int pgrp );
|
|
|
|
extern Int VG_(open) ( const Char* pathname, Int flags, Int mode );
|
|
extern Int VG_(read) ( Int fd, void* buf, Int count);
|
|
extern Int VG_(write) ( Int fd, const void* buf, Int count);
|
|
extern OffT VG_(lseek) ( Int fd, OffT offset, Int whence);
|
|
extern void VG_(close) ( Int fd );
|
|
|
|
extern Int VG_(pipe) ( Int fd[2] );
|
|
|
|
/* Nb: VG_(rename)() declared in stdio.h section above */
|
|
extern Int VG_(unlink) ( Char* file_name );
|
|
extern Int VG_(stat) ( Char* file_name, struct vki_stat* buf );
|
|
extern Int VG_(fstat) ( Int fd, struct vki_stat* buf );
|
|
extern Int VG_(dup2) ( Int oldfd, Int newfd );
|
|
|
|
extern Char* VG_(getcwd) ( Char* buf, SizeT size );
|
|
|
|
/* Easier to use than VG_(getcwd)() -- does the buffer fiddling itself.
|
|
String put into 'cwd' is VG_(malloc)'d, and should be VG_(free)'d.
|
|
Returns False if it fails. Will fail if the pathname is > 65535 bytes. */
|
|
extern Bool VG_(getcwd_alloc) ( Char** cwd );
|
|
|
|
/* ------------------------------------------------------------------ */
|
|
/* assert.h */
|
|
/* Asserts permanently enabled -- no turning off with NDEBUG. Hurrah! */
|
|
#define VG__STRING(__str) #__str
|
|
|
|
#define tl_assert(expr) \
|
|
((void) ((expr) ? 0 : \
|
|
(VG_(tool_assert_fail) (VG__STRING(expr), \
|
|
__FILE__, __LINE__, \
|
|
__PRETTY_FUNCTION__), 0)))
|
|
|
|
__attribute__ ((__noreturn__))
|
|
extern void VG_(tool_assert_fail) ( const Char* expr, const Char* file,
|
|
Int line, const Char* fn );
|
|
|
|
|
|
/* ------------------------------------------------------------------ */
|
|
/* Get memory by anonymous mmap. */
|
|
extern void* VG_(get_memory_from_mmap) ( SizeT nBytes, Char* who );
|
|
|
|
extern Bool VG_(is_client_addr) (Addr a);
|
|
extern Addr VG_(get_client_base)(void);
|
|
extern Addr VG_(get_client_end) (void);
|
|
extern Addr VG_(get_client_size)(void);
|
|
|
|
extern Bool VG_(is_shadow_addr) (Addr a);
|
|
extern Addr VG_(get_shadow_base)(void);
|
|
extern Addr VG_(get_shadow_end) (void);
|
|
extern Addr VG_(get_shadow_size)(void);
|
|
|
|
extern void *VG_(shadow_alloc)(UInt size);
|
|
|
|
extern Bool VG_(is_addressable)(Addr p, SizeT sz);
|
|
|
|
extern Addr VG_(client_alloc)(Addr base, SizeT len, UInt prot, UInt flags);
|
|
extern void VG_(client_free)(Addr addr);
|
|
|
|
extern Bool VG_(is_valgrind_addr)(Addr a);
|
|
|
|
/* initialize shadow pages in the range [p, p+sz) This calls
|
|
init_shadow_page for each one. It should be a lot more efficient
|
|
for bulk-initializing shadow pages than faulting on each one.
|
|
*/
|
|
extern void VG_(init_shadow_range)(Addr p, UInt sz, Bool call_init);
|
|
|
|
/* ------------------------------------------------------------------ */
|
|
/* signal.h.
|
|
|
|
Note that these use the vk_ (kernel) structure
|
|
definitions, which are different in places from those that glibc
|
|
defines. Since we're operating right at the kernel interface, glibc's view
|
|
of the world is entirely irrelevant. */
|
|
|
|
/* --- Signal set ops --- */
|
|
extern Int VG_(sigfillset) ( vki_sigset_t* set );
|
|
extern Int VG_(sigemptyset) ( vki_sigset_t* set );
|
|
|
|
extern Bool VG_(isfullsigset) ( vki_sigset_t* set );
|
|
extern Bool VG_(isemptysigset) ( vki_sigset_t* set );
|
|
|
|
extern Int VG_(sigaddset) ( vki_sigset_t* set, Int signum );
|
|
extern Int VG_(sigdelset) ( vki_sigset_t* set, Int signum );
|
|
extern Int VG_(sigismember) ( vki_sigset_t* set, Int signum );
|
|
|
|
extern void VG_(sigaddset_from_set) ( vki_sigset_t* dst, vki_sigset_t* src );
|
|
extern void VG_(sigdelset_from_set) ( vki_sigset_t* dst, vki_sigset_t* src );
|
|
|
|
/* --- Mess with the kernel's sig state --- */
|
|
extern Int VG_(sigprocmask) ( Int how, const vki_sigset_t* set,
|
|
vki_sigset_t* oldset );
|
|
extern Int VG_(sigaction) ( Int signum,
|
|
const struct vki_sigaction* act,
|
|
struct vki_sigaction* oldact );
|
|
|
|
extern Int VG_(sigtimedwait)( const vki_sigset_t *, vki_siginfo_t *,
|
|
const struct vki_timespec * );
|
|
|
|
extern Int VG_(signal) ( Int signum, void (*sighandler)(Int) );
|
|
extern Int VG_(sigaltstack) ( const vki_stack_t* ss, vki_stack_t* oss );
|
|
|
|
extern Int VG_(kill) ( Int pid, Int signo );
|
|
extern Int VG_(tkill) ( Int pid, Int signo );
|
|
extern Int VG_(sigpending) ( vki_sigset_t* set );
|
|
|
|
extern Int VG_(waitpid) ( Int pid, Int *status, Int options );
|
|
|
|
/* ------------------------------------------------------------------ */
|
|
/* socket.h. */
|
|
|
|
extern Int VG_(getsockname) ( Int sd, struct vki_sockaddr *name, Int *namelen);
|
|
extern Int VG_(getpeername) ( Int sd, struct vki_sockaddr *name, Int *namelen);
|
|
extern Int VG_(getsockopt) ( Int sd, Int level, Int optname, void *optval,
|
|
Int *optlen);
|
|
|
|
/* ------------------------------------------------------------------ */
|
|
/* other, randomly useful functions */
|
|
extern UInt VG_(read_millisecond_timer) ( void );
|
|
|
|
extern void VG_(cpuid) ( UInt eax,
|
|
UInt *eax_ret, UInt *ebx_ret,
|
|
UInt *ecx_ret, UInt *edx_ret );
|
|
|
|
/*====================================================================*/
|
|
/*=== Execution contexts ===*/
|
|
/*====================================================================*/
|
|
|
|
/* Generic resolution type used in a few different ways, such as deciding
|
|
how closely to compare two errors for equality. */
|
|
typedef
|
|
enum { Vg_LowRes, Vg_MedRes, Vg_HighRes }
|
|
VgRes;
|
|
|
|
typedef
|
|
struct _ExeContext
|
|
ExeContext;
|
|
|
|
/* Compare two ExeContexts. Number of callers considered depends on `res':
|
|
Vg_LowRes: 2
|
|
Vg_MedRes: 4
|
|
Vg_HighRes: all */
|
|
extern Bool VG_(eq_ExeContext) ( VgRes res,
|
|
ExeContext* e1, ExeContext* e2 );
|
|
|
|
/* Print an ExeContext. */
|
|
extern void VG_(pp_ExeContext) ( ExeContext* );
|
|
|
|
/* Take a snapshot of the client's stack. Search our collection of
|
|
ExeContexts to see if we already have it, and if not, allocate a
|
|
new one. Either way, return a pointer to the context. Context size
|
|
controlled by --num-callers option.
|
|
|
|
If called from generated code, use VG_(get_current_tid)() to get the
|
|
current ThreadId. If called from non-generated code, the current
|
|
ThreadId should be passed in by the core.
|
|
*/
|
|
extern ExeContext* VG_(get_ExeContext) ( ThreadId tid );
|
|
|
|
/* Get the nth IP from the ExeContext. 0 is the IP of the top function, 1
|
|
is its caller, etc. Returns 0 if there isn't one, or if n is greater
|
|
than VG_(clo_backtrace_size), set by the --num-callers option. */
|
|
extern Addr VG_(get_EIP_from_ExeContext) ( ExeContext* e, UInt n );
|
|
|
|
/* Just grab the client's IP, as a much smaller and cheaper
|
|
indication of where they are. Use is basically same as for
|
|
VG_(get_ExeContext)() above.
|
|
*/
|
|
extern Addr VG_(get_EIP)( ThreadId tid );
|
|
|
|
/* For tools needing more control over stack traces: walks the stack to get
|
|
instruction pointers from the top stack frames for thread 'tid'. Maximum of
|
|
'n_ips' addresses put into 'ips'; 0 is the top of the stack, 1 is its
|
|
caller, etc. */
|
|
extern UInt VG_(stack_snapshot) ( ThreadId tid, Addr* ips, UInt n_ips );
|
|
|
|
/* Does the same thing as VG_(pp_ExeContext)(), just with slightly
|
|
different input. */
|
|
extern void VG_(mini_stack_dump) ( Addr ips[], UInt n_ips );
|
|
|
|
|
|
/*====================================================================*/
|
|
/*=== Error reporting ===*/
|
|
/*====================================================================*/
|
|
|
|
/* ------------------------------------------------------------------ */
|
|
/* Suppressions describe errors which we want to suppress, ie, not
|
|
show the user, usually because it is caused by a problem in a library
|
|
which we can't fix, replace or work around. Suppressions are read from
|
|
a file at startup time. This gives flexibility so that new
|
|
suppressions can be added to the file as and when needed.
|
|
*/
|
|
|
|
typedef
|
|
Int /* Do not make this unsigned! */
|
|
SuppKind;
|
|
|
|
/* The tool-relevant parts of a suppression are:
|
|
kind: what kind of suppression; must be in the range (0..)
|
|
string: use is optional. NULL by default.
|
|
extra: use is optional. NULL by default. void* so it's extensible.
|
|
*/
|
|
typedef
|
|
struct _Supp
|
|
Supp;
|
|
|
|
/* Useful in TL_(error_matches_suppression)() */
|
|
SuppKind VG_(get_supp_kind) ( Supp* su );
|
|
Char* VG_(get_supp_string) ( Supp* su );
|
|
void* VG_(get_supp_extra) ( Supp* su );
|
|
|
|
/* Must be used in VG_(recognised_suppression)() */
|
|
void VG_(set_supp_kind) ( Supp* su, SuppKind suppkind );
|
|
/* May be used in VG_(read_extra_suppression_info)() */
|
|
void VG_(set_supp_string) ( Supp* su, Char* string );
|
|
void VG_(set_supp_extra) ( Supp* su, void* extra );
|
|
|
|
|
|
/* ------------------------------------------------------------------ */
|
|
/* Error records contain enough info to generate an error report. The idea
|
|
is that (typically) the same few points in the program generate thousands
|
|
of errors, and we don't want to spew out a fresh error message for each
|
|
one. Instead, we use these structures to common up duplicates.
|
|
*/
|
|
|
|
typedef
|
|
Int /* Do not make this unsigned! */
|
|
ErrorKind;
|
|
|
|
/* The tool-relevant parts of an Error are:
|
|
kind: what kind of error; must be in the range (0..)
|
|
addr: use is optional. 0 by default.
|
|
string: use is optional. NULL by default.
|
|
extra: use is optional. NULL by default. void* so it's extensible.
|
|
*/
|
|
typedef
|
|
struct _Error
|
|
Error;
|
|
|
|
/* Useful in TL_(error_matches_suppression)(), TL_(pp_Error)(), etc */
|
|
ExeContext* VG_(get_error_where) ( Error* err );
|
|
SuppKind VG_(get_error_kind) ( Error* err );
|
|
Addr VG_(get_error_address) ( Error* err );
|
|
Char* VG_(get_error_string) ( Error* err );
|
|
void* VG_(get_error_extra) ( Error* err );
|
|
|
|
/* Call this when an error occurs. It will be recorded if it hasn't been
|
|
seen before. If it has, the existing error record will have its count
|
|
incremented.
|
|
|
|
'tid' can be found as for VG_(get_ExeContext)(). The `extra' field can
|
|
be stack-allocated; it will be copied by the core if needed (but it
|
|
won't be copied if it's NULL).
|
|
|
|
If no 'a', 's' or 'extra' of interest needs to be recorded, just use
|
|
NULL for them. */
|
|
extern void VG_(maybe_record_error) ( ThreadId tid, ErrorKind ekind,
|
|
Addr a, Char* s, void* extra );
|
|
|
|
/* Similar to VG_(maybe_record_error)(), except this one doesn't record the
|
|
error -- useful for errors that can only happen once. The errors can be
|
|
suppressed, though. Return value is True if it was suppressed.
|
|
`print_error' dictates whether to print the error, which is a bit of a
|
|
hack that's useful sometimes if you just want to know if the error would
|
|
be suppressed without possibly printing it. `count_error' dictates
|
|
whether to add the error in the error total count (another mild hack). */
|
|
extern Bool VG_(unique_error) ( ThreadId tid, ErrorKind ekind,
|
|
Addr a, Char* s, void* extra,
|
|
ExeContext* where, Bool print_error,
|
|
Bool allow_GDB_attach, Bool count_error );
|
|
|
|
/* Gets a non-blank, non-comment line of at most nBuf chars from fd.
|
|
Skips leading spaces on the line. Returns True if EOF was hit instead.
|
|
Useful for reading in extra tool-specific suppression lines. */
|
|
extern Bool VG_(get_line) ( Int fd, Char* buf, Int nBuf );
|
|
|
|
|
|
/*====================================================================*/
|
|
/*=== Obtaining debug information ===*/
|
|
/*====================================================================*/
|
|
|
|
/* Get the file/function/line number of the instruction at address
|
|
'a'. For these four, if debug info for the address is found, it
|
|
copies the info into the buffer/UInt and returns True. If not, it
|
|
returns False and nothing is copied. VG_(get_fnname) always
|
|
demangles C++ function names. VG_(get_fnname_w_offset) is the
|
|
same, except it appends "+N" to symbol names to indicate offsets. */
|
|
extern Bool VG_(get_filename) ( Addr a, Char* filename, Int n_filename );
|
|
extern Bool VG_(get_fnname) ( Addr a, Char* fnname, Int n_fnname );
|
|
extern Bool VG_(get_linenum) ( Addr a, UInt* linenum );
|
|
extern Bool VG_(get_fnname_w_offset)
|
|
( Addr a, Char* fnname, Int n_fnname );
|
|
|
|
/* This one is more efficient if getting both filename and line number,
|
|
because the two lookups are done together. */
|
|
extern Bool VG_(get_filename_linenum)
|
|
( Addr a, Char* filename, Int n_filename,
|
|
UInt* linenum );
|
|
|
|
/* Succeeds only if we find from debug info that 'a' is the address of the
|
|
first instruction in a function -- as opposed to VG_(get_fnname) which
|
|
succeeds if we find from debug info that 'a' is the address of any
|
|
instruction in a function. Use this to instrument the start of
|
|
a particular function. Nb: if an executable/shared object is stripped
|
|
of its symbols, this function will not be able to recognise function
|
|
entry points within it. */
|
|
extern Bool VG_(get_fnname_if_entry) ( Addr a, Char* fnname, Int n_fnname );
|
|
|
|
/* Succeeds if the address is within a shared object or the main executable.
|
|
It doesn't matter if debug info is present or not. */
|
|
extern Bool VG_(get_objname) ( Addr a, Char* objname, Int n_objname );
|
|
|
|
/* Puts into 'buf' info about the code address %eip: the address, function
|
|
name (if known) and filename/line number (if known), like this:
|
|
|
|
0x4001BF05: realloc (vg_replace_malloc.c:339)
|
|
|
|
'n_buf' gives length of 'buf'. Returns 'buf'.
|
|
*/
|
|
extern Char* VG_(describe_eip)(Addr eip, Char* buf, Int n_buf);
|
|
|
|
/* Returns a string containing an expression for the given
|
|
address. String is malloced with VG_(malloc)() */
|
|
Char *VG_(describe_addr)(ThreadId, Addr);
|
|
|
|
/* A way to get information about what segments are mapped */
|
|
typedef struct _SegInfo SegInfo;
|
|
|
|
/* Returns NULL if the SegInfo isn't found. It doesn't matter if debug info
|
|
is present or not. */
|
|
extern SegInfo* VG_(get_obj) ( Addr a );
|
|
|
|
extern const SegInfo* VG_(next_seginfo) ( const SegInfo *seg );
|
|
extern Addr VG_(seg_start) ( const SegInfo *seg );
|
|
extern SizeT VG_(seg_size) ( const SegInfo *seg );
|
|
extern const UChar* VG_(seg_filename) ( const SegInfo *seg );
|
|
extern ULong VG_(seg_sym_offset)( const SegInfo *seg );
|
|
|
|
typedef
|
|
enum {
|
|
Vg_SectUnknown,
|
|
Vg_SectText,
|
|
Vg_SectData,
|
|
Vg_SectBSS,
|
|
Vg_SectGOT,
|
|
Vg_SectPLT,
|
|
}
|
|
VgSectKind;
|
|
|
|
extern VgSectKind VG_(seg_sect_kind)(Addr);
|
|
|
|
/*====================================================================*/
|
|
/*=== Generic hash table ===*/
|
|
/*====================================================================*/
|
|
|
|
/* Generic type for a separately-chained hash table. Via a kind of dodgy
|
|
C-as-C++ style inheritance, tools can extend the VgHashNode type, so long
|
|
as the first two fields match the sizes of these two fields. Requires
|
|
a bit of casting by the tool. */
|
|
typedef
|
|
struct _VgHashNode {
|
|
struct _VgHashNode * next;
|
|
UWord key;
|
|
}
|
|
VgHashNode;
|
|
|
|
typedef
|
|
VgHashNode**
|
|
VgHashTable;
|
|
|
|
/* Make a new table. */
|
|
extern VgHashTable VG_(HT_construct) ( void );
|
|
|
|
/* Count the number of nodes in a table. */
|
|
extern Int VG_(HT_count_nodes) ( VgHashTable table );
|
|
|
|
/* Add a node to the table. */
|
|
extern void VG_(HT_add_node) ( VgHashTable t, VgHashNode* node );
|
|
|
|
/* Looks up a node in the hash table. Also returns the address of the
|
|
previous node's `next' pointer which allows it to be removed from the
|
|
list later without having to look it up again. */
|
|
extern VgHashNode* VG_(HT_get_node) ( VgHashTable t, UWord key,
|
|
/*OUT*/VgHashNode*** next_ptr );
|
|
|
|
/* Allocates an array of pointers to all the shadow chunks of malloc'd
|
|
blocks. Must be freed with VG_(free)(). */
|
|
extern VgHashNode** VG_(HT_to_array) ( VgHashTable t, /*OUT*/ UInt* n_shadows );
|
|
|
|
/* Returns first node that matches predicate `p', or NULL if none do.
|
|
Extra arguments can be implicitly passed to `p' using `d' which is an
|
|
opaque pointer passed to `p' each time it is called. */
|
|
extern VgHashNode* VG_(HT_first_match) ( VgHashTable t,
|
|
Bool (*p)(VgHashNode*, void*),
|
|
void* d );
|
|
|
|
/* Applies a function f() once to each node. Again, `d' can be used
|
|
to pass extra information to the function. */
|
|
extern void VG_(HT_apply_to_all_nodes)( VgHashTable t,
|
|
void (*f)(VgHashNode*, void*),
|
|
void* d );
|
|
|
|
/* Destroy a table. */
|
|
extern void VG_(HT_destruct) ( VgHashTable t );
|
|
|
|
|
|
/*====================================================================*/
|
|
/*=== A generic skiplist ===*/
|
|
/*====================================================================*/
|
|
|
|
/*
|
|
The idea here is that the skiplist puts its per-element data at the
|
|
end of the structure. When you initialize the skiplist, you tell
|
|
it what structure your list elements are going to be. Then you
|
|
should allocate them with VG_(SkipNode_Alloc), which will allocate
|
|
enough memory for the extra bits.
|
|
*/
|
|
|
|
typedef struct _SkipList SkipList;
|
|
typedef struct _SkipNode SkipNode;
|
|
|
|
typedef Int (*SkipCmp_t)(const void *key1, const void *key2);
|
|
|
|
struct _SkipList {
|
|
const Short arena; /* allocation arena */
|
|
const UShort size; /* structure size (not including SkipNode) */
|
|
const UShort keyoff; /* key offset */
|
|
const SkipCmp_t cmp; /* compare two keys */
|
|
Char * (*strkey)(void *); /* stringify a key (for debugging) */
|
|
SkipNode *head; /* list head */
|
|
};
|
|
|
|
/* Use this macro to initialize your skiplist head. The arguments are pretty self explanitory:
|
|
_type is the type of your element structure
|
|
_key is the field within that type which you want to use as the key
|
|
_cmp is the comparison function for keys - it gets two typeof(_key) pointers as args
|
|
_strkey is a function which can return a string of your key - it's only used for debugging
|
|
_arena is the arena to use for allocation - -1 is the default
|
|
*/
|
|
#define SKIPLIST_INIT(_type, _key, _cmp, _strkey, _arena) \
|
|
{ \
|
|
.arena = _arena, \
|
|
.size = sizeof(_type), \
|
|
.keyoff = offsetof(_type, _key), \
|
|
.cmp = _cmp, \
|
|
.strkey = _strkey, \
|
|
.head = NULL, \
|
|
}
|
|
|
|
/* List operations:
|
|
SkipList_Find searchs a list. If it can't find an exact match, it either
|
|
returns NULL or a pointer to the element before where k would go
|
|
SkipList_Insert inserts a new element into the list. Duplicates are
|
|
forbidden. The element must have been created with SkipList_Alloc!
|
|
SkipList_Remove removes an element from the list and returns it. It
|
|
doesn't free the memory.
|
|
*/
|
|
extern void *VG_(SkipList_Find) (const SkipList *l, void *key);
|
|
extern void VG_(SkipList_Insert)( SkipList *l, void *data);
|
|
extern void *VG_(SkipList_Remove)( SkipList *l, void *key);
|
|
|
|
/* Node (element) operations:
|
|
SkipNode_Alloc: allocate memory for a new element on the list. Must be
|
|
used before an element can be inserted! Returns NULL if not enough
|
|
memory.
|
|
SkipNode_Free: free memory allocated above
|
|
SkipNode_First: return the first element on the list
|
|
SkipNode_Next: return the next element after "data" on the list -
|
|
NULL for none
|
|
|
|
You can iterate through a SkipList like this:
|
|
|
|
for(x = VG_(SkipNode_First)(&list); // or SkipList_Find
|
|
x != NULL;
|
|
x = VG_(SkipNode_Next)(&list, x)) { ... }
|
|
*/
|
|
extern void *VG_(SkipNode_Alloc) (const SkipList *l);
|
|
extern void VG_(SkipNode_Free) (const SkipList *l, void *p);
|
|
extern void *VG_(SkipNode_First) (const SkipList *l);
|
|
extern void *VG_(SkipNode_Next) (const SkipList *l, void *data);
|
|
|
|
|
|
/*====================================================================*/
|
|
/*=== Functions for shadow registers ===*/
|
|
/*====================================================================*/
|
|
|
|
// For get/set, 'area' is where the asked-for shadow state will be copied
|
|
// into/from.
|
|
extern void VG_(get_shadow_regs_area) ( ThreadId tid, OffT guest_state_offset,
|
|
SizeT size, UChar* area );
|
|
extern void VG_(set_shadow_regs_area) ( ThreadId tid, OffT guest_state_offset,
|
|
SizeT size, const UChar* area );
|
|
|
|
/* This one lets you override the shadow of the return value register for a
|
|
syscall. Call it from TL_(post_syscall)() (not TL_(pre_syscall)()!) to
|
|
override the default shadow register value. */
|
|
extern void VG_(set_return_from_syscall_shadow) ( ThreadId tid,
|
|
UWord ret_shadow );
|
|
|
|
/* This can be called from TL_(fini)() to find the shadow of the argument
|
|
to exit(), ie. the shadow of the program's return value. */
|
|
extern UInt VG_(get_exit_status_shadow) ( ThreadId );
|
|
|
|
|
|
/*====================================================================*/
|
|
/*=== Specific stuff for replacing malloc() and friends ===*/
|
|
/*====================================================================*/
|
|
|
|
/* If a tool replaces malloc() et al, the easiest way to do so is to
|
|
link with vg_replace_malloc.o into its vgpreload_*.so file, and
|
|
follow the following instructions. You can do it from scratch,
|
|
though, if you enjoy that sort of thing. */
|
|
|
|
/* Arena size for valgrind's own malloc(); default value is 0, but can
|
|
be overridden by tool -- but must be done so *statically*, eg:
|
|
|
|
UInt VG_(vg_malloc_redzone_szB) = 4;
|
|
|
|
It can't be done from a function like TL_(pre_clo_init)(). So it can't,
|
|
for example, be controlled with a command line option, unfortunately. */
|
|
extern UInt VG_(vg_malloc_redzone_szB);
|
|
|
|
/* Can be called from TL_(malloc) et al to do the actual alloc/freeing. */
|
|
extern void* VG_(cli_malloc) ( SizeT align, SizeT nbytes );
|
|
extern void VG_(cli_free) ( void* p );
|
|
|
|
/* Check if an address is within a range, allowing for redzones at edges */
|
|
extern Bool VG_(addr_is_in_block)( Addr a, Addr start, SizeT size );
|
|
|
|
/* ------------------------------------------------------------------ */
|
|
/* Some options that can be used by a tool if malloc() et al are replaced.
|
|
The tool should call the functions in the appropriate places to give
|
|
control over these aspects of Valgrind's version of malloc(). */
|
|
|
|
/* Round malloc sizes upwards to integral number of words? default: NO */
|
|
extern Bool VG_(clo_sloppy_malloc);
|
|
/* DEBUG: print malloc details? default: NO */
|
|
extern Bool VG_(clo_trace_malloc);
|
|
/* Minimum alignment in functions that don't specify alignment explicitly.
|
|
default: 0, i.e. use default of the machine (== 4) */
|
|
extern UInt VG_(clo_alignment);
|
|
|
|
extern Bool VG_(replacement_malloc_process_cmd_line_option) ( Char* arg );
|
|
extern void VG_(replacement_malloc_print_usage) ( void );
|
|
extern void VG_(replacement_malloc_print_debug_usage) ( void );
|
|
|
|
|
|
/*====================================================================*/
|
|
/*=== Tool-specific stuff ===*/
|
|
/*====================================================================*/
|
|
|
|
/* ------------------------------------------------------------------ */
|
|
/* Details */
|
|
|
|
/* Default value for avg_translations_sizeB (in bytes), indicating typical
|
|
code expansion of about 6:1. */
|
|
#define VG_DEFAULT_TRANS_SIZEB 100
|
|
|
|
/* Information used in the startup message. `name' also determines the
|
|
string used for identifying suppressions in a suppression file as
|
|
belonging to this tool. `version' can be NULL, in which case (not
|
|
surprisingly) no version info is printed; this mechanism is designed for
|
|
tools distributed with Valgrind that share a version number with
|
|
Valgrind. Other tools not distributed as part of Valgrind should
|
|
probably have their own version number. */
|
|
extern void VG_(details_name) ( Char* name );
|
|
extern void VG_(details_version) ( Char* version );
|
|
extern void VG_(details_description) ( Char* description );
|
|
extern void VG_(details_copyright_author) ( Char* copyright_author );
|
|
|
|
/* Average size of a translation, in bytes, so that the translation
|
|
storage machinery can allocate memory appropriately. Not critical,
|
|
setting is optional. */
|
|
extern void VG_(details_avg_translation_sizeB) ( UInt size );
|
|
|
|
/* String printed if an `tl_assert' assertion fails or VG_(tool_panic)
|
|
is called. Should probably be an email address. */
|
|
extern void VG_(details_bug_reports_to) ( Char* bug_reports_to );
|
|
|
|
/* ------------------------------------------------------------------ */
|
|
/* Needs */
|
|
|
|
/* Booleans that decide core behaviour, but don't require extra
|
|
operations to be defined if `True' */
|
|
|
|
/* Should __libc_freeres() be run? Bugs in it can crash the tool. */
|
|
extern void VG_(needs_libc_freeres) ( void );
|
|
|
|
/* Want to have errors detected by Valgrind's core reported? Includes:
|
|
- pthread API errors (many; eg. unlocking a non-locked mutex)
|
|
- invalid file descriptors to blocking syscalls read() and write()
|
|
- bad signal numbers passed to sigaction()
|
|
- attempt to install signal handler for SIGKILL or SIGSTOP */
|
|
extern void VG_(needs_core_errors) ( void );
|
|
|
|
/* Booleans that indicate extra operations are defined; if these are True,
|
|
the corresponding template functions (given below) must be defined. A
|
|
lot like being a member of a type class. */
|
|
|
|
/* Want to report errors from tool? This implies use of suppressions, too. */
|
|
extern void VG_(needs_tool_errors) ( void );
|
|
|
|
/* Is information kept about specific individual basic blocks? (Eg. for
|
|
cachegrind there are cost-centres for every instruction, stored at a
|
|
basic block level.) If so, it sometimes has to be discarded, because
|
|
.so mmap/munmap-ping or self-modifying code (informed by the
|
|
DISCARD_TRANSLATIONS user request) can cause one instruction address
|
|
to be used for more than one instruction in one program run... */
|
|
extern void VG_(needs_basic_block_discards) ( void );
|
|
|
|
/* Tool defines its own command line options? */
|
|
extern void VG_(needs_command_line_options) ( void );
|
|
|
|
/* Tool defines its own client requests? */
|
|
extern void VG_(needs_client_requests) ( void );
|
|
|
|
/* Tool does stuff before and/or after system calls? */
|
|
extern void VG_(needs_syscall_wrapper) ( void );
|
|
|
|
/* Are tool-state sanity checks performed? */
|
|
extern void VG_(needs_sanity_checks) ( void );
|
|
|
|
/* Do we need to see data symbols? */
|
|
extern void VG_(needs_data_syms) ( void );
|
|
|
|
/* Does the tool need shadow memory allocated (if you set this, you must also statically initialize
|
|
float TL_(shadow_ratio) = n./m;
|
|
to define how many shadow bits you need per client address space bit.
|
|
*/
|
|
extern void VG_(needs_shadow_memory)( void );
|
|
extern float TL_(shadow_ratio);
|
|
|
|
/* ------------------------------------------------------------------ */
|
|
/* Core events to track */
|
|
|
|
/* Part of the core from which this call was made. Useful for determining
|
|
what kind of error message should be emitted. */
|
|
typedef
|
|
enum { Vg_CoreStartup, Vg_CorePThread, Vg_CoreSignal, Vg_CoreSysCall,
|
|
Vg_CoreTranslate, Vg_CoreClientReq }
|
|
CorePart;
|
|
|
|
/* Useful to use in VG_(get_Xreg_usage)() */
|
|
#define VG_UINSTR_READS_REG(ono,regs,isWrites) \
|
|
{ if (mycat(u->tag,ono) == tag) \
|
|
{ regs[n] = mycat(u->val,ono); \
|
|
isWrites[n] = False; \
|
|
n++; \
|
|
} \
|
|
}
|
|
#define VG_UINSTR_WRITES_REG(ono,regs,isWrites) \
|
|
{ if (mycat(u->tag,ono) == tag) \
|
|
{ regs[n] = mycat(u->val,ono); \
|
|
isWrites[n] = True; \
|
|
n++; \
|
|
} \
|
|
}
|
|
|
|
#endif /* NDEF __TOOL_H */
|
|
|
|
/* gen_toolint.pl will put the VG_(init_*)() functions here: */
|