GitHub repository: trailofbits/sandshrew
Primary language: Python
Description: Underconstrained symbolic execution for cryptography verification