tree-sitter / tree-sitter-ql
tree-sitter grammar for the CodeQL language
☆24Updated 3 months ago
Alternatives and similar repositories for tree-sitter-ql:
Users that are interested in tree-sitter-ql are comparing it to the libraries listed below
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆66Updated 3 weeks ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆51Updated last year
- CodeHawk Abstract Interpretation Engine and Analyzers☆65Updated this week
- Simple grammar-based test case generator☆30Updated 9 months ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆66Updated 3 weeks ago
- Dynamically discover the commands used to create a piece of software☆48Updated last week
- Construct graphs from parsed source code☆238Updated 2 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆62Updated 3 weeks ago
- 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
- Fast and effective grammar-based fuzzing based on Gramatron☆16Updated last week
- A randomized program fuzzer for the Rust programming language☆63Updated last year
- Debugging library to quickly get the minimal crashing test case☆35Updated 6 years ago
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆21Updated 6 years ago
- Fuzzer for Wasm and Wasmer☆26Updated 5 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- A linter for Soufflé Datalog☆13Updated 10 months ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆119Updated 2 years ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆38Updated 11 months ago
- ☆18Updated 6 months ago
- ☆26Updated this week
- SymDiff-Differential-Program-Verifier☆35Updated 3 weeks ago
- CodeQL queries developed by Trail of Bits☆89Updated 2 months ago
- SARIF Microsoft Visual Studio Code extension☆113Updated 4 months ago
- A structured fuzzing framework built in Rust☆26Updated 2 years ago
- Pretty printer from GTIRB to assembly code☆48Updated 3 weeks ago
- A Dolev-Yao-model-guided fuzzer for TLS☆138Updated this week
- Variation of american fuzzy lop for testing compilers☆122Updated 2 years ago
- Hierarchical Delta Debugging Framework☆58Updated 2 months ago
- Mutation-guided mutation-based fuzz testing☆42Updated 7 months ago