This is the mail archive of the
java-patches@gcc.gnu.org
mailing list for the Java project.
Re: Add method type checking
- From: Tom Tromey <tromey at redhat dot com>
- To: Gary Benson <gbenson at redhat dot com>
- Cc: java-patches at gcc dot gnu dot org
- Date: 26 Mar 2007 09:26:35 -0600
- Subject: Re: Add method type checking
- References: <20070321151237.GA3948@redhat.com> <m3zm668njf.fsf@localhost.localdomain> <20070322124244.GA25254@redhat.com> <20070322162407.GE25254@redhat.com> <20070323132314.GA4073@redhat.com>
- Reply-to: tromey at redhat dot com
>>>>> "Gary" == Gary Benson <gbenson@redhat.com> writes:
Gary> This commit adds checks during method lookups that ensure that the
Gary> argument types and the return type of the found method match those
Gary> expected by the calling method. This defeats the attacks detailed
Gary> in
Gary> http://www.cis.upenn.edu/~bcpierce/courses/629/papers/Saraswat-javabug.html.
Nice, thanks.
This is a lot shorter than I'd imagined it would be.
Tom