[cfe-dev] External Symbolizer with ubsan

[Alexey Samsonov]

On Tue, Feb 26, 2013 at 11:29 PM, Richard Smith <richard at metafoo.co.uk>wrote:

> On Tue, Feb 26, 2013 at 5:45 AM, zapadinsky <zapadinsky at gmail.com> wrote:
>
>> >> I've tried hard to rule it out by myself... but yielded.
>> >>
>> >> -fsanitize=enum require an external symbolizer.
>>
>> > External symbolizer in UBSan tool is not a requirement, but not fully
>> > implemented feature. For now, I can add setting external symbolizer for
>> > ubsan via env
>> > var if Richard tells that's fine.
>>
>
> Thank you, that would be great.
>

Can __ubsan::getCallerLocation() be called from multiple threads?
I've seen no locks in UBSan runtime, can it be the case that ubsan tries to
print reports from
several threads simultaneously?


>
>
>>  -fsanitize=integer somehow print the line number and character of an
>> operator raised an overflow error. Why enum sanitizer needs symbolizer?
>> There was an idea to print the stack trace?
>
>
> Two things: firstly, ubsan can't currently determine the source location
> for all checks at build time; for a few, we work out the location based on
> return address at runtime. That's just due to incomplete implementation.
> Secondly, as you suspect, we want to include a stack trace eventually.
>
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>
>


-- 
Alexey Samsonov, MSK
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20130227/38b4400d/attachment.html>