GitHub repository: ChaofengZhou/jdart
Primary language: Java
Description: A dynamic symbolic analysis tool for Java