Displaying 3 results from an estimated 3 matches for "dfsan_has_label_with_desc".
2013 Jun 13
5
[LLVMdev] DataFlowSanitizer design discussion
...t_label_info(dfsan_label label);
/// Returns whether the given label label contains the label elem.
int dfsan_has_label(dfsan_label label, dfsan_label elem);
/// If the given label label contains a label with the description desc, returns
/// that label, else returns 0.
dfsan_label dfsan_has_label_with_desc(dfsan_label label, const char *desc);
Taint label representation
==========================
As stated above, the tool must track a large number of taint labels.
This poses an implementation challenge, as most multiple-label
tainting systems assign one label per bit to shadow storage, and union
t...
2013 Jun 26
0
[LLVMdev] DataFlowSanitizer design discussion
...t_label_info(dfsan_label label);
/// Returns whether the given label label contains the label elem.
int dfsan_has_label(dfsan_label label, dfsan_label elem);
/// If the given label label contains a label with the description desc, returns
/// that label, else returns 0.
dfsan_label dfsan_has_label_with_desc(dfsan_label label, const char *desc);
Taint label representation
==========================
As stated above, the tool must track a large number of taint labels.
This poses an implementation challenge, as most multiple-label
tainting systems assign one label per bit to shadow storage, and union
t...
2013 Aug 07
2
[LLVMdev] DataFlowSanitizer design discussion
...t;
> /// Returns whether the given label label contains the label elem.
> int dfsan_has_label(dfsan_label label, dfsan_label elem);
>
> /// If the given label label contains a label with the description desc, returns
> /// that label, else returns 0.
> dfsan_label dfsan_has_label_with_desc(dfsan_label label, const char *desc);
>
>
> Taint label representation
> ==========================
>
> As stated above, the tool must track a large number of taint labels.
> This poses an implementation challenge, as most multiple-label
> tainting systems assign one labe...