Module pass that instruments code for dynamic data-flow analysis (DFSan).
Declared in <llvm/Transforms/Instrumentation/DataFlowSanitizer.h>
class DataFlowSanitizerPass
: public RequiredPassInfoMixin<DataFlowSanitizerPass>Propagates taint labels through memory and computation and inserts calls to the DFSan runtime. Optional ABI list files describe how external functions interact with labels.
| Name | Description |
|---|---|
RequiredPassInfoMixin<DataFlowSanitizerPass> | A CRTP mix-in for passes that should not be skipped. |
| Name | Description |
|---|---|
DataFlowSanitizerPass [constructor] | Construct a DataFlowSanitizer pass with optional ABI lists and filesystem. |
run | Run DataFlowSanitizer instrumentation over the module. |
| Name | Description |
|---|---|
isRequired | Return true; required passes cannot be skipped. |