A tool to perform static analysis on regexes to determine whether they are vulnerable to ReDoS.
☆114Jul 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:
- ☆12Jan 28, 2023Updated 3 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 8 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
- ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection☆82Dec 14, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An automated tool for the detection of regexes' slow-matching vulnerabilities.☆155Dec 19, 2021Updated 4 years ago
- A tool for detecting regular expression denial-of-service vulnerabilities in Android apps.☆36Jun 24, 2016Updated 10 years ago
- Audit Node Module folder with YARA rules to identify possible malicious packages hiding in node_moudles☆20Mar 24, 2021Updated 5 years ago
- An npm beholder that deceives you☆36Jan 10, 2026Updated 8 months ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 4 years ago
- ☆15Nov 3, 2018Updated 7 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
- 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.
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 7 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆76Jul 12, 2025Updated last year
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 6 years ago
- ROSA: Finding Backdoors with Fuzzing☆54Sep 10, 2026Updated 2 weeks ago
- Automatically generates schema given json samples.☆10Jun 1, 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 9 months ago
- ☆12Mar 31, 2024Updated 2 years ago
- List of RegEx DoS (ReDoS) CVEs and resources☆31Sep 16, 2026Updated last week
- An ANTLR 4 grammar for PCRE☆30Jun 6, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Type checking on all sorts of values/objects☆12May 22, 2017Updated 9 years ago
- MutRex - A generator of fault detecting strings for regular expressions☆14Mar 18, 2024Updated 2 years ago
- Репозиторий для лабораторных и просто работ по программе обучения на кафедре ИУ9☆13May 17, 2026Updated 4 months ago
- 🏠 Programmatically create Ninja build-system files☆18Jan 12, 2022Updated 4 years ago
- Some PoC (Proof-of-Concept) about vulnerability of java deserialization of untrusted data☆26Jul 12, 2021Updated 5 years ago
- Generates strings that match a regular expression☆12Jun 23, 2026Updated 3 months ago
- ☆54Nov 26, 2017Updated 8 years ago
- ☆12Sep 2, 2021Updated 5 years ago
- The ultimate tool to crafting your ARM shell code☆10Aug 7, 2015Updated 11 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.
- x64 Windows package of the shellcode2exe tool☆14Nov 23, 2020Updated 5 years ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆229Jan 19, 2025Updated last year
- Sandbox to test Vue.js integration in MediaWiki☆13Dec 10, 2022Updated 3 years ago
- 国赛分站赛命题模板☆40May 23, 2018Updated 8 years ago
- A Docker container used to easily compile Nim binaries generated by my tools (NimPackt and NimPlant)☆16Aug 31, 2023Updated 3 years ago
- преобразования регулярных выражений и конечных автоматов☆21Feb 26, 2025Updated last year
- NimSkrull is an adaption from the original Skrull malware anti-copy DRM. Only for the anti-copy feature. (https://github.com/aaaddress1/S…☆13May 20, 2023Updated 3 years ago