vcloud-webclient.sosy.ifi.lmu.de Open in urlscan Pro
2001:4ca0:4000:53::15  Public Scan

Submitted URL: https://vcloud-webclient.sosy.ifi.lmu.de/
Effective URL: https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/
Submission: On August 08 via automatic, source certstream-suspicious — Scanned from DE

Summary

This website contacted 2 IPs in 1 countries across 2 domains to perform 10 HTTP transactions. The main IP is 2001:4ca0:4000:53::15, located in Germany and belongs to MWN-AS, DE. The main domain is vcloud-webclient.sosy.ifi.lmu.de.
TLS certificate: Issued by R10 on August 8th 2024. Valid for: 3 months.
This is the only time vcloud-webclient.sosy.ifi.lmu.de was scanned on urlscan.io!

urlscan.io Verdict: No classification

Domain & IP information

IP Address AS Autonomous System
2 9 2001:4ca0:400... 12816 (MWN-AS)
3 2001:4ca0:400... 12816 (MWN-AS)
10 2
Apex Domain
Subdomains
Transfer
9 lmu.de
vcloud-webclient.sosy.ifi.lmu.de
67 KB
3 sosy-lab.org
www.sosy-lab.org
cpachecker.sosy-lab.org
14 KB
10 2
Domain Requested by
9 vcloud-webclient.sosy.ifi.lmu.de 2 redirects vcloud-webclient.sosy.ifi.lmu.de
2 www.sosy-lab.org vcloud-webclient.sosy.ifi.lmu.de
1 cpachecker.sosy-lab.org vcloud-webclient.sosy.ifi.lmu.de
10 3

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

Domain
www.sosy-lab.org
www.ifi.lmu.de
Subject Issuer Validity Valid
vcloud-webclient.sosy.ifi.lmu.de
R10
2024-08-08 -
2024-11-06
3 months crt.sh
*.sosy-lab.org
R10
2024-08-01 -
2024-10-30
3 months crt.sh

This page contains 1 frames:

Primary Page: https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/
Frame ID: 29392405B7BD6CF6C34BA630649A663E
Requests: 10 HTTP requests in this frame

Screenshot

Page Title

CPAchecker on the BenchCloud

Page URL History Show full URLs

  1. https://vcloud-webclient.sosy.ifi.lmu.de/ HTTP 302
    https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/ HTTP 303
    https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/ Page URL

Detected technologies

Overall confidence: 100%
Detected patterns
  • <link[^>]* href=[^>]*?bootstrap(?:[^>]*?([0-9a-fA-F]{7,40}|[\d]+(?:.[\d]+(?:.[\d]+)?)?)|)[^>]*?(?:\.min)?\.css
  • bootstrap(?:[^>]*?([0-9a-fA-F]{7,40}|[\d]+(?:.[\d]+(?:.[\d]+)?)?)|)[^>]*?(?:\.min)?\.js

Overall confidence: 100%
Detected patterns
  • jquery[.-]([\d.]*\d)[^/]*\.js
  • jquery.*\.js(?:\?ver(?:sion)?=([\d.]+))?

Page Statistics

10
Requests

100 %
HTTPS

100 %
IPv6

2
Domains

3
Subdomains

2
IPs

1
Countries

80 kB
Transfer

287 kB
Size

0
Cookies

Page URL History

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

  1. https://vcloud-webclient.sosy.ifi.lmu.de/ HTTP 302
    https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/ HTTP 303
    https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/ Page URL

Redirected requests

There were HTTP redirect chains for the following requests:

10 HTTP transactions

Resource
Path
Size
x-fer
Type
MIME-Type
Primary Request /
vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/
Redirect Chain
  • https://vcloud-webclient.sosy.ifi.lmu.de/
  • https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/
  • https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/
11 KB
3 KB
Document
General
Full URL
https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2001:4ca0:4000:53::15 , Germany, ASN12816 (MWN-AS, DE),
Reverse DNS
Software
Apache /
Resource Hash
7d516940b3aa398c08c09b3aa213edc6a878f4f7119ffa5487ddde56edbc0ba0
Security Headers
Name Value
Strict-Transport-Security max-age=15768000
X-Content-Type-Options nosniff nosniff

