njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 1 | |
| 2 | /*--------------------------------------------------------------------*/ |
njn | c953984 | 2002-10-02 13:26:35 +0000 | [diff] [blame] | 3 | /*--- Management of memory error messages. ---*/ |
njn25 | cac76cb | 2002-09-23 11:21:57 +0000 | [diff] [blame] | 4 | /*--- mc_errcontext.c ---*/ |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 5 | /*--------------------------------------------------------------------*/ |
| 6 | |
| 7 | /* |
njn | c953984 | 2002-10-02 13:26:35 +0000 | [diff] [blame] | 8 | This file is part of MemCheck, a heavyweight Valgrind skin for |
| 9 | detecting memory errors. |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 10 | |
njn | 0e1b514 | 2003-04-15 14:58:06 +0000 | [diff] [blame^] | 11 | Copyright (C) 2000-2003 Julian Seward |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 12 | jseward@acm.org |
| 13 | |
| 14 | This program is free software; you can redistribute it and/or |
| 15 | modify it under the terms of the GNU General Public License as |
| 16 | published by the Free Software Foundation; either version 2 of the |
| 17 | License, or (at your option) any later version. |
| 18 | |
| 19 | This program is distributed in the hope that it will be useful, but |
| 20 | WITHOUT ANY WARRANTY; without even the implied warranty of |
| 21 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| 22 | General Public License for more details. |
| 23 | |
| 24 | You should have received a copy of the GNU General Public License |
| 25 | along with this program; if not, write to the Free Software |
| 26 | Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA |
| 27 | 02111-1307, USA. |
| 28 | |
| 29 | The GNU General Public License is contained in the file COPYING. |
| 30 | */ |
| 31 | |
njn25 | cac76cb | 2002-09-23 11:21:57 +0000 | [diff] [blame] | 32 | #include "mc_include.h" |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 33 | |
| 34 | /*------------------------------------------------------------*/ |
njn | 43c799e | 2003-04-08 00:08:52 +0000 | [diff] [blame] | 35 | /*--- Printing errors ---*/ |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 36 | /*------------------------------------------------------------*/ |
| 37 | |
njn | 43c799e | 2003-04-08 00:08:52 +0000 | [diff] [blame] | 38 | void SK_(pp_SkinError) ( Error* err ) |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 39 | { |
njn | 43c799e | 2003-04-08 00:08:52 +0000 | [diff] [blame] | 40 | MAC_Error* err_extra = VG_(get_error_extra)(err); |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 41 | |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 42 | switch (VG_(get_error_kind)(err)) { |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 43 | case CoreMemErr: |
| 44 | if (err_extra->isWrite) { |
| 45 | VG_(message)(Vg_UserMsg, |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 46 | "%s contains unaddressable byte(s)", VG_(get_error_string)(err)); |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 47 | } else { |
| 48 | VG_(message)(Vg_UserMsg, |
| 49 | "%s contains uninitialised or unaddressable byte(s)", |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 50 | VG_(get_error_string)(err)); |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 51 | } |
njn | 43c799e | 2003-04-08 00:08:52 +0000 | [diff] [blame] | 52 | VG_(pp_ExeContext)( VG_(get_error_where)(err) ); |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 53 | break; |
| 54 | |
| 55 | case ValueErr: |
| 56 | if (err_extra->size == 0) { |
| 57 | VG_(message)( |
| 58 | Vg_UserMsg, |
| 59 | "Conditional jump or move depends on uninitialised value(s)"); |
| 60 | } else { |
| 61 | VG_(message)(Vg_UserMsg, |
| 62 | "Use of uninitialised value of size %d", |
| 63 | err_extra->size); |
| 64 | } |
njn | 43c799e | 2003-04-08 00:08:52 +0000 | [diff] [blame] | 65 | VG_(pp_ExeContext)( VG_(get_error_where)(err) ); |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 66 | break; |
| 67 | |
| 68 | case AddrErr: |
| 69 | switch (err_extra->axskind) { |
| 70 | case ReadAxs: |
| 71 | VG_(message)(Vg_UserMsg, "Invalid read of size %d", |
| 72 | err_extra->size ); |
| 73 | break; |
| 74 | case WriteAxs: |
| 75 | VG_(message)(Vg_UserMsg, "Invalid write of size %d", |
| 76 | err_extra->size ); |
| 77 | break; |
| 78 | case ExecAxs: |
| 79 | VG_(message)(Vg_UserMsg, "Jump to the invalid address " |
| 80 | "stated on the next line"); |
| 81 | break; |
| 82 | default: |
njn | 5c004e4 | 2002-11-18 11:04:50 +0000 | [diff] [blame] | 83 | VG_(skin_panic)("SK_(pp_SkinError)(axskind)"); |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 84 | } |
njn | 43c799e | 2003-04-08 00:08:52 +0000 | [diff] [blame] | 85 | VG_(pp_ExeContext)( VG_(get_error_where)(err) ); |
| 86 | MAC_(pp_AddrInfo)(VG_(get_error_address)(err), &err_extra->addrinfo); |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 87 | break; |
| 88 | |
| 89 | case ParamErr: |
| 90 | if (err_extra->isWrite) { |
| 91 | VG_(message)(Vg_UserMsg, |
| 92 | "Syscall param %s contains unaddressable byte(s)", |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 93 | VG_(get_error_string)(err)); |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 94 | } else { |
| 95 | VG_(message)(Vg_UserMsg, |
| 96 | "Syscall param %s contains uninitialised or " |
| 97 | "unaddressable byte(s)", |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 98 | VG_(get_error_string)(err)); |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 99 | } |
njn | 43c799e | 2003-04-08 00:08:52 +0000 | [diff] [blame] | 100 | VG_(pp_ExeContext)( VG_(get_error_where)(err) ); |
| 101 | MAC_(pp_AddrInfo)(VG_(get_error_address)(err), &err_extra->addrinfo); |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 102 | break; |
| 103 | |
| 104 | case UserErr: |
| 105 | if (err_extra->isWrite) { |
| 106 | VG_(message)(Vg_UserMsg, |
| 107 | "Unaddressable byte(s) found during client check request"); |
| 108 | } else { |
| 109 | VG_(message)(Vg_UserMsg, |
| 110 | "Uninitialised or " |
| 111 | "unaddressable byte(s) found during client check request"); |
| 112 | } |
njn | 43c799e | 2003-04-08 00:08:52 +0000 | [diff] [blame] | 113 | VG_(pp_ExeContext)( VG_(get_error_where)(err) ); |
| 114 | MAC_(pp_AddrInfo)(VG_(get_error_address)(err), &err_extra->addrinfo); |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 115 | break; |
| 116 | |
| 117 | default: |
njn | 43c799e | 2003-04-08 00:08:52 +0000 | [diff] [blame] | 118 | MAC_(pp_shared_SkinError)(err); |
| 119 | break; |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 120 | } |
| 121 | } |
| 122 | |
| 123 | /*------------------------------------------------------------*/ |
| 124 | /*--- Recording errors ---*/ |
| 125 | /*------------------------------------------------------------*/ |
| 126 | |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 127 | /* Creates a copy of the `extra' part, updates the copy with address info if |
| 128 | necessary, and returns the copy. */ |
njn | 5c004e4 | 2002-11-18 11:04:50 +0000 | [diff] [blame] | 129 | /* This one called from generated code. */ |
| 130 | void MC_(record_value_error) ( Int size ) |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 131 | { |
njn | 43c799e | 2003-04-08 00:08:52 +0000 | [diff] [blame] | 132 | MAC_Error err_extra; |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 133 | |
njn | 43c799e | 2003-04-08 00:08:52 +0000 | [diff] [blame] | 134 | MAC_(clear_MAC_Error)( &err_extra ); |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 135 | err_extra.size = size; |
| 136 | VG_(maybe_record_error)( NULL, ValueErr, /*addr*/0, /*s*/NULL, &err_extra ); |
| 137 | } |
| 138 | |
njn | 5c004e4 | 2002-11-18 11:04:50 +0000 | [diff] [blame] | 139 | /* This one called from non-generated code */ |
| 140 | void MC_(record_user_error) ( ThreadState* tst, Addr a, Bool isWrite ) |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 141 | { |
njn | 43c799e | 2003-04-08 00:08:52 +0000 | [diff] [blame] | 142 | MAC_Error err_extra; |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 143 | |
njn | e427a66 | 2002-10-02 11:08:25 +0000 | [diff] [blame] | 144 | sk_assert(NULL != tst); |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 145 | |
njn | 43c799e | 2003-04-08 00:08:52 +0000 | [diff] [blame] | 146 | MAC_(clear_MAC_Error)( &err_extra ); |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 147 | err_extra.addrinfo.akind = Undescribed; |
| 148 | err_extra.isWrite = isWrite; |
| 149 | VG_(maybe_record_error)( tst, UserErr, a, /*s*/NULL, &err_extra ); |
| 150 | } |
| 151 | |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 152 | /*------------------------------------------------------------*/ |
| 153 | /*--- Suppressions ---*/ |
| 154 | /*------------------------------------------------------------*/ |
| 155 | |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 156 | Bool SK_(recognised_suppression) ( Char* name, Supp* su ) |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 157 | { |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 158 | SuppKind skind; |
sewardj | 99aac97 | 2002-12-26 01:53:45 +0000 | [diff] [blame] | 159 | |
njn | 43c799e | 2003-04-08 00:08:52 +0000 | [diff] [blame] | 160 | if (MAC_(shared_recognised_suppression)(name, su)) |
| 161 | return True; |
| 162 | |
| 163 | /* Extra suppressions not used by Addrcheck */ |
| 164 | else if (VG_STREQ(name, "Cond")) skind = Value0Supp; |
| 165 | else if (VG_STREQ(name, "Value0")) skind = Value0Supp; /* backwards compat */ |
| 166 | else if (VG_STREQ(name, "Value1")) skind = Value1Supp; |
| 167 | else if (VG_STREQ(name, "Value2")) skind = Value2Supp; |
| 168 | else if (VG_STREQ(name, "Value4")) skind = Value4Supp; |
| 169 | else if (VG_STREQ(name, "Value8")) skind = Value8Supp; |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 170 | else |
| 171 | return False; |
| 172 | |
njn | 810086f | 2002-11-14 12:42:47 +0000 | [diff] [blame] | 173 | VG_(set_supp_kind)(su, skind); |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 174 | return True; |
| 175 | } |
| 176 | |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 177 | /*--------------------------------------------------------------------*/ |
njn25 | cac76cb | 2002-09-23 11:21:57 +0000 | [diff] [blame] | 178 | /*--- end mc_errcontext.c ---*/ |
njn25 | e49d8e7 | 2002-09-23 09:36:25 +0000 | [diff] [blame] | 179 | /*--------------------------------------------------------------------*/ |