Displaying 3 results from an estimated 3 matches for "pazarbasi".
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 memcpy instead.
Emitting error for
> accessing...
2014 Dec 15
4
[LLVMdev] ubsan - active member check for unions
Hi,
I decided to implement a sanitizer that tracks the active member, and
reports reads from inactive members.
e.g.:
struct S {
union {
long l;
char s[42];
double d;
};
};
void f() {
S s;
s.d = 42.0;
if (s.l > 100) // fire here
;
}
My current implementation is naïve (also possibly wrong), and doesn't
care about "special
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 > 100) // fire here
>>>>
>>>
>>> Note that code like this is frequently used to convert integers to
>>> floats so you'll get tons of false positives.
>>>
>&g...