This tutorial consists of two parts. In the first part, we will provide a technical overview of QL for the working static analysis developer, covering both the general principles of the language and its specific application to program analysis. The second part is a practical session where participants will be provided with access to a QL IDE, allowing them to implement their own analyses in QL and try them out on any of the projects on lgtm.com.
Tutorial instructions: https://tinyurl.com/y72decpa
Tue 19 JunDisplayed time zone: Eastern Time (US & Canada) change
09:00 - 10:30
|Declarative Program Analysis with QL