compcert.com - robtex.com

compcert.com

DNSSEC⚠️ Not signed
A2a02:247a:275:1a00::1🇩🇪 IONOS-AS2a02:2478::/29 IONOS SE
A212.132.76.42🇬🇧 IONOS-AS212.132.64.0/19 IONOS SE fra.de
NSroot-dns.netcup.net ⭐
A2a03:4000:0:1::e1e1🇩🇪 netcup-AS2a03:4000::/32 NETCUP-GMBH
PTRroot-dns.netcup.net
A46.38.225.225🇩🇪 netcup-AS46.38.225.0/24
PTRroot-dns.netcup.net
NSsecond-dns.netcup.net
A2a03:4000:2:24b::c7c7🇩🇪 netcup-AS2a03:4000::/32 NETCUP-GMBH
PTRsecond-dns.netcup.net
A37.221.199.199🇩🇪 netcup-AS37.221.196.0/22
PTRsecond-dns.netcup.net
NSthird-dns.netcup.net
A2a03:4001:0:106::3f44🇩🇪 netcup-AS2a03:4001::/32 NETCUP-GMBH
PTRthird-dns.netcup.net
A188.68.63.68🇩🇪 netcup-AS188.68.63.0/24 NETCUP-GMBH
PTRthird-dns.netcup.net
MXmail.absint.com ⭐
A212.88.138.67🇩🇪 SAARGATE-AS212.88.128.0/19 VSENET / Teresto / artelis Nell-Breunig-Allee 6 D-66115 Saarbruecken
PTRmail.absint.com
SOAroot-dns.netcup.netdnsadmin@netcup.net 2025-03-31 #3

com

DNSSEC🔒 Signed (DS record present)
NSa.gtld-servers.net ⭐
NSb.gtld-servers.net
NSc.gtld-servers.net
NSd.gtld-servers.net
NSe.gtld-servers.net
NSf.gtld-servers.net
NSg.gtld-servers.net
NSh.gtld-servers.net
NSi.gtld-servers.net
NSj.gtld-servers.net
NSk.gtld-servers.net
NSl.gtld-servers.net
NSm.gtld-servers.net
SOAa.gtld-servers.netnstld@verisign-grs.com serial=1778487431

Same first word

compcert.com
compcert.org

Similar names

mteccorp.com
certcomp.org
etmccorp.com
rpteccom.com
cortecpm.com

DNS History

24 records (6 active, 18 former)

