trailofbits / polytracker

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

Document tdag data structures.

hbrodin opened this issue 2 years ago · comments

Henrik Brodin commented 2 years ago

See comment here.

Marek Surovič commented 2 years ago

Probably resolved by #6412 ? @hbrodin

Henrik Brodin commented 2 years ago

Thanks! Yes TDAG is documented here.