Remix.run Logo
Remix clone Hacker News
new | show | ask | jobsGithub
▲ asdfsa32 2 hours ago

Yes, but with JIT, you can't really verify what the application does upfront. That is the entire point.

▲pjmlp 2 hours ago | parent | next [-]

Capabilities are a way to control that, and the point being that only responsible proven applications get the certificate, hence how it all goes on iOS.

▲asdfsa32 2 hours ago | parent [-]

You're making the assumption that "responsible" is something provable, but that is not the case, it is specially not easy to prove software is secure from tampering its behaviour.

▲pjmlp 24 minutes ago | parent [-]

For that there is bytecode verification as intermediate step, and if you want to go crazy with security, hardware memory tagging with capabilities.

Which at this point most companies would rather save money and forbid JIT altogether.

Note that mainframes and micros have JIT environments that aren't at the same safety level as regular desktop PCs.

For example,

https://medium.com/@dhemanthc/ibm-i-architecture-how-timi-an...

▲ 2 hours ago | parent | prev [-]
[deleted]