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:
- 🐀 Regular Expression Denial of Service analyzer.☆27Apr 17, 2026Updated 3 months ago
- ☆12Jan 28, 2023Updated 3 years ago
- The trustworthy ReDoS checker☆298Updated this week
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection☆82Dec 14, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An automated tool for the detection of regexes' slow-matching vulnerabilities.☆154Dec 19, 2021Updated 4 years ago
- 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
- The Termination Problem Database☆30Aug 20, 2025Updated 11 months ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- A library for finite automata and regular expressions in the context of JS RegExp☆30Jun 16, 2024Updated 2 years ago
- Default locations for files on various Linux distros.☆10May 12, 2021Updated 5 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆76Jul 12, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆10May 6, 2021Updated 5 years ago
- An automated theorem prover for intuitionistic propostional logic☆15Sep 21, 2020Updated 5 years ago
- A list of ReDoS vulnerabilities in npm modules found by the Software Lab at TU Darmstadt. For each vulnerability, there is a proof-of-con…☆60Dec 6, 2017Updated 8 years ago
- Custom semgrep rules registry☆14Aug 23, 2022Updated 3 years ago
- iOS入门系列之"常见视图\控件"实战, 基于语言Swift2.2,环境 XCode7.2.1☆10May 11, 2016Updated 10 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 7 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- JISET: JavaScript IR-based Semantics Extraction Toolchain☆41Jan 7, 2023Updated 3 years ago
- Type checking on all sorts of values/objects☆12May 22, 2017Updated 9 years ago
- Source code to execute signal injection attacks against CCD image sensors☆12Aug 26, 2021Updated 4 years ago
- Репозиторий для лабораторных и просто работ по программе обучения на кафедре ИУ9☆13May 17, 2026Updated 2 months ago
- cheatsheets for life☆13Jan 22, 2026Updated 6 months ago
- Official website of ACM Hack.☆12May 16, 2026Updated 2 months ago
- 🔥🔥🔥持续更新的特征库. 2023hw☆21Oct 8, 2023Updated 2 years ago
- Some PoC (Proof-of-Concept) about vulnerability of java deserialization of untrusted data☆26Jul 12, 2021Updated 5 years ago
- Pysh: the python shell☆21Nov 15, 2016Updated 9 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.
- A dk.brics FSM to regular-expression-string converter☆10Jul 12, 2025Updated last year
- ☆54Nov 26, 2017Updated 8 years ago
- Plugin to show slides and code examples directly from IntelliJ IDEs☆12Mar 9, 2023Updated 3 years ago
- Small wiki for Mobile Application Penetration Testing Tools☆12Apr 8, 2021Updated 5 years ago
- Find regular expressions which are vulnerable to ReDoS (Regular Expression Denial of Service)☆849Feb 9, 2024Updated 2 years ago
- The ultimate tool to crafting your ARM shell code☆10Aug 7, 2015Updated 10 years ago
- Python static analyzer☆11Dec 26, 2016Updated 9 years ago