Alternatives and similar repositories for tree-sitter-ql

Users that are interested in tree-sitter-ql are comparing it to the libraries listed below

• pwntester / codeql.nvim
  CodeQL plugin for Neovim
  ☆111Updated last year
• tree-sitter / tree-sitter-graph
  Construct graphs from parsed source code
  ☆301Updated last year
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆79Updated this week
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆72Updated 2 weeks ago
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆38Updated last month
• google / oss-fuzz-vulns
  OSS-Fuzz vulnerabilities for OSV.
  ☆167Updated this week
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆125Updated 3 years ago
• plast-lab / cclyzer-souffle
  CClyzer port to souffle lang
  ☆19Updated last year
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆50Updated last year
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆57Updated 2 months ago
• joernio / flatgraph
  ☆27Updated last month
• langston-barrett / tree-crasher
  Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
  ☆81Updated this week
• ShiftLeftSecurity / overflowdb
  ShiftLeft OverflowDB
  ☆131Updated 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…
  ☆76Updated last year
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆37Updated this week
• joernio / joernti-codetidal5
  An integration of JoernTI's CodeTIDAL5 neural type inference model.
  ☆28Updated 11 months ago
• Fraunhofer-AISEC / codyze
  Codyze is a static analyzer for Java, C, C++ based on code property graphs
  ☆91Updated 11 months ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆59Updated last month
• grimm-co / delta-debugging
  Debugging library to quickly get the minimal crashing test case
  ☆38Updated 7 years ago
• ShiftLeftSecurity / js2cpg
  ☆18Updated last month
• microsoft / sarif-vscode-extension
  SARIF Microsoft Visual Studio Code extension
  ☆127Updated last month
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆37Updated 5 years ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆53Updated last month
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆68Updated 9 months ago
• nus-apr / CrashRepair
  Security Vulnerability Repair via Concolic Execution and Code Mutations
  ☆18Updated last year
• iris-sast / iris
  A neurosymbolic framework for vulnerability detection in code
  ☆289Updated 3 weeks ago
• WM-SEMERU / ACER
  ACER is an AST-based Callgraph Generator Development Framework
  ☆39Updated last year
• ExpoSEJS / ExpoSE
  A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…
  ☆218Updated 11 months ago
• SWAT-project / SWAT
  SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
  ☆37Updated 7 months ago
• FuzzingLabs / wasm_runtimes_fuzzing
  Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing
  ☆96Updated last year