ExpoSE Symbolic Execution

icon indicating a website link https://www.parsed.uk/articles/ExpoSE_Practical_Symbolic_Execution_Of_Standalone_JavaScript icon indicating an email [email protected]

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

Results 2 repositories owned by ExpoSE Symbolic Execution

ExpoSE

178
Stars
35
Forks
Watchers

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.

verified publisher icon ExpoSEJS

z3javascript

19
Stars
9
Forks
Watchers

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

verified publisher icon ExpoSEJS