[cfe-dev] Dataflow analysis with LLVM/Clang
mrs at apple.com
Wed Oct 1 11:47:16 PDT 2008
On Oct 1, 2008, at 6:52 AM, João Paulo Rechi Vita wrote:
> I'm working on a MSc project and I need detect conflictive actions
> between different threads in a program, through statical analysis.
My take, if you want to use clang's Analysis engine (include/
Analysis), you can't avoid using clang. It isn't clear to me from
your description if you need to use it however. If all you want to do
is insert code, and some some trivial analysis and llvm bitcode
contains everything you need to do your work, then, you'd probably
want to just stick with llvm.
If you gave an example of the most complex reasoning you want to
perform, that might help us tell you what part of llvm/clang can help
More information about the cfe-dev