Skip to content

@ExpoSEJS ExpoSE Symbolic Execution

Change the repository type filter

All

    Repositories list

    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.
      unit-testingsymbolic-executionprogramming-languagesprogram-analysissoftware-testingbug-fixingjavascript
      JavaScript
      •
      MIT License
      •39•209•13•0•Updated Jan 19, 2025Jan 19, 2025

    • z3javascript

      Public
      A JavaScript wrapper for Z3 containing support for regular expressions & capture groups
      JavaScript
      •
      Other
      •12•23•1•0•Updated Jul 3, 2024Jul 3, 2024

    • Z3

      Public
      Fork of Z3 solver including JavaScript binding generation
      C++
      •
      Other
      •1•3•0•0•Updated Nov 15, 2020Nov 15, 2020

    • conformance_test_generator

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

    • jalangi2

      Public
      Fork of Jalangi2 that automatically uses babel to convert ES6 to ES5
      JavaScript
      •
      Apache License 2.0
      •122•5•0•0•Updated Jul 16, 2019Jul 16, 2019

    • PLDI-Artifact

      Public
      Artifact submission for PLDI 2019
      JavaScript
      •0•2•0•0•Updated Apr 19, 2019Apr 19, 2019

    • PLDI19-Raw-Data

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