Request headers

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

Response headers

cache-control
max-age=0
content-encoding
gzip
content-type
text/html;charset=UTF-8
date
Thu, 08 Aug 2024 11:05:59 GMT
referrer-policy
strict-origin-when-cross-origin
server
Apache
strict-transport-security
max-age=15768000
vary
Accept-Encoding
x-content-type-options
nosniff nosniff

Redirect headers

cache-control
max-age=0
content-length
0
date
Thu, 08 Aug 2024 11:05:59 GMT
location
https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/
referrer-policy
strict-origin-when-cross-origin
server
Apache
strict-transport-security
max-age=15768000
x-content-type-options
nosniff nosniff
bootstrap.min.css
vcloud-webclient.sosy.ifi.lmu.de/cpachecker/assets/bootstrap-3.3.7-dist/css/
118 KB
18 KB
Stylesheet
General
Full URL
https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/assets/bootstrap-3.3.7-dist/css/bootstrap.min.css
Requested by
Host: vcloud-webclient.sosy.ifi.lmu.de
URL: https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2001:4ca0:4000:53::15 , Germany, ASN12816 (MWN-AS, DE),
Reverse DNS
Software
Apache /
Resource Hash
f75e846cc83bd11432f4b1e21a45f31bc85283d11d372f7b19accd1bf6a2635c
Security Headers
Name Value
Strict-Transport-Security max-age=15768000
X-Content-Type-Options nosniff, nosniff

Request headers

Referer
https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/
User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36

Response headers

strict-transport-security
max-age=15768000
content-encoding
br
referrer-policy
strict-origin-when-cross-origin
x-content-type-options
nosniff, nosniff
last-modified
Tue, 16 Aug 2022 13:36:00 GMT
server
Apache
date
Thu, 08 Aug 2024 11:06:00 GMT
etag
W/"121200-1660656960000-br"
vary
Accept-Encoding
content-type
text/css
cache-control
max-age=0
accept-ranges
bytes
app.css
vcloud-webclient.sosy.ifi.lmu.de/cpachecker/assets/css/
628 B
391 B
Stylesheet
General
Full URL
https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/assets/css/app.css
Requested by
Host: vcloud-webclient.sosy.ifi.lmu.de
URL: https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2001:4ca0:4000:53::15 , Germany, ASN12816 (MWN-AS, DE),
Reverse DNS
Software
Apache /
Resource Hash
0b382e2667f9e315366682e8cfcb412838cd8afaf07596a8ef7a7084601ac902
Security Headers
Name Value
Strict-Transport-Security max-age=15768000
X-Content-Type-Options nosniff, nosniff

Request headers

Referer
https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/
User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36

Response headers

strict-transport-security
max-age=15768000
content-encoding
br
referrer-policy
strict-origin-when-cross-origin
x-content-type-options
nosniff, nosniff
last-modified
Tue, 16 Aug 2022 13:36:00 GMT
server
Apache
date
Thu, 08 Aug 2024 11:06:00 GMT
etag
W/"628-1660656960000-br"
vary
Accept-Encoding
content-type
text/css
cache-control
max-age=0
accept-ranges
bytes
jquery-3.3.1.min.js
vcloud-webclient.sosy.ifi.lmu.de/cpachecker/assets/jquery-3.3.1/
85 KB
29 KB
Script
General
Full URL
https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/assets/jquery-3.3.1/jquery-3.3.1.min.js
Requested by
Host: vcloud-webclient.sosy.ifi.lmu.de
URL: https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2001:4ca0:4000:53::15 , Germany, ASN12816 (MWN-AS, DE),
Reverse DNS
Software
Apache /
Resource Hash
160a426ff2894252cd7cebbdd6d6b7da8fcd319c65b70468f10b6690c45d02ef
Security Headers
Name Value
Strict-Transport-Security max-age=15768000
X-Content-Type-Options nosniff, nosniff

