A tool to perform static analysis on regexes to determine whether they are vulnerable to ReDoS.
☆111Jul 6, 2022Updated 3 years ago
Alternatives and similar repositories for RegexStaticAnalysis
Users that are interested in RegexStaticAnalysis are comparing it to the libraries listed below
Sorting:
- Write e2e tests for CLI apps with ease☆22Jan 6, 2023Updated 3 years ago
- ☆12May 18, 2021Updated 4 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 7 months ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- Caputre the flag with Large Language Models☆28Aug 5, 2025Updated 7 months ago
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆14Jul 24, 2025Updated 7 months ago
- An automated tool for the detection of regexes' slow-matching vulnerabilities.☆154Dec 19, 2021Updated 4 years ago
- An SMT Solver for string constraints☆49Feb 10, 2026Updated 3 weeks ago
- Pysh: the python shell☆20Nov 15, 2016Updated 9 years ago
- ⚓️ Product Manager @twilio - JavaScript Hacker - Hackathon Enthusiast - Public Speaker - Opinions are my own ⚓️☆25Feb 28, 2025Updated last year
- The Termination Problem Database☆29Aug 20, 2025Updated 6 months ago
- A library for finite automata and regular expressions in the context of JS RegExp☆30Jun 16, 2024Updated last year
- ☆32May 27, 2024Updated last year
- Testability Pattern Catalogs for SAST☆32Feb 18, 2025Updated last year
- some ida script☆34Aug 18, 2021Updated 4 years ago
- ✨ Simple rules for your commit messages ✨☆11Jun 9, 2021Updated 4 years ago
- 互联网侧调试访问者信息的工具☆34May 21, 2024Updated last year
- Clone of JSAI static analysis framework☆13Jul 29, 2017Updated 8 years ago
- Parcel namer plugin to rename bundles by interpolating a filename template.☆10May 23, 2022Updated 3 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 7 years ago
- Plugin to show slides and code examples directly from IntelliJ IDEs☆11Mar 9, 2023Updated 3 years ago
- ☆17Updated this week
- 基于Java ASM技术和GadgetInspector的原理，尝试实现一个自动Java代码审计工具。目前做到了可控参数分析和数据流跟踪分析☆39Oct 26, 2021Updated 4 years ago
- COVA - A static analysis tool to compute path conditions☆40Mar 2, 2026Updated last week
- Репозиторий для лабораторных и просто работ по программе обучения на кафедре ИУ9☆12Nov 15, 2025Updated 3 months ago
- PDF Pager for Foundry☆12Feb 10, 2026Updated last month
- Fork of xclip☆11Jan 17, 2016Updated 10 years ago
- Generate letters (plain text or PDF) from templates.☆14Jan 8, 2023Updated 3 years ago
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Sep 6, 2025Updated 6 months ago
- This JavaScript CLI "undeletes' packages that have been removed from the NPM registry☆29Dec 18, 2025Updated 2 months ago
- ☆11Sep 6, 2024Updated last year
- Parsing-based Analyzer☆71Jun 8, 2025Updated 9 months ago
- Debug pwn in docker, no need for virtual machines☆38Oct 10, 2025Updated 5 months ago
- Find regular expressions which are vulnerable to ReDoS (Regular Expression Denial of Service)☆846Feb 9, 2024Updated 2 years ago
- datacon比赛2024年漏洞分析赛道解题框架与运行镜像压缩包☆182Jun 10, 2025Updated 9 months ago
- DNS File EXfiltration☆45Apr 12, 2024Updated last year
- Ruby, Kotlin, Groovy, Clojure, and JShell support for Ghidra scripting and interactive sessions.☆48Dec 20, 2025Updated 2 months ago
- [ISSTA 2025] Unlocking Low Frequency Syscalls in Kernel Fuzzing with Dependency-Based RAG☆52Jan 29, 2026Updated last month
- Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Scala-based port of the ori…☆10May 13, 2016Updated 9 years ago