Open to new job opportunities? Check out the positions from Toughbyte.

Static Analysis for Code Correctness

An exploration of how best to design static analysis tools to prevent problems in code organization-wide.