joernio / joern
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
☆2,233Updated this week
Alternatives and similar repositories for joern:
Users that are interested in joern are comparing it to the libraries listed below
- Code Property Graph: specification, query language, and utilities☆486Updated last week
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆301Updated this week
- BinAbsInspector: Vulnerability Scanner for Binaries☆1,600Updated 7 months ago
- A LLVM-based static analysis framework.☆960Updated this week
- weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interestin…☆2,367Updated 7 months ago
- Project page for "The Fuzzing Book"☆1,141Updated 3 weeks ago
- A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.☆548Updated 5 years ago
- Coverage-guided, in-process fuzzing for the JVM☆1,069Updated 2 weeks ago
- Recent Fuzzing Paper☆2,529Updated this week
- SymCC: efficient compiler-based symbolic execution☆795Updated 7 months ago
- KLEE Symbolic Execution Engine☆2,697Updated last month
- FuzzBench - Fuzzer benchmarking as a service.☆1,118Updated last week
- Directed Greybox Fuzzing with AFL☆520Updated 11 months ago
- Binary Analysis Platform☆2,100Updated 6 months ago
- A fork and successor of the Sulley Fuzzing Framework☆2,078Updated last week
- Academic papers related to fuzzing, binary analysis, and exploit dev, which I want to read or have already read☆1,266Updated last week
- A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.☆1,354Updated 4 months ago
- Static Value-Flow Analysis Framework for Source Code☆1,468Updated this week
- A curated list of awesome directed fuzzing research papers☆493Updated this week
- A powerful static binary rewriting tool☆1,005Updated 3 weeks ago
- Tutorials, examples, discussions, research proposals, and other resources related to fuzzing☆3,588Updated 3 months ago
- Set of tests for fuzzing engines☆1,435Updated 3 years ago
- Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_st…☆2,126Updated this week
- Provide powerful tools for seccomp analysis☆1,007Updated this week
- a static analysis tool for finding vulnerabilities in C/C++ source code☆513Updated 6 months ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆544Updated 2 months ago
- Resources related to GitHub Security Lab☆1,446Updated last month
- AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)☆897Updated 6 months ago
- A lightweight dynamic instrumentation library☆1,206Updated last month
- cwe_checker finds vulnerable patterns in binary executables☆1,183Updated last month