KU-PLRG
Programming Language Research Group @ Korea University
- 15 followers
- Korea, South
- http://plrg.korea.ac.kr
Pinned Loading
Repositories
Showing 10 of 22 repositories
- ExpoSE Public Forked from ExpoSEJS/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.
ku-plrg/ExpoSE’s past year of commit activity - debun Public
ku-plrg/debun’s past year of commit activity - dep-debloat Public
ku-plrg/dep-debloat’s past year of commit activity - js-engine-runner Public
ku-plrg/js-engine-runner’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…