Skip to content
@ExpoSEJS

ExpoSE Symbolic Execution

An instrumentation-based dynamic symbolic execution engine for JavaScript, developed at Royal Holloway, University of London

Popular repositories Loading

  1. ExpoSE 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 201 40

  2. z3javascript z3javascript Public

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

    JavaScript 22 12

  3. jalangi2 jalangi2 Public

    Forked from jawline/jalangi2

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

    JavaScript 4 2

  4. Z3 Z3 Public

    Fork of Z3 solver including JavaScript binding generation

    C++ 2 1

  5. PLDI-Artifact PLDI-Artifact Public

    Artifact submission for PLDI 2019

    JavaScript 1

  6. PLDI19-Raw-Data PLDI19-Raw-Data Public

    A collection of targets for ExpoSE

    Shell

Repositories

Showing 7 of 7 repositories
  • 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.

    ExpoSEJS/ExpoSE’s past year of commit activity
    JavaScript 201 MIT 40 13 0 Updated Jan 19, 2025
  • z3javascript Public

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

    ExpoSEJS/z3javascript’s past year of commit activity
    JavaScript 22 12 1 0 Updated Jul 3, 2024
  • Z3 Public

    Fork of Z3 solver including JavaScript binding generation

    ExpoSEJS/Z3’s past year of commit activity
    C++ 2 1 0 0 Updated Nov 15, 2020
  • conformance_test_generator Public
    ExpoSEJS/conformance_test_generator’s past year of commit activity
    JavaScript 0 0 0 0 Updated Mar 2, 2020
  • jalangi2 Public Forked from jawline/jalangi2

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

    ExpoSEJS/jalangi2’s past year of commit activity
    JavaScript 4 Apache-2.0 126 0 0 Updated Jul 16, 2019
  • PLDI-Artifact Public

    Artifact submission for PLDI 2019

    ExpoSEJS/PLDI-Artifact’s past year of commit activity
    JavaScript 1 0 0 0 Updated Apr 19, 2019
  • PLDI19-Raw-Data Public

    A collection of targets for ExpoSE

    ExpoSEJS/PLDI19-Raw-Data’s past year of commit activity
    Shell 0 0 0 0 Updated Mar 22, 2019

Top languages

Loading…

Most used topics

Loading…