https://github.com/secure-software-engineering/cova
COVA - A static analysis tool to compute path conditions
https://github.com/secure-software-engineering/cova
Last synced: 10 months ago
JSON representation
COVA - A static analysis tool to compute path conditions
- Host: GitHub
- URL: https://github.com/secure-software-engineering/cova
- Owner: secure-software-engineering
- License: lgpl-2.1
- Created: 2018-08-06T07:54:08.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2022-11-16T09:26:02.000Z (about 3 years ago)
- Last Synced: 2025-03-25T05:41:37.565Z (11 months ago)
- Language: Python
- Homepage:
- Size: 293 MB
- Stars: 32
- Watchers: 7
- Forks: 8
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
- License: LICENSE.txt