intel / HBFA-FLLinks
☆15Updated last week
Alternatives and similar repositories for HBFA-FL
Users that are interested in HBFA-FL are comparing it to the libraries listed below
Sorting:
- Framework for in-VM test execution and monitoring, inspired by Sandsifter☆12Updated 4 months ago
- EDK II☆16Updated last year
- A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS☆326Updated this week
- Main HALucinator branch☆50Updated this week
- QEMU enhanced with OS handlers, external plugins, and rapid analysis execution engine.☆41Updated 5 years ago
- Pre-Silicon Hardware Fuzzing Toolkit☆60Updated 5 months ago
- ☆96Updated last year
- GitHub Actions based repository scanning workflows with a primary goal of evaluating C & C++ repositories for risks.☆16Updated last year
- ☆70Updated 11 months ago
- Linux kernel source tree patched with Hypervisor-Enforced Kernel Integrity☆13Updated 2 years ago
- Intel x86 bare metal hypervisor for researching snapshot fuzzing ideas.☆169Updated 5 years ago
- ☆17Updated last year
- Linux kernel branches for confidential compute research☆20Updated 10 months ago
- CLKscrew Code and Scripts☆28Updated 5 years ago
- Collection of DBI evasion techniques☆16Updated 4 years ago
- VMF is a modular fuzzer that is easily reconfigurable to use many different capabilities and approaches. Also includes a web-based distri…☆37Updated 5 months ago
- A fuzzer setup to fuzz libc functions.☆16Updated 3 years ago
- ☆187Updated 2 years ago
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆473Updated last year
- ☆14Updated 5 years ago
- High performance fuzzing using riscv to x86 binary translations and modern fuzzing techniques☆154Updated 2 years ago
- Snapshot fuzzing with KVM and LibAFL☆96Updated 3 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated last year
- ☆91Updated 10 months ago
- Intel ATR Training: Security of BIOS/UEFI System Firmware from Attacker and Defender Perspectives☆102Updated 8 years ago
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆65Updated 8 months ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆135Updated last month
- ☆45Updated 2 years ago
- ☆136Updated 4 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year