GitHub repository: sach1t/symbv
Primary language: Java
Description: Validating changes using concolic execution