Is crux-llvm safe to use?

crux-llvm has no known vulnerabilities on the latest version (0.12). DepScope rates its health at 53/100 (high risk).

What is the latest version of crux-llvm?

The latest version of crux-llvm is 0.12, released 2026-01-29.

No known vulnerabilities on the latest version of crux-llvm.

No, crux-llvm is actively maintained. Latest release: 0.12 (2026-01-29).

DepScope has no curated alternatives for crux-llvm at this time.

crux-llvm is licensed under BSD-3-Clause.

hackagev0.12

A verification tool for C programs.

License BSD-3-Clausepermissive6 versions1 maintainers0 deps

/ 100

Health

safe to use

[email protected] is safe to use (health: 53/100)

Health breakdown0 – 100

20/25

maintenance

0/20

popularity

25/25

security

6/15

maturity

2/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/hackage/crux-llvm

Last updated · 2026-01-29T20:44:25.910711138Z