Request headers

Referer
https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/
User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36

Response headers

strict-transport-security
max-age=15768000
content-encoding
br
referrer-policy
strict-origin-when-cross-origin
x-content-type-options
nosniff, nosniff
last-modified
Tue, 16 Aug 2022 13:36:00 GMT
server
Apache
date
Thu, 08 Aug 2024 11:06:00 GMT
etag
W/"86927-1660656960000-br"
vary
Accept-Encoding
content-type
application/javascript
cache-control
max-age=0
accept-ranges
bytes
bootstrap.min.js
vcloud-webclient.sosy.ifi.lmu.de/cpachecker/assets/bootstrap-3.3.7-dist/js/
36 KB
9 KB
Script
General
Full URL
https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/assets/bootstrap-3.3.7-dist/js/bootstrap.min.js
Requested by
Host: vcloud-webclient.sosy.ifi.lmu.de
URL: https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2001:4ca0:4000:53::15 , Germany, ASN12816 (MWN-AS, DE),
Reverse DNS
Software
Apache /
Resource Hash
53964478a7c634e8dad34ecc303dd8048d00dce4993906de1bacf67f663486ef
Security Headers
Name Value
Strict-Transport-Security max-age=15768000
X-Content-Type-Options nosniff, nosniff

Request headers

Referer
https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/
User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36

Response headers

strict-transport-security
max-age=15768000
content-encoding
br
referrer-policy
strict-origin-when-cross-origin
x-content-type-options
nosniff, nosniff
last-modified
Tue, 16 Aug 2022 13:36:00 GMT
server
Apache
date
Thu, 08 Aug 2024 11:06:00 GMT
etag
W/"37045-1660656960000-br"
vary
Accept-Encoding
content-type
application/javascript
cache-control
max-age=0
accept-ranges
bytes
logo-cloud.svg
vcloud-webclient.sosy.ifi.lmu.de/cpachecker/assets/img/
5 KB
2 KB
Image
General
Full URL
https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/assets/img/logo-cloud.svg
Requested by
Host: vcloud-webclient.sosy.ifi.lmu.de
URL: https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2001:4ca0:4000:53::15 , Germany, ASN12816 (MWN-AS, DE),
Reverse DNS
Software
Apache /
Resource Hash
e52123dd2d9ad708e39424cb38b3ce9dd4c722da48714daf7d657b0a941ee1a4
Security Headers
Name Value
Strict-Transport-Security max-age=15768000
X-Content-Type-Options nosniff, nosniff

Request headers

Referer
https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/
User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36

Response headers

strict-transport-security
max-age=15768000
content-encoding
br
referrer-policy
strict-origin-when-cross-origin
x-content-type-options
nosniff, nosniff
last-modified
Tue, 16 Aug 2022 13:36:00 GMT
server
Apache
date
Thu, 08 Aug 2024 11:06:00 GMT
etag
W/"5101-1660656960000-br"
vary
Accept-Encoding
content-type
image/svg+xml
cache-control
max-age=0
accept-ranges
bytes
sosylogo.png
www.sosy-lab.org/images/
7 KB
7 KB
Image
General
Full URL
https://www.sosy-lab.org/images/sosylogo.png
Requested by
Host: vcloud-webclient.sosy.ifi.lmu.de
URL: https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2001:4ca0:4000:53::23 , Germany, ASN12816 (MWN-AS, DE),
Reverse DNS
Software
Apache /
Resource Hash
8b51a1b20814ce61f7b5b8d7cdaf528cb4f162f72ce0359b3be6424113b69291
Security Headers
Name Value
Strict-Transport-Security max-age=15768000
X-Content-Type-Options nosniff

Request headers

Referer
https://vcloud-webclient.sosy.ifi.lmu.de/
User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36

Response headers

