Update or remove unwanted links

This commit is contained in:
Felicity Chapman
2020-03-04 14:18:24 +00:00
parent 427b440389
commit 4a415d8ad6
5 changed files with 6 additions and 8 deletions

View File

@@ -141,7 +141,7 @@ Lets look for overflow guards of the form ``v + b < v``, using the classes
.. note::
- When performing `variant analysis <https://semmle.com/variant-analysis>`__, it is usually helpful to write a simple query that finds the simple syntactic pattern, before trying to go on to describe the cases where it goes wrong.
- When performing variant analysis, it is usually helpful to write a simple query that finds the simple syntactic pattern, before trying to go on to describe the cases where it goes wrong.
- In this case, we start by looking for all the *overflow* checks, before trying to refine the query to find all *bad overflow* checks.
- The ``select`` clause defines what this query is looking for: