compcert.com - dns.ninja

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=1785499732

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-07-31 12:16:30
○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-07-31 12:16:30
○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-07-31 12:16:30
○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-07-31 12:16:30
○NSns10.1and1.co.uk2008-03-19 → 2008-03-19 · 3 obs
● 2008-03-19 18:53:36
○ 2015-06-04 15:24:12
○ 2026-07-31 12:16:30
○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-07-31 12:16:30
○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-07-31 12:16:30
○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-07-31 12:16:30
○NSns9.1and1.co.uk2008-03-19 → 2008-03-19 · 3 obs
● 2008-03-19 18:53:36
○ 2015-06-04 15:24:12
○ 2026-07-31 12:16:30
●NSroot-dns.netcup.net2026-03-11 → 2026-07-31 · 3 obs
○ 2017-09-21 15:19:18
● 2026-03-11 08:14:12
● 2026-07-31 12:16:30
●NSsecond-dns.netcup.net2026-03-11 → 2026-07-31 · 3 obs
○ 2017-09-21 15:19:18
● 2026-03-11 08:14:12
● 2026-07-31 12:16:30
●NSthird-dns.netcup.net2026-03-11 → 2026-07-31 · 3 obs
○ 2017-09-21 15:19:18
● 2026-03-11 08:14:12
● 2026-07-31 12:16:30
○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-07-31 12:16:30
●MXmail.absint.com2015-10-27 → 2026-07-31 · 3 obs
○ 2015-06-04 15:24:12
● 2015-10-27 02:48:02
● 2026-07-31 12:16:30
○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-07-31 12:16:30
○MXmx00.schlund.de2008-03-19 → 2008-03-19 · 3 obs
● 2008-03-19 18:53:36
○ 2015-06-04 15:24:12
○ 2026-07-31 12:16:30
○MXmx01.schlund.de2008-03-19 → 2008-03-19 · 3 obs
● 2008-03-19 18:53:36
○ 2015-06-04 15:24:12
○ 2026-07-31 12:16:30
○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-07-31 12:16:30
○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-07-31 12:16:30
●A212.132.76.422026-03-11 → 2026-07-31 · 3 obs
○ 2017-09-21 15:19:18
● 2026-03-11 08:14:12
● 2026-07-31 12:16:30
○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-07-31 12:16:30
●A2a02:247a:275:1a00::12026-03-11 → 2026-07-31 · 3 obs
○ 2017-09-21 15:19:18
● 2026-03-11 08:14:12
● 2026-07-31 12:16:30
○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-07-31 12:16:30
○A82.165.98.1082008-03-19 → 2008-03-19 · 3 obs
● 2008-03-19 18:53:36
○ 2015-06-04 15:24:12
○ 2026-07-31 12:16:30

🔍 DNS Trace

📋 Delegation Chain

ZoneNameserversGlue
come.gtld-servers.net, b.gtld-servers.net, l.gtld-servers.net, j.gtld-servers.net...-
compcert.comroot-dns.netcup.net, second-dns.netcup.net, third-dns.netcup.net-

✅ Authoritative Response

Server:188.68.63.68

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: 664ms | Queries: -

📄 Records

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

Analysis

IP Addresses

compcert.com resolves to the IP addresses 212.132.76.42 and 2a02:247a:275:1a00::1

timing-experts.com, timing-experts.org, stack(0x616e616c)yser.com and two other host names share IP numbers with compcert.com.

Name Servers

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

compcert.com has at least partial name server overlap with other domains, such as steppenwolf.de, schlichti.de, prematchapp.de and two others.

The hostnames root-dns.netcup.net, second-dns.netcup.net and third-dns.netcup.net each direct to two IP addresses — root-dns.netcup.net to 46.38.225.225 and 2a03:4000:0:1::e1e1, second-dns.netcup.net to 37.221.199.199 and 2a03:4000:2:24b::c7c7, and third-dns.netcup.net to 188.68.63.68 and 2a03:4001:0:106::3f44.

Mail Servers

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

compcert.com uses an identical mail server configuration to several other domains — among them timing-explorer.com, astree.de, stack(0x616e616c)yser.de and two more.

mail.absint.com resolves to 212.88.138.67 and no other IP number.