sukyoung / safe
Scalable Analysis Framework for ECMAScript
☆119Updated 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
- Type Analyzer for JavaScript☆194Updated 4 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
- A delta debugger for JavaScript☆51Updated 2 years ago
- ☆28Updated last year
- The Gillian Platform main repository☆78Updated this week
- CROWN: Concolic testing for Real-wOrld softWare aNalysis☆3Updated 5 years ago
- Dynamic analysis framework for JavaScript☆434Updated 9 months ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆79Updated last month
- ☆32Updated 6 years ago
- Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2☆122Updated 9 years ago
- ☆55Updated 5 months ago
- JEST: N+1-version Differential Testing of Both JavaScript Engines☆13Updated 3 years ago
- A Z3-Based String Constraint Solver☆87Updated 4 years ago
- WALA analyses and tools that are implemented in JavaScript☆82Updated 8 years ago
- ☆9Updated last year
- ☆44Updated last week
- A symbolic Java virtual machine for program analysis, verification and test generation☆104Updated last week
- An SMT Solver for string constraints☆34Updated this week
- ☆19Updated last year
- CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)☆238Updated 5 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Updated 3 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆98Updated 4 years ago
- ☆33Updated 2 years ago
- Static program analysis for TIP☆282Updated last year
- ANTLR SMT-LIB v2 Grammar☆21Updated 2 years ago
- ☆11Updated 5 months ago
- ☆14Updated last year