Psychec: A Type Inference Engine For C, The C Language Meets Unification

Psychec is a research project out of the Universidade Federal de Minas Gerais (UFMG) in Brazil that is trying to be a type inference engine for incomplete C code. Here is a small guest post by the Psyche team about their work...