cs-au-dk / jellyLinks
JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis
☆385Updated last week
Alternatives and similar repositories for jelly
Users that are interested in jelly are comparing it to the libraries listed below
Sorting:
- Coverage-guided, in-process fuzzing for Node.js☆314Updated last week
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆57Updated 7 months ago
- Performant taint analysis for Node.js☆56Updated last year
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆208Updated 7 months ago
- Dynamic analysis framework for JavaScript☆461Updated last year
- Extract and combine multiple source code views using tree-sitter☆152Updated 3 months ago
- Scalpel: The Python Static Analysis Framework☆315Updated last year
- language-agnostic program reducer.☆191Updated 2 months ago
- MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabil…☆20Updated 4 months ago
- ☆13Updated 3 years ago
- Construct approximate static call graph for JavaScript & Typescript☆195Updated 2 years ago
- An ergonomic and safe syscall interception framework for Linux.☆623Updated 2 weeks ago
- An awesome code differencing tool☆1,156Updated 3 weeks ago
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆366Updated this week
- Dynamic analysis framework for Python☆76Updated last month
- A pipe-like function to verticalize your JavaScript code☆300Updated last year
- JISET: JavaScript IR-based Semantics Extraction Toolchain☆42Updated 2 years ago
- ☆33Updated 10 months ago
- The ISLa (Input Specification Language) language & solver.☆69Updated last year
- ☆65Updated 2 weeks ago
- BugsJS benchmark framework and data files.☆28Updated 5 years ago
- WALA analyses and tools that are implemented in JavaScript☆81Updated 8 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆25Updated 2 years ago
- ANTLR v4 grammar-based test generator☆380Updated last week
- Scalable Analysis Framework for ECMAScript☆119Updated 4 years ago
- A large dataset of real-world WebAssembly binaries, collected from the Web, GitHub, NPM and other sources. Useful as test data, to study …☆61Updated 3 years ago
- Type Analyzer for JavaScript☆196Updated 6 months ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆115Updated 3 weeks ago
- Home page of project "KB"☆128Updated 5 months ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆72Updated 9 months ago