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:
- ☆26Updated 3 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆95Updated 4 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆38Updated 4 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
- Binary Only Thread Sanitizer☆18Updated last year
- Fuzz Rust code with LibAFL☆62Updated 2 years ago
- ☆78Updated 3 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆26Updated 3 years ago
- A set of Code-ql/Joern queries to find vulnerabilities☆66Updated 4 years ago
- ☆41Updated last year
- ☆82Updated 4 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆30Updated last year
- Fuzzers implemented with libafl to evaluate several techniques on fuzzbench☆13Updated last year
- Library for manipulating gdb in batch mode☆20Updated last year
- ☆45Updated 3 years ago
- ConfFuzz - Fuzzing for Interface Vulnerabilities☆47Updated 2 years ago
- fuzz the linux kernel bpf verifier☆83Updated 4 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆32Updated 3 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆84Updated last month
- blackhat usa 2022 I attended☆73Updated 3 years ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆128Updated 3 years ago
- ☆134Updated last year
- ☆48Updated 6 months ago
- COVA - A static analysis tool to compute path conditions☆40Updated 5 months ago
- An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing☆47Updated last year
- SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you t…☆38Updated last year
- ☆80Updated last year
- ☆30Updated 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
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆22Updated 2 years ago