frama-c.com valuation and analysis

Robots.txt Information
Robot Path Permission
GoogleBot /
BingBot /
BaiduSpider /
YandexBot /
User-agent:
Meta Tags
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
Server Information
WebSite frama-c faviconframa-c.com
Host IP 54.38.94.65
Location United States
Related Websites
Site Rank
More to Explore
freevector.ucoz.com
fuslesecuritygroup.co.uk
ggrig.com
goodmoney.finance
governancexborders.com
govorov.online
highresolutionart.com
holdmanhoney.com
ihoshop.com
journalofantiques.com
journo.news
kinescope.dev
lacatrinachurros.com
lean-promotion.com
leighaali.com
login-myrouterlocal.com
losangelesclicker.com
makeswebsites.com
maximova.org
mcplayhd.net
frama-c.com Valuation
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.

Traffic & Worth Estimates
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.
DNS Records
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
HtmlToTextCheckTime:2023-05-07 21:13:27
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 Headers
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
frama-c.com Whois Information
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 <<<