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 set of Code-ql/Joern queries to find vulnerabilities☆59Updated 4 years ago
- ☆24Updated 2 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆90Updated 3 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆37Updated 3 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated 2 years ago
- Fuzz Rust code with LibAFL☆60Updated last year
- 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☆27Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 3 years ago
- ☆42Updated 3 years ago
- ☆34Updated last year
- Exploit code by DirtyChain☆10Updated last month
- ConfFuzz - Fuzzing for Interface Vulnerabilities☆45Updated 2 years ago
- ROSA: Finding Backdoors with Fuzzing☆22Updated 3 months ago
- ☆19Updated last year
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆17Updated 4 months ago
- SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you t…☆35Updated 6 months ago
- Binary Only Thread Sanitizer☆14Updated 9 months ago
- ☆84Updated 2 months ago
- Official repository of SyzRisk [ASIA CCS'24]☆12Updated 9 months ago
- This is the project of LearnAFL.☆28Updated 4 years ago
- ☆77Updated 3 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆68Updated this week
- blackhat usa 2022 I attended☆72Updated 2 years ago
- ☆65Updated 2 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆20Updated 2 years ago
- AFLTeam Collaborative Parallel Fuzzing☆74Updated 2 years ago
- Summary of static analysis in Java and C/C++☆18Updated 2 years ago
- ☆29Updated 3 years ago
- ☆72Updated 2 years ago
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆82Updated last year