On 11/04/13 03:44, Florian Weimer wrote:
More than a decade ago, there was some work in GCC and glibc about
propagating bounds information for pointers. I could find the old web
page on archive.org, but I'm wondering if there's a concise report how
it actually worked and how much software could be ported over with what
amount of effort.
If you're referring to mudflap (Frank Eigler's work), then that was
recently pulled. It never reached a point where interoperability across
objects with and without mudflap instrumentation worked and it had been
abandoned for some time.
You might also be referring to Greg McGary's work on bounded pointers, I
don't think that ever got integrated or if it did, it got pulled long ago.
Currently we're looking at Intel's MPX as the best solution in that
space and trying to design a generic system that would be able to
exploit the MPX capabilities as an accelerator for bounds checking.
jeff
