Attacking hardened Linux systems with kernel JIT spraying

Posted Nov 19, 2012 17:22 UTC (Mon) by NAR (subscriber, #1313)
In reply to: Attacking hardened Linux systems with kernel JIT spraying by cyanit
Parent article: Attacking hardened Linux systems with kernel JIT spraying

Don't you think that assuming the VM and low-level support code is correct is a little too strong precondition?

The real reason is that apparently nobody cares enough to do the work.

I remember that back at the university proving that even a very simple concurrent program is correct took 30-40 minutes. And that model did not have shared memory or integer overflows...