strict-transport-security
max-age=15768000
date
Thu, 08 Aug 2024 11:06:00 GMT
referrer-policy
strict-origin-when-cross-origin
x-content-type-options
nosniff
last-modified
Mon, 08 Aug 2022 13:23:33 GMT
server
Apache
etag
"1d10-5e5bab8fdbd78"
content-type
image/png
cache-control
max-age=0
accept-ranges
bytes
content-length
7440
logo.svg
cpachecker.sosy-lab.org/
5 KB
2 KB
Image
General
Full URL
https://cpachecker.sosy-lab.org/logo.svg
Requested by
Host: vcloud-webclient.sosy.ifi.lmu.de
URL: https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2001:4ca0:4000:53::23 , Germany, ASN12816 (MWN-AS, DE),
Reverse DNS
Software
Apache /
Resource Hash
f732dd2688314b014ee3cf67ab7877a3232ddd159fb0f588c6b77345c26de840
Security Headers
Name Value
Strict-Transport-Security max-age=15768000
X-Content-Type-Options nosniff

Request headers

Referer
https://vcloud-webclient.sosy.ifi.lmu.de/
User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36

Response headers

strict-transport-security
max-age=15768000
content-encoding
br
referrer-policy
strict-origin-when-cross-origin
x-content-type-options
nosniff
last-modified
Mon, 08 Aug 2022 12:59:14 GMT
server
Apache
date
Thu, 08 Aug 2024 11:06:00 GMT
etag
"133b-5e5ba6201cc6a-br"
vary
Accept-Encoding
content-type
image/svg+xml
cache-control
max-age=0
accept-ranges
bytes
content-length
1992
Uni-Logo-LMU.svg
www.sosy-lab.org/images/
14 KB
4 KB
Image
General
Full URL
https://www.sosy-lab.org/images/Uni-Logo-LMU.svg
Requested by
Host: vcloud-webclient.sosy.ifi.lmu.de
URL: https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2001:4ca0:4000:53::23 , Germany, ASN12816 (MWN-AS, DE),
Reverse DNS
Software
Apache /
Resource Hash
4db2be753e1e0652555a8ed0e70b2bddf51384cc7635d59d44b69b90661b4f6f
Security Headers
Name Value
Strict-Transport-Security max-age=15768000
X-Content-Type-Options nosniff

Request headers

Referer
https://vcloud-webclient.sosy.ifi.lmu.de/
User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36

Response headers

strict-transport-security
max-age=15768000
content-encoding
br
referrer-policy
strict-origin-when-cross-origin
x-content-type-options
nosniff
last-modified
Mon, 08 Aug 2022 13:23:33 GMT
server
Apache
date
Thu, 08 Aug 2024 11:06:00 GMT
etag
"39e0-5e5bab8fdbd78-br"
vary
Accept-Encoding
content-type
image/svg+xml
cache-control
max-age=0
accept-ranges
bytes
content-length
4425
favicon.ico
vcloud-webclient.sosy.ifi.lmu.de/cpachecker/assets/
4 KB
4 KB
Other
General
Full URL
https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/assets/favicon.ico
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2001:4ca0:4000:53::15 , Germany, ASN12816 (MWN-AS, DE),
Reverse DNS
Software
Apache /
Resource Hash
e1f603ec434fb5245e20a43c4b3e367e7376854e614334c5dc3e50e7098d134d
Security Headers
Name Value
Strict-Transport-Security max-age=15768000
X-Content-Type-Options nosniff, nosniff

Request headers

Referer
https://vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/
User-Agent
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36

Response headers

strict-transport-security
max-age=15768000
date
Thu, 08 Aug 2024 11:06:00 GMT
referrer-policy
strict-origin-when-cross-origin
x-content-type-options
nosniff, nosniff
last-modified
Tue, 16 Aug 2022 13:36:00 GMT
server
Apache
etag
W/"4286-1660656960000"
content-type
image/x-icon
cache-control
max-age=0
accept-ranges
bytes

Verdicts & Comments Add Verdict or Comment

2 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.

function| $ function| jQuery

0 Cookies

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 nosniff