Alternatives and similar repositories for flatgraph

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

• ShiftLeftSecurity / overflowdb
  ShiftLeft OverflowDB
  ☆132Updated 7 months 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…
  ☆75Updated last year
• SWAT-project / SWAT
  SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
  ☆37Updated 8 months ago
• joernio / joernti-codetidal5
  An integration of JoernTI's CodeTIDAL5 neural type inference model.
  ☆28Updated 11 months ago
• secure-software-engineering / COVA
  COVA - A static analysis tool to compute path conditions
  ☆40Updated 6 months ago
• ShiftLeftSecurity / js2cpg
  ☆18Updated last month
• QilinPTA / Qilin
  Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
  ☆146Updated last month
• seclab-ucr / GPT-Expr
  Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
  ☆36Updated 2 years ago
• opalj / opal
  ☆74Updated this week
• secure-software-engineering / secucheck
  Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…
  ☆18Updated 11 months ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆50Updated last year
• Fraunhofer-AISEC / codyze
  Codyze is a static analyzer for Java, C, C++ based on code property graphs
  ☆91Updated 11 months ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆117Updated 3 months ago
• joernio / cpgqls-client-python
  Python library for CPGQL server
  ☆38Updated last year
• fast-sp-2023 / fast
  ☆30Updated 8 months ago
• plast-lab / doop
  The official repo of Doop, the declarative pointer analysis framework.
  ☆203Updated 7 months ago
• CROSSINGTUD / SPDS
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆41Updated 4 years ago
• program-analysis-team / cooddy
  Source code (C,C++,Java) static analysis tool
  ☆53Updated last year
• VainlyStrain / charon
  A polyglot static analysis engine for detecting vulnerabilities in scripting languages native extensions based on joern.
  ☆19Updated 4 months ago
• gmu-swe / phosphor
  Phosphor: Dynamic Taint Tracking for the JVM
  ☆180Updated 7 months ago
• AppThreat / joern-lib
  Python library for code analysis with CPG and Joern
  ☆23Updated 2 years ago
• joernio / ghidra2cpg
  Code Property Graph (CPG) frontend for binary applications and libraries.
  ☆95Updated 4 years ago
• elManto / StaticAnalysisQueries
  A set of Code-ql/Joern queries to find vulnerabilities
  ☆66Updated 4 years ago
• vasumv / bonsai-fuzzing
  ☆27Updated 2 years ago
• ShiftLeftSecurity / codepropertygraph
  Code Property Graph: specification, query language, and utilities
  ☆556Updated last month
• CodeShield-Security / SPDS
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆68Updated last year
• fouzhe / security
  software vulnerabilities
  ☆24Updated 6 years ago
• google / vandalir
  ☆42Updated 2 years ago
• secure-software-engineering / SPDS-experiments
  ☆11Updated 7 years ago
• software-engineering-and-security / Gleipner
  A benchmark for Java gadget chain detecting algorithms.
  ☆15Updated 7 months ago