search for: srk31

...will be. Oh, and runtime support exists for x86-64/Linux only at the moment, though there is a bit of code for FreeBSD. For the interested, here are the research papers I mentioned. "Dynamically diagnosing run-time type errors in unsafe code" (OOPSLA '16) http://www.cl.cam.ac.uk/~srk31/#oopsla16a "Towards a dynamic object model within Unix processes" (Onward! '15) http://www.cl.cam.ac.uk/~srk31/#onward15 Code: <https://github.com/stephenrkell/liballocs> <https://github.com/stephenrkell/libcrunch> <https://github.com/stephenrkell/clangcrunch>. Al...

Hi everyone, At EuroLLVM, Chandler and I chatted about the design for a potential TBAA sanitizer. Here's my attempt to summarize: C/C++ have type-based aliasing rules, and LLVM's optimizer can exploit these given TBAA metadata added by Clang. Roughly, a pointer of given type cannot be used to access an object of a different type (with, of course, certain exceptions). Unfortunately,

...LLVM '16 talk, in case you're wondering about how > my system works, the following research papers might help. Or feel free > just to ask questions.... > > - "Dynamically diagnosing run-time type errors in unsafe code" (OOPSLA '16) > <http://www.cl.cam.ac.uk/~srk31/#oopsla16a> > > - "Towards a dynamic object model within Unix processes" (Onward '15) > <http://www.cl.cam.ac.uk/~srk31/#onward15> > > ... or code if you prefer: > <https://github.com/stephenrkell/liballocs> > <https://github.com/stephenrkell/lib...