[cfe-dev] clang vs llvm for verifying code

[Sebastian Redl]

Nuno Lopes wrote:
> Hi,
>
> Next week I'm going to start to write a tool to verify the absence of buffer 
> overflows in C code.
Clang contains the static checker, which detects this and similar
situations. It doesn't yet do interprocedural analysis, but I think it
would be easier and more useful to extend the checker than starting your
own project.

http://clang.llvm.org/StaticAnalysis.html


Is there any reason you can't use it as a starting point?

Sebastian