docs.sel4.systems
Open in
urlscan Pro
2606:50c0:8000::153
Public Scan
Effective URL: https://docs.sel4.systems/
Submission: On January 31 via api from US — Scanned from DE
Summary
TLS certificate: Issued by R3 on January 1st 2024. Valid for: 3 months.
This is the only time docs.sel4.systems was scanned on urlscan.io!
urlscan.io Verdict: No classification
Domain & IP information
IP Address | AS Autonomous System | ||
---|---|---|---|
1 1 | 2606:50c0:800... 2606:50c0:8002::153 | 54113 (FASTLY) (FASTLY) | |
4 | 2606:50c0:800... 2606:50c0:8000::153 | 54113 (FASTLY) (FASTLY) | |
3 | 2606:4700:e6:... 2606:4700:e6::ac40:cf26 | 13335 (CLOUDFLAR...) (CLOUDFLARENET) | |
1 | 2a00:1450:400... 2a00:1450:4001:82a::200a | 15169 (GOOGLE) (GOOGLE) | |
2 | 2a00:1450:400... 2a00:1450:4001:811::2008 | 15169 (GOOGLE) (GOOGLE) | |
3 | 40.114.177.156 40.114.177.156 | 8075 (MICROSOFT...) (MICROSOFT-CORP-MSN-AS-BLOCK) | |
2 | 2a00:1450:400... 2a00:1450:4001:810::200e | 15169 (GOOGLE) (GOOGLE) | |
1 | 2001:4860:480... 2001:4860:4802:34::36 | 15169 (GOOGLE) (GOOGLE) | |
16 | 7 |
ASN15169 (GOOGLE, US)
www.googletagmanager.com |
ASN15169 (GOOGLE, US)
www.google-analytics.com |
Apex Domain Subdomains |
Transfer | |
---|---|---|
5 |
sel4.systems
1 redirects
docs.sel4.systems |
33 KB |
3 |
google-analytics.com
www.google-analytics.com — Cisco Umbrella Rank: 27 region1.google-analytics.com — Cisco Umbrella Rank: 2029 |
21 KB |
3 |
duckduckgo.com
duckduckgo.com — Cisco Umbrella Rank: 4029 |
29 KB |
3 |
fontawesome.com
use.fontawesome.com — Cisco Umbrella Rank: 971 |
101 KB |
2 |
googletagmanager.com
www.googletagmanager.com — Cisco Umbrella Rank: 37 |
147 KB |
1 |
googleapis.com
fonts.googleapis.com — Cisco Umbrella Rank: 28 |
994 B |
16 | 6 |
Domain | Requested by | |
---|---|---|
5 | docs.sel4.systems |
1 redirects
docs.sel4.systems
|
3 | duckduckgo.com |
docs.sel4.systems
duckduckgo.com |
3 | use.fontawesome.com |
docs.sel4.systems
use.fontawesome.com |
2 | www.google-analytics.com |
www.googletagmanager.com
www.google-analytics.com |
2 | www.googletagmanager.com |
docs.sel4.systems
www.googletagmanager.com |
1 | region1.google-analytics.com |
www.googletagmanager.com
|
1 | fonts.googleapis.com |
docs.sel4.systems
|
16 | 7 |
This site contains links to these domains. Also see Links.
Domain |
---|
sel4.systems |
sel4.discourse.group |
github.com |
Subject Issuer | Validity | Valid | |
---|---|---|---|
docs.sel4.systems R3 |
2024-01-01 - 2024-03-31 |
3 months | crt.sh |
use.fontawesome.com Cloudflare Inc ECC CA-3 |
2023-10-12 - 2024-10-10 |
a year | crt.sh |
upload.video.google.com GTS CA 1C3 |
2024-01-09 - 2024-04-02 |
3 months | crt.sh |
*.google-analytics.com GTS CA 1C3 |
2024-01-09 - 2024-04-02 |
3 months | crt.sh |
*.duckduckgo.com DigiCert Global G2 TLS RSA SHA256 2020 CA1 |
2023-10-06 - 2024-11-05 |
a year | crt.sh |
This page contains 2 frames:
Primary Page:
https://docs.sel4.systems/
Frame ID: E5E23D0A685FFF78BEEDE6AC4E87BACD
Requests: 13 HTTP requests in this frame
Frame:
https://duckduckgo.com/search.html?site=docs.sel4.systems&prefill=Search%20sel4.systems
Frame ID: E1DFE9C412C9D2EE8D1309944654E124
Requests: 3 HTTP requests in this frame
Screenshot
Page Title
seL4 Docs | seL4 docsPage URL History Show full URLs
-
http://docs.sel4.systems/
HTTP 301
https://docs.sel4.systems/ Page URL
Detected technologies
Font Awesome (Font Scripts) ExpandDetected patterns
- <link[^>]* href=[^>]*?(?:F|f)o(?:n|r)t-?(?:A|a)wesome(?:[^>]*?([0-9a-fA-F]{7,40}|[\d]+(?:.[\d]+(?:.[\d]+)?)?)|)
- (?:F|f)o(?:n|r)t-?(?:A|a)wesome(?:.*?([0-9a-fA-F]{7,40}|[\d]+(?:.[\d]+(?:.[\d]+)?)?)|)
Google Analytics (Analytics) Expand
Detected patterns
- google-analytics\.com/(?:ga|urchin|analytics)\.js
Google Font API (Font Scripts) Expand
Detected patterns
- <link[^>]* href=[^>]+fonts\.(?:googleapis|google)\.com
Google Tag Manager (Tag Managers) Expand
Detected patterns
- googletagmanager\.com/gtag/js
Page Statistics
6 Outgoing links
These are links going to different origins than the main page.
Search URL Search Domain Scan URL
Title: Announcing new releases:
Search URL Search Domain Scan URL
Title: sel4
Search URL Search Domain Scan URL
Title: sel4proj
Search URL Search Domain Scan URL
Title: View page on GitHub
Search URL Search Domain Scan URL
Title: Edit page on GitHub
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.
-
http://docs.sel4.systems/
HTTP 301
https://docs.sel4.systems/ Page URL
Redirected requests
There were HTTP redirect chains for the following requests:
16 HTTP transactions
Method Protocol |
Resource Path |
Size x-fer |
Type MIME-Type |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
GET H2 |
Primary Request
/
docs.sel4.systems/ Redirect Chain
|
8 KB 3 KB |
Document
text/html |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
Redirect headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
style.css
docs.sel4.systems/assets/css/ |
148 KB 23 KB |
Stylesheet
text/css |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
all.css
use.fontawesome.com/releases/v5.0.8/css/ |
35 KB 8 KB |
Stylesheet
text/css |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
css2
fonts.googleapis.com/ |
2 KB 994 B |
Stylesheet
text/css |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
trac.css
docs.sel4.systems/assets/css/highlighting/ |
4 KB 1 KB |
Stylesheet
text/css |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
js
www.googletagmanager.com/gtag/ |
190 KB 69 KB |
Script
application/javascript |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
logo-text-white.svg
docs.sel4.systems/assets/ |
18 KB 6 KB |
Image
image/svg+xml |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
search.html
duckduckgo.com/ Frame E1DF |
48 KB 20 KB |
Document
text/html |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
fa-solid-900.woff2
use.fontawesome.com/releases/v5.0.8/webfonts/ |
39 KB 40 KB |
Font
font/woff2 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
fa-brands-400.woff2
use.fontawesome.com/releases/v5.0.8/webfonts/ |
53 KB 54 KB |
Font
font/woff2 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
logo_icon60.v101.png
duckduckgo.com/assets/ Frame E1DF |
2 KB 4 KB |
Image
image/png |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
search_dropdown_homepage.v102.png
duckduckgo.com/assets/ Frame E1DF |
3 KB 5 KB |
Image
image/png |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
js
www.googletagmanager.com/gtag/ |
221 KB 79 KB |
Script
application/javascript |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
analytics.js
www.google-analytics.com/ |
52 KB 21 KB |
Script
text/javascript |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
POST H2 |
collect
region1.google-analytics.com/g/ |
0 255 B |
Ping
text/plain |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
POST H2 |
collect
www.google-analytics.com/j/ |
1 B 207 B |
XHR
text/plain |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
Verdicts & Comments Add Verdict or Comment
10 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.
object| 0 function| gtag object| dataLayer object| google_tag_manager object| google_tag_data string| GoogleAnalyticsObject function| ga object| gaGlobal object| gaplugins object| gaData4 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.
Domain/Path | Expires | Name / Value |
---|---|---|
.sel4.systems/ | Name: _ga_PC0EZZ87B8 Value: GS1.1.1706660824.1.0.1706660824.0.0.0 |
|
.sel4.systems/ | Name: _ga Value: GA1.2.1318653873.1706660825 |
|
.sel4.systems/ | Name: _gid Value: GA1.2.319046797.1706660825 |
|
.sel4.systems/ | Name: _gat_gtag_UA_117737473_2 Value: 1 |
1 Console Messages
A page may trigger messages to the console to be logged. These are often error messages about being unable to load a resource or execute a piece of JavaScript. Sometimes they also provide insight into the technology behind a website.
Source | Level | URL Text |
---|
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.
docs.sel4.systems
duckduckgo.com
fonts.googleapis.com
region1.google-analytics.com
use.fontawesome.com
www.google-analytics.com
www.googletagmanager.com
2001:4860:4802:34::36
2606:4700:e6::ac40:cf26
2606:50c0:8000::153
2606:50c0:8002::153
2a00:1450:4001:810::200e
2a00:1450:4001:811::2008
2a00:1450:4001:82a::200a
40.114.177.156
0d39b74a4801d7222c3b9e24be30656b613f07ce8af438df9ba6f48f04b38173
1ff6abfa30d930b29000f63cf9c2b3403a9af565fabbadf2f81241c12061aa97
2c6be53c81f3be784a0e852857fd88ab798d9efa73fdd48f0efd7d5e3d7bb5ed
4080b83d8afc4487b8229308be2f196372bd2123613b46388048f14159f07181
434466b59545a8a1cac6ddb38197cdc6b35995a98c3f3812fb88d61b1c300dd3
4ef7b1aedb6099c8c37353b5df1a02fb291d748da1531fe5ea771cd95c53bfed
6b86b273ff34fce19d6b804eff5a3f5747ada4eaa22f1d49c01e52ddb7875b4b
6cb0359ccebe8270ac89c55afddf962c91fa9742ccfb2ca9dd1c84474066a770
6e9409cbb92d01640731eef1e652d5a41fa3ccf1115bc3583a2a58f96f43ef75
7c3d51b6681df0a0c3f65f6a994c174e51c0b89f3b927029860e07cfd2cd4f68
c58fa1becff98ca041ae5271ef2cd0f996553205630f75bd1eae42082550847f
c87b7f745cfb4a994801488584e6e0e78d6c4f0ad567e985a781fc0b86074724
d6d657ea561f099a934e152e1749b0a1341e0d2890eec040dcd882f23a61adb0
de36e50194320a7d3ef1ace9bd34a875a8bd458b253c061979dd628e9bf49afd
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855
e7d4d5340bbe57a01d8f7992142e2763d438d5783890c76748306eebfa056a69