Open-source atomic malware analysis

Analyze another

github.com/leanprover/lean4export v4.27.0-rc1.0.20260126024003-5f3e3d595073+incompatible

ZIP
Verdict: BENIGN
SHA256: 32351b35462120c6609f81c65edb58903be6706abadf7367be5f0d8e750a7a4a
Mal-ecule
H₂(OsPo)Md
Size 22.2 KB download
First seen 39 days ago
Analyzed 38 days ago
Package pkg:golang/github.com/leanprover/[email protected]+incompatible
Ecosystem go
Source proxy.golang.org

Loading file contents…

Loading traits…

Identity

SHA-256 32351b35462120c6609f81c65edb58903be6706abadf7367be5f0d8e750a7a4a
Filename github.com-leanprover-lean4export-v4.27.0-rc1.0.20260126024003-5f3e3d595073+incompatible.zip
Package github.com/leanprover/lean4export
Version v4.27.0-rc1.0.20260126024003-5f3e3d595073+incompatible
PURL pkg:golang/github.com/leanprover/[email protected]+incompatible

Origin

Source forager
Feed pkg.go.dev
Ecosystem go
Domain golang.org
URL https://proxy.golang.org/github.com/leanprover/lean4export/@v/v4.27.0-rc1.0.20260126024003-5f3e3d595073+incompatible.zip

Timeline

First seen 23 Jul 2026 02:32 UTC
First analyzed 24 Jul 2026 05:19 UTC
Last analyzed 24 Jul 2026 05:19 UTC
Last updated 24 Jul 2026 05:19 UTC

Labeling

Label unknown
Label source forager
Traits version 52b15