vcloud-webclient.sosy.ifi.lmu.de
Open in
urlscan Pro
2001:4ca0:4000:53::15
Public Scan
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
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... 2001:4ca0:4000:53::15 | 12816 (MWN-AS) (MWN-AS) | |
3 | 2001:4ca0:400... 2001:4ca0:4000:53::23 | 12816 (MWN-AS) (MWN-AS) | |
10 | 2 |
Apex Domain Subdomains |
Transfer | |
---|---|---|
9 |
lmu.de
2 redirects
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 BenchCloudPage URL History Show full URLs
-
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
Bootstrap (Web Frameworks) ExpandDetected 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
jQuery (JavaScript Libraries) Expand
Detected patterns
- jquery[.-]([\d.]*\d)[^/]*\.js
- jquery.*\.js(?:\?ver(?:sion)?=([\d.]+))?
Page Statistics
3 Outgoing links
These are links going to different origins than the main page.
Search URL Search Domain Scan URL
Search URL Search Domain Scan URL
Title: Project lead: Dirk Beyer
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://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
Method Protocol |
Resource Path |
Size x-fer |
Type MIME-Type |
||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
GET H2 |
Primary Request
/
vcloud-webclient.sosy.ifi.lmu.de/cpachecker/webclient/help/ Redirect Chain
|
11 KB 3 KB |
Document
text/html |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
Redirect headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
bootstrap.min.css
vcloud-webclient.sosy.ifi.lmu.de/cpachecker/assets/bootstrap-3.3.7-dist/css/ |
118 KB 18 KB |
Stylesheet
text/css |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
app.css
vcloud-webclient.sosy.ifi.lmu.de/cpachecker/assets/css/ |
628 B 391 B |
Stylesheet
text/css |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
jquery-3.3.1.min.js
vcloud-webclient.sosy.ifi.lmu.de/cpachecker/assets/jquery-3.3.1/ |
85 KB 29 KB |
Script
application/javascript |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
bootstrap.min.js
vcloud-webclient.sosy.ifi.lmu.de/cpachecker/assets/bootstrap-3.3.7-dist/js/ |
36 KB 9 KB |
Script
application/javascript |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
logo-cloud.svg
vcloud-webclient.sosy.ifi.lmu.de/cpachecker/assets/img/ |
5 KB 2 KB |
Image
image/svg+xml |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
sosylogo.png
www.sosy-lab.org/images/ |
7 KB 7 KB |
Image
image/png |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
logo.svg
cpachecker.sosy-lab.org/ |
5 KB 2 KB |
Image
image/svg+xml |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
Uni-Logo-LMU.svg
www.sosy-lab.org/images/ |
14 KB 4 KB |
Image
image/svg+xml |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
favicon.ico
vcloud-webclient.sosy.ifi.lmu.de/cpachecker/assets/ |
4 KB 4 KB |
Other
image/x-icon |
||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
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| jQuery0 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 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.
cpachecker.sosy-lab.org
vcloud-webclient.sosy.ifi.lmu.de
www.sosy-lab.org
2001:4ca0:4000:53::15
2001:4ca0:4000:53::23
0b382e2667f9e315366682e8cfcb412838cd8afaf07596a8ef7a7084601ac902
160a426ff2894252cd7cebbdd6d6b7da8fcd319c65b70468f10b6690c45d02ef
4db2be753e1e0652555a8ed0e70b2bddf51384cc7635d59d44b69b90661b4f6f
53964478a7c634e8dad34ecc303dd8048d00dce4993906de1bacf67f663486ef
7d516940b3aa398c08c09b3aa213edc6a878f4f7119ffa5487ddde56edbc0ba0
8b51a1b20814ce61f7b5b8d7cdaf528cb4f162f72ce0359b3be6424113b69291
e1f603ec434fb5245e20a43c4b3e367e7376854e614334c5dc3e50e7098d134d
e52123dd2d9ad708e39424cb38b3ce9dd4c722da48714daf7d657b0a941ee1a4
f732dd2688314b014ee3cf67ab7877a3232ddd159fb0f588c6b77345c26de840
f75e846cc83bd11432f4b1e21a45f31bc85283d11d372f7b19accd1bf6a2635c