kaist-plrg / jisetView external linksLinks
JISET: JavaScript IR-based Semantics Extraction Toolchain
☆41Jan 7, 2023Updated 3 years ago
Alternatives and similar repositories for jiset
Users that are interested in jiset are comparing it to the libraries listed below
Sorting:
- JSTAR: JavaScript Specification Type Analyzer using Refinement☆14Feb 27, 2022Updated 3 years ago
- JEST: N+1-version Differential Testing of Both JavaScript Engines☆14Jun 1, 2021Updated 4 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- ECMAScript Specification (ECMA-262) Metalanguage☆240Updated this week
- Synthesizer for JavaScript API models☆17Apr 7, 2023Updated 2 years ago
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 2 years ago
- ☆26Oct 3, 2023Updated 2 years ago
- Scalable Analysis Framework for ECMAScript☆118May 13, 2021Updated 4 years ago
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Jul 8, 2022Updated 3 years ago
- The API extractor for npm packages powering jsDocs.io☆15Feb 3, 2026Updated last week
- OSS-Fuzz Public Corpora Crawler☆30Feb 23, 2023Updated 2 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆12Jan 15, 2022Updated 4 years ago
- [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation☆21Mar 26, 2025Updated 10 months ago
- An Android Instrumentation tool to compute Code Coverage☆18Jul 25, 2025Updated 6 months ago
- A new type of js fuzzer☆26Feb 10, 2020Updated 6 years ago
- A toy Fuzzer for wasm fuzzing based on fuzzilli☆72Apr 8, 2022Updated 3 years ago
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆31Apr 4, 2021Updated 4 years ago
- ☆15Jan 17, 2024Updated 2 years ago
- ☆16Nov 10, 2025Updated 3 months ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Mar 2, 2020Updated 5 years ago
- 🔍 To record the papers I have read.☆25Sep 18, 2021Updated 4 years ago
- QuickPatch: A patching tool☆13Oct 20, 2019Updated 6 years ago
- ☆10Nov 20, 2023Updated 2 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Sep 28, 2018Updated 7 years ago
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆59Jan 18, 2025Updated last year
- A browser fuzzer augmented by API mod-ref relations☆35Mar 8, 2024Updated last year
- Analyzing (and eventually executing) the ECMAScript specification☆11Jan 24, 2026Updated 3 weeks ago
- Design patterns with real-life examples and PlantUML diagrams [2021]☆13Jan 8, 2026Updated last month
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- QEMU to drcov trace file☆11Nov 21, 2020Updated 5 years ago
- Slow llvm tracing for the masses☆14Feb 22, 2020Updated 5 years ago
- A tool to help adapting code bases to NullAway type system.☆17Jan 4, 2026Updated last month
- INTEL PIN dbi based process tracer☆19Jun 25, 2020Updated 5 years ago
- ☆16Dec 25, 2022Updated 3 years ago
- Fuzzing Parsers with Tokens☆33Jan 14, 2021Updated 5 years ago
- ☆28Aug 14, 2023Updated 2 years ago
- ☆13Feb 11, 2022Updated 4 years ago