3、查询

官方文档
https://codeql.github.com/docs/ql-language-reference/queries/

查询指的是QL程序的输出，有两种查询方式：
1、使用select字句进行查询
2、使用query谓词进行查询

select字句

import javascript
from int x, int y
where x = 3 and y in [0 .. 2]
select  x, y, x * y as product, "product: " + product
    order by product desc

query谓词

query谓词是一个非成员谓词，它返回谓词主体计算得出的所有数组

query int getProduct(int x, int y) {
    x = 3 and
    y in [0 .. 2] and
    result = x * y
  }