cs-au-dk / jellyLinks
JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis
☆412Updated 2 weeks ago
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☆322Updated last month
- Extract and combine multiple source code views using tree-sitter☆155Updated 3 months ago
- An awesome code differencing tool☆1,257Updated 2 months ago
- Scalpel: The Python Static Analysis Framework☆324Updated last year
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆59Updated 11 months ago
- Performant taint analysis for Node.js☆55Updated last year
- language-agnostic program reducer.☆199Updated 2 weeks ago
- MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabil…☆21Updated last week
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆387Updated this week
- ☆13Updated 3 years ago
- JISET: JavaScript IR-based Semantics Extraction Toolchain☆41Updated 2 years ago
- Dynamic analysis framework for Python☆80Updated 5 months ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆218Updated 11 months ago
- Construct approximate static call graph for JavaScript & Typescript☆197Updated 3 years ago
- The ISLa (Input Specification Language) language & solver.☆72Updated last year
- ☆73Updated 3 weeks ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆25Updated 2 years ago
- A powerful relational representation of source code☆33Updated 2 years ago
- Static Analysis meets Large Language Models☆52Updated last year
- Dynamic analysis framework for JavaScript☆474Updated last year
- ☆152Updated 6 months ago
- Home page of project "KB"☆131Updated 8 months ago
- Code Property Graph: specification, query language, and utilities☆552Updated 3 weeks ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆75Updated last year
- Overlay is a browser extension helping developers evaluate open source packages before picking them☆225Updated 5 months ago
- ☆36Updated last year
- A neurosymbolic framework for vulnerability detection in code☆286Updated 2 weeks ago
- The official repo of Doop, the declarative pointer analysis framework.☆202Updated 6 months ago
- ☆22Updated 2 years ago
- Breaking change detector for npm☆21Updated 3 years ago