coveriteam-service.sosy.ifi.lmu.de
Open in
urlscan Pro
2001:4ca0:4000:53::25
Public Scan
Effective URL: https://coveriteam-service.sosy.ifi.lmu.de/static/index.html
Submission: On July 11 via automatic, source certstream-suspicious — Scanned from DE
Summary
TLS certificate: Issued by R11 on July 11th 2024. Valid for: 3 months.
This is the only time coveriteam-service.sosy.ifi.lmu.de 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 |
Apex Domain Subdomains |
Transfer | |
---|---|---|
3 |
lmu.de
2 redirects
coveriteam-service.sosy.ifi.lmu.de |
84 KB |
1 |
sosy-lab.org
www.sosy-lab.org |
1 KB |
2 | 2 |
Domain | Requested by | |
---|---|---|
3 | coveriteam-service.sosy.ifi.lmu.de | 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 |
coveriteam-service.sosy-lab.org |
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.ifi.lmu.de/static/index.html
Frame ID: D95FC4DF6A47F357684CED8BD7E30B93
Requests: 3 HTTP requests in this frame
Screenshot
Page Title
CoVeriTeam ServicePage URL History Show full URLs
-
https://coveriteam-service.sosy.ifi.lmu.de/
HTTP 302
https://coveriteam-service.sosy.ifi.lmu.de/static/index.html Page URL
Page Statistics
11 Outgoing links
These are links going to different origins than the main page.
Title: software verification
Search URL Search Domain Scan URL
Title: testing
Search URL Search Domain Scan URL
Title: https://gitlab.com/sosy-lab/sv-comp/archives-2023
Search URL Search Domain Scan URL
Title: https://gitlab.com/sosy-lab/research/data/incremental-ci-demo
Search URL Search Domain Scan URL
Title: WebUI
Search URL Search Domain Scan URL
Title: https://coveriteam-service.sosy-lab.org/ivaas/run
Search URL Search Domain Scan URL
Title: https://coveriteam-service.sosy-lab.org/execute
Search URL Search Domain Scan URL
Title: SV-COMP CI
Search URL Search Domain Scan URL
Title: Actual Script
Search URL Search Domain Scan URL
Title: https://gitlab.com/sosy-lab/software/coveriteam/-/blob/main/doc/remote.md
Search URL Search Domain Scan URL
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.ifi.lmu.de/
HTTP 302
https://coveriteam-service.sosy.ifi.lmu.de/static/index.html Page URL
Redirected requests
There were HTTP redirect chains for the following requests:
Request Chain 1- https://coveriteam-service.sosy.ifi.lmu.de/favicon.ico HTTP 301
- https://www.sosy-lab.org/favicon.ico
2 HTTP transactions
Method Protocol |
Resource Path |
Size x-fer |
Type MIME-Type |
||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
GET H2 |
Primary Request
index.html
coveriteam-service.sosy.ifi.lmu.de/static/ Redirect Chain
|
126 KB 84 KB |
Document
text/html |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
Redirect headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET DATA |
truncated
/ |
82 KB 0 |
Image
image/png |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
favicon.ico
www.sosy-lab.org/ Redirect Chain
|
1 KB 1 KB |
Other
image/vnd.microsoft.icon |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
Redirect headers
|
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.ifi.lmu.de
www.sosy-lab.org
2001:4ca0:4000:53::23
2001:4ca0:4000:53::25
833340c8cbd131268aa2990bba3339fd3291360083db16546081a66b92db9c98
8e5e273214c2598882a70fe61d8db0a1702e9d6b36e04571508e3ba749b9c183
b53f0fa258253011f358bd4fc13dea35808b91c1efce03829840b5f81b904299