ExpoSE Symbolic Execution

Popular repositories

1. ExpoSE Public

   A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.

   JavaScript 130 21

2. z3javascript Public

   A JavaScript wrapper for Z3 containing support for regular expressions & capture groups

   JavaScript 17 9

3. jalangi2 Public

   Forked from jawline/jalangi2

   Fork of Jalangi2 that automatically uses babel to convert ES6 to ES5

   JavaScript 3

4. Z3 Public

   Fork of Z3 solver including JavaScript binding generation

   C++ 2

5. PLDI-Artifact Public

   Artifact submission for PLDI 2019

   JavaScript 1

6. PLDI19-Raw-Data Public

   A collection of targets for ExpoSE

   Shell