Displaying 3 results from an estimated 3 matches for "__dfsan_union".
2013 Jun 13
5
[LLVMdev] DataFlowSanitizer design discussion
...label. If not, it allocates a new union label from the same pool used
for new labels.
Specifically, the instrumentation pass will insert code like this to
decide the union label "lu" for a pair of labels "l1" and "l2":
if (l1 == l2)
lu = l1;
else
lu = __dfsan_union(l1, l2);
The equality comparison is outlined, to provide an early exit in the
common cases where the program is processing unlabelled data, or where
the two data items have the same label. "__dfsan_union" is a runtime
library function which performs all other union computation.
Further...
2013 Jun 26
0
[LLVMdev] DataFlowSanitizer design discussion
...label. If not, it allocates a new union label from the same pool used
for new labels.
Specifically, the instrumentation pass will insert code like this to
decide the union label "lu" for a pair of labels "l1" and "l2":
if (l1 == l2)
lu = l1;
else
lu = __dfsan_union(l1, l2);
The equality comparison is outlined, to provide an early exit in the
common cases where the program is processing unlabelled data, or where
the two data items have the same label. "__dfsan_union" is a runtime
library function which performs all other union computation.
Further...
2013 Aug 07
2
[LLVMdev] DataFlowSanitizer design discussion
...from the same pool used
> for new labels.
>
> Specifically, the instrumentation pass will insert code like this to
> decide the union label "lu" for a pair of labels "l1" and "l2":
>
> if (l1 == l2)
> lu = l1;
> else
> lu = __dfsan_union(l1, l2);
>
> The equality comparison is outlined, to provide an early exit in the
> common cases where the program is processing unlabelled data, or where
> the two data items have the same label. "__dfsan_union" is a runtime
> library function which performs all other un...