mahaloz/angr-sailr 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

mahaloz/angr-sailr

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/mahaloz/angr-sailr)

Close

mahaloz / angr-sailrView on GitHubMore

• External links
• Readme badge

A frozen version of angr for the SAILR paper

☆16Sep 4, 2024Updated last year

Alternatives and similar repositories for angr-sailr

Users that are interested in angr-sailr are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• HackOvert / BinaryNinjaSnippets

  View on GitHub
  Code snippets for Binary Ninja's Python API
  ☆35Jun 2, 2021Updated 4 years ago
• LukeSerne / DecompVis

  View on GitHub
  Visualise the Data Flow Graph of the PCODE at all stages in the decompilation process
  ☆58Apr 5, 2025Updated last year
• GrammaTech / gtirb-stack-stamp

  View on GitHub
  Apply ROP protection to a binary using binary rewriting with GTIRB
  ☆34Jul 1, 2025Updated 9 months ago
• orca-eaa5a / mac-defender

  View on GitHub
  ☆11Jan 8, 2022Updated 4 years ago
• jevinskie / pypcode-emu

  View on GitHub
  Ghidra P-Code emulation and static LLVM lifting in Python
  ☆38Mar 26, 2022Updated 4 years ago
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• contrun / infra

  View on GitHub
  ☆10Updated this week
• fuzzywalls / ida

  View on GitHub
  ☆17May 30, 2020Updated 5 years ago
• siddhesh / fortify-metrics

  View on GitHub
  Get build time statistics of _FORTIFY_SOURCE coverage for programs
  ☆12Sep 23, 2024Updated last year
• ustb-owl / Lava

  View on GitHub
  A compiler of C subset by USTB OWL Wheel Lab.
  ☆13Mar 8, 2026Updated last month
• pku-liang / popa

  View on GitHub
  A unified programming framework for high and portable performance across FPGAs and GPUs
  ☆11Mar 23, 2025Updated last year
• wallds / tiktok-re

  View on GitHub
  ☆14May 16, 2023Updated 2 years ago
• argent0 / haskell-ml-benchmark

  View on GitHub
  Comparing Different Stochastic Gradien Descent implementations in Haskell against Python
  ☆10Jul 25, 2016Updated 9 years ago
• JustAPerson / MODS

  View on GitHub
  Lua assembly toolkit
  ☆19Feb 3, 2016Updated 10 years ago
• secure-foundations / trex

  View on GitHub
  🦖 Reconstruct Types from Binary Code
  ☆52Nov 21, 2025Updated 4 months ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• addrianyy / linux-vm

  View on GitHub
  Simple, WIP Linux x64 emulator using Windows Hypervisor Platform.
  ☆17Jun 5, 2020Updated 5 years ago
• Tim-Nosco / tinysh

  View on GitHub
  ☆13Oct 30, 2022Updated 3 years ago
• mahaloz / sailr-eval

  View on GitHub
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆119Nov 26, 2024Updated last year
• sefcom / VarBERT

  View on GitHub
  ☆66Dec 17, 2025Updated 4 months ago
• can-lehmann / egraphs.cpp

  View on GitHub
  E-Graph library
  ☆22Apr 4, 2024Updated 2 years ago
• Xkeeper0 / emu-lua

  View on GitHub
  Lua scripts for emulators supporting Emulua
  ☆26Feb 21, 2026Updated last month
• leonjza / port-jump

  View on GitHub
  Some security by obscurity using port-jumping.
  ☆14Aug 21, 2025Updated 7 months ago
• OpenSourceKM / oskm

  View on GitHub
  OSKM 开源知识地图 Knowledge Map of Open Source
  ☆10Oct 10, 2023Updated 2 years ago
• ec- / q3asm

  View on GitHub
  Fast assembler for Quake3 Arena QVM
  ☆14May 9, 2021Updated 4 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• danastyone / cablemodem_junkyard

  View on GitHub
  Cable modem firmware dump
  ☆12Sep 18, 2020Updated 5 years ago
• Milo-D / house-of-gods

  View on GitHub
  House of Gods Heap Exploitation Technique
  ☆20Dec 5, 2022Updated 3 years ago
• arata-nvm / tablegen-lsp

  View on GitHub
  A language server for TableGen and a VSCode extension
  ☆30Updated this week
• CodeIntelligenceTesting / dream

  View on GitHub
  The DREAM decompiler
  ☆48Apr 27, 2022Updated 3 years ago
• adobe-fonts / tally-marks

  View on GitHub
  Tally Marks OpenType-SVG Font
  ☆16Dec 3, 2019Updated 6 years ago
• ventunobtc / ventuno-space

  View on GitHub
  Repository ufficiale del sito ventuno.space, con ispirazione dal sito bitcoin only
  ☆10Oct 25, 2023Updated 2 years ago
• olucode / hello-world

  View on GitHub
  ☆11Mar 15, 2017Updated 9 years ago
• b1ack0wl / embedded_debug_tools

  View on GitHub
  A central place to store statically compiled tools I use when auditing a Linux based device.
  ☆14Sep 28, 2020Updated 5 years ago
• y2labs-0sh / dada-api

  View on GitHub
  ☆11Nov 13, 2020Updated 5 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• leyarotheconquerer / lolcode-reference

  View on GitHub
  Reference for the LOLCODE language.
  ☆14Jun 5, 2021Updated 4 years ago
• ec- / q3lcc

  View on GitHub
  LCC-based compiler for Quake III Arena QVM
  ☆16Mar 12, 2025Updated last year
• ecos-wtf / ecoshell

  View on GitHub
  Shellcode generation for eCOS platform.
  ☆14Mar 13, 2021Updated 5 years ago
• chikitai / awesome-chatgpt-prompts

  View on GitHub
  This repo includes ChatGPT prompt curation to use ChatGPT better.
  ☆13Feb 22, 2024Updated 2 years ago
• universityofcalifornia / NeXt

  View on GitHub
  UC NeXt is a Rails app for fostering IT collaboration amongst the various UC campuses.
  ☆11Feb 25, 2020Updated 6 years ago
• go-swagger / homebrew-go-swagger

  View on GitHub
  homebrew tap for installing go-swagger
  ☆10May 14, 2024Updated last year
• jbaines-r7 / theway

  View on GitHub
  A tool for extracting, modifying, and crafting ASDM binary packages (CVE-2022-20829)
  ☆13Aug 15, 2022Updated 3 years ago