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...
(
Log in to post comments)