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: 19 days 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 (over 2 years ago)
• Last Synced: 2025-03-25T05:41:37.565Z (23 days ago)
• Language: Python
• Homepage:
• Size: 293 MB
• Stars: 32
• Watchers: 7
• Forks: 8
• 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)