Is z3tracer safe to use?

z3tracer has no known vulnerabilities on the latest version (0.11.2). DepScope rates its health at 51/100 (high risk).

What is the latest version of z3tracer?

The latest version of z3tracer is 0.11.2, released 2021-08-30.

Does z3tracer have known vulnerabilities?

No known vulnerabilities on the latest version of z3tracer.

Is z3tracer deprecated?

No, z3tracer is actively maintained. Latest release: 0.11.2 (2021-08-30).

What are alternatives to z3tracer?

Popular alternatives to z3tracer in Cargo include: hashbrown, getrandom, windows-sys, syn.

What license does z3tracer use?

z3tracer is licensed under MIT OR Apache-2.0.

z3tracer

cargov0.11.2

Parser for Z3 tracing logs

License MIT OR Apache-2.0permissive15 versions0 deps109,401 weekly dl

facebookincubator/smt2utils

/ 100

Health

safe to use

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

Health breakdown0 – 100

0/25

maintenance

14/20

popularity

25/25

security

12/15

maturity

0/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/cargo/z3tracer