« 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
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
by Adam Sampson.