GitHub repository: kaist-plrg/jiset
Primary language: JavaScript
Description: JISET: JavaScript IR-based Semantics Extraction Toolchain