This is the mail archive of the java-patches@gcc.gnu.org mailing list for the Java project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Add method type checking

From: Gary Benson <gbenson at redhat dot com>
To: java-patches at gcc dot gnu dot org
Date: Fri, 23 Mar 2007 13:23:14 +0000
Subject: Add method type checking
References: <20070321151237.GA3948@redhat.com> <m3zm668njf.fsf@localhost.localdomain> <20070322124244.GA25254@redhat.com> <20070322162407.GE25254@redhat.com>

Hi all,

This commit adds checks during method lookups that ensure that the
argument types and the return type of the found method match those
expected by the calling method.  This defeats the attacks detailed
in
http://www.cis.upenn.edu/~bcpierce/courses/629/papers/Saraswat-javabug.html.

Cheers,
Gary

Attachment: patch
Description: Text document

Follow-Ups:
- Re: Add method type checking
  - From: Tom Tromey

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]