[cfe-dev] Dataflow analysis with LLVM/Clang

Mike Stump 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  
the most.

More information about the cfe-dev mailing list