cs-au-dk / jelly
JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis
☆327Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for jelly
- Coverage-guided, in-process fuzzing for Node.js☆289Updated 5 months ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆190Updated 4 months ago
- Shell utility to interactively select lines from stdin☆157Updated 9 months ago
- A pipe-like function to verticalize your JavaScript code☆301Updated 5 months ago
- 🧙♀️ Lightweight and flexible dependency injection library for JavaScript and TypeScript, w/wo ECMAScript decorators.☆79Updated this week
- Construct approximate static call graph for JavaScript & Typescript☆182Updated last year
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆53Updated 2 months ago
- Simple and powerful progress time estimation (ETA) for JavaScript☆112Updated this week
- Performant taint analysis for Node.js☆49Updated 3 months ago
- language-agnostic program reducer.☆170Updated 10 months ago
- An ergonomic and safe syscall interception framework for Linux.☆564Updated this week
- Extract and combine multiple source code views using tree-sitter☆110Updated 5 months ago
- 🥊 TypeScript as a Configuration Language. TySON stands for TypeScript Object Notation☆546Updated 7 months ago
- Dynamic analysis framework for JavaScript☆435Updated 9 months ago
- Full stack typesafe API-first development with OpenAPI.☆310Updated last month
- Run and test your HTTP requests. Git friendly, 100% local.☆150Updated last year
- WALA analyses and tools that are implemented in JavaScript☆82Updated 8 years ago
- ☆12Updated 2 years ago
- Declarative API development platform. Build backend components with WASM, Typescript and Python, no matter where and how your (legacy) sy…☆377Updated this week
- Ultra-minimal JSON schemas with Typescript inference☆437Updated last year
- Use SQLite as a Document Database☆356Updated last year
- Home page of project "KB"☆114Updated 3 weeks ago
- An evolving toolkit of capabilities helpful for reverse engineering legacy Cobol code☆91Updated this week
- Type Analyzer for JavaScript☆194Updated 4 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆66Updated this week
- Publish from GitHub Actions using multi-factor authentication☆276Updated last month
- ☆14Updated 11 months ago
- Management of multiple Git SSH keys made easy☆250Updated 5 months ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated last year
- A fuzzing framework for SMT solvers☆185Updated last year