« earlier | later » Page 1 of 1
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
« earlier | later » Page 1 of 1
| - static-checking | |
| 1 | + c |
| 1 | + c++ |
| 2 | + compiler |
| 1 | + llvm |
| 2 | + research |
| 1 | + tock |
tasty by Adam Sampson.