KU-PLRG
Programming Language Research Group @ Korea University
- 15 followers
- Korea, South
- https://plrg.korea.ac.kr
Pinned Loading
Repositories
Showing 10 of 27 repositories
- debun-eval Public
- 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.
- dynajs-artifact Public
- NodeMedic-FINE Public Forked from NodeMedicAnalysis/NodeMedic-FINE
Repository for the NodeMedic-FINE tool (NDSS'25).
- debun Public
- dep-debloat Public
Top languages
Loading…
Most used topics
Loading…