200920112013201520172019202120232025NSroot-dns.netcup.netsecond-dns.netcup.netthird-dns.netcup.netauth01.one4vision.deauth02.one4vision.deauth03.one4vision.dens.stratoserver.netns10.1and1.co.ukns2.stratoserver.netns3.stratoserver.netns4.stratoserver.netns9.1and1.co.ukMXmail.absint.commail-dsl.absint.commx.orbis-communications.demx00.schlund.demx01.schlund.demx2.orbis-communications.demx3.orbis-communications.deA212.132.76.422a02:247a:275:1a00::1212.82.38.6881.169.250.1782.165.98.108
○NSauth01.one4vision.de2015-06-04 → 2015-06-04 · 4 obs
○ 2008-03-19 18:53:36
● 2015-06-04 15:24:12
○ 2015-10-27 02:48:02
○ 2026-05-11 08:19:04
○NSauth02.one4vision.de2015-06-04 → 2015-06-04 · 4 obs
○ 2008-03-19 18:53:36
● 2015-06-04 15:24:12
○ 2015-10-27 02:48:02
○ 2026-05-11 08:19:04
○NSauth03.one4vision.de2015-06-04 → 2015-06-04 · 4 obs
○ 2008-03-19 18:53:36
● 2015-06-04 15:24:12
○ 2015-10-27 02:48:02
○ 2026-05-11 08:19:04
○NSns.stratoserver.net2015-10-27 → 2016-12-03 · 5 obs
○ 2015-06-04 15:24:12
● 2015-10-27 02:48:02
● 2016-12-03 12:25:02
○ 2017-09-21 15:19:18
○ 2026-05-11 08:19:04
○NSns10.1and1.co.uk2008-03-19 → 2008-03-19 · 3 obs
● 2008-03-19 18:53:36
○ 2015-06-04 15:24:12
○ 2026-05-11 08:19:04
○NSns2.stratoserver.net2015-10-27 → 2016-12-03 · 5 obs
○ 2015-06-04 15:24:12
● 2015-10-27 02:48:02
● 2016-12-03 12:25:02
○ 2017-09-21 15:19:18
○ 2026-05-11 08:19:04
○NSns3.stratoserver.net2017-09-21 → 2017-09-21 · 4 obs
○ 2016-12-03 12:25:02
● 2017-09-21 15:19:18
○ 2026-03-11 08:14:12
○ 2026-05-11 08:19:04
○NSns4.stratoserver.net2017-09-21 → 2017-09-21 · 4 obs
○ 2016-12-03 12:25:02
● 2017-09-21 15:19:18
○ 2026-03-11 08:14:12
○ 2026-05-11 08:19:04
○NSns9.1and1.co.uk2008-03-19 → 2008-03-19 · 3 obs
● 2008-03-19 18:53:36
○ 2015-06-04 15:24:12
○ 2026-05-11 08:19:04
●NSroot-dns.netcup.net2026-03-11 → 2026-05-11 · 3 obs
○ 2017-09-21 15:19:18
● 2026-03-11 08:14:12
● 2026-05-11 08:19:04
●NSsecond-dns.netcup.net2026-03-11 → 2026-05-11 · 3 obs
○ 2017-09-21 15:19:18
● 2026-03-11 08:14:12
● 2026-05-11 08:19:04
●NSthird-dns.netcup.net2026-03-11 → 2026-05-11 · 3 obs
○ 2017-09-21 15:19:18
● 2026-03-11 08:14:12
● 2026-05-11 08:19:04
○MXmail-dsl.absint.com2015-10-27 → 2016-04-05 · 5 obs
○ 2015-06-04 15:24:12
● 2015-10-27 02:48:02
● 2016-04-05 09:27:44
○ 2016-12-03 12:25:02
○ 2026-05-11 08:19:04
●MXmail.absint.com2015-10-27 → 2026-05-11 · 3 obs
○ 2015-06-04 15:24:12
● 2015-10-27 02:48:02
● 2026-05-11 08:19:04
○MXmx.orbis-communications.de2015-06-04 → 2015-06-04 · 4 obs
○ 2008-03-19 18:53:36
● 2015-06-04 15:24:12
○ 2015-10-27 02:48:02
○ 2026-05-11 08:19:04
○MXmx00.schlund.de2008-03-19 → 2008-03-19 · 3 obs
● 2008-03-19 18:53:36
○ 2015-06-04 15:24:12
○ 2026-05-11 08:19:04
○MXmx01.schlund.de2008-03-19 → 2008-03-19 · 3 obs
● 2008-03-19 18:53:36
○ 2015-06-04 15:24:12
○ 2026-05-11 08:19:04
○MXmx2.orbis-communications.de2015-06-04 → 2015-06-04 · 4 obs
○ 2008-03-19 18:53:36
● 2015-06-04 15:24:12
○ 2015-10-27 02:48:02
○ 2026-05-11 08:19:04
○MXmx3.orbis-communications.de2015-06-04 → 2015-06-04 · 4 obs
○ 2008-03-19 18:53:36
● 2015-06-04 15:24:12
○ 2015-10-27 02:48:02
○ 2026-05-11 08:19:04
●A212.132.76.422026-03-11 → 2026-05-11 · 3 obs
○ 2017-09-21 15:19:18
● 2026-03-11 08:14:12
● 2026-05-11 08:19:04
○A212.82.38.682015-06-04 → 2015-06-04 · 4 obs
○ 2008-03-19 18:53:36
● 2015-06-04 15:24:12
○ 2015-10-27 02:48:02
○ 2026-05-11 08:19:04
●A2a02:247a:275:1a00::12026-03-11 → 2026-05-11 · 3 obs
○ 2017-09-21 15:19:18
● 2026-03-11 08:14:12
● 2026-05-11 08:19:04
○A81.169.250.172015-10-27 → 2017-09-21 · 5 obs
○ 2015-06-04 15:24:12
● 2015-10-27 02:48:02
● 2017-09-21 15:19:18
○ 2026-03-11 08:14:12
○ 2026-05-11 08:19:04
○A82.165.98.1082008-03-19 → 2008-03-19 · 3 obs
● 2008-03-19 18:53:36
○ 2015-06-04 15:24:12
○ 2026-05-11 08:19:04

🔍 DNS Trace

📋 Delegation Chain

ZoneNameserversGlue
coma.gtld-servers.net, b.gtld-servers.net, c.gtld-servers.net, d.gtld-servers.net...-
compcert.comroot-dns.netcup.net, second-dns.netcup.net, third-dns.netcup.net-

✅ Authoritative Response

Server:46.38.225.225

NS records: root-dns.netcup.net, second-dns.netcup.net, third-dns.netcup.net

🔒 DNSSEC Status

⚠️ Insecure (no DNSSEC)

No DS record for compcert.com (unsigned zone)

⏱️ Timing

Total: 730ms | Queries: -

📄 Records

TypeCountSample Data
A1212.132.76.42
AAAA12a02:247a:275:1a00::1
NS3second-dns.netcup.net, root-dns.netcup.net...
MX1mail.absint.com (pri: 10)
SOA1root-dns.netcup.net dnsadmin.netcup.net

Analysis

IP Addresses

compcert.com resolves to two IPs: 2a02:247a:275:1a00::1 and 212.132.76.42.

other host names for instance timing-experts.com, timing-experts.org, stack(0x616e616c)yser.com, ip212-132-76-42.pbiaas.com and compiler-technology.com share IP numbers with compcert.com.

Name Servers

compcert.com is delegated to three name servers: root-dns.netcup.net, second-dns.netcup.net and third-dns.netcup.net.

compcert.com at least partially shares name servers with other domains, for instance steppenwolf.de, schlichti.de, prematchapp.de, wasserrettung.info and werbeagentur-tirol.at.

Host names with two IP numbers:

Host root-dns.netcup.net points to 2a03:4000:0:1::e1e1 and 46.38.225.225.

Host second-dns.netcup.net points to 2a03:4000:2:24b::c7c7 and 37.221.199.199.

Host third-dns.netcup.net points to 2a03:4001:0:106::3f44 and 188.68.63.68.

Mail Servers

compcert.com is handled by a single mail server, mail.absint.com.

compcert.com shares the same mail server setup as other domains, for instance timing-explorer.com, astree.de, stack(0x616e616c)yser.de, aisee.de and softwarevisualisierung.de.

Host name mail.absint.com points to IP address 212.88.138.67.