DFSan User Manual

Hi all,

I'm trying to build a taint analysis application based on DFSan. But
there is no documentation or user manual for the same (except for
https://clang.llvm.org/docs/DataFlowSanitizer.html and
https://clang.llvm.org/docs/DataFlowSanitizerDesign.html).

So, I wanted to know if there is another documentation available with
more examples, etc.

Thanks,
Subhendu.