Search code examples
cstatic-analysisdataflow

Is there a static analysis tool to compute use-define chains?

I'm looking for a static analysis tool for C that performs dataflow analysis and computes use-define chains (preferably a command line tool). So far I have tried CIL, clang, lint, goanna and a few other static analysis tools, but none of them compute use-define chains. I also prefer not to work at the IR level (such as LLVM) but if the IR isn't too complex it could be fine. Is there any tool that satisfies my requirements?

Thanks!

Solution

  • The Frama-C platform has plugins that compute def/use and can be used in batch mode from the command line.