ExpoSE Symbolic Execution (@ExpoSEJS)
Guthub

ExpoSEJS

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    210
  • Global Org. Rank 39,353 (Top 13 %)
  • Registered over 7 years ago
  • Most used languages
    JavaScript
         75.0 %
    C++
         25.0 %
  • Location ๐Ÿ‡ฌ๐Ÿ‡ง United Kingdom
  • Country Total Rank 5,818
  • Country Ranking
    JavaScript
         902
    C++
         4,577

Top 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

Z3

Fork of Z3 solver including JavaScript binding generation
C++
2
star
4

PLDI-Artifact

Artifact submission for PLDI 2019
JavaScript
1
star