vusec / floatzone
☆69Updated 8 months ago
Alternatives and similar repositories for floatzone:
Users that are interested in floatzone are comparing it to the libraries listed below
- ☆37Updated 2 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆140Updated 2 months ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆57Updated 11 months ago
- A versatile and easy-to-use static binary patching tool.☆35Updated last month
- llvm crash analysis☆43Updated 9 months ago
- Source code of ASAN--☆94Updated 9 months ago
- Scalable Validator for Binary Lifters☆55Updated 4 years ago
- ☆35Updated 3 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆66Updated 3 years ago
- ☆45Updated last year
- A deterministic, fuzzable pthread implementation☆37Updated last year
- A symbolic execution engine for LLVM IR☆51Updated 2 years ago
- LLVM meets Code Property Graphs☆92Updated 4 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 3 years ago
- ☆83Updated last week
- ROSA: Finding Backdoors with Fuzzing☆18Updated last month
- A data-flow-guided fuzzer☆119Updated last year
- Linux kernel branches for confidential compute research☆17Updated this week
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆58Updated last year
- Juliet C/C++ Dynamic Test Suite☆28Updated last year
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆57Updated 10 months ago
- A Hybrid Alias Analysis☆18Updated last year
- How to use LLVM passes☆31Updated 2 years ago
- autofz: Automated Fuzzer Composition at Runtime☆76Updated last year
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- ☆50Updated 2 years ago
- Basic LLVM passes☆17Updated 6 years ago
- A LLVM Sanitizer for Symbolic Tracing☆218Updated 6 months ago
- Linux Kernel Fuzzer Corpus☆133Updated this week