|
From: <sv...@va...> - 2011-10-20 08:14:24
|
Author: sewardj
Date: 2011-10-20 09:09:39 +0100 (Thu, 20 Oct 2011)
New Revision: 12173
Log:
Avoid potential overflow in range check. #273431.
(Alexandre Duret-Lutz, ad...@gn...)
Modified:
trunk/coregrind/m_debuginfo/debuginfo.c
Modified: trunk/coregrind/m_debuginfo/debuginfo.c
===================================================================
--- trunk/coregrind/m_debuginfo/debuginfo.c 2011-10-20 01:17:12 UTC (rev 12172)
+++ trunk/coregrind/m_debuginfo/debuginfo.c 2011-10-20 08:09:39 UTC (rev 12173)
@@ -2036,7 +2036,7 @@
a = evalCfiExpr( exprs, e->Cex.Deref.ixAddr, eec, ok );
if (!(*ok)) return 0;
if (a < eec->min_accessible
- || (a + sizeof(UWord) - 1) > eec->max_accessible) {
+ || a > eec->max_accessible - sizeof(UWord) + 1) {
*ok = False;
return 0;
}
|