Avoid potential overflow in range check. #273431.

(Alexandre Duret-Lutz, adl@gnu.org)


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12173
This commit is contained in:
Julian Seward 2011-10-20 08:09:39 +00:00
parent 086294dbed
commit dcdaa88f60

View File

@ -2036,7 +2036,7 @@ UWord evalCfiExpr ( XArray* exprs, Int ix,
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;
}