coveriteam-service.sosy-lab.org

Summary

This website contacted 3 IPs in 1 countries across 1 domains to perform 2 HTTP transactions. The main IP is 2001:4ca0:4000:53::25, located in Germany and belongs to MWN-AS, DE. The main domain is coveriteam-service.sosy-lab.org.
TLS certificate: Issued by R11 on July 11th 2024. Valid for: 3 months.

This is the only time coveriteam-service.sosy-lab.org was scanned on urlscan.io!

urlscan.io Verdict: No classification

Domain & IP information

	IP Address	AS Autonomous System
2 3	2001:4ca0:400... 2001:4ca0:4000:53::25	12816 (MWN-AS) (MWN-AS)
1	2001:4ca0:400... 2001:4ca0:4000:53::23	12816 (MWN-AS) (MWN-AS)
2	3

3 2001:4ca0:4000:53::25 (Germany) 2 redirects

ASN12816 (MWN-AS, DE)

coveriteam-service.sosy-lab.org	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 2001:4ca0:4000:53::23 (Germany)

ASN12816 (MWN-AS, DE)

www.sosy-lab.org	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

	Apex Domain Subdomains	Transfer
4	sosy-lab.org 2 redirects coveriteam-service.sosy-lab.org www.sosy-lab.org	86 KB
2	1

	Domain	Requested by
3	coveriteam-service.sosy-lab.org	2 redirects
1	www.sosy-lab.org
2	2

This site contains links to these domains. Also see Links.

Domain
sv-comp.sosy-lab.org
test-comp.sosy-lab.org
gitlab.com

Subject Issuer	Validity	Valid
coveriteam-service.sosy.ifi.lmu.de R11	`2024-07-11` - `2024-10-09`	3 months	crt.sh

This page contains 1 frames:

Primary Page: https://coveriteam-service.sosy-lab.org/static/index.html
Frame ID: 9419C45562633AB23A963713112C6C7D
Requests: 3 HTTP requests in this frame

Screenshot
Live screenshot

Full Image

Page Title

CoVeriTeam Service

Page URL History Show full URLs

https://coveriteam-service.sosy-lab.org/ HTTP 302
https://coveriteam-service.sosy-lab.org/static/index.html Page URL

Page Statistics

2
Requests

50 %
HTTPS

100 %
IPv6

1
Domains

2
Subdomains

3
IPs

1
Countries

85 kB
Transfer

209 kB
Size

0
Cookies

8 Outgoing links

These are links going to different origins than the main page.

URL: https://sv-comp.sosy-lab.org/2023/
Title: software verification

Search URL Search Domain Scan URL

URL: https://test-comp.sosy-lab.org/2023/
Title: testing

Search URL Search Domain Scan URL

URL: https://gitlab.com/sosy-lab/sv-comp/archives-2023
Title: https://gitlab.com/sosy-lab/sv-comp/archives-2023

Search URL Search Domain Scan URL

URL: https://gitlab.com/sosy-lab/research/data/incremental-ci-demo
Title: https://gitlab.com/sosy-lab/research/data/incremental-ci-demo

Search URL Search Domain Scan URL

URL: https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/blob/main/.gitlab-ci.yml#L24
Title: SV-COMP CI

Search URL Search Domain Scan URL

URL: https://gitlab.com/sosy-lab/benchmarking/competition-scripts/-/blob/main/test/check-archives-with-service.py
Title: Actual Script

Search URL Search Domain Scan URL

URL: https://gitlab.com/sosy-lab/software/coveriteam/-/blob/main/doc/remote.md
Title: https://gitlab.com/sosy-lab/software/coveriteam/-/blob/main/doc/remote.md

Search URL Search Domain Scan URL

URL: https://gitlab.com/sosy-lab/software/coveriteam/-/tree/main/actors
Title: actor definition files

Search URL Search Domain Scan URL

Page URL History

This captures the URL locations of the websites, including HTTP redirects and client-side redirects via JavaScript or Meta fields.

https://coveriteam-service.sosy-lab.org/ HTTP 302
https://coveriteam-service.sosy-lab.org/static/index.html Page URL

Redirected requests

There were HTTP redirect chains for the following requests:

Request Chain 1

https://coveriteam-service.sosy-lab.org/favicon.ico HTTP 301
https://www.sosy-lab.org/favicon.ico

2 HTTP transactions
1 data transactions

Method
Protocol Status Resource
Path Size
x-fer Time
Latency Type
MIME-Type IP
Location

GET
H2

200

Primary Request index.html Show response
coveriteam-service.sosy-lab.org/static/
Redirect Chain

https://coveriteam-service.sosy-lab.org/
https://coveriteam-service.sosy-lab.org/static/index.html

126 KB
84 KB

56ms
56ms

Document
text/html

2001:4ca0:4000:53::25
MWN-AS

General

Check archive.org

Show headers Download Go to

Full URL

https://coveriteam-service.sosy-lab.org/static/index.html

Protocol

H2

Security

TLS 1.3, , AES_128_GCM

Server

2001:4ca0:4000:53::25 , Germany, ASN12816 (MWN-AS, DE),

Reverse DNS

Software

Apache /

Resource Hash

8e5e273214c2598882a70fe61d8db0a1702e9d6b36e04571508e3ba749b9c183

Security Headers

Name	Value
Strict-Transport-Security	max-age=15768000
X-Content-Type-Options	nosniff

Request headers

Upgrade-Insecure-Requests: 1
User-Agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/126.0.0.0 Safari/537.36

Response headers

