Lines Matching full:labels

12 a number of taint labels with any data stored in any memory region
14 it operates on a running program, and tracks how the labels propagate
29 A number of functions are provided which will attach taint labels to
30 memory regions and extract the set of labels associated with a
60   /// Flushes the DFSan shadow, i.e. forgets about all labels currently associated
132 operands, such as addition), we can simply OR the two labels in O(1).
134 Users are responsible for managing the 8 integer labels (i.e., keeping
135 track of what labels they have used so far, picking one that is yet
156 The first chain of a trace starts by `dfsan_set_label` with non-zero labels. A
163 IDs. If an instruction has more than one operands with non-zero labels, the origin
209 with each byte or bit of data, as some other tools do. Instead, labels are
211 all shadow labels corresponding to bytes loaded, and stores will
215 Propagating labels through arguments
218 In order to propagate labels through function arguments and return values,
222 * Args -- Argument and return value labels are passed through additional
225 * TLS -- Argument and return value labels are passed through TLS variables
233 identified by checking for nonzero labels in nominally unlabelled programs.