ExpoSEJS/Z3 ExpoSEJS/Z3

  • Stars
    star
    2
  • Language
    C++
  • License
    Other
  • Created over 7 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ExpoSEJS/Z3
github

ExpoSEJS

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Fork of Z3 solver including JavaScript binding generation

More Repositories

1

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
183
star
2

z3javascript

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

PLDI-Artifact

Artifact submission for PLDI 2019
JavaScript
1
star