Python API for rewriting GTIRB files
☆19Apr 30, 2026Updated 3 months ago
Alternatives and similar repositories for gtirb-rewriting
Users that are interested in gtirb-rewriting are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Intermediate Representation for Binary analysis and transformation☆363Jun 16, 2026Updated last month
- Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)☆20Feb 21, 2022Updated 4 years ago
- Sys, but no longer in Haskell☆20Mar 14, 2022Updated 4 years ago
- ☆13Jun 20, 2022Updated 4 years ago
- A fast and accurate disassembler☆829Jul 7, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆12May 31, 2018Updated 8 years ago
- Semantic Crash Bucketing☆16Sep 8, 2020Updated 5 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 3 years ago
- Manipulate C-family ASTs with Clang☆70Oct 22, 2018Updated 7 years ago
- ☆80Jan 14, 2024Updated 2 years ago
- Programmatic modification and evaluation of software☆202Jul 9, 2026Updated last month
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Aug 3, 2020Updated 6 years ago
- S2E Core Engine Library☆15Jan 7, 2020Updated 6 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.
- Trivial command-line argument parsing library for Common Lisp☆18Jul 18, 2021Updated 5 years ago
- 福昕Foxit PDF远程代码执行漏洞CVE-2023-27363分析与复现☆11Jul 6, 2023Updated 3 years ago
- RcppDeepState, a simple way to fuzz test code in Rcpp packages☆10Oct 24, 2022Updated 3 years ago
- short article introducing Org-mode's application to RR☆18Mar 8, 2013Updated 13 years ago
- ☆16Feb 23, 2026Updated 5 months ago
- Learn LLVM Core Libraries, Second Edition, published by Packt☆12Jan 15, 2021Updated 5 years ago
- Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries…☆29Apr 23, 2021Updated 5 years ago
- llvm2KITTeL☆20Feb 16, 2017Updated 9 years ago
- Playground for testing feedback☆16Aug 12, 2020Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆82Aug 20, 2025Updated 11 months ago
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- Your S2E project management tools. Visit https://s2e.systems/docs to get started.☆96May 24, 2026Updated 2 months ago
- A Common Lisp library for computing differences between files☆29Aug 9, 2013Updated 13 years ago
- SyzScope is a research project that aims to reveal high-risk security bug from Syzbot. Learn more details in our paper.☆24Nov 17, 2021Updated 4 years ago
- A collection of command-line tools based on Dyninst☆18Jun 3, 2021Updated 5 years ago
- ☆40Feb 15, 2022Updated 4 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆34Jan 27, 2025Updated last year
- ☆17Nov 29, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Python bindings for Comby☆13Nov 7, 2023Updated 2 years ago
- Nitko web server scanner☆15Sep 25, 2019Updated 6 years ago
- Capstone bindings for Haskell: https://github.com/aquynh/capstone☆15Apr 5, 2021Updated 5 years ago
- Program analysis tools developed at Draper on the CBAT project.☆108Apr 13, 2023Updated 3 years ago
- This repository is the source code for the paper "GapTracer: Unraveling RPC Obfuscations in Provenance Graphs for Attack Source Tracing"☆15Apr 3, 2026Updated 4 months ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Nov 21, 2022Updated 3 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Jan 15, 2022Updated 4 years ago