novafacing / libc-fuzzerView external linksLinks
A fuzzer setup to fuzz libc functions.
☆16Aug 30, 2022Updated 3 years ago
Alternatives and similar repositories for libc-fuzzer
Users that are interested in libc-fuzzer are comparing it to the libraries listed below
Sorting:
- This is the home of the raindrop obfuscator. It transforms program functions into obfuscated ROP chains that coexist seamlessly with the …☆64Aug 11, 2021Updated 4 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆39May 2, 2020Updated 5 years ago
- ☆39Sep 27, 2022Updated 3 years ago
- ☆41Aug 4, 2020Updated 5 years ago
- This is the repository for the code and artifacts related to the CCS2022 paper: C2C: Fine-grained Configuration-driven System Call Filter…☆11Nov 4, 2022Updated 3 years ago
- ☆13Aug 18, 2025Updated 5 months ago
- AMD SEV-SNP rust utils☆16May 13, 2025Updated 9 months ago
- ☆28Sep 9, 2020Updated 5 years ago
- SMVs: Enforcing Least Privilege Memory Views for Multithreaded Applications☆13Jul 7, 2022Updated 3 years ago
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆18Sep 30, 2024Updated last year
- experiments for IJON☆12Jul 1, 2019Updated 6 years ago
- A structured fuzzing framework built in Rust☆31Oct 10, 2022Updated 3 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆16Dec 9, 2020Updated 5 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆20Jul 4, 2024Updated last year
- Benchmark to test different stop the exploit mitigations☆18Jan 8, 2019Updated 7 years ago
- Rust Bindings to interact with SMTLIB2 compliant solvers☆17Jun 3, 2019Updated 6 years ago
- ☆30Oct 25, 2021Updated 4 years ago
- Simple grammar-based test case generator☆39Feb 2, 2026Updated last week
- EDK II☆16Apr 30, 2024Updated last year
- SGX protected filesystem demo☆12Jul 28, 2017Updated 8 years ago
- Proof-of-concept automated baremetal malware analysis framework.☆14Sep 24, 2015Updated 10 years ago
- ☆21Aug 22, 2022Updated 3 years ago
- Windows 64-bits driver☆17Dec 1, 2017Updated 8 years ago
- Run your Binary Ninja Python console in a separate Terminal window.☆18Nov 1, 2018Updated 7 years ago
- Easy-to-use tool which autogenerates a type-aware fuzzer from a debuggable executable.☆24Jan 7, 2023Updated 3 years ago
- A feature-complete reference implementation of a modern Xen VMI debugger. ARCHIVED: Development continues at https://github.com/spencermi…☆78Nov 2, 2020Updated 5 years ago
- This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…☆44Feb 15, 2024Updated last year
- A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆45Sep 2, 2023Updated 2 years ago
- Binary-only fuzzer for WebAssembly (WASI)☆52Jul 31, 2024Updated last year
- Open-source release for MemSentry (EuroSys'17)☆47May 5, 2021Updated 4 years ago
- KVM Virtual Machine Introspection Library☆48Dec 13, 2023Updated 2 years ago
- ☆78Jun 13, 2022Updated 3 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Feb 3, 2021Updated 5 years ago
- Low level attester and verifier drivers for multiple TEEs☆25May 30, 2024Updated last year
- Compartmentalised monolithic library OS☆20Jul 15, 2021Updated 4 years ago
- Symbolic Execution over Falcon IL☆30Aug 28, 2021Updated 4 years ago
- Virtual machine introspection library based on libvmi - parts of this work have been funded by Deutsche Forschungsgemeinschaft (DFG) – pr…☆31Mar 3, 2022Updated 3 years ago
- ☆22Nov 12, 2020Updated 5 years ago