GitHub repository: ArathaJS/aratha
Primary language: JavaScript
Created: 2018-11-30T06:51:27Z
Description: Multi-solver dynamic symbolic execution for JavaScript