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.
- fork from gps-sdr-sim can get realtime gps data from it to grc,so you can change gps pos realtime☆15Sep 22, 2017Updated 8 years ago
- MoCHi: Model Checker for Higher-Order Programs☆43Apr 19, 2025Updated 11 months ago
- 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
- 基于配置文 件的go项目打包工具☆12Jul 25, 2025Updated 8 months ago
- 一个简单的 CTF 在线挑战平台的搭建历程☆15Dec 9, 2021Updated 4 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆22Feb 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…☆26May 25, 2021Updated 4 years ago
- An IntelliJ IDEA plugin for working on Ghidra Extensions.☆107Apr 14, 2024Updated last year
- ☆18Jan 17, 2024Updated 2 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.
- ☆32Nov 29, 2022Updated 3 years ago
- PWN Challenge☆11Apr 28, 2022Updated 3 years ago
- TLA+ model checking guided testing for distributed systems☆17Feb 12, 2024Updated 2 years ago
- Merge multi binaries into one IDA database.☆24Jan 18, 2022Updated 4 years ago
- ☆16Jun 22, 2022Updated 3 years ago
- TRACY☆19Jul 1, 2016Updated 9 years ago
- 2022 USTC 011705 (OSH) Course Project of Runikraft Group☆13Jul 22, 2022Updated 3 years ago
- 国科大编译作业二：LLVM Pass处理函数调用☆18Nov 11, 2021Updated 4 years ago
- Control Flow Graph Scanning for Android☆64May 26, 2015Updated 10 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Effects of packers on machine-learning-based malware classifiers that use only static analysis☆90Jun 17, 2024Updated last year
- A collection of widely-fuzzed targets☆46Aug 4, 2019Updated 6 years ago
- yet another linq implementation in C++☆10Jul 22, 2016Updated 9 years ago
- A IDAPython script for searching overflows by IDA.☆21Sep 21, 2017Updated 8 years ago
- ☆19Feb 6, 2023Updated 3 years ago
- Odoo 12.0 allows remote attackers to read local files.☆11Jun 11, 2020Updated 5 years ago
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆37Jan 14, 2022Updated 4 years ago
- ☆15Apr 13, 2021Updated 4 years ago
- 深入理解Linux内核（改）☆19Jul 21, 2021Updated 4 years ago
- 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.
- A set of codes to help you deal with your Physics Chemistry Lab. course☆12Jan 23, 2018Updated 8 years ago
- ☆17Mar 17, 2022Updated 4 years ago
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆24Jun 2, 2023Updated 2 years ago
- ☆12Oct 2, 2021Updated 4 years ago
- Cisco RV042/016/082 Router Firmware☆14Mar 8, 2020Updated 6 years ago
- Duet: static analysis for unbounded concurrency☆30Feb 6, 2026Updated 2 months ago
- Go+Redis实现消息队列☆20Jan 29, 2022Updated 4 years ago