IIUC, it's because it's easier to rigorously prove the VM prevents classes of bu... | Hacker News

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

		smolder on Oct 26, 2022 \| parent \| context \| favorite \| on: Disabling the Intel Management Engine IIUC, it's because it's easier to rigorously prove the VM prevents classes of bugs (i.e. memory safety issues) and then reuse that VM in many places than it is to rigorously prove that many separate embedded systems not relying on the VM have independently avoided those bugs.

hedora on Oct 26, 2022 [–]

Is there an example of a JVM that has been proven correct in this sense?

I haven't heard of one.

smolder on Oct 27, 2022 | [–]

I don't know specific details about the correctness of any particular VM, sorry. That was just the explanation I got from another engineer that apparently had experience in developing embedded java things.

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact