From db361284fbff24a87200b2280c7af858e96d509c Mon Sep 17 00:00:00 2001
From: deadjakk <30613497+deadjakk@users.noreply.github.com>
Date: Wed, 2 Mar 2022 10:28:38 -0600
Subject: [PATCH] added maat to README.md

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index f993e2c..9f4eeec 100644
--- a/README.md
+++ b/README.md
@@ -104,6 +104,7 @@
 * [angr](http://angr.io/) - Python framework for analyzing binaries. Includes a symbolic execution tool.
 * [Triton](https://triton.quarkslab.com/) - Dynamic binary analysis platform that includes a dynamic symbolic execution tool.
 * [manticore](https://github.com/trailofbits/manticore) - Symbolic execution tool for binaries (x86, x86_64 and ARMV7) and Ethereum smart contract bytecode.
+* [MAAT](https://github.com/trailofbits/maat) - Low-level symbolic execution tool, uses Ghidra's p-code.  
 * [BinCAT](https://github.com/airbus-seclab/bincat) - Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection.