google / vandalirLinks
☆42Updated 2 years ago
Alternatives and similar repositories for vandalir
Users that are interested in vandalir are comparing it to the libraries listed below
Sorting:
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆129Updated 3 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆95Updated 4 years ago
- ☆78Updated 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
- ☆134Updated last year
- A set of Code-ql/Joern queries to find vulnerabilities☆67Updated 4 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆38Updated 4 years ago
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆195Updated 3 years ago
- ConfFuzz - Fuzzing for Interface Vulnerabilities☆47Updated 2 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆74Updated last week
- Fuzz Rust code with LibAFL☆62Updated 2 years ago
- Binary Only Thread Sanitizer☆18Updated last year
- ☆26Updated 3 years ago
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆15Updated 3 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆27Updated 3 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆149Updated last year
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆271Updated 2 years ago
- ☆80Updated last year
- fuzz the linux kernel bpf verifier☆83Updated 4 years ago
- A data-flow-guided fuzzer☆124Updated 2 years ago
- SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you t…☆39Updated last year
- A polyglot static analysis engine for detecting vulnerabilities in scripting languages native extensions based on joern.☆20Updated 5 months ago
- blackhat usa 2022 I attended☆73Updated 3 years ago
- A tool for effective testing the binding layer of scripting languages☆79Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆32Updated 3 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆22Updated 2 years ago
- ☆41Updated last year
- AFLTeam Collaborative Parallel Fuzzing☆75Updated 3 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆89Updated 4 months ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆84Updated last week