Internship project at INRIA. The goal is nothing less than uncaught exception static detection.