BE-PUM (Binary Emulation for PUshdown Model) is a project for analyzing and detecting binary files. Its main focus is on generating CFG (Control Flow Graph) of malware. This project was set out in 2013. It is under management by Dr. Nguyen Minh Hai, HoChiMinh University of Technology.
☆20Dec 25, 2017Updated 8 years ago
Alternatives and similar repositories for BE-PUM
Users that are interested in BE-PUM 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 for my blog post on combining S2E and Kaitai Struct☆15Jun 1, 2019Updated 7 years ago
- Các IDA Flirt signatures HTC tạo☆21Oct 21, 2024Updated last year
- This is a fuzzer for Windows SEH buffer overflow.☆15Oct 17, 2017Updated 8 years ago
- Convert libvirt-QEMU-save (LQS) files to raw memory files☆14Sep 22, 2018Updated 7 years ago
- PoC LibVMI-based GDB server for virtual machines☆55Dec 13, 2017Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The C3, SMT/SAT solver written in C.☆36Aug 10, 2025Updated 11 months ago
- VMI-Unpack - A Virtual Machine Introspection (VMI) based generic unpacker.☆55Jan 16, 2020Updated 6 years ago
- Source code of Malware Classification by Learning Semantic and Structural Features of Control Flow Graphs (TrustCom 2021)☆22Mar 17, 2022Updated 4 years ago
- Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) o…☆29Mar 6, 2024Updated 2 years ago
- Malware Dynamic Analysis Platform enhanced Cuckoo Sandbox☆25Jan 10, 2018Updated 8 years ago
- CVE-2014-1303 (WebKit Heap based BOF) proof of concept for Linux☆24Aug 10, 2025Updated 11 months ago
- This is a sample approach of data analysis in security scene.☆18Oct 21, 2018Updated 7 years ago
- ☆14Jan 12, 2018Updated 8 years ago
- gdbserver implementation on BitVisor☆26Nov 8, 2017Updated 8 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.
- ☆22Sep 5, 2022Updated 3 years ago
- It's not just UsnJrnl (USN Journal Records/Change Journal Records) parser.☆24Nov 11, 2018Updated 7 years ago
- https://github.com/sk2sat/emu のほうで一から作り直ししてます☆24Jul 8, 2017Updated 9 years ago
- Security Evaluation of Dynamic Binary Instrumentation Engines☆81Sep 1, 2018Updated 7 years ago
- Robust API monitoring system presented in the paper "Designing Robust API Monitoring Solutions" (IEEE TDSC)☆25Dec 8, 2021Updated 4 years ago
- Official Repository of "Robust Malware Classification via Deep Graph Networks on Call Graph Topologies" (ESANN 2021)☆14Jun 16, 2023Updated 3 years ago
- Simple tool to regularly pool Tor HSDirs for hidden service descriptors☆10Jul 3, 2015Updated 11 years ago
- Hypervisor-Level Debugger based on Radare2 / LibVMI, using VMI IO and debug plugins☆135Jan 6, 2019Updated 7 years ago
- ☆69Jul 20, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Code for the paper EvilCoder: Automated Bug Insertion at ACSAC 2016☆46Jan 18, 2017Updated 9 years ago
- A Multithread PcapNG capturing tool with Hardware timestamping☆10Nov 6, 2016Updated 9 years ago
- ☆16Oct 4, 2012Updated 13 years ago
- A Multi-Threaded PE Export Collection Utility☆14May 13, 2023Updated 3 years ago
- Sample Program for rust-uefi. It's running as a UEFI apps written by Rust.☆16Sep 14, 2019Updated 6 years ago
- Simple high-interactive client honeypot☆25Oct 15, 2017Updated 8 years ago
- Inject a Dll from memory☆44Sep 10, 2019Updated 6 years ago
- Towards Generic Deobfuscation of Windows API Calls☆49May 21, 2019Updated 7 years ago
- ☆13Jan 30, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research☆67Jan 8, 2017Updated 9 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆22Jul 5, 2017Updated 9 years ago
- 論文を読んだふりしてライバルに差をつけろ☆17Dec 31, 2016Updated 9 years ago
- Code snippets for Binary Ninja's Python API☆35Jun 2, 2021Updated 5 years ago
- ☆45Mar 13, 2022Updated 4 years ago
- ☆12Jun 14, 2017Updated 9 years ago
- A blanked execution framework based on the Unicorn engine☆19Jan 29, 2017Updated 9 years ago