| 
|
Quote: bytecode verifier that type is statically defined and always initialized; the Gosling property
topics >
all references >
references a-b >
Topic:
security of remotely executed code
Quotation Skeleton
Java bytecode must pass well-formedness tests performed by … Some of the relevant verified properties are: … types may depend on program point, but not … … The types of operands for each instruction will … and type checked. … no uninitialized variable is ever used. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: security of remotely executed code (22 items)