How can one be assured that all of the compile-time safety features of Java are ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		wiseowise 9 months ago \| parent \| context \| favorite \| on: Rust to C compiler – 95.9% test pass rate, odd pla... How can one be assured that all of the compile-time safety features of Java are is still in effect in bytecode?

RossBencina 9 months ago [–]

The JVM class loader verifies the bytecode:

https://stackoverflow.com/questions/755005/how-does-bytecode...

wiseowise 9 months ago | [–]

It verifies bytecode for bytecode rules violations, not that it matches original Java source code or whether original source code is safe.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact