cwhy

Explains and proposes fixes for compile-time errors for many programming languages.