A frozen version of angr for the SAILR paper
☆17Sep 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.
Sorting:
- Code snippets for Binary Ninja's Python API☆35Jun 2, 2021Updated 5 years ago
- Visualise the Data Flow Graph of the PCODE at all stages in the decompilation process☆58Jun 28, 2026Updated last month
- Apply ROP protection to a binary using binary rewriting with GTIRB☆34Jul 1, 2025Updated last year
- ☆11Jan 8, 2022Updated 4 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆38Mar 26, 2022Updated 4 years ago
- 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.
- Get build time statistics of _FORTIFY_SOURCE coverage for programs☆12Sep 23, 2024Updated last year
- Formally verified x86-64 decompilation☆54Jun 10, 2026Updated 2 months ago
- ☆10Aug 6, 2026Updated last week
- ☆17May 30, 2020Updated 6 years ago
- Simple, WIP Linux x64 emulator using Windows Hypervisor Platform.☆17Jun 5, 2020Updated 6 years ago
- A compiler of C subset by USTB OWL Wheel Lab.☆13Mar 8, 2026Updated 5 months ago
- A unified programming framework for high and portable performance across FPGAs and GPUs☆11Mar 23, 2025Updated last year
- ☆14May 16, 2023Updated 3 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 10 years ago
- 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.
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆120Nov 26, 2024Updated last year
- Sample code and notebooks for Generative AI on Google Cloud☆16Jan 2, 2024Updated 2 years ago
- ☆66Dec 17, 2025Updated 8 months ago
- OSKM 开源知识地图 Knowledge Map of Open Source☆11Oct 10, 2023Updated 2 years ago
- Cable modem firmware dump☆14Sep 18, 2020Updated 5 years ago
- ☆13Oct 30, 2022Updated 3 years ago
- Fast assembler for Quake3 Arena QVM☆14May 9, 2021Updated 5 years ago
- The DREAM decompiler☆49Apr 27, 2022Updated 4 years ago
- Lua scripts for emulators supporting Emulua☆26Feb 21, 2026Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Some security by obscurity using port-jumping.☆14Jul 3, 2026Updated last month
- PhishX - The Complete Spear Phishing Tool☆14Sep 13, 2018Updated 7 years ago
- Lua assembly toolkit☆18Feb 3, 2016Updated 10 years ago
- ☆17Aug 19, 2024Updated 2 years ago
- Repository ufficiale del sito ventuno.space, con ispirazione dal sito bitcoin only☆10Oct 25, 2023Updated 2 years ago
- The Bus-Mama is a bus tracking mobile application for the transportation of the students of BSMRSTU. It helps the students of our univers…☆14Nov 30, 2020Updated 5 years ago
- ☆13Mar 15, 2017Updated 9 years ago
- Tally Marks OpenType-SVG Font☆16Dec 3, 2019Updated 6 years ago
- A central place to store statically compiled tools I use when auditing a Linux based device.☆14Sep 28, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆11Nov 13, 2020Updated 5 years ago
- This repo includes ChatGPT prompt curation to use ChatGPT better.☆13Feb 22, 2024Updated 2 years ago
- LCC-based compiler for Quake III Arena QVM☆16Mar 12, 2025Updated last year
- UC NeXt is a Rails app for fostering IT collaboration amongst the various UC campuses.☆11Feb 25, 2020Updated 6 years ago
- Shellcode generation for eCOS platform.☆14Mar 13, 2021Updated 5 years ago
- homebrew tap for installing go-swagger☆10May 14, 2024Updated 2 years ago
- 过滤VPN字节☆10Mar 4, 2020Updated 6 years ago