Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
User-agent: |
Title | Frama-C - Framework for Modular Analysis of C |
Description | A platform to make your C code safer and more Frama-C - An open-source extensible and collaborative platform dedicated to source-code analysis of C |
Keywords | N/A |
WebSite | frama-c.com |
Host IP | 54.38.94.65 |
Location | United States |
Site | Rank |
US$5,596,992
Last updated: 2023-05-07 21:13:27
frama-c.com has Semrush global rank of 1,891,070. frama-c.com has an estimated worth of US$ 5,596,992, based on its estimated Ads revenue. frama-c.com receives approximately 645,807 unique visitors each day. Its web server is located in United States, with IP address 54.38.94.65. According to SiteAdvisor, frama-c.com is safe to visit. |
Purchase/Sale Value | US$5,596,992 |
Daily Ads Revenue | US$5,167 |
Monthly Ads Revenue | US$154,994 |
Yearly Ads Revenue | US$1,859,924 |
Daily Unique Visitors | 43,054 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
frama-c.com. | A | 358 | IP: 54.38.94.65 |
frama-c.com. | AAAA | 358 | IPV6: 2001:41d0:403:2041:: |
frama-c.com. | NS | 360 | NS Record: ns13.ovh.net. |
frama-c.com. | NS | 360 | NS Record: dns13.ovh.net. |
frama-c.com. | MX | 360 | MX Record: 1 frama-c.com. |
frama-c.com. | TXT | 600 | TXT Record: v=spf1 a mx -all |
Frama-C About Features Documentation Publications Blog Contact Download A platform to make your C code safer and more secure Frama-C is an open-source extensible and collaborative platform dedicated to source-code analysis of C software. The Frama-C analyzers assist you in various source-code-related activities, from the navigation through unfamiliar projects up to the certification of critical software. Read More Download Frama-C Overview Latest News Overview of a Frama-C analysis for a simple C program Browsing the analysis results with Frama-C Interface Overview Value Analysis Effects Analysis Dependency Analysis Impact Analysis When invoked with the command-line: frama-c -eva -eva-precision 1 first.c Frama-C creates an analysis project for the file first.c. The -eva option on the command-line causes the Eva plug-in to run and have its results ready before the interface appears. The -eva-precision option is one of several options that influence the precision of the Eva plug-in. The |
HTTP/1.1 301 Moved Permanently Server: nginx/1.20.1 Date: Thu, 28 Oct 2021 18:51:10 GMT Content-Type: text/html Content-Length: 169 Connection: keep-alive Location: https://www.frama-c.com/ HTTP/2 200 server: nginx/1.20.1 date: Thu, 28 Oct 2021 18:51:11 GMT content-type: text/html content-length: 58026 last-modified: Fri, 15 Oct 2021 13:58:42 GMT etag: "61698912-e2aa" accept-ranges: bytes |
Domain Name: FRAMA-C.COM Registry Domain ID: 1544371695_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.ovh.com Registrar URL: http://www.ovh.com Updated Date: 2017-03-01T07:29:12Z Creation Date: 2009-02-26T15:30:38Z Registry Expiry Date: 2023-02-26T15:30:38Z Registrar: OVH sas Registrar IANA ID: 433 Registrar Abuse Contact Email: abuse@ovh.net Registrar Abuse Contact Phone: +33.972101007 Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: DNS13.OVH.NET Name Server: NS13.OVH.NET DNSSEC: unsigned >>> Last update of whois database: 2021-09-16T10:22:26Z <<< |