github.com/JHU-PL-Lab/ddse ↗
An implementation of semantic-type-guided bug finding
Open this visualization on its own page →
Contributors
10
Lines of Code
5,032
From
2015-06-15
To
2020-04-17
About JHU-PL-Lab/ddse
Jay Lang is an implementation of semantic-type-guided bug finding developed by the JHU Programming Languages Lab. The project centers around the BlueJay language, a programming language designed to detect bugs by leveraging semantic type information. The codebase includes a concolic evaluator that can analyze BlueJay programs to identify type errors and other bugs that violate semantic constraints.
The system includes comprehensive testing and benchmarking infrastructure, with a substantial test suite divided into well-typed and ill-typed programs. The concolic evaluator can operate in multiple modes and supports randomized evaluation for benchmarking purposes. The project provides both Docker and source-based installation options, with the latter using OCaml's opam package manager for dependency management. The research artifact corresponds to a paper titled "Semantic-Type-Guided Bug Finding" published at SPLASH-OOPSLA 2024.
The project is designed for developers and researchers interested in program verification and type systems. It includes extensive documentation for the BlueJay language itself, a VS Code syntax highlighter extension, and example programs throughout the test suite. The system is tested across multiple platforms including macOS, Ubuntu, and Windows via WSL, making it accessible to a broad audience of language implementation and program analysis researchers.