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
☆1,972Updated this week
Related projects: ⓘ
- Code Property Graph: specification, query language, and utilities☆456Updated this week
- cwe_checker finds vulnerable patterns in binary executables☆1,101Updated last month
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆277Updated this week
- Project page for "The Fuzzing Book"☆1,067Updated 2 weeks ago
- An step by step fuzzing tutorial. A GitHub Security Lab initiative☆2,431Updated 3 months ago
- Recent Fuzzing Paper☆2,385Updated 3 weeks ago
- A new version of Soot with a completely overhauled architecture☆565Updated this week
- Coverage-guided, in-process fuzzing for the JVM☆1,009Updated last week
- AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)☆852Updated last month
- A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.☆546Updated 5 years ago
- BinAbsInspector: Vulnerability Scanner for Binaries☆1,560Updated 3 months ago
- Tutorials, examples, discussions, research proposals, and other resources related to fuzzing☆3,445Updated last month
- Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_st…☆1,967Updated this week
- A LLVM-based static analysis framework.☆931Updated last week
- Set of tests for fuzzing engines☆1,425Updated 3 years ago
- KLEE Symbolic Execution Engine☆2,605Updated last month
- A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.☆1,304Updated last month
- A powerful static binary rewriting tool☆963Updated last month
- A JavaScript Engine Fuzzer☆1,860Updated last week
- Static Value-Flow Analysis Framework for Source Code☆1,393Updated last week
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆656Updated last week
- FlowDroid Static Data Flow Tracker☆1,044Updated this week
- Exercises to learn how to fuzz with American Fuzzy Lop☆1,218Updated last year
- Binary Analysis Platform☆2,047Updated last month
- FuzzBench - Fuzzer benchmarking as a service.☆1,086Updated 2 weeks ago
- A lightweight dynamic instrumentation library☆1,157Updated 3 months ago
- Binary, coverage-guided fuzzer for Windows, macOS, Linux and Android☆1,067Updated 3 months ago
- A fork of AFL for fuzzing Windows binaries☆2,312Updated 5 months ago
- Academic papers related to fuzzing, binary analysis, and exploit dev, which I want to read or have already read☆1,217Updated 3 months ago
- The official angr GUI.☆877Updated this week