Alternatives and similar repositories for tree-sitter-ql

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

• grimm-co / delta-debugging
  Debugging library to quickly get the minimal crashing test case
  ☆37Updated 7 years ago
• nus-apr / CrashRepair
  Security Vulnerability Repair via Concolic Execution and Code Mutations
  ☆18Updated last year
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆47Updated last year
• plast-lab / cclyzer-souffle
  CClyzer port to souffle lang
  ☆18Updated last year
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆69Updated last week
• wasmerio / wasm-fuzz
  Fuzzer for Wasm and Wasmer
  ☆33Updated 5 years ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆76Updated 2 weeks ago
• joernio / flatgraph
  ☆24Updated this week
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆32Updated last week
• 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 2 weeks ago
• WM-SEMERU / ACER
  ACER is an AST-based Callgraph Generator Development Framework
  ☆38Updated last year
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated 4 months ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆46Updated 5 years ago
• nettrino / slowfuzz
  ☆54Updated 7 years ago
• trailofbits / blight
  A framework for instrumenting build tools
  ☆89Updated last month
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆65Updated 7 months ago
• joernio / joernti-codetidal5
  An integration of JoernTI's CodeTIDAL5 neural type inference model.
  ☆26Updated 8 months ago
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆123Updated 3 years ago
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆54Updated 7 months ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆53Updated 3 weeks ago
• vrthra / F1
  ☆82Updated last month
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆48Updated last month
• google / oss-fuzz-vulns
  OSS-Fuzz vulnerabilities for OSV.
  ☆162Updated this week
• trailofbits / vscode-sarif-explorer
  SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results
  ☆36Updated last week
• mahaloz / pyjoern
  ☆15Updated 2 months ago
• iris-sast / iris
  A neurosymbolic framework for vulnerability detection in code
  ☆242Updated this week
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆37Updated 4 years ago
• ShiftLeftSecurity / js2cpg
  ☆18Updated 2 months ago
• seclab-ucr / GPT-Expr
  Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
  ☆36Updated 2 years ago
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 3 years ago