Open-source atomic malware analysis

Analyze another

why3-bin 1.8.2-1

TAR.GZ
Verdict: BENIGN
SHA256: aac36e6ff4ff45ee0fa25925b541b03a236aac5b901783bf33fa0588c51a5e5b
“Software verification platform for deductive program verification”
Mal-ecule
H₂(DbF)Md₂(BkPa)
Size 1.0 KB download
First seen 10 days ago
Analyzed 4 days ago
Package pkg:alpm/aur/[email protected]
Ecosystem arch
Source aur.archlinux.org

Loading file contents…

Loading traits…

Identity

SHA-256 aac36e6ff4ff45ee0fa25925b541b03a236aac5b901783bf33fa0588c51a5e5b
Canonical SHA-256 0616d4a4f32d5de1b585ef0a281f392c4c71b787dd33d5b08c9661f4ccf47d5a
Filename why3-bin-1.8.2-2.src.tar.gz
Package why3-bin
Version 1.8.2-1
PURL pkg:alpm/aur/[email protected]

Origin

Source forager
Feed aur.archlinux.org
Ecosystem arch
Domain archlinux.org
URL https://aur.archlinux.org/cgit/aur.git/snapshot/why3-bin.tar.gz

Timeline

First seen 18 Aug 2026 13:51 UTC
First analyzed 24 Aug 2026 09:23 UTC
Last analyzed 24 Aug 2026 09:23 UTC
Last updated 24 Aug 2026 09:23 UTC

Labeling

Label unknown
Label source forager
Traits version 041e5