Alternatives and similar repositories for codepropertygraph:

Users that are interested in codepropertygraph are comparing it to the libraries listed below

• Fraunhofer-AISEC / cpg
  A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.
  ☆316Updated this week
• octopus-platform / joern
  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
• ShiftLeftSecurity / overflowdb
  ShiftLeft OverflowDB
  ☆120Updated 9 months ago
• soot-oss / heros
  IFDS/IDE Solver for Soot and other frameworks
  ☆240Updated last year
• joernio / joern
  Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.…
  ☆2,334Updated this week
• isstac / kelinci
  AFL-based fuzzing for Java
  ☆237Updated 5 years ago
• plast-lab / doop
  The official repo of Doop, the declarative pointer analysis framework.
  ☆175Updated last month
• CGCL-codes / VulDeePecker
  VulDeePecker: A Deep Learning-Based System for Vulnerability Detection
  ☆324Updated 4 years ago
• aflgo / aflgo
  Directed Greybox Fuzzing with AFL
  ☆530Updated last year
• gmu-swe / phosphor
  Phosphor: Dynamic Taint Tracking for the JVM
  ☆173Updated 3 months ago
• SAP / project-kb
  Home page of project "KB"
  ☆122Updated 3 weeks ago
• joana-team / joana
  Joana - Information Flow Control for Java
  ☆92Updated 3 years ago
• wala / WALA
  T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
  ☆785Updated 3 weeks ago
• trailofbits / polytracker
  An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
  ☆560Updated last week
• HexHive / FuzzGen
  ☆302Updated 3 years ago
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆144Updated 3 weeks ago
• rohanpadhye / JQF
  JQF + Zest: Coverage-guided semantic fuzzing for Java.
  ☆696Updated last week
• aflsmart / aflsmart
  Smart Greybox Fuzzing (https://thuanpv.github.io/publications/TSE19_aflsmart.pdf)
  ☆511Updated 3 years ago
• osssanitizer / maloss
  Towards Measuring Supply Chain Attacks on Package Managers for Interpreted Languages
  ☆130Updated 2 years ago
• find-sec-bugs / juliet-test-suite
  A collection of test cases in the Java language. It contains examples for 112 different CWEs.
  ☆54Updated 3 years ago
• HexHive / magma
  A ground-truth fuzzing benchmark suite based on real programs with real bugs.
  ☆305Updated 9 months ago
• CROSSINGTUD / SPDS
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆40Updated 3 years ago
• renatahodovan / grammarinator
  ANTLR v4 grammar-based test generator
  ☆363Updated last month
• zhunki / Superion
  Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.
  ☆133Updated 2 years ago
• Fraunhofer-AISEC / codyze
  Codyze is a static analyzer for Java, C, C++ based on code property graphs
  ☆87Updated 2 months ago
• Dongdongshe / neuzz
  neural network assisted fuzzer
  ☆401Updated 4 years ago
• carolemieux / afl-rb
  FairFuzz: AFL extension targeting rare branches
  ☆246Updated 6 years ago
• plume-oss / plume
  Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…
  ☆73Updated 6 months ago
• enzet / symbolic-execution
  History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
  ☆490Updated 7 months ago
• ymirsky / VulChecker
  A deep learning model for localizing bugs in C/C++ source code (USENIX'23)
  ☆147Updated last year