mirror of
https://github.com/github/codeql.git
synced 2026-02-07 18:51:06 +01:00
0ff0aecb22
Mainly adds ones for primitive types. One peculiarity: the language specification states that the type of `super` is the same as the type of `this`, and _not_ the type of the superclass on which the method is actually accessed. This seems a bit strange to me, so I thought I would highlight it specifically. Also, I'm not entirely sure that the rules around type coercion for the various binary operators are 100% correct.
QL analysis support for CodeQL
Part of the May 2021 code scanning hackathon.
Under development.
Building the tools from source
Install Rust, then run:
cargo build --release
Generating the database schema and QL library
The generated ql/src/ql.dbscheme and ql/src/codeql_ql/ast/internal/TreeSitter.qll files are included in the repository, but they can be re-generated as follows:
./create-extractor-pack.sh
Building a CodeQL database for a QL program
First, get an extractor pack:
Run ./create-extractor-pack.sh (Linux/Mac) or .\create-extractor-pack.ps1 (Windows PowerShell) and the pack will be created in the extractor-pack directory.
Then run
codeql database create <database-path> -l ql -s <project-source-path> --search-path <extractor-pack-path>
Running qltests
Run
codeql test run <test-path> --search-path <repository-root-path>