ShiftLeftSecurity / llvm2cpg
LLVM meets Code Property Graphs
☆87Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for llvm2cpg
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- A LLVM Pass with runtime dataflow sanitization☆32Updated 5 years ago
- A symbolic execution engine for LLVM IR☆34Updated 2 years ago
- Collection of various llvm passes☆117Updated 9 years ago
- KLEE / CSE Project☆43Updated 4 years ago
- Explore LLVM Bitcode interactively using a graph database☆58Updated 4 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆28Updated 3 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆125Updated last year
- An approximate solver for concolic execution☆17Updated 2 years ago
- This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020☆59Updated last year
- Challenging testcases for fuzzers☆66Updated 8 months ago
- ☆32Updated last year
- ☆24Updated last year
- llvm crash analysis☆41Updated 4 months ago
- An llvm pass to perform taint analysis on your code.☆35Updated 5 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆138Updated 4 months ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆31Updated 6 months ago
- KLEE Symbolic Execution Engine☆61Updated 5 years ago
- AFLTeam Collaborative Parallel Fuzzing☆72Updated 2 years ago
- ☆27Updated 3 years ago
- AIL: The angr Intermediate Language.☆31Updated this week
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 5 months ago
- BinTuner☆59Updated 2 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 4 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- Symbolic Execution Over Processor Traces☆116Updated 3 months ago
- A binary to LLVM translator☆142Updated 6 years ago
- ☆22Updated 2 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆97Updated 2 years ago
- ☆132Updated 3 weeks ago