tree-sitter / tree-sitter-qlLinks
tree-sitter grammar for the CodeQL language
☆27Updated 2 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
Sorting:
- CodeHawk Abstract Interpretation Engine and Analyzers☆68Updated this week
- CodeQL queries developed by Trail of Bits☆99Updated 3 weeks ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆69Updated last month
- Run CodeQL queries at scale using Multi-Repository Variant Analysis (MRVA)☆59Updated last month
- Fuzzer for Wasm and Wasmer☆28Updated 5 years ago
- Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…☆74Updated 7 months ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆42Updated last year
- Mayhem example templates for programming languages and fuzzers that you love!☆33Updated last year
- Debugging library to quickly get the minimal crashing test case☆37Updated 7 years ago
- Mutation-guided mutation-based fuzz testing☆45Updated 10 months ago
- Coverage-Guided Greybox Distributed Fuzzer☆131Updated last month
- Variation of american fuzzy lop for testing compilers☆123Updated 3 years ago
- ☆18Updated 9 months ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆121Updated 2 years ago
- ☆21Updated 2 weeks ago
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆25Updated 4 months ago
- Fast and effective grammar-based fuzzing based on Gramatron☆16Updated 2 months ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆34Updated 3 weeks ago
- SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results☆27Updated this week
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆18Updated 8 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 months ago
- Python library for CPGQL server☆29Updated last year
- CodeQL database manager☆48Updated last month
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆36Updated 2 years ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆55Updated last month
- Parallel Delta Debugging Framework☆52Updated 5 months ago
- CodeQL library and queries for iterator invalidation☆22Updated 4 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago
- A structured fuzzing framework built in Rust☆26Updated 2 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆17Updated 4 months ago