Skip to content
Change the repository type filter

All

    Repositories list

    • ExpoSE

      Public
      A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modellin…
      JavaScript
      MIT License
      39224130Updated Jan 19, 2025Jan 19, 2025
    • A JavaScript wrapper for Z3 containing support for regular expressions & capture groups
      JavaScript
      Other
      122310Updated Jul 3, 2024Jul 3, 2024
    • Z3

      Public
      Fork of Z3 solver including JavaScript binding generation
      C++
      Other
      1200Updated Nov 15, 2020Nov 15, 2020
    • JavaScript
      0000Updated Mar 2, 2020Mar 2, 2020
    • jalangi2

      Public
      Fork of Jalangi2 that automatically uses babel to convert ES6 to ES5
      JavaScript
      Apache License 2.0
      122400Updated Jul 16, 2019Jul 16, 2019
    • Artifact submission for PLDI 2019
      JavaScript
      0100Updated Apr 19, 2019Apr 19, 2019
    • A collection of targets for ExpoSE
      Shell
      0000Updated Mar 22, 2019Mar 22, 2019
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.