hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 19:26:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

Update docs/language/learn-ql/cpp/value-numbering-hash-cons.rst

Browse Source 
Co-Authored-By: shati-patel <42641846+shati-patel@users.noreply.github.com>
This commit is contained in:
James Fletcher
2019-10-21 11:26:27 +01:00
committed by GitHub
parent d4e9aa53f3
commit 31bd2abd87
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/language/learn-ql/cpp/value-numbering-hash-cons.rst
View File

@@ -62,7 +62,7 @@ Why not a predicate?
The obvious interface for this library would be a predicate ``equivalent(Expr e1, Expr e2)``. However, this predicate would be very large, with a quadratic number of rows for each set of equivalent expressions. By using a class as an intermediate step, the number of rows can be kept linear, and therefore can be cached.
Example Queries
Example queries
~~~~~~~~~~~~~~~
This query uses the ``GVN`` class to identify calls to ``strncpy`` where the size argument is derived from the source rather than the destination