kaist-plrg / jisetLinks
JISET: JavaScript IR-based Semantics Extraction Toolchain
☆41Updated 2 years ago
Alternatives and similar repositories for jiset
Users that are interested in jiset are comparing it to the libraries listed below
Sorting:
- Scalable Analysis Framework for ECMAScript☆118Updated 4 years ago
- JEST: N+1-version Differential Testing of Both JavaScript Engines☆14Updated 4 years ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆209Updated 7 months ago
- A delta debugger for JavaScript☆53Updated 3 years ago
- The ISLa (Input Specification Language) language & solver.☆70Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 6 months ago
- A high-performance, parallel, compilation-based symbolic execution engine☆141Updated this week
- A framework for testing compilers' type checkers☆55Updated last year
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆48Updated 11 months ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆17Updated last year
- Mutation-guided mutation-based fuzz testing☆47Updated last year
- The Gillian Platform main repository☆88Updated 3 weeks ago
- ☆33Updated 6 years ago
- CRash Scope (CRScope) is a ML-guided crash classifier of a given JavaScript engine crash-dump file.☆13Updated 6 years ago
- The notes about programming language theory☆26Updated 2 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 5 years ago
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆57Updated 7 months ago
- Type Analyzer for JavaScript☆196Updated 6 months ago
- Grammar synthesis algorithm using a black box oracle☆37Updated last year
- Indexing reachability for context-sensitive data flow analysis.☆12Updated 3 years ago
- autofz: Automated Fuzzer Composition at Runtime☆82Updated last year
- CodeHawk Abstract Interpretation Engine and Analyzers☆69Updated this week
- ☆11Updated last year
- A tool for analyzing LLVM bitcode using Datalog.☆101Updated 4 years ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Updated last year
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Updated last month
- A Micro-benchmarking Framework for Python Type Inference Tools☆34Updated 3 months ago
- SymDiff-Differential-Program-Verifier☆37Updated 2 weeks ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- ☆65Updated last week