search for: stephenrkell

Displaying 3 results from an estimated 3 matches for "stephenrkell".

2017 Apr 25
2
Contributing a new sanitizer for pointer casts
...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>. All thoughts appreciated... let me know if you see any obstacles to contribution, or if you're able to help, or just if you have questions. Much obliged, Stephen.
2017 Apr 04
8
[RFC] Design of a TBAA sanitizer
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,
2017 Apr 10
2
[RFC] Design of a TBAA sanitizer
...afe 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/libcrunch> > <https://github.com/chrisdiamand/clangcrunch>. -- Hal Finkel Lead, Compiler Technology and Programming Languages Leadership Computing Facility Argonne National Laboratory