ShiftLeftSecurity / codepropertygraph
Code Property Graph: specification, query language, and utilities
☆491Updated last week
Alternatives and similar repositories for codepropertygraph:
Users that are interested in codepropertygraph are comparing it to the libraries listed below
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆304Updated this week
- 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
- IFDS/IDE Solver for Soot and other frameworks☆240Updated last year
- ShiftLeft OverflowDB☆118Updated 8 months ago
- AFL-based fuzzing for Java☆235Updated 5 years ago
- Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord. …☆2,270Updated this week
- Phosphor: Dynamic Taint Tracking for the JVM☆174Updated 2 months ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆635Updated 2 years ago
- Home page of project "KB"☆119Updated this week
- Directed Greybox Fuzzing with AFL☆524Updated last year
- ☆301Updated 3 years ago
- The official repo of Doop, the declarative pointer analysis framework.☆173Updated this week
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆553Updated last week
- Joana - Information Flow Control for Java☆92Updated 3 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…☆940Updated 2 years ago
- T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses☆779Updated last week
- Smart Greybox Fuzzing (https://thuanpv.github.io/publications/TSE19_aflsmart.pdf)☆509Updated 3 years ago
- FairFuzz: AFL extension targeting rare branches☆241Updated 6 years ago
- Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…☆73Updated 5 months ago
- FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.☆412Updated 2 years ago
- Codyze is a static analyzer for Java, C, C++ based on code property graphs☆88Updated last month
- A grammar based feedback Fuzzer☆435Updated 6 months ago
- A library for mining of path-based representations of code (and more)☆286Updated last year
- Symbolic PathFinder☆136Updated 5 months ago
- Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.☆132Updated 2 years ago
- ANTLR v4 grammar-based test generator☆358Updated 2 weeks ago
- A step-by-step tutorial for Soot (a Java static analysis framework)☆434Updated 2 years ago
- WALA analyses and tools that are implemented in JavaScript☆82Updated 8 years ago
- VulDeePecker: A Deep Learning-Based System for Vulnerability Detection☆318Updated 4 years ago
- Analyse package dependency networks at the call graph level☆92Updated last year