A tool to perform static analysis on regexes to determine whether they are vulnerable to ReDoS.
☆113Jul 6, 2022Updated 4 years ago
Alternatives and similar repositories for RegexStaticAnalysis
Users that are interested in RegexStaticAnalysis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated last year
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated last year
- Write e2e tests for CLI apps with ease☆22Jan 6, 2023Updated 3 years ago
- An automated tool for the detection of regexes' slow-matching vulnerabilities.☆155Dec 19, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- This is the latest version of BinHunter paper☆13Apr 13, 2025Updated last year
- An SMT Solver for string constraints☆55Updated this week
- A tool for detecting regular expression denial-of-service vulnerabilities in Android apps.☆36Jun 24, 2016Updated 10 years ago
- Automata and transducer library for .NET☆83Jul 21, 2020Updated 6 years ago
- Audit Node Module folder with YARA rules to identify possible malicious packages hiding in node_moudles☆20Mar 24, 2021Updated 5 years ago
- A library for finite automata and regular expressions in the context of JS RegExp☆30Jun 16, 2024Updated 2 years ago
- A tool for testing regular expressions for ReDoS vulnerabilities.☆60May 12, 2024Updated 2 years ago
- ☆13Apr 19, 2025Updated last year
- Library for symbolic automata and symbolic visibly pushdown automata☆76Jul 12, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The Ultimate File Upload Bypass Generator☆14Nov 24, 2025Updated 8 months ago
- BisPy - Python bisimulation library☆17Jan 21, 2022Updated 4 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- Custom semgrep rules registry☆14Aug 23, 2022Updated 3 years ago
- A taxonomy of defects with a benchmarking script that validates which of them can be spot by which static analyzers☆16Dec 10, 2025Updated 8 months ago
- ☆12Mar 31, 2024Updated 2 years ago
- List of RegEx DoS (ReDoS) CVEs and resources☆30Feb 6, 2023Updated 3 years ago
- An ANTLR 4 grammar for PCRE☆30Jun 6, 2024Updated 2 years ago
- A parallel programming model for online applications with complex synchronization requirements.☆16Jun 8, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆24Mar 24, 2023Updated 3 years ago
- cheatsheets for life☆13Jan 22, 2026Updated 6 months ago
- 🔥🔥🔥持续更新的特征库. 2023hw☆21Oct 8, 2023Updated 2 years ago
- ☆54Nov 26, 2017Updated 8 years ago
- Small wiki for Mobile Application Penetration Testing Tools☆12Apr 8, 2021Updated 5 years ago
- Simplified pure Java http server☆11May 20, 2022Updated 4 years ago
- Find regular expressions which are vulnerable to ReDoS (Regular Expression Denial of Service)☆848Feb 9, 2024Updated 2 years ago
- ☆12Sep 2, 2021Updated 4 years ago
- Travelling Salesman Problem using Ant Colony Optimization☆15Apr 4, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Prometheus Service Discovery for Docker Container.☆11Mar 20, 2026Updated 4 months ago
- Ring solver for Idris☆20Nov 12, 2018Updated 7 years ago
- Sandbox to test Vue.js integration in MediaWiki☆13Dec 10, 2022Updated 3 years ago
- A terminal-first approach to CodeQL multi-repo variant analysis☆17Jul 15, 2026Updated last month
- ☆12Apr 3, 2026Updated 4 months ago
- 国赛分站赛命题模板☆40May 23, 2018Updated 8 years ago
- JoanAudit - A security slicing tool that helps security auditors to perform their security auditing tasks more efficiently☆10Sep 6, 2017Updated 8 years ago