The KLEE Symbolic Virtual Machine edit / delete

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 edit / delete

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

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to static-checking

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