cprover
Static analysis APIs
Author

To be documented.