access-control-allow-origin: *
cache-control: no-cache
content-disposition: inline; filename=index.html
content-encoding: br
content-type: text/html; charset=utf-8
date: Thu, 11 Jul 2024 19:55:10 GMT
last-modified: Mon, 13 Nov 2023 12:18:32 GMT
referrer-policy: strict-origin-when-cross-origin
server: Apache
strict-transport-security: max-age=15768000
vary: Accept-Encoding
x-content-type-options: nosniff

Redirect headers

access-control-allow-origin: *
cache-control: max-age=0
content-length: 242
content-type: text/html; charset=utf-8
date: Thu, 11 Jul 2024 19:55:10 GMT
location: https://coveriteam-service.sosy-lab.org/static/index.html
referrer-policy: strict-origin-when-cross-origin
server: Apache
strict-transport-security: max-age=15768000
x-content-type-options: nosniff

GET
DATA 200
OK truncated
/ 82 KB
0 Image
image/png

General

Check archive.org

Show headers Download Go to Show image

Full URL: data:truncated
Protocol: DATA
Server: -, , ASN (),
Reverse DNS
Software: /
Resource Hash: 833340c8cbd131268aa2990bba3339fd3291360083db16546081a66b92db9c98

Request headers

Referer
User-Agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/126.0.0.0 Safari/537.36

Response headers

Content-Type: image/png

GET
H2

200

favicon.ico
www.sosy-lab.org/
Redirect Chain

https://coveriteam-service.sosy-lab.org/favicon.ico
https://www.sosy-lab.org/favicon.ico

1 KB
1 KB

82ms
22ms

Other
image/vnd.microsoft.icon

2001:4ca0:4000:53::23
MWN-AS

General

Check archive.org

Show headers Download Go to

Full URL

https://www.sosy-lab.org/favicon.ico

Protocol

H2

Server

2001:4ca0:4000:53::23 , Germany, ASN12816 (MWN-AS, DE),

Reverse DNS

Software

Apache /

Resource Hash

b53f0fa258253011f358bd4fc13dea35808b91c1efce03829840b5f81b904299

Security Headers

Name	Value
Strict-Transport-Security	max-age=15768000
X-Content-Type-Options	nosniff

Request headers

Referer: https://coveriteam-service.sosy-lab.org/
User-Agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/126.0.0.0 Safari/537.36

Response headers

strict-transport-security: max-age=15768000
date: Thu, 11 Jul 2024 19:55:10 GMT
referrer-policy: strict-origin-when-cross-origin
x-content-type-options: nosniff
last-modified: Mon, 08 Aug 2022 13:23:34 GMT
server: Apache
etag: "47e-5e5bab90d5d7d"
content-type: image/vnd.microsoft.icon
cache-control: max-age=0
accept-ranges: bytes
content-length: 1150

Redirect headers

strict-transport-security: max-age=15768000
date: Thu, 11 Jul 2024 19:55:10 GMT
referrer-policy: strict-origin-when-cross-origin
x-content-type-options: nosniff
server: Apache
content-type: text/html; charset=iso-8859-1
location: https://www.sosy-lab.org/favicon.ico
content-length: 326

Verdicts & Comments Add Verdict or Comment

0 JavaScript Global Variables

These are the non-standard "global" variables defined on the window object. These can be helpful in identifying possible client-side frameworks and code.

0 Cookies

Cookies are little pieces of information stored in the browser of a user. Whenever a user visits the site again, he will also send his cookie values, thus allowing the website to re-identify him even if he changed locations. This is how permanent logins work.

Security Headers

This page lists any security headers set by the main page. If you want to understand what these mean and how to use them, head on over to this page

Header	Value
Strict-Transport-Security	max-age=15768000
X-Content-Type-Options	nosniff

Indicators

This is a term in the security industry to describe indicators such as IPs, Domains, Hashes, etc. This does not imply that any of these indicate malicious activity.

coveriteam-service.sosy-lab.org
www.sosy-lab.org
2001:4ca0:4000:53::23
2001:4ca0:4000:53::25
833340c8cbd131268aa2990bba3339fd3291360083db16546081a66b92db9c98
8e5e273214c2598882a70fe61d8db0a1702e9d6b36e04571508e3ba749b9c183
b53f0fa258253011f358bd4fc13dea35808b91c1efce03829840b5f81b904299

coveriteam-service.sosy-lab.org Open in urlscan Pro 2001:4ca0:4000:53::25 Public Scan

Summary

urlscan.io Verdict: No classification

Domain & IP information

Screenshot Live screenshot Full Image

Page Title

Page URL History Show full URLs

Page Statistics

2 Requests

50 %HTTPS

100 %IPv6

1 Domains

2 Subdomains

3 IPs

1 Countries

85 kBTransfer

209 kBSize

0 Cookies

8 Outgoing links

Page URL History

Redirected requests

2 HTTP transactions Everything HTML Script AJAX CSS Image Expand all 1 data transactions

Request headers

Response headers

Redirect headers

Request headers

Response headers

Request headers

Response headers

Redirect headers

Verdicts & Comments Add Verdict or Comment

0 JavaScript Global Variables

0 Cookies

Security Headers

Indicators

coveriteam-service.sosy-lab.org Open in urlscan Pro
2001:4ca0:4000:53::25 Public Scan

Screenshot
Live screenshot

Full Image

2
Requests

50 %
HTTPS

100 %
IPv6

1
Domains

2
Subdomains

3
IPs

1
Countries

85 kB
Transfer

209 kB
Size

0
Cookies

2 HTTP transactions
1 data transactions