Semmle 1.14
Skip to end of metadata
Go to start of metadata

HIDDEN

 

About QL

QL is a declarative, object-oriented query language that is optimized to enable efficient analysis of hierarchical data structures, in particular, databases representing software artifacts. The basic syntax will look familiar to anyone who has used SQL but is used somewhat differently. 

 Click to show 'Hello world' and the basic syntax...

A QL query is defined by a select clause, which specifies what the result of the query should be. The following is an example of a complete query:
select "Hello, world!"

Its result is just the string "Hello, world!".

More complicated queries typically follow the following structure:

from /* ... variable declarations ... */
where /* ... conditions ... */
select /*... expressions ... */

For example, the following query computes the number 42:

from int x, int y
where x = 6 and y = 7
select x * y

QL code can contain C-style comments. An end-of-line comment is introduced by "//", and a (possibly multi-line) delimited comment is introduced by "/*" and terminated by "*/".

 

The rules and metrics used by Semmle analysis are written using QL. This ensures that they can be extended or revised easily to keep up with changes in definitions of best coding practice. Every Semmle release includes improvements to existing rules as we work towards the ultimate goal of 100% precision. For details of the standard rules implemented by QL queries supplied by Semmle, see Semmle standard rules.

You can write your own queries to identify code that breaks your team's guidelines for best practice or customize the default rules to accommodate a new framework.

Learning more

The easiest way to learn more about QL is to install Semmle Studio (a plug-in for Eclipse) and obtain a snapshot database to test queries against. We recommend you:

  1. Install Semmle Studio which includes the libraries for the standard languages and provides autocomplete, jump to definition and many other writing aids. For more information, see Semmle Studio.
  2. Work through the QL detective tutorials to learn the basic QL syntax.
  3. Choose the programming language you want to query, and work through some of the tutorials and examples provided:
  4. Try out some of the QL cookbook examples:

Further resources:

For any questions or feedback relating to documentation, please contact documentation@semmle.com. For any other support issues, please contact your organization's support@semmle.com email address. Using your organization's support address ensures that your message will be received as soon as possible by a member of our support team, even when the staff that you normally speak to are out of the office or on holiday.

  • No labels