Displaying 2 results from an estimated 2 matches for "__like_a".
2017 Apr 26
2
Contributing a new sanitizer for pointer casts
...#39;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 experience, users are reluctant to
> deploy the type of suppressions described here, and are more likely
> to abandon the sanitizer instead. What has your experience been with
> FPs? The results from your SPEC testing look promising, but I'm
> curious about an...
2017 Apr 25
2
Contributing a new sanitizer for pointer casts
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