sukyoung / safe
Scalable Analysis Framework for ECMAScript
☆118Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for safe
- JISET: JavaScript IR-based Semantics Extraction Toolchain☆41Updated last year
- The Sparrow Static Analyzer☆124Updated 3 years ago
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆53Updated last month
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆190Updated 4 months ago
- ☆32Updated 6 years ago
- ☆28Updated last year
- Type Analyzer for JavaScript☆194Updated 4 years ago
- The Gillian Platform main repository☆78Updated last week
- JEST: N+1-version Differential Testing of Both JavaScript Engines☆13Updated 3 years ago
- CRash Scope (CRScope) is a ML-guided crash classifier of a given JavaScript engine crash-dump file.☆12Updated 5 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆98Updated 4 years ago
- WALA analyses and tools that are implemented in JavaScript☆82Updated 8 years ago
- A delta debugger for JavaScript☆51Updated 2 years ago
- Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2☆122Updated 9 years ago
- ☆44Updated this week
- CROWN: Concolic testing for Real-wOrld softWare aNalysis☆3Updated 5 years ago
- Dynamic analysis framework for JavaScript☆433Updated 8 months ago
- ☆55Updated 5 months ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆79Updated last month
- ☆19Updated 7 months ago
- ☆11Updated 4 months ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆62Updated 3 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Updated 3 years ago
- ☆19Updated last year
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆42Updated 8 months ago
- ☆9Updated last year
- fuzzer for generative testing of ECMAScript parsers☆59Updated 10 years ago
- An SMT Solver for string constraints☆33Updated last week
- Staged Abstract Interpreters☆65Updated last year
- A Z3-Based String Constraint Solver☆87Updated 4 years ago