fstar-lang.org
F*: A Higher-Order Effectful Language Designed for Program Verification

Technical Rating

 XSS attack - not protected. HTTP header "X-XSS-Protection" not found

 User Interface redress attack - not protected. HTTP header "X-Frame-Options" not found

 HTTP request response - 200

 HTTPS request response - 200

!No Redirect from HTTP to HTTPS

 Server response time 0,616 sec

 HTML load time 0,888 sec

iHTML length: 78844

 A link to a favicon is specified

iNumber of IMGs: 9

 The ALT attribute is set for all IMGs

!Not adapted for mobile devices. It doesn't use the VIEWPORT tag

!W3C Validation. Number of HTML errors: 151

 W3C Validation. Number of HTML warnings: 22

!Doesn't use robots.txt

!Doesn't use a sitemap

 DNS MX record is available. Anti-spam DMARC and ADSP records are available

Exact physical location of Fstar-lang.org

iUS Redmond One Microsoft Way

Technical Information

iServer: Apache

iFstar-lang.org created 10 year(s) 2 month(s) 8 day(s) ago (2014-12-18)

iRegistration period ends in (2022-12-18)

iFstar-lang.org is registered in the OVH

iСontacts: [email protected]

iNameservers: NS1.HT.VC,   NS2.HT.VC

iIPv4: 52.173.151.229

iDNS TXT Records: "v=spf1 a mx -all"
"fstar-lang.azurewebsites.net"

iDNS Mail Records: 10 mail.ht.vc.

iDMARC Mail Anti Spam Records: 52.173.151.229

iAuthor Domain Signing Practices Mail Records: 52.173.151.229

iRaw Whois Information

[Querying whois.pir.org]
[whois.pir.org]
Domain Name: FSTAR-LANG.ORG
Registry Domain ID: D174845106-LROR
Registrar WHOIS Server: whois.ovh.com
Registrar URL: http://www.ovh.com
Updated Date: 2020-11-27T04:36:06Z
Creation Date: 2014-12-18T22:08:55Z
Registry Expiry Date: 2022-12-18T22:08:55Z
Registrar Registration Expiration Date:
Registrar: OVH
Registrar IANA ID: 433
Registrar Abuse Contact Email: [email protected]
Registrar Abuse Contact Phone: +33.972101007
Reseller:
Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Registrant Organization:
Registrant State/Province:
Registrant Country: FR
Name Server: NS1.HT.VC
Name Server: NS2.HT.VC
DNSSEC: unsigned
URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/)
>>> Last update of WHOIS database: 2021-07-28T09:22:25Z <<<

For more information on Whois status codes, please visit https://icann.org/epp

Access to Public Interest Registry WHOIS information is provided to assist persons in determining the contents of a domain name registration record in the Public Interest Registry registry database. The data in this record is provided by Public Interest Registry for informational purposes only, and Public Interest Registry does not guarantee its accuracy. This service is intended only for query-based access. You agree that you will use this data only for lawful purposes and that, under no circumstances will you use this data to (a) allow, enable, or otherwise support the transmission by e-mail, telephone, or facsimile of mass unsolicited, commercial advertising or solicitations to entities other than the data recipient's own existing customers; or (b) enable high volume, automated, electronic processes that send queries or data to the systems of Registry Operator, a Registrar, or Afilias except as reasonably necessary to register domain names or modify existing registrations. All rights reserved. Public Interest Registry reserves the right to modify these terms at any time. By submitting this query, you agree to abide by this policy.

The Registrar of Record identified in this output may have an RDDS service that can be queried for additional information on how to contact the Registrant, Admin, or Tech contact of the queried domain name.

iRaw IPv4 Information 52.173.151.229

[Querying whois.arin.net]
[whois.arin.net]

#
# ARIN WHOIS data and services are subject to the Terms of Use
# available at: https://www.arin.net/resources/registry/whois/tou/
#
# If you see inaccuracies in the results, please report at
# https://www.arin.net/resources/registry/whois/inaccuracy_reporting/
#
# Copyright 1997-2021, American Registry for Internet Numbers, Ltd.
#


NetRange:       52.145.0.0 - 52.191.255.255
CIDR:           52.146.0.0/15, 52.145.0.0/16, 52.160.0.0/11, 52.152.0.0/13, 52.148.0.0/14
NetName:        MSFT
NetHandle:      NET-52-145-0-0-1
Parent:         NET52 (NET-52-0-0-0-0)
NetType:        Direct Assignment
OriginAS:
Organization:   Microsoft Corporation (MSFT)
RegDate:        2015-11-24
Updated:        2015-11-24
Ref:            https://rdap.arin.net/registry/ip/52.145.0.0



OrgName:        Microsoft Corporation
OrgId:          MSFT
Address:        One Microsoft Way
City:           Redmond
StateProv:      WA
PostalCode:     98052
Country:        US
RegDate:        1998-07-10
Updated:        2021-04-13
Comment:        To report suspected security issues specific to traffic emanating from Microsoft online services, including the distribution of malicious content or other illicit or illegal material through a Microsoft online service, please submit reports to:
Comment:        * https://cert.microsoft.com.
Comment:
Comment:        For SPAM and other abuse issues, such as Microsoft Accounts, please contact:
Comment:        * [email protected].
Comment:
Comment:        To report security vulnerabilities in Microsoft products and services, please contact:
Comment:        * [email protected].
Comment:
Comment:        For legal and law enforcement-related requests, please contact:
Comment:        * [email protected]
Comment:
Comment:        For routing, peering or DNS issues, please
Comment:        contact:
Comment:        * [email protected]
Ref:            https://rdap.arin.net/registry/entity/MSFT


OrgTechHandle: MRPD-ARIN
OrgTechName:   Microsoft Routing, Peering, and DNS
OrgTechPhone:  +1-425-882-8080
OrgTechEmail:  [email protected]
OrgTechRef:    https://rdap.arin.net/registry/entity/MRPD-ARIN

OrgAbuseHandle: MAC74-ARIN
OrgAbuseName:   Microsoft Abuse Contact
OrgAbusePhone:  +1-425-882-8080
OrgAbuseEmail:  [email protected]
OrgAbuseRef:    https://rdap.arin.net/registry/entity/MAC74-ARIN

OrgTechHandle: BEDAR6-ARIN
OrgTechName:   Bedard, Dawn
OrgTechPhone:  +1-425-538-6637
OrgTechEmail:  [email protected]
OrgTechRef:    https://rdap.arin.net/registry/entity/BEDAR6-ARIN

OrgDNSHandle: YSRH-ARIN
OrgDNSName:   Yalamati, Sree Raghu Harsha
OrgDNSPhone:  +917702220771
OrgDNSEmail:  [email protected]
OrgDNSRef:    https://rdap.arin.net/registry/entity/YSRH-ARIN


#
# ARIN WHOIS data and services are subject to the Terms of Use
# available at: https://www.arin.net/resources/registry/whois/tou/
#
# If you see inaccuracies in the results, please report at
# https://www.arin.net/resources/registry/whois/inaccuracy_reporting/
#
# Copyright 1997-2021, American Registry for Internet Numbers, Ltd.
#

iRaw DNS Information

A: 52.173.151.229

TXT: "v=spf1 a mx -all"
TXT: "fstar-lang.azurewebsites.net"

MX: 10 mail.ht.vc.

DMARC: 52.173.151.229

ADSP: 52.173.151.229

The popularity of the site

iHow many links to Fstar-lang.org on the Internet: 148