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