GitHub repository: Edkamb/crowbar-tool
Primary language: Kotlin
Description: Symbolic execution engine for ABS