[LLVMdev] Summer of Code idea -- detecting undefined behavior

[John Regehr]

On Fri, 26 Mar 2010, ???(Yonggang Luo)  wrote:

> I know pc-lint is working fine on detecting some nasty coding fault.
> But is it illegal implement it in clang? And also there is so much
> other tools for code analyze:)

PC-Lint is a static analyzer; here we're talking about modifying clang to 
add dynamic checks that catch undefined behavior just before it happens.

John