ASTREE
astree.ens.frA 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".
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".