ExpoSE Symbolic Execution

Repositories

• ExpoSE

  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 unit-testing symbolic-execution programming-languages program-analysis software-testing bug-fixing
  JavaScript MIT 12 85 5 0 Updated Aug 8, 2020

• z3javascript

  A JavaScript wrapper for Z3 containing support for regular expressions & capture groups
  JavaScript 4 7 0 0 Updated Apr 12, 2020

• Z3

  Fork of Z3 solver including JavaScript binding generation
  C++ 0 0 0 0 Updated Apr 12, 2020

• conformance_test_generator
  JavaScript 0 0 0 0 Updated Mar 2, 2020

• jalangi2

  Forked from jawline/jalangi2

  Fork of Jalangi2 that automatically uses babel to convert ES6 to ES5
  JavaScript Apache-2.0 98 0 0 0 Updated Jul 16, 2019

• PLDI-Artifact

  Artifact submission for PLDI 2019
  JavaScript 0 0 0 0 Updated Apr 19, 2019

• PLDI19-Raw-Data

  A collection of targets for ExpoSE
  Shell 0 0 0 0 Updated Mar 22, 2019