JS: Rename the two tutorials

This commit is contained in:
Asger F
2019-08-16 12:01:28 +01:00
parent 366ebbcbf5
commit 54661f0e14
2 changed files with 4 additions and 4 deletions

View File

@@ -1,5 +1,5 @@
Advanced data-flow analysis using flow labels
=============================================
Tutorial: Precise data-flow analysis using flow labels
======================================================
You can use basic inter-procedural data-flow analysis and taint tracking as described in
:doc:`Analyzing data flow in JavaScript/TypeScript <dataflow>` to check whether there is a path in

View File

@@ -1,5 +1,5 @@
Tutorial: API modelling with type tracking
==========================================
Tutorial: API modelling using type tracking
===========================================
This tutorial demonstrates how to build a simple model of the Firebase API in QL
using the JavaScript type tracking library.