GitHub repository: pruemmer/aratha
Primary language: JavaScript
Description: Multi-solver dynamic symbolic execution for JavaScript