Spectra Assure
Community
Docs
passEverything is awesome!
Scanned: 2 days ago

z3-solver

Artifact:
Top 10k
an efficient SMT solver library
License: Permissive (MIT)
Published: 9 months ago
Visit Github
See on PyPI

SAFE Assessment

Compliance

Licenses
No license compliance issues
Secrets
No sensitive information found

Security

Vulnerabilities
No known vulnerabilities detected
Hardening
No application hardening issues

Threats

Tampering
No evidence of software tampering
Malware
No evidence of malware inclusion
Historical list of all known contributors that worked on this software package.
Role
Username
owner
Andrew Dutcher
owner
Audrey Dutcher
owner
The Z3 Theorem Prover Project
maintainer
Audrey Dutcher and Nikolaj Bjorner

Did you know...

... that you can use ReversingLabs’ Spectra Assure platform to perform regular risk assessments of packages you develop in-house?

We recommend continuous software safeness monitoring through CI/CD integrations and pre-release/deployment checks. In addition to basic package information found on this page our platform offers rich reports for developers and DevSecOps that help them remediate all reported issues.

This website uses cookies to ensure the best website experience. By continuing to use this website you are giving your consent to cookies being used. Detailed information about our use of cookies is here.