search for: gribov

Displaying 20 results from an estimated 48 matches for "gribov".

2016 Jan 14
2
RFC: Extend UBSan with qsort checks
Inviting Paul to the party (he wrote the libstdc++ sort checker <https://gcc.gnu.org/svn/gcc/branches/google/gcc-4_9/libstdc++-v3/include/bits/stl_algo.h> ). On Tue, Jan 12, 2016 at 11:09 PM, Yury Gribov <y.gribov at samsung.com> wrote: > On 01/13/2016 10:08 AM, Yury Gribov wrote: > >> On 01/13/2016 09:57 AM, Kostya Serebryany wrote: >> >>> On Tue, Jan 12, 2016 at 10:28 PM, Yury Gribov <y.gribov at samsung.com> >>> wrote: >>> >>> On...
2014 Dec 20
2
[LLVMdev] [cfe-dev] ubsan - active member check for unions
On Thu, Dec 18, 2014 at 11:05 PM, Yury Gribov <y.gribov at samsung.com> wrote: > > On 12/19/2014 01:14 AM, Nick Lewycky wrote: > >> On 12/16/2014 02:43 AM, Yury Gribov wrote: >> >>> On 12/15/2014 10:24 PM, Ismail Pazarbasi wrote: >>> >>>> s.d = 42.0; >>>> if (s.l &g...
2016 Jan 13
2
RFC: Extend UBSan with qsort checks
On 01/13/2016 09:57 AM, Kostya Serebryany wrote: > On Tue, Jan 12, 2016 at 10:28 PM, Yury Gribov <y.gribov at samsung.com> wrote: > >> On 01/13/2016 03:10 AM, Kostya Serebryany wrote: >> >>> FTR, here is one way to implement this in the library: >>> >>> https://gcc.gnu.org/svn/gcc/branches/google/gcc-4_9/libstdc++-v3/include/bits/stl_algo.h >&...
2010 Sep 19
2
[LLVMdev] Non-standard labels
> Is this just a textual/syntactic thing?  If so, you should add a bit to MCAsmInfo to indicate that this is the behavior, and MCAsmPrinter should be changed to emit labels in this syntax. Thanks! This should be enough. -Yuri
2010 Sep 20
0
[LLVMdev] Non-standard labels
My internet is finally back. Could someone verify and submit this patch? I have verified build, tests and unittests on X86. On Sun, Sep 19, 2010 at 9:16 AM, Yuri Gribov <tetra2005 at googlemail.com> wrote: >> Is this just a textual/syntactic thing?  If so, you should add a bit to MCAsmInfo to indicate that this is the behavior, and MCAsmPrinter should be changed to emit labels in this syntax. > > Thanks! This should be enough. > > -Yuri &gt...
2016 Jan 14
2
RFC: Extend UBSan with qsort checks
...14, 2016 at 3:43 AM, Paul Pluzhnikov <ppluzhnikov at google.com> wrote: > On Wed, Jan 13, 2016 at 4:17 PM, Kostya Serebryany <kcc at google.com> wrote: >> Inviting Paul to the party (he wrote the libstdc++ sort checker). >> >> On Tue, Jan 12, 2016 at 11:09 PM, Yury Gribov <y.gribov at samsung.com> wrote: >>> >>> On 01/13/2016 10:08 AM, Yury Gribov wrote: >>>> >>>> On 01/13/2016 09:57 AM, Kostya Serebryany wrote: >>>>> >>>>> On Tue, Jan 12, 2016 at 10:28 PM, Yury Gribov <y.gribov at sams...
2014 Dec 18
2
[LLVMdev] ubsan - active member check for unions
On 12/16/2014 02:43 AM, Yury Gribov wrote: > On 12/15/2014 10:24 PM, Ismail Pazarbasi wrote: >> s.d = 42.0; >> if (s.l > 100) // fire here > > Note that code like this is frequently used to convert integers to > floats so you'll get tons of false positives. True positives. The fix is to use m...
2014 Apr 03
2
[LLVMdev] Building sanitizers for Android
> By the way, locally, I now have just over half the ASan test suite > passing ARM-Linux via QEMU. Greg, Do you mean that you've added support for QEMU-based testing to sanitizer CMakeLists? That would be super-cool. -Y
2014 Apr 17
3
[LLVMdev] Building sanitizers for Android
> Does %run support ssh-based testing? Yes, %run is configured by the user. I configure it to call a shell script that calls qemu-arm. It could just as easily ssh or "adb push && adb shell". -Greg On Wed, Apr 16, 2014 at 11:44 PM, Yury Gribov <y.gribov at samsung.com> wrote: > Greg, > > >> Clever, but I hope we can try to avoid the symlink hackery. Locally, >> I've renamed "%sim %t" to "%run %t" so it reads quite nicely, IMHO. > > Does %run support ssh-based testing? qemu-arm is...
2014 Apr 22
5
[LLVMdev] Building sanitizers for Android
...ed variables). > We don't preserve ulimit setting, I modified one or two tests to not > rely on that. > > I don't mind switching to a combined approach - copy to device on > %clang, and replace symlink hacks with %run. > > > > On Mon, Apr 21, 2014 at 9:09 AM, Yury Gribov <y.gribov at samsung.com> wrote: >>> We considered adding "%run" to all binary invocations, >>> but dropped this idea. I don't remember the details, but IIRC %run is >>> just not general enough. >> >> >> IMHO this is where simplicity...
2014 Apr 21
2
[LLVMdev] Building sanitizers for Android
> We considered adding "%run" to all binary invocations, > but dropped this idea. I don't remember the details, but IIRC %run is > just not general enough. IMHO this is where simplicity of lit approach starts to fail - important information (environment variables, dependent shared libs, expected test status, etc.) is buried inside arbitrarily complex runstrings. -Y
2016 Jan 13
2
RFC: Extend UBSan with qsort checks
...m-dev < > llvm-dev at lists.llvm.org> wrote: > >> (+correct cfe-dev list) >> >> On Tue, Jan 12, 2016 at 2:57 PM, Alexey Samsonov <vonosmas at gmail.com> >> wrote: >> >>> Hi Yuri, >>> >>> On Mon, Jan 11, 2016 at 9:53 AM, Yury Gribov via llvm-dev < >>> llvm-dev at lists.llvm.org> wrote: >>> >>>> Hi all, >>>> >>>> UndefinedBehaviorSanitizer currently does not check for undefined >>>> behaviors which result from improper usage of standard library functions. &...
2010 Aug 31
2
[LLVMdev] Checking llvm-config status code
Ah, so LLVM already requires GNU make. Fine, than I'll submit the patch in the evening. - Yuri Gribov
2014 Apr 22
2
[LLVMdev] Building sanitizers for Android
...or two tests to not >> > rely on that. >> > >> > I don't mind switching to a combined approach - copy to device on >> > %clang, and replace symlink hacks with %run. >> > >> > >> > >> > On Mon, Apr 21, 2014 at 9:09 AM, Yury Gribov <y.gribov at samsung.com> >> > wrote: >> >>> We considered adding "%run" to all binary invocations, >> >>> but dropped this idea. I don't remember the details, but IIRC %run is >> >>> just not general enough. >> >&gt...
2019 Dec 18
2
RFC: Safe Whole Program Devirtualization Enablement
On Wed, Dec 18, 2019 at 3:38 AM Iurii Gribov via llvm-dev < llvm-dev at lists.llvm.org> wrote: > (Readding Hal) > > > Are you suggesting that we should be more aggressive by default (i.e. > without -fvisibility=hidden or any new options)? > > I believe that will be too aggressive for class LTO visibility. > >...
2015 Sep 25
2
Dynamic VMA in Sanitizers for AArch64
On 09/25/2015 11:53 AM, Jakub Jelinek via llvm-dev wrote: > On Fri, Sep 25, 2015 at 01:19:48AM -0700, Renato Golin wrote: >> After long talks with lots of people, I think we have a winning >> strategy to deal with the variable nature of VMA address in AArch64. >> It seems that the best way forward is to try the dynamic calculation >> at runtime, evaluate the performance,
2014 Jul 17
4
[LLVMdev] GCC/LLVM frame pointer incompatibility on ARM
On 07/16/2014 11:45 AM, Tim Northover wrote: >>> As has been mentioned several times (*), LLVM and GCC setup frame pointer to >> point to different stack slots on ARM. GCC's fp points to stack slot holding >> lr while LLVM's fp points at the next slot. > > This looks flipped from my tests. Both create an { fp, lr } struct; > GCC sets current fp to the address
2016 Apr 20
4
RFC: EfficiencySanitizer
On Wed, Apr 20, 2016 at 1:42 PM, Renato Golin via llvm-dev <llvm-dev at lists.llvm.org> wrote: > On 20 April 2016 at 13:18, Yury Gribov <y.gribov at samsung.com> wrote: >> Not when dead store happens in an external DSO where compiler can't detect >> it (same applies for single references). > > Do you mean the ones between the DSO and the instrumented code? > Because if it's just in the DSO itself,...
2016 Apr 20
3
RFC: EfficiencySanitizer
On 04/20/2016 02:58 PM, Renato Golin via llvm-dev wrote: > Hi Derek, > > I'm not an expert in any of these topics, but I'm excited that you > guys are doing it. It seems like a missing piece that needs to be > filled. > > Some comments inline... > > > On 17 April 2016 at 22:46, Derek Bruening via llvm-dev > <llvm-dev at lists.llvm.org> wrote: >>
2016 Jan 15
2
[cfe-dev] RFC: Extend UBSan with qsort checks
On Tue, Jan 12, 2016 at 10:27 PM, Yury Gribov via cfe-dev < cfe-dev at lists.llvm.org> wrote: > > As for C++11, it has for e.g. srtd::sort: > > "Requires: operator< (for the version with no arguments) or comp (for the > version with a comparison argument) defines a strict weak ordering (25.4)." > > whic...