Erik Krogh Kristensen
9d61004128
remove redundant constructor on sink
2020-02-14 12:31:12 +01:00
Max Schaefer
ad83a8946c
JavaScript: Sort lines in change notes.
2020-02-14 11:15:09 +00:00
Max Schaefer
f181111886
JavaScript: Add model of http2 compatibility API.
...
Also deprecated the `httpOrHttps` predicate, which was now only used in one place and seemed a little pointless anyway.
2020-02-14 11:14:31 +00:00
Mathias Vorreiter Pedersen
121c5e436d
C++: Check that there is only one overlap
2020-02-14 11:13:53 +01:00
Erik Krogh Kristensen
3a146514ce
add sanitizer for relative ".." in js/path-injection
2020-02-14 10:51:48 +01:00
Jonas Jensen
928bdbacb0
C++: Change import order for stable cache checksum
...
Without this fix, running the full LGTM suite would get the IR evaluated
twice. That's because we have multiple IPA types and constructors with
the same name (like `TInstruction` and `MkIRFunction`), and the QL
compiler chooses how to disambiguate those names differently depending
on import order.
I've tested that the IR is only evaluated once now by running the whole
suite on a tiny project (jbj/magicrescue) and looking at the output of
perl -ne 'print if /^RESULTS IN:/ .. /^\[/ and not /^\[/' runSnapshotQueries-debug.log | sort |uniq -c |sort -n |less
2020-02-14 10:28:52 +01:00
semmle-qlci
da566a4484
Merge pull request #2828 from erik-krogh/CVE24
...
Approved by esbena
2020-02-14 09:12:48 +00:00
semmle-qlci
769dce511b
Merge pull request #2788 from erik-krogh/CVE42-sink
...
Approved by esbena
2020-02-14 08:00:00 +00:00
Mathias Vorreiter Pedersen
98db6d8fd7
C#: Fix format and sync files
2020-02-14 08:22:25 +01:00
Robert Marsh
b4ff1216cc
C++: sync identical files
2020-02-13 17:02:00 -08:00
Aditya Sharad
5e0d640f57
Merge pull request #2841 from BekaValentine/gitignore_vim_swap_files
...
Adds .gitignore entry for vim swap files.
2020-02-13 16:20:33 -08:00
Robert Marsh
0f58887396
C++: unique value number for filtered instructions
...
Instructions that are removed from the normal value numbering recursion
because they have a duplicated type or AST element get unique value
numbers rather than going unnumbered. This ensures comparisons of value
numbers using `!=` hold for filtered instructions.
2020-02-13 15:36:42 -08:00
Rebecca Valentine
2ee38f246b
Adds .gitignore entry for vim swap files.
2020-02-13 15:23:50 -08:00
Rebecca Valentine
6a04004d94
Adds test cases and qlref.
2020-02-13 14:49:01 -08:00
Rebecca Valentine
b665f54a31
Corrects query to use builtin instead of special
2020-02-13 14:48:46 -08:00
Rebecca Valentine
3b45fbc87c
Adds rough modernization.
2020-02-13 14:22:00 -08:00
Mathias Vorreiter Pedersen
d4c6f487bc
C++/C#: Fix sync config file for value numbering sharing
2020-02-13 22:32:52 +01:00
Mathias Vorreiter Pedersen
ed7888c612
C++: Sync identical files
2020-02-13 21:50:03 +01:00
Mathias Vorreiter Pedersen
57613d5507
C++: Reintroduce the type in TConstantValueNumber to avoid giving constant with different signed-ness the same value number. Instead filter those with more than one type out.
2020-02-13 21:49:40 +01:00
Dave Bartolomeo
9e1ea01be8
Fix typo
2020-02-13 13:01:09 -07:00
Tom Hvitved
09b1e8b161
C#: Update expected test output
2020-02-13 20:08:11 +01:00
james
b32683fc9f
docs: expand handbook entry on monotonic aggregates
2020-02-13 18:06:44 +00:00
Mathias Vorreiter Pedersen
cb510edcf0
C++: Sync up identical files and restore imports
2020-02-13 18:02:56 +01:00
Mathias Vorreiter Pedersen
04c5f1cbb4
C++: Perf fix for value numbering
2020-02-13 18:02:56 +01:00
Jonas Jensen
24396905a5
WIP: Try to reduce ambiguous value numbers
...
This is not enough to get genome/breakdancer working.
2020-02-13 18:02:56 +01:00
Jonas Jensen
8054cde9fc
WIP: Switch on IR
2020-02-13 18:02:56 +01:00
Tom Hvitved
332733a92e
Java/C++: Follow-up changes
2020-02-13 16:34:06 +01:00
Tom Hvitved
b5b0c2b8cf
Data flow: Sync files
2020-02-13 16:34:06 +01:00
Tom Hvitved
6be2bf8374
Address review comments
2020-02-13 16:34:06 +01:00
James Fletcher
c95f58c30d
Merge pull request #2830 from shati-patel/docs-preparation
...
Merge master into `docs-preparation` branch
2020-02-13 14:59:09 +00:00
Henning Makholm
3ec11a1089
Don't chain to ./codeql in .codeqlmanifest.json
...
This entry in `.codeqlmanifest.json` was intended to allow
unpacking the CodeQL CLI as a subdirectory of `ql`, and things
would Just Work.
However, it is not necessary anymore because recent releases of
the CLI will search their own directory as a fallback
_independently_ of the parent directory.
On the contrary, removing this link will make internal testing
easier because you then run a test build of the CLI with
`--search-path` pointing to the `ql` checkout without inadvertently
making extractors in a _different_ build that is unpacked there visible.
2020-02-13 15:30:15 +01:00
Erik Krogh Kristensen
897bb4d801
add test for chrome-remote-interface
2020-02-13 15:12:45 +01:00
Erik Krogh Kristensen
1ab5ca4e64
typo in docstring
...
Co-Authored-By: Esben Sparre Andreasen <esbena@github.com >
2020-02-13 14:15:28 +01:00
jack1142
e1644dd68b
Python: Handle __class_getitem__ in py/not-named-self ( #2825 )
...
Fixes #2824
2020-02-13 13:38:36 +01:00
Rasmus Wriedt Larsen
1558cf2eae
Python: Fix typo (decent => descent)
2020-02-13 13:35:29 +01:00
Tom Hvitved
8748a1218d
C#: Generate fresh TRAP ID for local functions
2020-02-13 13:02:46 +01:00
Taus
dcb41a139c
Merge pull request #2780 from RasmusWL/python-clean-qltest-options
...
Python: clean qltest options files
2020-02-13 12:14:17 +01:00
Erik Krogh Kristensen
7c69ee1aff
Merge remote-tracking branch 'upstream/master' into CVE74
2020-02-13 11:09:09 +01:00
Erik Krogh Kristensen
d6afd438ba
add model for chrome-remote-interface as a ClientRequest
2020-02-13 10:58:07 +01:00
Geoffrey White
4412cea04a
Merge pull request #2821 from jbj/ValueNumbering-var-operand
...
C++: Fix perf of IR value numbering
2020-02-13 09:11:34 +00:00
Rebecca Valentine
acb3c524dd
Updates expected results.
2020-02-12 19:46:43 -08:00
Rebecca Valentine
65cba82c7e
Fixes bug w/ use of pointsTo
2020-02-12 19:45:55 -08:00
Rebecca Valentine
bfb720c7f3
Adds range and tuple types
2020-02-12 19:36:03 -08:00
Rebecca Valentine
3ce250b2cf
Adds some debugging changes.
2020-02-12 19:29:42 -08:00
Robert Marsh
52b164434d
C++: remove accidental commit
2020-02-12 15:23:30 -08:00
Robert Marsh
1d5971f8ec
C++: accept test changes from extractor update
2020-02-12 13:29:21 -08:00
Tom Hvitved
89527766be
Merge pull request #2744 from calumgrant/cs/local-var-parent
...
C#: Distinguish between local variables extracted in different compil…
2020-02-12 19:41:29 +01:00
Felicity Chapman
39ba3dedc1
Fix build failure by moving control-flow image
2020-02-12 17:16:31 +00:00
Felicity Chapman
8db3651dfd
Add draft introductions and create map topic for Python
2020-02-12 16:38:23 +00:00
Jonas Jensen
2abe416670
Merge pull request #2799 from MathiasVP/missing-flow-in-crement
...
C++: Fix false negatives for postfix crement expressions
2020-02-12 15:03:48 +01:00