tree-sitter / tree-sitter-qlLinks
tree-sitter grammar for the CodeQL language
☆34Updated 5 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:
- Construct graphs from parsed source code☆306Updated last year
- ☆28Updated 2 months ago
- Debugging library to quickly get the minimal crashing test case☆38Updated 7 years ago
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆28Updated last year
- OSS-Fuzz vulnerabilities for OSV.☆169Updated this week
- Simple grammar-based test case generator☆39Updated this week
- CodeQL plugin for Neovim☆111Updated last year
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆79Updated last week
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Updated 2 months ago
- Dynamically discover the commands used to create a piece of software☆58Updated 3 months ago
- ShiftLeft OverflowDB☆133Updated 8 months ago
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆19Updated last year
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆82Updated last week
- Mutation-guided mutation-based fuzz testing☆50Updated last year
- CClyzer port to souffle lang☆19Updated 2 years ago
- ☆18Updated 2 months ago
- SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.☆37Updated 9 months ago
- Extract and combine multiple source code views using tree-sitter☆154Updated 4 months ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆73Updated last week
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Updated 11 months ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆218Updated last year
- ACER is an AST-based Callgraph Generator Development Framework☆40Updated last year
- Fuzzer for Wasm and Wasmer☆33Updated 5 years ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆61Updated 5 months ago
- SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results☆43Updated last month
- ☆82Updated 5 months ago
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆96Updated last year
- Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…☆75Updated last year
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆10Updated 3 years ago
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆129Updated 3 years ago