tree-sitter / tree-sitter-qlLinks
tree-sitter grammar for the CodeQL language
☆32Updated 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:
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆76Updated last week
- Construct graphs from parsed source code☆287Updated 10 months ago
- CClyzer port to souffle lang☆18Updated last year
- Debugging library to quickly get the minimal crashing test case☆37Updated 7 years ago
- Simple grammar-based test case generator☆32Updated last week
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆78Updated last month
- Dynamically discover the commands used to create a piece of software☆55Updated this week
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆28Updated 9 months ago
- Mutation-guided mutation-based fuzz testing☆47Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 7 months ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆70Updated 2 weeks ago
- ☆25Updated 2 weeks ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆213Updated 9 months ago
- ACER is an AST-based Callgraph Generator Development Framework☆38Updated last year
- A fuzzy parser for C/C++ that creates semantic code property graphs☆37Updated 5 years ago
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆96Updated last year
- SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results☆38Updated last month
- Fuzzer for Wasm and Wasmer☆33Updated 5 years ago
- A framework for instrumenting build tools☆90Updated last week
- DOM fuzzers - not maintained anymore☆17Updated 6 years ago
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆18Updated last year
- ☆82Updated 2 months ago
- A tool for analyzing LLVM bitcode using Datalog.☆102Updated 5 years ago
- Parallel Delta Debugging Framework☆53Updated last month
- KLEE / CSE Project☆46Updated 5 years ago
- Hierarchical Delta Debugging Framework☆59Updated last month
- ShiftLeft OverflowDB☆131Updated 5 months ago
- ☆42Updated 2 years ago
- JISET: JavaScript IR-based Semantics Extraction Toolchain☆41Updated 2 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…☆75Updated last year