[LLVMdev] ASan and UBSan Test Failures

[Kostya Serebryany]

On Sun, Jan 6, 2013 at 4:03 PM, Jean-Daniel Dupas <devlists at shadowlab.org>wrote:

> I also encounter this issue and solved it locally by implementing this 2
> functions.
>
> - The linux version of StartSymbolizerSubprocess uses only POSIX function
> and can be reused as is on OS X (maybe we should  move it in a new
> sanitizer_symbolizer_posix.cc file)
> - I have a simple implementation of  GetListOfModules (see the attached
> file) but it required 10.6 at least.
>
> That said, implementing this 2 functions is not enough to get something
> useful on OS X. It remains major issue:
>
> - InitializeExternalSymbolizer is never called, and so the values returns
> GetListOfModules is never use.
> - llvm-symbolizer failed to get file and location of the stack trace
> symbols using debug informations.
> - When using ubsan to instrument a dynamic library, trying to load this
> library will result in missing "__ubsan_xxx" symbols error.
>
> Is someone working on asan/ubsan integration on OS X actually ?
>

Alex (in CC) is working on asan for OS X. I think he can handle ubsan as
well. (but give us a few days, we are all out of office due to holidays).

--kcc



>
> Le 5 janv. 2013 à 03:37, Meador Inge <meadori at codesourcery.com> a écrit :
>
> > Some more information …
> >
> > On Jan 4, 2013, at 6:56 PM, Meador Inge wrote:
> >
> >> I am building LLVM on OS X 10.7.5 with cmake.  Under this configuration
> some ASan and UBSan tests
> >> are failing:
> >>
> >> $ make check-ubsan
> >>
> >> …
> >>
> >> ********************
> >> Testing Time: 2.36s
> >> ********************
> >> Failing Tests (11):
> >>   UndefinedBehaviorSanitizer :: Float/cast-overflow.cpp
> >>   UndefinedBehaviorSanitizer :: Integer/add-overflow.cpp
> >>   UndefinedBehaviorSanitizer :: Integer/div-zero.cpp
> >>   UndefinedBehaviorSanitizer :: Integer/no-recover.cpp
> >>   UndefinedBehaviorSanitizer :: Integer/sub-overflow.cpp
> >>   UndefinedBehaviorSanitizer :: Integer/uadd-overflow.cpp
> >>   UndefinedBehaviorSanitizer :: Integer/usub-overflow.cpp
> >>   UndefinedBehaviorSanitizer :: Misc/bool.cpp
> >>   UndefinedBehaviorSanitizer :: Misc/enum.cpp
> >>   UndefinedBehaviorSanitizer :: TypeCheck/misaligned.cpp
> >>   UndefinedBehaviorSanitizer :: TypeCheck/null.cpp
> >>
> >> Expected Passes    : 10
> >> Expected Failures  : 1
> >> Unexpected Failures: 11
> >
> > These tests fail with the following assertion:
> >
> > ==40116== Sanitizer CHECK failed:
> /Users/meadori/Code/src/llvm/projects/compiler-rt/lib/sanitizer_common/sanitizer_symbolizer_mac.cc:26
> ((0 && "unimplemented")) != (0) (0, 0)
> >
> > Should these tests be running?  StartSymbolizerSubprocess and
> GetListOfModules are
> > not implemented for OS X.
> >
> >> $ make check-asan
> >>
> >> …
> >>
> >> ********************
> >> Testing Time: 125.18s
> >> ********************
> >> Failing Tests (1):
> >>   AddressSanitizer :: use-after-free.cc
> >>
> >
> > This failure seems to be due to adding ALWAYS_INLINE to 'free_common' in
> r158885.
> > I think fixing the stack trace checks in use-after-free.cc will do:
> >
> > -  // CHECK-Darwin: {{    #0 0x.* in .*free_common.*}}
> > -  // CHECK-Darwin: {{    #1 0x.* in .*mz_free.*}}
> > +  // CHECK-Darwin: {{    #0 0x.* in .*mz_free.*}}
> >   // We override free() on Darwin, thus no malloc_zone_free
> > -  // CHECK-Darwin: {{    #2 0x.* in _?wrap_free}}
> > -  // CHECK-Darwin: {{    #3 0x.* in _?main .*use-after-free.cc:21}}
> > +  // CHECK-Darwin: {{    #1 0x.* in _?wrap_free}}
> > +  // CHECK-Darwin: {{    #2 0x.* in _?main .*use-after-free.cc:21}}
> >
> > --
> > Meador Inge
> > CodeSourcery / Mentor Embedded
> > http://www.mentor.com/embedded-software
> >
> >
> > _______________________________________________
> > LLVM Developers mailing list
> > LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
> -- Jean-Daniel
>
>
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130106/cee5c324/attachment.html>