ShiftLeftSecurity / codepropertygraphLinks
Code Property Graph: specification, query language, and utilities
☆514Updated 3 weeks ago
Alternatives and similar repositories for codepropertygraph
Users that are interested in codepropertygraph are comparing it to the libraries listed below
Sorting:
- A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.☆551Updated 6 years ago
- ShiftLeft OverflowDB☆124Updated 3 weeks ago
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆335Updated this week
- IFDS/IDE Solver for Soot and other frameworks☆246Updated 2 years ago
- Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.…☆2,440Updated this week
- AFL-based fuzzing for Java☆238Updated 5 years ago
- Phosphor: Dynamic Taint Tracking for the JVM☆176Updated this week
- The official repo of Doop, the declarative pointer analysis framework.☆179Updated 2 weeks ago
- Smart Greybox Fuzzing (https://thuanpv.github.io/publications/TSE19_aflsmart.pdf)☆513Updated 3 years ago
- ☆304Updated 3 years ago
- Joana - Information Flow Control for Java☆92Updated 3 years ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆568Updated 2 months ago
- Home page of project "KB"☆126Updated 2 months ago
- ANTLR v4 grammar-based test generator☆372Updated last week
- Directed Greybox Fuzzing with AFL☆531Updated last year
- Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…☆74Updated 8 months ago
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆492Updated 9 months ago
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆704Updated last month
- A collection of test cases in the Java language. It contains examples for 112 different CWEs.☆55Updated 4 years ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆311Updated 3 weeks ago
- VulDeePecker: A Deep Learning-Based System for Vulnerability Detection☆326Updated 4 years ago
- T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses☆803Updated this week
- Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.☆134Updated 2 years ago
- AFLFast (extends AFL with Power Schedules)☆418Updated 2 years ago
- Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic e…☆942Updated 2 years ago
- Codyze is a static analyzer for Java, C, C++ based on code property graphs☆87Updated 5 months ago
- Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware☆410Updated 3 years ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆644Updated 2 years ago
- CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software☆260Updated 10 months ago
- Scalpel: The Python Static Analysis Framework☆309Updated last year