search for: libcrunch

...paper demonstrates that the checking can > be comprehensive and effective. Glad you enjoyed them. :-) > However, I have concerns about the quality of diagnostics, the > complexity of the driver, and about maintaining an out-of-tree > runtime. > > First, I'm concerned about libcrunch diagnostics which are morally > correct, but which do not point out imminent correctness problems > (for convenience I'll refer to these as false positives). You address > this in the "Accommodating Sloppy C" section of your paper with the > __like_a() runtime check. In my...

Hi all, Some of you might remember that at EuroLLVM last year in Barcelona, Chris Diamand and I gave a talk about Clang/libcrunch, a run-time checking system which can be thought of as another flavour of sanitizer. It checks pointer casts, using run-time type information. Roughly the check is that the pointer really points to an instance of the target type, though there are refinements to deal with various idioms violatin...

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,

...k31/#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