kaist-plrg / jest
JEST: N+1-version Differential Testing of Both JavaScript Engines
☆13Updated 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
- ☆9Updated 8 months ago
- Scalable Analysis Framework for ECMAScript☆119Updated 3 years ago
- ☆9Updated last year
- ☆19Updated last year
- ☆45Updated 3 months ago
- JSTAR: JavaScript Specification Type Analyzer using Refinement☆14Updated 2 years ago
- ☆57Updated last month
- CTF에서 자주 쓰이는 PHP 트릭☆11Updated 5 years ago
- ☆28Updated last year
- ☆11Updated 8 months ago
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆14Updated last year
- pretty JSON schema definition language☆24Updated 8 years ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆46Updated 4 months ago
- ☆44Updated 2 months ago
- CROWN: Concolic testing for Real-wOrld softWare aNalysis☆3Updated 5 years ago
- Fuzzer for Wasm and Wasmer☆26Updated 4 years ago
- 컴퓨터 신기술 특강☆11Updated last year
- The Sparrow Static Analyzer☆123Updated 3 years ago
- 본 프로젝트는 KITRI BoB(Best of the Best) 10기에서 진행한 프로젝트로, 드론에 대한 취약성 연구를 진행한 내용을 기록하였습니다.☆37Updated 3 years ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Updated 11 months ago
- ☆11Updated last year
- Deno Korea Community Website☆11Updated 2 years ago
- ☆12Updated last month
- Rust uniq(1) alternative with streaming support☆13Updated last month
- Motion graphics for HTTP error codes used in my site☆12Updated 7 years ago
- CTF Write-ups☆17Updated 6 years ago
- Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks☆26Updated 3 months ago
- "쉽게 시작하는 무선해킹" - 한우영 발표자료☆23Updated 5 years ago
- A Lambda expression compiler targeting web assembly.☆19Updated 6 months ago