mirror of
https://github.com/Zenithsiz/ftmemsim-valgrind.git
synced 2026-02-13 22:46:59 +00:00
b55751404f
- All memory-related errors are now clear whether they are caused by
unaddressable or uninitialised memory. (Previously, writes were
clearly addressability errors, but reads could be either.) Mostly
done by replacing the 'isWrite' field in MAC_Error with 'isUnaddr'.
Also, mc_check_readable() now indicates not just if an error occurred,
but what kind of error (ie. addressability or definedness).
- Put machinery into place in the core to inform tools when registers
are being read by the core -- ie. a 'pre_reg_read' event. Most
notably, this facilitates syscall scalar arg definedness checking for
Memcheck. Currently this is only working for read(), write(), exit()
and exit_group(), but it will be extended as the syscalls are
overhauled as part of the arch-abstraction work.
A consequence of this is that the ParamErr messages have changed. This:
Syscall param write(buf) contains uninitialised byte(s)
now means that the pointer 'buf' is partially undefined. If the memory
pointed to by 'buf' is partially undefined or unaddressable, it says one of:
Syscall param write(buf) points to uninitialised byte(s)
Syscall param write(buf) points to unaddressable byte(s)
The docs have been updated accordingly.
I also added a couple of regression tests.
These two change sare notable for being the first improvements to
Memcheck's checking/errors in a long time.
I also folded mc_clientreqs.c into mc_main.c, which saves exporting a
whole bunch of things that are not used anywhere else.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2949
132 lines
5.9 KiB
C
132 lines
5.9 KiB
C
|
|
/*--------------------------------------------------------------------*/
|
|
/*--- x86-Linux-specific stuff for the core. ---*/
|
|
/*--- x86-linux/core_platform.h ---*/
|
|
/*--------------------------------------------------------------------*/
|
|
|
|
/*
|
|
This file is part of Valgrind, an extensible x86 protected-mode
|
|
emulator for monitoring program execution on x86-Unixes.
|
|
|
|
Copyright (C) 2000-2004 Nicholas Nethercote
|
|
njn25@cam.ac.uk
|
|
|
|
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 __X86_LINUX_CORE_PLATFORM_H
|
|
#define __X86_LINUX_CORE_PLATFORM_H
|
|
|
|
//#include "core_platform_asm.h" // platform-specific asm stuff
|
|
//#include "platform_arch.h" // platform-specific tool stuff
|
|
|
|
/* ---------------------------------------------------------------------
|
|
Interesting registers
|
|
------------------------------------------------------------------ */
|
|
|
|
// Accessors for the arch_thread_t
|
|
#define PLATFORM_SYSCALL_NUM(regs) ((regs).m_eax)
|
|
#define PLATFORM_SYSCALL_RET(regs) ((regs).m_eax)
|
|
#define PLATFORM_SYSCALL_ARG1(regs) ((regs).m_ebx)
|
|
#define PLATFORM_SYSCALL_ARG2(regs) ((regs).m_ecx)
|
|
#define PLATFORM_SYSCALL_ARG3(regs) ((regs).m_edx)
|
|
#define PLATFORM_SYSCALL_ARG4(regs) ((regs).m_esi)
|
|
#define PLATFORM_SYSCALL_ARG5(regs) ((regs).m_edi)
|
|
#define PLATFORM_SYSCALL_ARG6(regs) ((regs).m_ebp)
|
|
|
|
#define PLATFORM_SET_SYSCALL_RESULT(regs, val) ((regs).m_eax = (val))
|
|
|
|
// Interesting register numbers
|
|
#define R_SYSCALL_NUM R_EAX
|
|
#define R_SYSCALL_ARG1 R_EBX
|
|
#define R_SYSCALL_ARG2 R_ECX
|
|
#define R_SYSCALL_ARG3 R_EDX
|
|
#define R_SYSCALL_ARG4 R_ESI
|
|
#define R_SYSCALL_ARG5 R_EDI
|
|
#define R_SYSCALL_ARG6 R_EBP
|
|
#define R_SYSCALL_RET R_EAX
|
|
|
|
// Setting thread regs and shadow regs from within the core
|
|
#define SET_SYSCALL_RETVAL(zztid, zzval) \
|
|
SET_THREAD_REG(zztid, zzval, PLATFORM_SYSCALL_RET, R_SYSCALL_RET, \
|
|
post_reg_write_syscall_return)
|
|
|
|
/* ---------------------------------------------------------------------
|
|
Exports of vg_ldt.c
|
|
------------------------------------------------------------------ */
|
|
|
|
// XXX: eventually all these should be x86-private, and not visible to the
|
|
// core (except maybe do_useseg()?)
|
|
|
|
/* Simulate the modify_ldt syscall. */
|
|
extern Int VG_(sys_modify_ldt) ( ThreadId tid,
|
|
Int func, void* ptr, UInt bytecount );
|
|
|
|
/* Simulate the {get,set}_thread_area syscalls. */
|
|
extern Int VG_(sys_set_thread_area) ( ThreadId tid,
|
|
vki_modify_ldt_t* info );
|
|
extern Int VG_(sys_get_thread_area) ( ThreadId tid,
|
|
vki_modify_ldt_t* info );
|
|
|
|
/* Called from generated code. Given a segment selector and a virtual
|
|
address, return a linear address, and do limit checks too. */
|
|
extern Addr VG_(do_useseg) ( UInt seg_selector, Addr virtual_addr );
|
|
|
|
/* ---------------------------------------------------------------------
|
|
ucontext stuff
|
|
------------------------------------------------------------------ */
|
|
|
|
#define UCONTEXT_INSTR_PTR(uc) ((uc)->uc_mcontext.eip)
|
|
#define UCONTEXT_STACK_PTR(uc) ((uc)->uc_mcontext.esp)
|
|
#define UCONTEXT_FRAME_PTR(uc) ((uc)->uc_mcontext.ebp)
|
|
#define UCONTEXT_SYSCALL_NUM(uc) ((uc)->uc_mcontext.eax)
|
|
|
|
/* ---------------------------------------------------------------------
|
|
mmap() stuff
|
|
------------------------------------------------------------------ */
|
|
|
|
#define PLATFORM_DO_MMAP(ret, start, length, prot, flags, fd, offset) { \
|
|
UWord __args[6]; \
|
|
\
|
|
__args[0] = (UWord)(start); \
|
|
__args[1] = (length); \
|
|
__args[2] = (prot); \
|
|
__args[3] = (flags); \
|
|
__args[4] = (fd); \
|
|
__args[5] = (offset); \
|
|
\
|
|
ret = VG_(do_syscall)(__NR_mmap, (UWord)(&(__args[0])) ); \
|
|
}
|
|
|
|
#define PLATFORM_GET_MMAP_ARGS(tst, a1, a2, a3, a4, a5, a6) do {\
|
|
UInt *arg_block = (UInt*)PLATFORM_SYSCALL_ARG1(tst->arch); \
|
|
PRE_MEM_READ( "mmap(args)", arg1, 6*sizeof(UWord) ); \
|
|
a1 = arg_block[0]; \
|
|
a2 = arg_block[1]; \
|
|
a3 = arg_block[2]; \
|
|
a4 = arg_block[3]; \
|
|
a5 = arg_block[4]; \
|
|
a6 = arg_block[5]; \
|
|
} while (0)
|
|
|
|
#endif // __X86_LINUX_CORE_PLATFORM_H
|
|
|
|
/*--------------------------------------------------------------------*/
|
|
/*--- end ---*/
|
|
/*--------------------------------------------------------------------*/
|