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.
  ☆76Updated 3 weeks ago
• tree-sitter / tree-sitter-graph
  Construct graphs from parsed source code
  ☆291Updated 11 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.
  ☆78Updated 2 weeks ago
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆70Updated this week
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆67Updated 8 months ago
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆57Updated 3 weeks ago
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆34Updated this week
• grimm-co / delta-debugging
  Debugging library to quickly get the minimal crashing test case
  ☆37Updated 7 years ago
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆38Updated this week
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆48Updated last year
• joernio / flatgraph
  ☆27Updated last week
• wasmerio / wasm-fuzz
  Fuzzer for Wasm and Wasmer
  ☆33Updated 5 years ago
• kaist-plrg / jiset
  JISET: JavaScript IR-based Semantics Extraction Toolchain
  ☆41Updated 2 years ago
• GaloisInc / MATE
  MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
  ☆196Updated 3 years ago
• plast-lab / cclyzer-souffle
  CClyzer port to souffle lang
  ☆18Updated last year
• ExpoSEJS / ExpoSE
  A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…
  ☆215Updated 10 months ago
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆124Updated 3 years ago
• WM-SEMERU / ACER
  ACER is an AST-based Callgraph Generator Development Framework
  ☆39Updated last year
• microsoft / sarif-vscode-extension
  SARIF Microsoft Visual Studio Code extension
  ☆122Updated this week
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆65Updated 2 years ago
• iris-sast / iris
  A neurosymbolic framework for vulnerability detection in code
  ☆263Updated 2 weeks ago
• Cybergenik / hopper
  Coverage-Guided Greybox Distributed Fuzzer
  ☆132Updated 6 months ago
• google / oss-fuzz-vulns
  OSS-Fuzz vulnerabilities for OSV.
  ☆166Updated this week
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆60Updated 3 months ago
• SWAT-project / SWAT
  SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
  ☆36Updated 6 months ago
• vrthra / F1
  ☆82Updated 2 months ago
• Microsvuln / Awesome-Grammar-Fuzzing
  A curated list of Grammar based fuzzing research papers, codes, tutorials
  ☆126Updated 3 years ago
• ShiftLeftSecurity / overflowdb
  ShiftLeft OverflowDB
  ☆130Updated 5 months ago
• FuzzingLabs / wasm_runtimes_fuzzing
  Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing
  ☆95Updated last year
• joernio / joernti-codetidal5
  An integration of JoernTI's CodeTIDAL5 neural type inference model.
  ☆28Updated 9 months ago