Basic query for Java code¶Learn to write and run a simple CodeQL query using LGTM. 学习使用LGTM编写并运行一个简单的CodeQL查询。 About t

Formulas¶公式Formulas define logical relations between the free variables used in expressions. 公式定义了表达式中使用的自由变量之间的逻辑关系。

Expressions¶表达式An expression evaluates to a set of values and has a type. 表达式对一组值进行评估，并有一个类型。 For example, the express

Aliases¶An alias is an alternative name for an existing QL entity. 别名是现有QL实体的替代名称。 Once you’ve defined an alias, you c

Modules¶模块Modules provide a way of organizing QL code by grouping together related types, predicates, and other modules.

TypeQL is a statically typed language, so each variable must have a declared type. QL是一种静态类型的语言，因此每个变量必须具有声明的类型。 A typ

Predicates–谓词定义官方给出的定义 Predicates are used to describe the logical relations that make up a QL program. 谓词用于描述组成QL程序的

Queries – 查询Queries are the output of a QL program. They evaluate to sets of results. Queries是QL程序的输出，执行的结果集合。 There a