COVA - A static analysis tool to compute path conditions - View it on GitHub