kaist-plrg / jstarLinks
JSTAR: JavaScript Specification Type Analyzer using Refinement
☆14Updated 3 years ago
Alternatives and similar repositories for jstar
Users that are interested in jstar are comparing it to the libraries listed below
Sorting:
- JISET: JavaScript IR-based Semantics Extraction Toolchain☆41Updated 3 years ago
- Record and Replay for WebAssembly☆34Updated 2 months ago
- JEST: N+1-version Differential Testing of Both JavaScript Engines☆14Updated 4 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Updated 4 months ago
- Decompose source code into templates and fragments for any language.☆23Updated 3 years ago
- Proof-of-concept implementation for the paper "ThermalScope: A Practical Interrupt Side Channel Attack Based On Thermal Event Interrupts"…☆13Updated last year
- Simple grammar-based test case generator☆37Updated last week
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆17Updated 5 months ago
- Scalable Analysis Framework for ECMAScript☆118Updated 4 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated 3 weeks ago
- Delta assists you in minimizing "interesting" files subject to a test of their interestingness.☆33Updated 3 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Updated 10 months ago
- ☆33Updated 7 years ago
- WIP: ReScript bindings to Deno API☆33Updated 2 years ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆81Updated 2 weeks ago
- world's worst interpreter☆66Updated 8 months ago
- A python library to build graphs for programs written in different programming languages.☆13Updated 3 years ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆79Updated last week
- The Iron programming language☆16Updated 6 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆22Updated last year
- WebAssembly Lightweight RUntime☆70Updated last week
- Automatic conversion of call by value into call by need in the LLVM IR.☆61Updated 2 years ago
- WebAssembly interpreter in a Header (WAH)☆29Updated 3 months ago
- ReScript bindings to Vitest☆54Updated 6 months ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Updated last month
- ☆15Updated 2 months ago
- CN separation logic refinement type system for C☆44Updated 3 weeks ago
- Variation of american fuzzy lop for testing compilers☆125Updated 3 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆64Updated this week
- The C parser for GumTree☆14Updated 5 years ago