Any framework/project for dynamic dataflow analysis in Rust/Rustc

Thanks for your time.
I'm trying to build a dynamic dataflow analysis(taint analysis) on Rust. I wonder if Rust has similair framework as dfsan in clang(DataFlowSanitizer — Clang 17.0.0git documentation). It's so difficult to distinguish it with MIR dataflow in the search engine. Any frmaework/project on either souce code level or IR level are welcomed, thanks.

What exactly do you mean by "dynamic dataflow analysis"? What kind of specific questions are trying to answer about programs?

The dynamic taint analysis, I have the source, sink point and input to run the program. The output of the program is too big and I wonder which part are affected by the source input.

This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.