{"id":13841320,"url":"https://github.com/trailofbits/maat","last_synced_at":"2025-05-15T19:09:14.977Z","repository":{"id":37475808,"uuid":"418854583","full_name":"trailofbits/maat","owner":"trailofbits","description":"Open-source symbolic execution framework: https://maat.re","archived":false,"fork":false,"pushed_at":"2024-09-04T05:44:41.000Z","size":7639,"stargazers_count":634,"open_issues_count":32,"forks_count":43,"subscribers_count":14,"default_branch":"master","last_synced_at":"2025-05-14T11:23:52.723Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"C++","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/trailofbits.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2021-10-19T09:23:10.000Z","updated_at":"2025-05-07T19:20:32.000Z","dependencies_parsed_at":"2024-12-06T12:00:42.544Z","dependency_job_id":null,"html_url":"https://github.com/trailofbits/maat","commit_stats":{"total_commits":170,"total_committers":8,"mean_commits":21.25,"dds":0.1705882352941176,"last_synced_commit":"a96edb49c0ad2544c693411cff308cf7cbe5d547"},"previous_names":[],"tags_count":22,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmaat","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmaat/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmaat/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmaat/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/trailofbits","download_url":"https://codeload.github.com/trailofbits/maat/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":254404357,"owners_count":22065641,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-08-04T17:01:08.338Z","updated_at":"2025-05-15T19:09:14.951Z","avatar_url":"https://github.com/trailofbits.png","language":"C++","funding_links":[],"categories":["Tools","C++"],"sub_categories":["Binaries"],"readme":"\u003cp align=\"center\" \u003e\n     \u003cbr\u003e\u003cbr\u003e\n\u003cimg width=\"45%\" src=\"resources/maat_logo.png\"/\u003e \u003cbr\u003e\n  \u003c!-- TODO\n  \u003cimg src=\"https://img.shields.io/badge/License-MIT-green\" alt=\"License: MIT\"\u003e \u0026nbsp; \u0026nbsp;\n   \u003cimg src=\"https://img.shields.io/badge/Build-Linux-green\" alt=\"Build: Linux\"\u003e  \u0026nbsp; \u0026nbsp;\n  \u003cimg src=\"https://img.shields.io/badge/Version-v0.2-green\" alt=\"Version: 0.2\"\u003e \u0026nbsp; \u0026nbsp;\n  \u003ca href=\"http://maat.re\"\u003e\u003cimg src=\"https://img.shields.io/badge/Website-maat.re-blue\" alt=\"Website: maat.re\"\u003e\u003c/a\u003e --\u003e\n  \u003cbr\u003e\n  \u003cbr\u003e\n  \u003cbr\u003e\n\u003c/p\u003e\n\n\n# About\n\nMaat is an open-source Dynamic Symbolic Execution and Binary Analysis framework. It provides various functionalities such as symbolic execution, taint analysis, constraint solving, binary loading, environment simulation, and leverages Ghidra's sleigh library for assembly lifting: https://maat.re\n\nKey features:\n\n- **Fast \u0026 Portable**: Designed to scale to real-world applications. Fully written in C++ for good runtime\n                performance. There are hardly any runtime dependencies, and most of them are optional\n- **User-friendly**: Maat has a flexible debugger-like API, and its features are configurable to\n                      adapt to many different use-cases. As any self-respecting modern framework, it comes with *Python bindings*\n- **Multi-arch**: With lifting and emulation based on Ghidra's awesome *sleigh* library, Maat\n                      has the potential to emulate many architectures, including exotic ones\n\n# Getting started\n- [Installation](#installation)\n- [Hacking](./HACKING.md)\n- [Contributing](./CONTRIBUTING.md)\n- [Tutorials](https://maat.re/tutorials.html)\n     - [Getting started](https://maat.re/tutorials/get_started.html)\n     - [Event hooking](https://maat.re/tutorials/events.html)\n     - [Dynamic symbolic execution](https://maat.re/tutorials/dse.html)\n- [Documentation](https://maat.re/python_api/index.html)\n     - [Python API](https://maat.re/python_api/index.html)\n     - [C++ API](https://maat.re/cpp_api/index.html)\n- [Example](#example)\n- [Contact](#contact)\n\n# Installation\n\nTo install Maat's python module:\n````\npython3 -m pip install pymaat\n````\n\nTo install Maat's native SDK and use the C++ API, check out [BUILDING.md](./BUILDING.md)\n\n# Example\n\n```Python\nfrom maat import *\n\n# Create a symbolic engine for Linux X86-32bits\nengine = MaatEngine(ARCH.X86, OS.LINUX)\n\n# Load a binary with one command line argument\nengine.load(\"./some_binary\", BIN.ELF32, args=[engine.vars.new_symbolic_buffer(\"some_arg\", 20)])\n\n# Get current eax value\nengine.cpu.eax\n\n# Read 4 bytes at the top of the stack\nengine.mem.read(engine.cpu.esp, 4)\n\n# Set a callback displaying every memory read\ndef show_mem_access(engine):\n    mem_access = engine.info.mem_access\n    print(f\"Instruction at {engine.info.addr} reads {mem_access.size} bytes at {mem_access.addr}\")\n\nengine.hooks.add(EVENT.MEM_R, WHEN.BEFORE, callbacks=[show_mem_access])\n\n# Take and restore snapshots\nsnap = engine.take_snapshot()\nengine.restore_snapshot(snap)\n\n# Run the binary\nengine.run()\n```\n\n# Contact\nFor general discussions, questions and suggestions, we use [Github Discussions](https://github.com/trailofbits/maat/discussions)\n\nFor reporting issues and bugs, please use [Github Issues](https://github.com/trailofbits/maat/issues)\n\nFor anything else, drop an e-mail at boyan.milanov@trailofbits.com\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftrailofbits%2Fmaat","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftrailofbits%2Fmaat","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftrailofbits%2Fmaat/lists"}