KJS: A Complete Formal Semantics of JavaScript
3 months ago
- #JavaScript
- #K Framework
- #Formal Semantics
- KJS是迄今为止最完整且经过全面测试的JavaScript形式语义实现。
- KJS通过了ECMAScript一致性测试套件中全部2,782项核心语言测试。
- KJS为测试套件提供语义覆盖率指标，可用于形式化分析与验证。
- Debian/Ubuntu系统的安装要求包括JDK 1.8、build-essential、git和maven。
- KJS需配合定制版K框架使用，可通过git安装该版本。
- 测试含Math.sin等非支持库的程序时需要Node.js环境。
- KJS仅支持部分标准库函数，调用Date.now()等未实现功能时会报错。
- ECMAScript测试套件可并行执行，全部测试约需2小时完成。
- KJS因函数声明语法差异导致6个程序解析失败。
- KJS对标准内置对象支持不完整，Math/Date等对象未完全定义。
- KJS可应用于安全攻击检测、测试覆盖率评估及程序验证等领域。
- 提供预装所有依赖环境的虚拟机镜像以便快速使用。