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 2 years ago
- A Hybrid Alias Analysis☆19Updated 2 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆143Updated last year
- A suite of experiments for evaluating open-source binary taint trackers.☆32Updated 3 years ago
- How to use LLVM passes☆34Updated 3 years ago
- llvm crash analysis☆44Updated last year
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆144Updated 7 months ago
- 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 2 years ago
- Linux kernel branches for confidential compute research☆18Updated 5 months ago
- Library for manipulating gdb in batch mode☆20Updated last year
- A versatile and easy-to-use static binary patching tool.☆38Updated last month
- ROSA: Finding Backdoors with Fuzzing☆24Updated 2 months ago
- ☆15Updated 6 months ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆31Updated 3 years ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆149Updated 4 years ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.☆22Updated 2 years ago
- kAFL Fuzzer☆34Updated 5 months ago
- Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"☆22Updated 6 months ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆113Updated 9 months ago
- LLVM meets Code Property Graphs☆93Updated 4 years ago
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆36Updated 3 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆52Updated 3 months ago
- Peter's Amazing Syntax Tree Analyzer☆133Updated 11 months ago
- ☆42Updated 2 months ago
- A LLVM Sanitizer for Symbolic Tracing☆223Updated last month
- SLOT: SMT-LLVM Optimizing Translation☆60Updated 4 months ago
- ☆57Updated last year
- ☆14Updated 3 years ago
- ☆35Updated 3 years ago