I am a PhD student and I have recently started reading about MPX and tried to give it a spin. If I understand correctly at the moment there is no bounds support for heap-allocated buffers. Is there any patched glibc port that we could try to use? Also, insted of the PIN-based emulator is there any qemu machine emulator for MPX?
Finally, could somebody point to me to the source code for the several libs provided (e.g. the external runtime MPX library, binutils, a possible patched glibc etc).
Thank you very much!