GitHub repository: tudo-aqua/jdart
Primary language: Java
Description: A dynamic symbolic analysis tool for Java