kaist-plrg / jest
JEST: N+1-version Differential Testing of Both JavaScript Engines
☆15Updated 3 years ago
Alternatives and similar repositories for jest:
Users that are interested in jest are comparing it to the libraries listed below
- JISET: JavaScript IR-based Semantics Extraction Toolchain☆41Updated 2 years ago
- ☆28Updated last year
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆46Updated 7 months ago
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆15Updated last year
- Fuzzer for Wasm and Wasmer☆27Updated 5 years ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Updated last year
- Scalable Analysis Framework for ECMAScript☆119Updated 3 years ago
- CROWN: Concolic testing for Real-wOrld softWare aNalysis☆3Updated 5 years ago
- ☆11Updated 10 months ago
- ☆41Updated 5 months ago
- ☆9Updated 10 months ago
- ☆46Updated 3 weeks ago
- Montage: A Neural Network Language Model-Guided JavaScript Engine Fuzzer☆88Updated 11 months ago
- autofz: Automated Fuzzer Composition at Runtime☆76Updated last year
- The Use of Likely Invariants as Feedback for Fuzzers☆89Updated 3 years ago
- JSTAR: JavaScript Specification Type Analyzer using Refinement☆14Updated 3 years ago
- ☆58Updated last week
- american fuzzy lop - a security-oriented fuzzer☆10Updated last year
- VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)☆51Updated 2 months ago
- cinspector - a static C source code analysis framework☆26Updated 10 months ago
- ☆19Updated last year
- Indexing reachability for context-sensitive data flow analysis.☆11Updated 2 years ago
- Bug detection framework for finding Finger tracable bugs in Linux☆20Updated last month
- Unveiling Bluetooth L2CAP Vulnerabilities via State Cluster Fuzzing with Target-Oriented State Machines☆23Updated last year
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆74Updated 2 years ago
- ☆44Updated 6 months ago
- The repo for V0Finder (Security 21)☆26Updated 3 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- ☆26Updated 2 years ago
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆76Updated 2 years ago