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.
  ☆66Updated last week
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆65Updated this week
• grimm-co / delta-debugging
  Debugging library to quickly get the minimal crashing test case
  ☆35Updated 6 years ago
• GitHubSecurityLab / gh-mrva
  Run CodeQL queries at scale using Multi-Repository Variant Analysis (MRVA)
  ☆58Updated 10 months ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆38Updated 11 months ago
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆30Updated last week
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆49Updated 3 weeks 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 4 months ago
• trailofbits / codeql-queries
  CodeQL queries developed by Trail of Bits
  ☆89Updated 2 months ago
• GitHubSecurityLab / gh-qldb
  CodeQL database manager
  ☆48Updated last week
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆63Updated last week
• trailofbits / vscode-sarif-explorer
  SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results
  ☆22Updated last month
• plast-lab / cclyzer-souffle
  CClyzer port to souffle lang
  ☆18Updated last year
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆51Updated last year
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 3 years ago
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆32Updated this week
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• SWAT-project / SWAT
  SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
  ☆30Updated 10 months ago
• ShiftLeftSecurity / js2cpg
  ☆18Updated 6 months 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.
  ☆67Updated last week
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆62Updated last year
• Microsvuln / Awesome-Grammar-Fuzzing
  A curated list of Grammar based fuzzing research papers, codes, tutorials
  ☆121Updated 2 years ago
• IBM / tree-sitter-codeviews
  Extract and combine multiple source code views using tree-sitter
  ☆124Updated 2 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…
  ☆17Updated last month
• landaire / lain
  A structured fuzzing framework built in Rust
  ☆26Updated 2 years ago
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆122Updated 2 years ago
• semgrep / semgrep-interfaces
  Store the ATD/openapi/protobuf/... interfaces between semgrep components
  ☆18Updated this week
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆58Updated 2 months ago
• vlab-cs-ucsb / LibStranger
  ☆12Updated 9 years ago