ASTREE
Edit Page
Report
Scan day: 16 February 2014 UTC
136
Virus safety - good
Description: A static analyzer analyzes reactive, critical, real-time programs written in the C programming language and looks for runtime errors.
Centre National de la Recherche Scientifique (real-time embedded software static analyzer). The development of (LIENS), initially supported by the is a static program analyzer aiming at in programs written in the CÂ programming language. On personal computers, such
Size: 265 chars
Contact Information
Email: —
Phone&Fax: 000000019
Address: —
Extended: —
WEBSITE Info
| Page title: | The Astrée Static Analyzer |
| Keywords: | |
| Description: | |
| IP-address: | 129.199.99.14 |
WHOIS Info
| NS | ns2.nic.fr [192.93.0.4 2001:660:3005:1::1:2] |
| WHOIS | status: ACTIVE status: ok |
| Date | created: 01/01/1995 last-update: 18/03/2011 changed: 18/03/2011 [email protected] changed: 02/12/2009 [email protected] changed: 26/09/2011 [email protected] changed: 18/03/2011 [email protected] |