๐ Regular Expression Denial of Service analyzer.
โ27Apr 17, 2026Updated 5 months ago
Alternatives and similar repositories for rat
Users that are interested in rat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Libra is a static analyzer for certifying fairness of feed-forward neural network classifiers of tabular data.โ24Oct 31, 2021Updated 4 years ago
- Lisp interpreter with bytecode compilerโ33Jan 7, 2021Updated 5 years ago
- Lyra is a prototype static analyzer for data science applications written in Python.โ31Aug 18, 2025Updated last year
- A tool to perform static analysis on regexes to determine whether they are vulnerable to ReDoS.โ114Jul 6, 2022Updated 4 years ago
- Verified implementations for the Noise family of protocolsโ17Jun 18, 2024Updated 2 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.
- Papers read during our weekly reading groupโ13Sep 17, 2024Updated 2 years ago
- A PoC to trigger CVE-2023-5217 from the Browser WebCodecs or MediaRecorder interface.โ16Oct 11, 2023Updated 2 years ago
- Modelizer - is a framework for learning models from BlackBox systems using Input-Output examplesโ20Apr 9, 2026Updated 5 months ago
- DY* with extrinsic proofsโ16Jul 2, 2026Updated 2 months ago
- โ25Mar 24, 2023Updated 3 years ago
- Generates strings that match a regular expressionโ12Jun 23, 2026Updated 2 months ago
- A formally verified symbolic cryptography library for Leanโ19Feb 18, 2026Updated 7 months ago
- The Candle theorem prover (fork of the HOL Light sources)โ26Aug 25, 2026Updated 3 weeks ago
- Key transparency serverโ37Aug 18, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer โข AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- peda like debugger script for windbg/windbgx and mingw-gdbโ11Dec 31, 2021Updated 4 years ago
- Benchmark tools for Cโ16Apr 3, 2015Updated 11 years ago
- Sample Random GitHub Repositoriesโ15Updated this week
- A command based package for simple display of statisticsโ28Updated this week
- โ14Feb 7, 2023Updated 3 years ago
- An automated tool for the detection of regexes' slow-matching vulnerabilities.โ155Dec 19, 2021Updated 4 years ago
- Tool for algorithmic complexity analysis based on symbolic executionโ10Sep 17, 2018Updated 8 years ago
- A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systemsโ33Aug 13, 2019Updated 7 years ago
- โ228Updated this week
- Managed Kubernetes at scale on DigitalOcean โข AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Collection of useful Ghidra utilities and referencesโ15Apr 9, 2024Updated 2 years ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formalโฆโ71Mar 26, 2026Updated 5 months ago
- A Ghidra static analysis tool for locating PACMAN Gadgetsโ13Sep 1, 2022Updated 4 years ago
- Smuggler - An HTTP Request Smuggling / Desync testing tool written in Python 3โ14Jul 3, 2025Updated last year
- [Astronomical Journal 2024] Efficient Point-spread Function Modeling with ShOpt.jl: A PSF Benchmarking Study with JWST NIRCam Imagingโ26Oct 22, 2024Updated last year
- โ37Jul 14, 2023Updated 3 years ago
- โ18Feb 2, 2023Updated 3 years ago
- ownCloud exploits for CVE-2023-49105โ41Dec 5, 2023Updated 2 years ago
- An automated ROP generation workโ12Mar 5, 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.
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generationโ15Jul 24, 2025Updated last year
- The Ultimate File Upload Bypass Generatorโ14Nov 24, 2025Updated 9 months ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic aโฆโ38May 30, 2022Updated 4 years ago
- Guided Differential Fuzzing for HTTP Request Parsing Discrepanciesโ20Apr 11, 2024Updated 2 years ago
- iotๅฎๅ จ้ข็ฎๅญฆไน ่ฎฐๅฝโ17Dec 13, 2021Updated 4 years ago
- An SMT Solver for string constraintsโ55Sep 10, 2026Updated last week
- โ23Apr 6, 2019Updated 7 years ago