Overview of Astree.ens.fr
Astree.ens.fr was first analyzed by us on Aug 02, 2013.
We can see that the website is ONLINE.
The website has a good Google PageRank of 5.
The IP address of the server astree.ens.fr is hosted on is 129.199.99.14
and is based in Rue, France
.
Websites Like Astree.ens.fr
Social Statistics
| Facebook Stats |
|---|
| Likes: |
3 |
Shares: |
4 |
| Clicks: |
0 |
Comments: |
2 |
Website's On-page Analysis
| HTML Tag Elements |
|---|
| Paragraph: |
39 |
Strong: |
0 |
| Tables: |
6 |
Lists: |
13 |
| Total Images: |
31 |
Missing Alt: |
0 |
| Internal Links: |
52 |
External Links: |
190 |
| Forms: |
0 |
Fields: |
0 |
| Page Headings |
|---|
| H1 Tags: |
1 |
H2 Tags: |
16 |
| H3 Tags: |
5 |
H4 Tags: |
0 |
| H5 Tags: |
2 |
H6 Tags: |
0 |
| Includes |
|---|
| Iframe: |
0 |
Flash: |
0 |
| CSS: |
1 |
Scripts: |
0 |
| Page Statistics |
|---|
| File Size: |
57.21 KB |
Word Count: |
4677 |
| Charset: |
UTF-8 |
Doctype: |
Yes |
| Viewport: |
No |
Google Analytics: |
No |
| Webmaster Tools: |
No |
Bing Webmaster Tools: |
No |
Meta elements are HTML elements used to provide structured metadata about a Web page.
We have listed below the meta elements we have extracted from astree.ens.fr.
| Name |
Contents |
| Title Tag: |
The Astrée Static Analyzer |
| Description Tag: |
A static analyzer analyzes reactive, critical, real-time programs written in the C programming language and looks for runtime errors. |
| Content-Type |
text/html; charset=utf-8 |
| Keyword |
validation, verification, static, analysis,
debugging, testing, abstract interpretation, abstract, interpretation,
safety-critical, real-time, embedded, static program analysis, static,
program, analysis, semantics, compiler, compilation, run-time error,
run-time, error, correctness, proof, correctness proof |
| ROBOTS |
index, follow |
| rating |
General |
| revisit-after |
15 days |
Web Server Location
| IP Address: |
129.199.99.14 |
| Location: |
Rue, Picardie, France |
| Timezone: |
+01:00 |
|
Traffic Report
| Alexa Global Rank: |
|
| Compete: |
|
| Quantcast: |
|
Website WOT Rating
WOT is a website reputation system that identifies trustworthy websites and protects against online scams, untrustworthy links, and unreliable web stores.
Reputation ratings are based on real user ratings and they tell you how much other users trust this site.
| Description |
Score |
Confidence |
| Trustworthiness: |
 86/100 - Excellent |
 12/100 - Very Low |
| Vendor Reliability: |
90/100 - Excellent |
14/100 - Very Low |
| Privacy: |
92/100 - Excellent |
14/100 - Very Low |
| Child Safety: |
91/100 - Excellent |
14/100 - Very Low |
Keyword Analysis
We have attempted to list all keywords that have been repeated more than once and are topic related.
| # |
Keyword |
Repeated |
Density |
| 1 | eacute | 139 | 2.97% |
| 2 | astr | 92 | 1.97% |
| 3 | cousot | 36 | 0.77% |
| 4 | static | 31 | 0.66% |
| 5 | abstract | 29 | 0.62% |
| 6 | time | 26 | 0.56% |
| 7 | program | 24 | 0.51% |
| 8 | programming | 23 | 0.49% |
| 9 | presentation | 22 | 0.47% |
| 10 | programs | 20 | 0.43% |
| 11 | patrick | 19 | 0.41% |
| 12 | errors | 18 | 0.38% |
| 13 | software | 17 | 0.36% |
| 14 | analyzer | 16 | 0.34% |
| 15 | springer | 15 | 0.32% |
| 16 | radhia | 14 | 0.3% |
| 17 | symposium | 2 | 0.04% |
| 18 | analysis | 2 | 0.04% |
| 19 | interpretation | 2 | 0.04% |
| 20 | science | 2 | 0.04% |
Website's HTTP Request
| Name |
Content |
| Date | Fri, 06 Sep 2013 02 |
|---|
| Server | Apache/2.2.14 (Ubuntu) |
|---|
| Last-Modified | Mon, 06 Feb 2012 23 |
|---|
| Accept-Ranges | bytes |
|---|
| Content-Length | 58722 |
|---|
| Vary | Accept-Encoding |
|---|
| Keep-Alive | timeout=15, max=100 |
|---|
| Connection | Keep-Alive |
|---|
| Content-Type | text/html |
|---|
Add a widget to your website to gain more user confidence. Just copy & paste the html snippet into your website!