phreppo/rat external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

phreppo/rat

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/phreppo/rat)

Close

phreppo / ratView on GitHubMore

• External links
• Readme badge

🐀 Regular Expression Denial of Service analyzer.

☆26Feb 18, 2026Updated last week

Alternatives and similar repositories for rat

Users that are interested in rat are comparing it to the libraries listed below

• cuhk-seclab / Revealer

  View on GitHub
  ☆12May 18, 2021Updated 4 years ago
• caterinaurban / Lyra

  View on GitHub
  ☆31Aug 18, 2025Updated 6 months ago
• 2ral / Modelizer

  View on GitHub
  Modelizer - is a framework for learning models from BlackBox systems using Input-Output examples
  ☆22Jul 17, 2025Updated 7 months ago
• uuverifiers / ostrich

  View on GitHub
  An SMT Solver for string constraints
  ☆48Feb 10, 2026Updated 3 weeks ago
• XIAOLUHOU / SCA-measurements-and-analysis----Experimental-results-for-textbook

  View on GitHub
  ☆12Jan 13, 2025Updated last year
• fomalhautb / hn-analysis

  View on GitHub
  ☆12Mar 20, 2025Updated 11 months ago
• hw-sw-contracts / leakage-model-testing

  View on GitHub
  ☆11Nov 27, 2024Updated last year
• isstac / spf-wca

  View on GitHub
  Tool for algorithmic complexity analysis based on symbolic execution
  ☆10Sep 17, 2018Updated 7 years ago
• squaresLab / idioms

  View on GitHub
  ☆20Jan 30, 2026Updated last month
• murxla / murxla

  View on GitHub
  A model-based API Fuzzer for SMT Solvers.
  ☆15Oct 14, 2025Updated 4 months ago
• AppThreat / cpggen

  View on GitHub
  Generate CPG for multiple languages for code and threat analysis
  ☆11Sep 22, 2023Updated 2 years ago
• cuplv / dai

  View on GitHub
  DAI: Demanded Abstract Interpretation
  ☆16Sep 23, 2024Updated last year
• langston-barrett / duckalog

  View on GitHub
  Datalog engine based on DuckDB
  ☆10Mar 8, 2023Updated 2 years ago
• NikolajBjorner / ShonanArtOfSAT

  View on GitHub
  Schedule for ArtOfSAT
  ☆10Oct 11, 2023Updated 2 years ago
• BaDSeED-SEC / strngr

  View on GitHub
  ☆13May 5, 2018Updated 7 years ago
• RedBalloonShenanigans / bal-xilinx

  View on GitHub
  Abstraction layer for Xilinx FPGAs
  ☆15Aug 9, 2019Updated 6 years ago
• samm-git / e3372h-vendor-src

  View on GitHub
  Huawei E3372h source code from http://consumer.huawei.com/en/support/downloads/detail/index.htm?id=56443
  ☆11Nov 3, 2015Updated 10 years ago
• iamunixtz / jshunter-burp

  View on GitHub
  A powerful Burp Suite extension that automatically detects JavaScript URLs from HTTP traffic, scans them using TruffleHog for secrets det…
  ☆31Oct 23, 2025Updated 4 months ago
• aposwolsky / delphin

  View on GitHub
  The Delphin Project
  ☆10Aug 19, 2016Updated 9 years ago
• chc-comp / chc-tools

  View on GitHub
  Tools for manipulating CHC and related files
  ☆15Apr 21, 2023Updated 2 years ago
• Veridise / vanguard-aleo

  View on GitHub
  Static analysis toolkit for security analysis in Aleo programs
  ☆10Mar 29, 2024Updated last year
• iohehe / papers_collection

  View on GitHub
  ☆11Sep 7, 2023Updated 2 years ago
• cispa / ShadowLoad

  View on GitHub
  ☆12Apr 1, 2025Updated 11 months ago
• ZoEplA / TGRop

  View on GitHub
  An automated ROP generation work
  ☆12Mar 5, 2025Updated 11 months ago
• seclab-ucr / SADDNS2.0

  View on GitHub
  ☆18Feb 2, 2023Updated 3 years ago
• enochii / simple-pointer-analysis

  View on GitHub
  Pointer analysis prototype (currently including anderson, steensgard).
  ☆16Dec 20, 2021Updated 4 years ago
• icmccorm / mirilli

  View on GitHub
  A study of undefined behavior across foreign function boundaries in Rust libraries.
  ☆11Feb 13, 2025Updated last year
• UT-Security / cve-2023-5217-poc

  View on GitHub
  A PoC to trigger CVE-2023-5217 from the Browser WebCodecs or MediaRecorder interface.
  ☆17Oct 11, 2023Updated 2 years ago
• caterinaurban / apronpy

  View on GitHub
  ☆10Aug 18, 2025Updated 6 months ago
• Byzero512 / peda-windows

  View on GitHub
  peda like debugger script for windbg/windbgx and mingw-gdb
  ☆11Dec 31, 2021Updated 4 years ago
• batchenRothenberg / AllRepair

  View on GitHub
  ☆11Mar 8, 2021Updated 4 years ago
• AutomataDotNet / srm

  View on GitHub
  High-performance .NET regex engine with predictable performance
  ☆49Sep 7, 2023Updated 2 years ago
• sola-st / wasm-type-prediction

  View on GitHub
  ☆11Mar 22, 2022Updated 3 years ago
• wrongbaud / ghidra-utils

  View on GitHub
  Collection of useful Ghidra utilities and references
  ☆14Apr 9, 2024Updated last year
• kingst / GlucOS

  View on GitHub
  ☆15Oct 29, 2025Updated 4 months ago
• aeg-hit / PwnGPT

  View on GitHub
  Caputre the flag with Large Language Models
  ☆26Aug 5, 2025Updated 6 months ago
• ntddk / angr-doc-ja

  View on GitHub
  ☆10Oct 30, 2016Updated 9 years ago
• awslabs / aws-lc-verification

  View on GitHub
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆62Feb 20, 2026Updated last week
• es0j / CVE-2023-0045

  View on GitHub
  ☆14Feb 7, 2023Updated 3 years ago