Is boogie safe to use?

boogie has no known vulnerabilities on the latest version (3.5.6). DepScope rates its health at 54/100 (high risk).

What is the latest version of boogie?

The latest version of boogie is 3.5.6, released 2025-12-13.

No known vulnerabilities on the latest version of boogie.

No, boogie is actively maintained. Latest release: 3.5.6 (2025-12-13).

DepScope has no curated alternatives for boogie at this time.

condav3.5.6

Boogie is a modeling language, intended as a layer on which to build program verifiers for other languages.

License MITpermissive8 versions1 maintainers0 deps107 weekly dl

/ 100

Health

safe to use

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

Health breakdown0 – 100

15/25

maintenance

3/20

popularity

25/25

security

6/15

maturity

5/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/conda/boogie

First published · 2024-11-28 20:49:30.109000+00:00

Last updated · 2025-12-13 00:47:44.762000+00:00