Alternatives and similar repositories for tree-sitter-ql

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

• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆79Updated 2 weeks ago
• pwntester / codeql.nvim
  CodeQL plugin for Neovim
  ☆110Updated 11 months ago
• joernio / joernti-codetidal5
  An integration of JoernTI's CodeTIDAL5 neural type inference model.
  ☆28Updated 10 months ago
• joernio / flatgraph
  ☆27Updated last month
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆38Updated last month
• grimm-co / delta-debugging
  Debugging library to quickly get the minimal crashing test case
  ☆37Updated 7 years ago
• 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.
  ☆78Updated last week
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆34Updated this week
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆48Updated last year
• ShiftLeftSecurity / overflowdb
  ShiftLeft OverflowDB
  ☆131Updated 6 months ago
• WM-SEMERU / ACER
  ACER is an AST-based Callgraph Generator Development Framework
  ☆39Updated last year
• IBM / tree-sitter-codeviews
  Extract and combine multiple source code views using tree-sitter
  ☆155Updated 2 months ago
• plast-lab / cclyzer-souffle
  CClyzer port to souffle lang
  ☆19Updated last year
• ShiftLeftSecurity / js2cpg
  ☆18Updated 2 weeks ago
• kaist-plrg / jiset
  JISET: JavaScript IR-based Semantics Extraction Toolchain
  ☆41Updated 2 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…
  ☆76Updated last year
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆72Updated this week
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆53Updated 2 weeks ago
• microsoft / sarif-vscode-extension
  SARIF Microsoft Visual Studio Code extension
  ☆125Updated 2 weeks ago
• wasmerio / wasm-fuzz
  Fuzzer for Wasm and Wasmer
  ☆33Updated 5 years ago
• ASSERT-KTH / slumps
  Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751
  ☆71Updated 2 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆68Updated 9 months ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆57Updated 2 weeks ago
• dmc1778 / Orion
  Fuzzing Deep Learning Libraries Via Mining Security Knowledge from Open Source
  ☆15Updated last year
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆101Updated 5 years ago
• Microsvuln / Awesome-Grammar-Fuzzing
  A curated list of Grammar based fuzzing research papers, codes, tutorials
  ☆127Updated 3 years ago
• mahaloz / pyjoern
  ☆15Updated 4 months ago
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆125Updated 3 years ago
• VainlyStrain / charon
  A polyglot static analysis engine for detecting vulnerabilities in scripting languages native extensions based on joern.
  ☆18Updated 3 months ago
• secure-software-engineering / secucheck
  Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…
  ☆18Updated 10 months ago