GitHub repository: secure-software-engineering/COVA
Primary language: Python
Description: COVA - A static analysis tool to compute path conditions