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
- BinRec: Dynamic Binary Lifting and Recompilation☆144Updated 2 years ago
- A Hybrid Alias Analysis☆19Updated 2 years ago
- Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.☆22Updated 2 years ago
- llvm crash analysis☆44Updated last year
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆146Updated 7 months ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years 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 3 years ago
- LLVM-based type and memory allocation tracking sanitizer☆55Updated last week
- A suite of experiments for evaluating open-source binary taint trackers.☆32Updated 3 years ago
- ROSA: Finding Backdoors with Fuzzing☆24Updated 2 months ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆149Updated 4 years ago
- ☆20Updated 7 months ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆52Updated 4 months ago
- Linux kernel branches for confidential compute research☆19Updated 5 months ago
- LLVM meets Code Property Graphs☆94Updated 4 years ago
- Tutorial to write qemu plugins☆34Updated 8 years ago
- Library for manipulating gdb in batch mode☆20Updated last year
- How to use LLVM passes☆35Updated 3 years ago
- ☆57Updated last year
- Scalable Validator for Binary Lifters☆57Updated 5 years ago
- ☆14Updated 4 years ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆113Updated 10 months ago
- SLOT: SMT-LLVM Optimizing Translation☆60Updated 5 months ago
- Peter's Amazing Syntax Tree Analyzer☆134Updated last year
- ☆43Updated 3 years ago
- Source code of ASAN--☆100Updated last year
- A versatile and easy-to-use static binary patching tool.☆43Updated last week
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆31Updated 3 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Updated 2 years ago