[cfe-dev] Dataflow Sanitizer Design Question

[Frederico Araujo]

Dear list,

I'm aware of the following design document for clang's/llvm's dataflow
sanitizer:
http://clang.llvm.org/docs/DataFlowSanitizerDesign.html

However, is there a more complete/detailed/formal documentation of its
design and semantics available somewhere else (e.g., papers, discussion
forums) that I could refer to and possibly cite?

I often find myself looking at its source code spread across LLVM (for
instrumentation) and compiler-rt to understand its behavior in certain
situations. In particular, I didn't find any documentation online for the
instrumentation passes performed by dfsan.

Thank you!
Fred
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20141005/5f53be1a/attachment.html>