cprover
Symbolic executors
Author

Symex class

To be documented.