Alternatives and similar repositories for ProgQuery

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

• joernio / joernti-codetidal5
  An integration of JoernTI's CodeTIDAL5 neural type inference model.
  ☆27Updated last year
• codellm-devkit / python-sdk
  The official Python SDK for Codellm-Devkit
  ☆11Updated 2 months ago
• ShiftLeftSecurity / overflowdb
  ShiftLeft OverflowDB
  ☆133Updated 8 months ago
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆75Updated last year
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆61Updated 2 months ago
• IBM / tree-sitter-codeviews
  Extract and combine multiple source code views using tree-sitter
  ☆155Updated 4 months ago
• hub-se / BeDivFuzz
  ☆17Updated 6 months ago
• Fraunhofer-AISEC / cpg
  A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.
  ☆406Updated last week
• bdqnghi / ast-node-encoding
  A tool to convert nodes in an Abstract Syntax Tree into vector embeddings
  ☆76Updated 3 years ago
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆324Updated last year
• fasten-project / fasten
  Analyse package dependency networks at the call graph level
  ☆96Updated 2 years ago
• microsoft / codamosa
  ☆154Updated 8 months ago
• victorjmarin / sourcedg
  System Dependence Graph generation from Java source code
  ☆19Updated 6 years ago
• BugSwarm / bugswarm
  ☆38Updated 8 months ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆51Updated last year
• ShiftLeftSecurity / codepropertygraph
  Code Property Graph: specification, query language, and utilities
  ☆557Updated 2 months ago
• clouditor / cloud-property-graph
  The Cloud Property Graph is based on a Code Property Graph and tries to connect static code analysis and Cloud runtime assessment.
  ☆28Updated last year
• coetaur0 / staticfg
  Python3 control flow graph generator
  ☆207Updated 3 years ago
• Symbolk / Code2Graph
  Towards converting multilingual source code into one language-agnostic graph representation.
  ☆47Updated 2 years ago
• neu-se / CONFETTI
  ☆22Updated 3 years ago
• ppashakhanloo / CodeTrek
  A powerful relational representation of source code
  ☆33Updated 2 years ago
• TestingResearchIllinois / srciror
  A mutation tool for source and IR
  ☆13Updated 7 years ago
• nus-apr / CrashRepair
  Security Vulnerability Repair via Concolic Execution and Code Mutations
  ☆19Updated last year
• WM-SEMERU / ACER
  ACER is an AST-based Callgraph Generator Development Framework
  ☆40Updated last year
• wala / ML
  ☆28Updated 2 weeks ago
• hmc-alpaqa / metrinome
  Create CFGs and compute complexity metrics for Python, C++, and Java code.
  ☆43Updated last year
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 4 years ago
• micheletufano / src2abs
  src2abs is a tool that abstracts Java source code
  ☆35Updated 6 years ago
• tthtlc / awesome-source-analysis
  Source code understanding via Machine Learning techniques
  ☆138Updated 2 weeks ago
• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated 3 years ago