vusec / floatzoneLinks
☆70Updated last year
Alternatives and similar repositories for floatzone
Users that are interested in floatzone are comparing it to the libraries listed below
Sorting:
- ☆39Updated 3 years ago
- A Hybrid Alias Analysis☆19Updated 2 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆144Updated 2 years ago
- ☆20Updated 8 months ago
- Linux kernel branches for confidential compute research☆19Updated 6 months ago
- ROSA: Finding Backdoors with Fuzzing☆25Updated 3 months ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆53Updated 4 months ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆28Updated 3 years ago
- llvm crash analysis☆44Updated last year
- kAFL Fuzzer☆34Updated 7 months ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- ☆14Updated 4 years ago
- Library for manipulating gdb in batch mode☆20Updated last year
- How to use LLVM passes☆35Updated 3 years ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆149Updated 4 years ago
- A suite of experiments for evaluating open-source binary taint trackers.☆32Updated 3 years ago
- Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"☆22Updated 8 months ago
- LLVM meets Code Property Graphs☆94Updated 4 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆32Updated 3 years ago
- ☆43Updated 3 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆146Updated 8 months ago
- ☆59Updated last year
- LLVM-based type and memory allocation tracking sanitizer☆55Updated last month
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆30Updated last year
- ☆44Updated 4 months ago
- A versatile and easy-to-use static binary patching tool.☆45Updated last month
- ☆18Updated 2 years ago
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆128Updated 2 months ago
- SLOT: SMT-LLVM Optimizing Translation☆60Updated 6 months ago