URL Inspection: https://github.com/Software-Hardware-Codesign/Automata4j

Technologies Detected

Infrastructure & Network (4)

CDN	Amazon S3 https://aws.amazon.com/s3/
Evidence: • Resource Hint: https://github-cloud.s3.amazonaws.com • Header Content-Security-Policy (connect-src): https://github-cloud.s3.amazonaws.com • Header Content-Security-Policy (connect-src): https://github-production-repository-file-5c1aeb.s3.amazonaws.com • Header Content-Security-Policy (connect-src): https://github-production-upload-manifest-file-7fdce7.s3.amazonaws.com • Header Content-Security-Policy (connect-src): https://github-production-user-asset-6210df.s3.amazonaws.com ... and 5 more

DNS Provider	AWS Route53 https://aws.amazon.com/route53/
Evidence: • DNS Record NS: ns-1283.awsdns-32.org • DNS Record NS: ns-1707.awsdns-21.co.uk • DNS Record NS: ns-421.awsdns-52.com • DNS Record NS: ns-520.awsdns-01.net

DNS Provider	IBM NS1 https://ns1.com
Evidence: • DNS Record NS: dns1.p08.nsone.net • DNS Record NS: dns2.p08.nsone.net • DNS Record NS: dns3.p08.nsone.net • DNS Record NS: dns4.p08.nsone.net

Email Provider	Google Mail https://workspace.google.com/products/gmail/
Evidence: • DNS Record MX: aspmx.l.google.com • DNS Record MX: alt2.aspmx.l.google.com • DNS Record MX: alt1.aspmx.l.google.com • DNS Record MX: alt3.aspmx.l.google.com • DNS Record MX: alt4.aspmx.l.google.com

SSL & Certificates (3)

Certificate Authority	DigiCert https://www.digicert.com
Evidence: • DNS Record CAA: digicert.com

Certificate Authority	GlobalSign https://www.globalsign.com
Evidence: • DNS Record CAA: globalsign.com

Certificate Authority	Sectigo https://sectigo.com
Evidence: • DNS Record CAA: sectigo.com • SSL Certificate Issuer: C=GB, ST=Greater Manchester, L=Salford, O=Sectigo Limited, CN=Sectigo ECC Domain Validation Secure Server CA

Other (3)

Cloud	Azure Blob Storage https://azure.microsoft.com/products/storage/blobs
Evidence: • Header Content-Security-Policy (connect-src): https://productionresultssa0.blob.core.windows.net/ • Header Content-Security-Policy (connect-src): https://productionresultssa1.blob.core.windows.net/ • Header Content-Security-Policy (connect-src): https://productionresultssa2.blob.core.windows.net/ • Header Content-Security-Policy (connect-src): https://productionresultssa3.blob.core.windows.net/ • Header Content-Security-Policy (connect-src): https://productionresultssa4.blob.core.windows.net/ ... and 16 more

Development	GitHub https://github.com
Evidence: • Header X-Github-Request-Id: 9CAE:1FCF23:205E603:2C02573:69203C93 • Header Server: github.com • IP 140.82.113.3 → ASN 36459 • Reverse DNS: lb-140-82-113-3-iad.github.com

Registrar	MarkMonitor https://markmonitor.com
Evidence: • WHOIS Registrar: MarkMonitor, Inc.

Metadata & SEO

Title

GitHub - Electrostat-Lab/Automata4j: A classic finite state automaton framework for JVM Applications (Android and jMonkeyEngine Applications).

Description

A classic finite state automaton framework for JVM Applications (Android and jMonkeyEngine Applications). - Electrostat-Lab/Automata4j

Canonical URL

https://github.com/Electrostat-Lab/Automata4j

Language

en

Viewport

width=device-width

Domain Owner Information

View Full WHOIS

Registrar

MarkMonitor, Inc.

Created

October 09, 2007

18 years 42 days old

Expires

October 09, 2026

10 months 27 days left

SSL/TLS Certificate

View Full SSL Report

Issued By

C=GB, ST=Greater Manchester, L=Salford, O=Sectigo Limited, CN=Sectigo ECC Domain Validation Secure Server CA

Security Score

94 /100

Social Media Cards

OpenGraph (9 properties)

Type

object

Description

A classic finite state automaton framework for JVM Applications (Android and jMonkeyEngine Applications). - Electrostat-Lab/Automata4j

Title

GitHub - Electrostat-Lab/Automata4j: A classic finite state automaton framework for JVM Applications (Android and jMonkeyEngine Applications).

Image

https://opengraph.githubassets.com/8194d7a1f1c9d33793a12fe2e880c9008b1fff5ccfbf8bcf4043a4682fd8890f/Electrostat-Lab/Automata4j

Url

https://github.com/Electrostat-Lab/Automata4j

Image:alt

A classic finite state automaton framework for JVM Applications (Android and jMonkeyEngine Applications). - Electrostat-Lab/Automata4j

Image:width

1200

Image:height

600

Site Name

GitHub

Twitter Cards (5 properties)

Description

A classic finite state automaton framework for JVM Applications (Android and jMonkeyEngine Applications). - Electrostat-Lab/Automata4j

Title

GitHub - Electrostat-Lab/Automata4j: A classic finite state automaton framework for JVM Applications (Android and jMonkeyEngine Applications).

Image

https://opengraph.githubassets.com/8194d7a1f1c9d33793a12fe2e880c9008b1fff5ccfbf8bcf4043a4682fd8890f/Electrostat-Lab/Automata4j

Card

summary_large_image

Site

@github

Network & Hosting

View DNS Records

140.82.113.3 • AS36459

GitHub

Reverse DNS: lb-140-82-113-3-iad.github.com

External Dependencies

amazonaws.com (1 resources)

Resource Hints (1)

• dns-prefetch https://github-cloud.s3.amazonaws.com

Technologies Detected

Infrastructure & Network (4)

SSL & Certificates (3)

Other (3)

Metadata & SEO

Domain Owner Information

SSL/TLS Certificate

Social Media Cards

OpenGraph (9 properties)

Twitter Cards (5 properties)

Network & Hosting

External Dependencies

amazonaws.com (1 resources)

Resource Hints (1)

githubassets.com (69 resources)

Scripts (53)

Stylesheets (14)

Resource Hints (2)

githubusercontent.com (6 resources)

Images (3)

Resource Hints (3)