home

coq-installer-8.4pl6.exe

The program is a setup application that uses the Nullsoft Install System installer. The file has been seen being downloaded from coq.inria.fr.
MD5:
cd4123911553297a0b6dc98dd8876bec

SHA-1:
b9babb1523220d24dd274e9a1ac605dc540a0a17

SHA-256:
daf253bc680f16711123e09642439684fe03d9c74723b47711a40f96c9e34e7b

Scanner detections:
0 / 68

Status:
Clean (as of last analysis)

Analysis date:
12/28/2024 6:33:12 AM UTC  (today)

File size:
52.4 MB (54,976,000 bytes)

File type:
Executable application (Win32 EXE)

Installer:
Nullsoft Install System

Common path:
C:\users\{user}\downloads\coq-installer-8.4pl6.exe

File PE Metadata
Compilation timestamp:
5/8/2010 3:56:30 AM

OS version:
4.0

OS bitness:
Win32

Subsystem:
Windows GUI

Linker version:
2.56

CTPH (ssdeep):
1572864:Lqp/qdwpWf9ukxQ4kWsF2LuFTcnIB81g/RsA0GLF:Gp/qdwGI9RDFgIB8uJLjF

Entry address:
0x3E13

Entry point:
55, 89, E5, 57, 56, 53, 81, EC, AC, 01, 00, 00, E8, 18, 57, 00, 00, C7, 04, 24, 01, 80, 00, 00, E8, 6C, 50, 00, 00, 53, C7, 04, 24, 00, 00, 00, 00, E8, 4F, 57, 00, 00, A3, 40, 5B, 42, 00, 51, C7, 04, 24, 08, 00, 00, 00, E8, 27, 32, 00, 00, A3, F0, 5B, 42, 00, 8D, 85, 84, FE, FF, FF, 52, C7, 44, 24, 10, 00, 00, 00, 00, C7, 44, 24, 0C, 60, 01, 00, 00, 89, 44, 24, 08, C7, 44, 24, 04, 00, 00, 00, 00, C7, 04, 24, 4C, B2, 40, 00, E8, E9, 55, 00, 00, 83, EC, 14, C7, 44, 24, 04, 4D, B2, 40, 00, C7, 04, 24, 20, 5C...
 
[+]

Entropy:
8.0000  (probably packed)

Code size:
33.5 KB (34,304 bytes)

The file coq-installer-8.4pl6.exe has been seen being distributed by the following URL.

https://coq.inria.fr/distrib/V8.4pl6/.../coq-installer-8.4pl6.exe

Scan coq-installer-8.4pl6.exe - Powered by Reason Core Security
herdProtect is a second line of defense malware removal platform powered by 68 anti-malware engines in the cloud. Since no single anti-malware program is perfect 100% of the time, herdProtect utilizes a 'herd' of multiple engines to guarantee the widest coverage and the earliest possible detection.