The latest version of python-liv with no known security vulnerabilities is 0.1.dev0. We recommend installing version 0.1.dev0.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
- Latest release
-
v0.1.dev0 at Feb. 28, 2023
- License
-
Apache-2.0 (Apache License 2.0)
Description
Generating verification conditions out of C programs.
No known vulnerabilities found
Has known vulnerabilities