The KLEE Symbolic Virtual Machine

Symbolic execution for LLVM; this can automatically compute testcases to cause assertions to fail in arbitrary programs. The introductory paper's pretty neat.

to compiler llvm research static-checking tock ... on 09 April 2010

The TenDRA Project

C/C++ compilers with static checking features. Interesting for being a DERA-originated free software project.

to c c++ compiler research static-checking ... on 13 August 2006

Tags related to static-checking

- static-checking
 
1 c
1 c++
2 compiler
1 llvm
2 research
2 static-checking
1 tock