ASTREE

A static analyzer analyzes reactive, critical, real-time programs written in the C programming language and looks for runtime errors. All possible errors are detected by the analyzer, with minimal "false alarms".