tree-sitter / tree-sitter-qlLinks
tree-sitter grammar for the CodeQL language
☆29Updated 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:
- Simple grammar-based test case generator☆32Updated last week
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆73Updated 3 weeks ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆71Updated last month
- Construct graphs from parsed source code☆278Updated 7 months ago
- CClyzer port to souffle lang☆18Updated last year
- Parallel Delta Debugging Framework☆53Updated 7 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 5 months ago
- Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019☆9Updated 2 years ago
- Debugging library to quickly get the minimal crashing test case☆37Updated 7 years ago
- Mutation-guided mutation-based fuzz testing☆46Updated last year
- Hierarchical Delta Debugging Framework☆59Updated 7 months ago
- A framework for instrumenting build tools☆89Updated last month
- Variation of american fuzzy lop for testing compilers☆123Updated 3 years ago
- Fuzzer for Wasm and Wasmer☆32Updated 5 years ago
- ☆82Updated 10 months ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆69Updated this week
- A tool for analyzing LLVM bitcode using Datalog.☆101Updated 4 years ago
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆19Updated 10 months ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆43Updated last year
- Regexp based tool for mutating generic source code across numerous languages☆142Updated last year
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆92Updated last year
- KLEE / CSE Project☆46Updated 5 years ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆209Updated 6 months ago
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆26Updated 6 months ago
- Dynamically discover the commands used to create a piece of software☆50Updated 5 months ago
- AIL: The angr Intermediate Language.☆32Updated 2 months ago
- Target-centric program analysis.☆77Updated 3 weeks ago
- ☆21Updated last week
- A randomized program fuzzer for the Rust programming language☆64Updated 2 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago