CFG explorer for binaries
☆39Oct 29, 2024Updated last year
Alternatives and similar repositories for cfg-explorer
Users that are interested in cfg-explorer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Sep 29, 2022Updated 3 years ago
- CFG explorer for binaries☆85Oct 29, 2024Updated last year
- 国科大编译作业三：Point to 分析☆18Dec 12, 2021Updated 4 years ago
- Simple x64dbg plugin to show registers on every step.☆16Jul 27, 2019Updated 6 years ago
- 最全中华古诗词数据库, 唐宋两朝近一万四千古诗人, 接近5.5万首唐诗加26万宋诗. 两宋时期1564位词人，21050首词。☆13Feb 9, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Python Templates for LeetCode☆23May 12, 2026Updated last month
- A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.☆18May 15, 2026Updated last month
- 我逆过的一些app☆52Nov 2, 2022Updated 3 years ago
- MoCHi: Model Checker for Higher-Order Programs☆43Apr 19, 2025Updated last year
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆11Feb 3, 2020Updated 6 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Feb 19, 2020Updated 6 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆27May 25, 2021Updated 5 years ago
- An IntelliJ IDEA plugin for working on Ghidra Extensions.☆107Apr 14, 2024Updated 2 years ago
- ☆32Nov 29, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Example setup for compiling Rust code that depends on an unmodified tree-sitter crate to the web via WebAssembly (and WASI).☆15Oct 28, 2024Updated last year
- PWN Challenge☆11Apr 28, 2022Updated 4 years ago
- TLA+ model checking guided testing for distributed systems☆19Feb 12, 2024Updated 2 years ago
- Merge multi binaries into one IDA database.☆24Jan 18, 2022Updated 4 years ago
- ☆11Jan 5, 2022Updated 4 years ago
- ☆16Jun 22, 2022Updated 4 years ago
- TRACY☆19Jul 1, 2016Updated 10 years ago
- 2022 USTC 011705 (OSH) Course Project of Runikraft Group☆13Jul 22, 2022Updated 3 years ago
- ☆14Oct 8, 2021Updated 4 years ago
- 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.
- A Ghidra extension that allows you to run Angr symbolic execution using the Pcode from Ghidra.☆16Nov 11, 2021Updated 4 years ago
- Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)☆20Feb 21, 2022Updated 4 years ago
- A small header C library to print stack trace on execution if an exception occurs (such as segmentation fault).☆24Jun 10, 2017Updated 9 years ago
- 国科大编译作业二：LLVM Pass处理函数调用☆18Nov 11, 2021Updated 4 years ago
- 通过tweak注入动态库☆10Jan 15, 2025Updated last year
- Control Flow Graph Scanning for Android☆64May 26, 2015Updated 11 years ago
- Effects of packers on machine-learning-based malware classifiers that use only static analysis☆90Jun 17, 2024Updated 2 years ago
- Add a global delay to Command-Q to stop accidental app quits.☆13Dec 28, 2020Updated 5 years ago
- A IDAPython script for searching overflows by IDA.☆21Sep 21, 2017Updated 8 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.
- Odoo 12.0 allows remote attackers to read local files.☆11Jun 11, 2020Updated 6 years ago
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆38Jan 14, 2022Updated 4 years ago
- ☆15Apr 13, 2021Updated 5 years ago
- ☆20May 27, 2020Updated 6 years ago
- Sys, but no longer in Haskell☆19Mar 14, 2022Updated 4 years ago
- ☆11Feb 28, 2020Updated 6 years ago
- ☆12Oct 2, 2021Updated 4 years ago