tree-sitter / tree-sitter-qlLinks
tree-sitter grammar for the CodeQL language
☆31Updated last week
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☆279Updated 8 months ago
- Mutation-guided mutation-based fuzz testing☆47Updated last year
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆74Updated last month
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆26Updated 7 months ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆69Updated this week
- Extract and combine multiple source code views using tree-sitter☆152Updated 3 months ago
- CClyzer port to souffle lang☆18Updated last year
- ACER is an AST-based Callgraph Generator Development Framework☆37Updated last year
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆75Updated last week
- Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…☆75Updated 10 months ago
- A neurosymbolic framework for vulnerability detection in code☆221Updated this week
- Fuzzer for Wasm and Wasmer☆33Updated 5 years ago
- Variation of american fuzzy lop for testing compilers☆123Updated 3 years ago
- ☆42Updated 2 years ago
- A points-to and alias analysis benchmark suite☆41Updated 6 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆93Updated last year
- A Micro-benchmarking Framework for Python Type Inference Tools☆34Updated 3 months ago
- CodeQL queries developed by Trail of Bits☆112Updated 2 months ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆209Updated 7 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 6 months ago
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆18Updated 11 months ago
- ☆15Updated last month
- Codyze is a static analyzer for Java, C, C++ based on code property graphs☆89Updated 7 months ago
- Grey-box fuzzer SIVO☆14Updated 4 years ago
- KLEE / CSE Project☆46Updated 5 years ago
- ☆22Updated last week
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆43Updated last year
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆124Updated 3 years ago
- Simple grammar-based test case generator☆32Updated this week