Project

JEST

A JavaScript Engines and Specification Tester using N+1-version differential testing

It automatically synthesizes initial seed programs and expands the program pool by mutating specific target programs guided by semantics coverage. Then, the tool generates conformance tests by injecting assertions to synthesized programs. Finally, JEST detects and localizes bugs using execution results of the tests on N JavaScript engines. It is developed by the Programming Language Research Group at KAIST. I'm a main developer of JEST.

[GitHub]

JISET

A JavaScript IR-based Semantics Extraction Toolchain

It is the first tool that automatically synthesizes parsers and AST-IR translators directly from a given JavaScript language specification, ECMAScript, and developed by the Programming Language Research Group at KAIST. I'm a main developer of JISET.

[GitHub]

SAFE

A Scalable Analysis Framework for ECMAScript

This tool is a scalable and pluggable analysis framework for JavaScript web applications developed by the Programming Language Research Group at KAIST. I'm a main developer of SAFE version 2.0.

[GitHub] [manual]