http://kqueue.org/
Seattle, WA
Xi Wang
Integer arithmetic with overflow detection
xiw
minimal symbolic model checker & fuzzer
A static checker for identifying unstable code.