kaist-plrg / jest
JEST: N+1-version Differential Testing of Both JavaScript Engines
☆13Updated 3 years ago
Related projects: ⓘ
- JISET: JavaScript IR-based Semantics Extraction Toolchain☆40Updated last year
- JSTAR: JavaScript Specification Type Analyzer using Refinement☆13Updated 2 years ago
- ☆43Updated 4 months ago
- ☆10Updated last year
- Scalable Analysis Framework for ECMAScript☆118Updated 3 years ago
- ☆54Updated 3 months ago
- ☆11Updated 3 months ago
- ☆19Updated 10 months ago
- ☆28Updated last year
- Implementation of Korean Block Ciphers: NEAT and NES☆30Updated 7 years ago
- ☆10Updated 7 months ago
- CIRC: Concurrent Immediate Reference Counting☆30Updated 3 months ago
- CTF에서 자주 쓰이는 PHP 트릭☆11Updated 5 years ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆41Updated 6 months ago
- libghwp is a GObject based library for handling HWP documents. (NOT maintained. DO NOT PR)☆23Updated 6 years ago
- UT based automated fuzz driver generation☆164Updated last month
- pretty JSON schema definition language☆24Updated 8 years ago
- A collection of online resources that I found useful for Ph.D. students☆14Updated 2 years ago
- The Sparrow Static Analyzer☆122Updated 3 years ago
- CROWN: Concolic testing for Real-wOrld softWare aNalysis☆3Updated 5 years ago
- ☆44Updated last week
- A Lambda expression compiler targeting web assembly.☆18Updated last month
- ☆19Updated this week
- Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks☆20Updated 2 weeks ago
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆13Updated last year
- Synthesizer for JavaScript API models☆17Updated last year
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆40Updated last year
- Make your character's eye flickering☆13Updated 8 years ago
- C → 아희☆17Updated 5 months ago
- ☆32Updated 5 years ago