harmony-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Tom Tromey <tro...@redhat.com>
Subject Re: Java Security for Harmony
Date Tue, 10 May 2005 18:46:28 GMT
>>>>> "Ben" == Ben Laurie <ben@algroup.co.uk> writes:

>> A few short & sweet reasons see
>> http://fpl.cs.depaul.edu/cpitcher/se573/lectures/lecture-07.html#slide013

Ben> So its an optimisation (and therefore optional), right?

Yes.  Though in practice it is probably necessary to get acceptable

Without a verifier you must track the types of everything on the stack
and in local variables (if you have a verifier you don't need to do
this), and do assignability checks on arguments to all method calls,
qualifying reference for a field lookup, etc.


View raw message