1ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 2ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 3ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- Ptrcheck: a pointer-use checker. ---*/ 4ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- Exports for stack and global access checking. ---*/ 5ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- sg_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) 2008-2013 OpenWorks Ltd 13ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown info@open-works.co.uk 14ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 15ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is free software; you can redistribute it and/or 16ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown modify it under the terms of the GNU General Public License as 17ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown published by the Free Software Foundation; either version 2 of the 18ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown License, or (at your option) any later version. 19ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 20ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is distributed in the hope that it will be useful, but 21ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown WITHOUT ANY WARRANTY; without even the implied warranty of 22ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 23ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown General Public License for more details. 24ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 25ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown You should have received a copy of the GNU General Public License 26ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown along with this program; if not, write to the Free Software 27ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 28ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 02111-1307, USA. 29ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 30ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The GNU General Public License is contained in the file COPYING. 31ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 32ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 33ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#ifndef __SG_MAIN_H 34ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 35ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define __SG_MAIN_H 36ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 37ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid sg_pre_clo_init ( void ); 38ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid sg_post_clo_init ( void ); 39ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid sg_fini(Int exitcode); 40ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 41ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid sg_die_mem_stack ( Addr old_SP, SizeT len ); 42ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid sg_pre_thread_ll_create ( ThreadId parent, ThreadId child ); 43ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid sg_pre_thread_first_insn ( ThreadId tid ); 44ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 45ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid sg_new_mem_mmap( Addr a, SizeT len, 46ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Bool rr, Bool ww, Bool xx, ULong di_handle ); 47ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid sg_new_mem_startup( Addr a, SizeT len, 48ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Bool rr, Bool ww, Bool xx, ULong di_handle ); 49ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid sg_die_mem_munmap ( Addr a, SizeT len ); 50ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 51ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* These really ought to be moved elsewhere, so that we don't have to 52ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown include this file in h_main.c. See comments in sg_main.c and 53ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown h_main.c for what this is about. */ 54ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 55ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstruct _SGEnv; /* abstract export */ 56ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 57ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstruct _SGEnv* sg_instrument_init ( IRTemp (*newIRTemp_cb)(IRType,void*), 58ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown void* newIRTemp_opaque ); 59ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 60ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid sg_instrument_fini ( struct _SGEnv * env ); 61ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 62ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid sg_instrument_IRStmt ( /*MOD*/struct _SGEnv * env, 63ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /*MOD*/IRSB* sbOut, 64ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown IRStmt* st, 65ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VexGuestLayout* layout, 66ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown IRType gWordTy, IRType hWordTy ); 67ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 68ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid sg_instrument_final_jump ( /*MOD*/struct _SGEnv * env, 69ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /*MOD*/IRSB* sbOut, 70ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown IRExpr* next, 71ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown IRJumpKind jumpkind, 72ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VexGuestLayout* layout, 73ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown IRType gWordTy, IRType hWordTy ); 74ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#endif 75ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 76ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 77ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- end sg_main.h ---*/ 78ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 79