DataFlowSanitizer¶

Introduction
Usage
- ABI List
Example
Current status
Design

Introduction ¶

DataFlowSanitizer is a generalised dynamic data flow analysis.

Unlike other Sanitizer tools, this tool is not designed to detect a specific class of bugs on its own. Instead, it provides a generic dynamic data flow analysis framework to be used by clients to help detect application-specific issues within their own code.