A tiny KVM hypervisor written in Python
☆69Jan 7, 2019Updated 7 years ago
Alternatives and similar repositories for PyKVM
Users that are interested in PyKVM are comparing it to the libraries listed below
Sorting:
- A modded Python interpreter that supports symbolic execution.☆11Aug 23, 2015Updated 10 years ago
- Release history of Chatbot-Eliza☆10Dec 4, 2023Updated 2 years ago
- Buchbergers algorithm for computing Groebner basis of polynonmial ideals☆13Dec 2, 2023Updated 2 years ago
- libs2e.so☆19Dec 19, 2020Updated 5 years ago
- QEMU VM with generic KVM extensions for symbolic execution☆26Sep 24, 2025Updated 5 months ago
- ☆19Dec 19, 2019Updated 6 years ago
- ☆14Feb 27, 2017Updated 9 years ago
- Terminal and GUI utility to reboot to other OS on a UEFI system☆20Dec 23, 2024Updated last year
- A Pastebin scraper designed to look for malicious content☆20Nov 20, 2019Updated 6 years ago
- Step by step manual for building KLEE☆18Jul 21, 2017Updated 8 years ago
- ☆24May 18, 2021Updated 4 years ago
- Code to fuzz bignum libraries☆46Nov 11, 2018Updated 7 years ago
- It is a tool to analyze the pattern of memory mapped file I/O using Intel pin.☆19Apr 2, 2018Updated 7 years ago
- Code for my blog post on using S2E for malware analysis☆25Jul 16, 2019Updated 6 years ago
- BTLE Dog&Bone smart lock hacking -- Ozlockcon 2017☆21Jun 8, 2017Updated 8 years ago
- SymQEMU: Compilation-based symbolic execution for binaries☆368May 5, 2025Updated 9 months ago
- libipt - an Intel(R) Processor Trace decoder library☆18Apr 7, 2017Updated 8 years ago
- Safely execute an arbitrary x86 instruction☆205Feb 6, 2024Updated 2 years ago
- x86 Dynamic Binary Translator Library☆34Dec 19, 2020Updated 5 years ago
- a bare metal (type 1) VMM (hypervisor) with a python remote control API☆186Feb 8, 2018Updated 8 years ago
- Core of Linux hooking engine for ARM architecture☆22Jan 16, 2018Updated 8 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Jul 7, 2021Updated 4 years ago
- Formal verification of the Algorand consensus protocol☆27Nov 20, 2022Updated 3 years ago
- Stratified synthesis for learning machine code instruction semantics☆40Sep 24, 2025Updated 5 months ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆511Feb 15, 2026Updated last week
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Jul 25, 2014Updated 11 years ago
- Simple automatic reconnecting WebSocket☆12Feb 27, 2023Updated 3 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆75May 21, 2021Updated 4 years ago
- A coverage-based software testing tool☆34Dec 11, 2020Updated 5 years ago
- ☆74Aug 12, 2020Updated 5 years ago
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆29Jan 12, 2023Updated 3 years ago
- 🔓 x86 Linux Kernel rootkit for Debian 9 (4.9.0-11-686-pae)☆35Mar 8, 2020Updated 5 years ago
- Pure Rust x86_64 bootloader and kernel☆502Nov 9, 2023Updated 2 years ago
- Minimal binary codec for SocketCluster based on pbf☆10Oct 30, 2017Updated 8 years ago
- MacOS on Huananzhi X99 TF with OpenCore☆10Apr 19, 2023Updated 2 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆141Aug 17, 2021Updated 4 years ago
- run AFL with dynamorio☆37Aug 24, 2020Updated 5 years ago
- A very simple hypervisor for learning experience.☆147Oct 25, 2021Updated 4 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆77Sep 23, 2022Updated 3 years ago