tree-sitter / tree-sitter-ql

Related projects ⓘ

Alternatives and complementary repositories for tree-sitter-ql

• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆29Updated 6 months ago
• grimm-co / delta-debugging
  Debugging library to quickly get the minimal crashing test case
  ☆34Updated 6 years ago
• wfus / WebAssembly-Taint
  Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.
  ☆21Updated 6 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.
  ☆66Updated last week
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆46Updated this week
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆60Updated last week
• ossf / Memory-Safety
  ☆19Updated last week
• pwntester / codeql.nvim
  CodeQL plugin for Neovim
  ☆96Updated 2 months ago
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆61Updated last week
• d-we / binja-golang-symbol-restore
  Binary Ninja plugin for restoring function names from stripped Golang binaries
  ☆13Updated 4 years ago
• wasmerio / wasm-fuzz
  Fuzzer for Wasm and Wasmer
  ☆23Updated 4 years ago
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆43Updated 4 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆56Updated last week
• squaresLab / SemanticCrashBucketing
  Semantic Crash Bucketing
  ☆15Updated 4 years ago
• GitHubSecurityLab / gh-mrva
  Run CodeQL queries at scale using Multi-Repository Variant Analysis (MRVA)
  ☆49Updated 6 months ago
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆48Updated 8 months ago
• vasumv / bonsai-fuzzing
  ☆25Updated last year
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆60Updated last year
• plast-lab / cclyzer-souffle
  CClyzer port to souffle lang
  ☆18Updated 9 months ago
• facebookarchive / propfuzz
  A Rust toolkit to combine property-based testing and fuzzing.
  ☆136Updated 2 years ago
• uds-se / lFuzzer
  Fuzzing Parsers with Tokens
  ☆32Updated 3 years ago
• trailofbits / sandshrew
  Underconstrained symbolic execution for cryptography verification
  ☆18Updated 3 years ago
• secure-software-engineering / secucheck
  Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…
  ☆16Updated 7 months ago
• google / vandalir
  ☆41Updated last year
• trailofbits / vscode-sarif-explorer
  SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results
  ☆21Updated 2 weeks ago
• fgsect / WAFL
  Binary-only fuzzer for WebAssembly (WASI)
  ☆48Updated 3 months ago
• falconre / finch
  Symbolic Execution over Falcon IL
  ☆28Updated 3 years ago
• GaloisInc / pate
  Patches Assured up to Trace Equivalence
  ☆14Updated this week
• aoh / blab
  a grammar-based data generator
  ☆58Updated 5 years ago
• ShiftLeftSecurity / js2cpg
  ☆18Updated 2 months ago