Archie Cobbs wrote:
Nick Lothian wrote:
According to http://www.csc.uvic.ca/~csc586a/Ass1.pdf JamVm lacks a
bytecode verifier, too.
Seems like most O/S VM's don't have one (including JC)...
Gcj, leading the way, has two, or three by now :) Kaffe and CacaoJVM
also have their own implementations, and JikesRVM as well, afaik.
The plan for Kaffe is to merge in the gcjx verifier, and try to
standardise on a commonly maintained verifier component, to make sure we
fix the security issues once, instead of fixing them everywhere:)
cheers,
dalibor topic