Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 2 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 6 years ago)
- Default Branch: master
- Last Pushed: 2022-11-16T09:26:02.000Z (about 2 years ago)
- Last Synced: 2024-08-01T21:47:24.740Z (5 months ago)
- Language: Python
- Homepage:
- Size: 293 MB
- Stars: 32
- Watchers: 8
- Forks: 9
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
- License: LICENSE.txt
Awesome Lists containing this project
- Awesome-Android-Reverse-Engineering - COVA - COVA is a static analysis tool to compute path constraints based on user-defined APIs. (Tools / Static Analysis Tools)