GitHub repository: DeepseaPlatform/coastal
Primary language: Java
Created: 2018-06-28T11:28:25Z
Description: Concolic analysis tool for Java