1ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 2ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 3ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- Ptrcheck: a pointer-use checker. ---*/ 4ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- Exports for heap access checking. ---*/ 5ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- h_main.h ---*/ 6ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 7ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 8ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* 9ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This file is part of Ptrcheck, a Valgrind tool for checking pointer 10ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown use in programs. 11ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 12436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov Copyright (C) 2003-2013 Nicholas Nethercote 13ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown njn@valgrind.org 14436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov Copyright (C) 2008-2013 OpenWorks Ltd 15ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown info@open-works.co.uk 16ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 17ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is free software; you can redistribute it and/or 18ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown modify it under the terms of the GNU General Public License as 19ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown published by the Free Software Foundation; either version 2 of the 20ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown License, or (at your option) any later version. 21ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 22ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is distributed in the hope that it will be useful, but 23ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown WITHOUT ANY WARRANTY; without even the implied warranty of 24ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 25ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown General Public License for more details. 26ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 27ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown You should have received a copy of the GNU General Public License 28ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown along with this program; if not, write to the Free Software 29ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 30ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 02111-1307, USA. 31ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 32ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The GNU General Public License is contained in the file COPYING. 33ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 34ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 35ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#ifndef __H_MAIN_H 36ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 37ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define __H_MAIN_H 38ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 39ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// Choose values that couldn't possibly be pointers 40ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define NONPTR ((Seg*)0xA1) 41ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define UNKNOWN ((Seg*)0xB2) 42ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define BOTTOM ((Seg*)0xC3) 43ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 44ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic inline Bool is_known_segment(Seg* teg) { 45ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return (UNKNOWN != teg && BOTTOM != teg && NONPTR != teg); 46ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // better? teg <= BOTTOM 47ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 48ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 49ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid Seg__cmp(Seg* seg, Addr a, Int* cmp, UWord* n); 50ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownBool Seg__is_freed(Seg* seg); 51ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownExeContext* Seg__where(Seg* seg); 52ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownSizeT Seg__size(Seg* seg); 53ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownAddr Seg__addr(Seg* seg); 54ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 55ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid h_pre_clo_init ( void ); 56ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid h_post_clo_init ( void ); 57ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid h_fini ( Int exitcode ); 58ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 59ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid* h_replace_malloc ( ThreadId tid, SizeT n ); 60ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid* h_replace___builtin_new ( ThreadId tid, SizeT n ); 61ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid* h_replace___builtin_vec_new ( ThreadId tid, SizeT n ); 62ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid* h_replace_memalign ( ThreadId tid, SizeT align, SizeT n ); 63ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid* h_replace_calloc ( ThreadId tid, SizeT nmemb, SizeT size1 ); 64ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid h_replace_free ( ThreadId tid, void* p ); 65ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid h_replace___builtin_delete ( ThreadId tid, void* p ); 66ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid h_replace___builtin_vec_delete ( ThreadId tid, void* p ); 67ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid* h_replace_realloc ( ThreadId tid, void* p_old, SizeT new_size ); 68ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownSizeT h_replace_malloc_usable_size ( ThreadId tid, void* p ); 69ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 70ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Note that this also does the sg_ instrumentation. */ 71ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownIRSB* h_instrument ( VgCallbackClosure* closure, 72ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown IRSB* sbIn, 73ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VexGuestLayout* layout, 74ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VexGuestExtents* vge, 75436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov VexArchInfo* archinfo_host, 76ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown IRType gWordTy, IRType hWordTy ); 77ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 78ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#endif 79ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 80ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 81ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- end h_main.h ---*/ 82ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 83