Name: ExpoSE Symbolic Execution
Type: Organization
Bio: An instrumentation-based dynamic symbolic execution engine for JavaScript, developed at Royal Holloway, University of London
Location: London, United Kingdom
Blog: http://www.parsed.uk/articles/ExpoSE_Practical_Symbolic_Execution_Of_Standalone_JavaScript
ExpoSE Symbolic Execution's Projects
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.
Fork of Jalangi2 that automatically uses babel to convert ES6 to ES5
Artifact submission for PLDI 2019
A collection of targets for ExpoSE
Fork of Z3 solver including JavaScript binding generation
A JavaScript wrapper for Z3 containing support for regular expressions & capture groups