Module dfsan

Functions

• add_label
  Sets the label for each address in [addr, addr+size) to the union of the current label for that address and label.
• flush
  Flushes the DFSan shadow, i.e. forgets about all labels currently associated with the application memory.
• get_init_origin
  Retrieves the very first origin associated with the data at the given address.
• get_label
  Retrieves the label associated with the given data.
• get_labels_in_signal_conditional
  Conditional expressions occur during signal handlers. This function returns all label bits seen in signal handler conditions.
• get_labels_in_signal_reaches_function
  Functions reached in signal handlers will add the labels they see into a global (bitwise-or together). This function returns all label bits seen during signal handlers.
• get_origin
  Retrieves the immediate origin associated with the given data.
• get_track_origins
  Returns the value of -dfsan-track-origins.
• has_label
  Returns whether the given label contains the label elem.
• print_origin_trace
  Prints the origin trace of the label at the address addr to stderr.
• read_label
  Retrieves the label associated with the data at the given address.
• read_origin_of_first_taint
  Return the origin associated with the first taint byte in the size bytes from the address addr.
• set_conditional_callback
  Sets a callback to be invoked on any conditional expressions which have a taint label set.
• set_label
  Sets the label for each address in [addr, addr+size) to label.
• set_reaches_function_callback
  Sets a callback to be invoked when tainted data reaches a function.
• set_write_callback
  Sets a callback to be invoked on calls to write().
• sprint_origin_trace
  Prints the origin trace of the label at the address addr to a pre-allocated output buffer.
• sprint_stack_trace
  Prints the stack trace leading to this call to a pre-allocated output buffer.
• union
  Computes the union of l1 and l2, resulting in a union label.

Type Aliases

• DfsanLabel
• DfsanOrigin