COVA - A static analysis tool to compute path conditions
Primary LanguagePythonGNU Lesser General Public License v2.1LGPL-2.1