Can Clang be used to track data flow in the following manner?


I’m currently trying to solve a certain data flow task and I was informed that clang has a data flow component. Before I dig into this, I would like to propose you my problem and ask whether you think clang is the suitable tool for this:

We have a large C++ application. The application needs unit tests for code coverage tests. However, in order to write efficient test it would be nice if there was a method for finding out the minimum input data necessary for a yet uncovered branch to be triggered. Effectively what I want to do is put a mark or so in a yet uncovered branch and if our main application triggers it I want a record of all the variables that contributed to entering this branch and where they were set. This is so people who aren’t familiar with the code yet have an easy way to track all the relevant data.

Do you think clang data flow component is the suitable tool for this task?