mahaloz / pyjoernLinks
☆15Updated 4 months ago
Alternatives and similar repositories for pyjoern
Users that are interested in pyjoern are comparing it to the libraries listed below
Sorting:
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆18Updated last year
- [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation☆19Updated 8 months ago
- Evolving fuzzers with large language models☆17Updated 2 years ago
- OGHarn: Oracle-guided Fuzzing Harness Generation☆48Updated last week
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆16Updated 2 years ago
- ROSA: Finding Backdoors with Fuzzing☆25Updated 5 months ago
- autofz: Automated Fuzzer Composition at Runtime☆84Updated 2 years ago
- Official repository of SyzRisk [ASIA CCS'24]☆12Updated last year
- ☆25Updated 3 years ago
- ☆10Updated 5 years ago
- ☆13Updated 11 months ago
- ☆27Updated 2 years ago
- AIL: The angr Intermediate Language.☆33Updated 6 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆56Updated last year
- Library for manipulating gdb in batch mode☆20Updated last year
- Side-channel Analysis☆19Updated 3 years ago
- ☆20Updated 10 months ago
- ☆39Updated 3 years ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Updated last year
- Scalable Validator for Binary Lifters☆60Updated 5 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆30Updated last year
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆128Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆32Updated 3 years ago
- Mutation-guided mutation-based fuzz testing☆50Updated last year
- 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.☆197Updated 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
- ☆14Updated 4 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Updated 3 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59Updated 7 months ago
- KLEE / CSE Project☆46Updated 5 years ago