Mathias Vorreiter Pedersen
|
aa92fe8c90
|
Merge pull request #7338 from geoffw0/clrtxt2
C++: Improvements to cpp/cleartext-transmission
|
2021-12-20 16:05:12 +01:00 |
|
Nick Rolfe
|
f18492e39b
|
Merge pull request #7443 from github/nickrolfe/behavior
QL4QL: catch behaviour/behavior in ql/non-us-spelling
|
2021-12-20 13:23:53 +00:00 |
|
Tom Hvitved
|
ed006d7283
|
Merge pull request #7231 from hvitved/csharp/dataflow/consistency-queries
C#: Enable data-flow consistency queries
|
2021-12-20 08:46:19 +01:00 |
|
Anders Schack-Mulligen
|
c03f189dec
|
Merge pull request #7434 from MathiasVP/fix-join-order-in-phi-node
C++: Fix join-order in `phi_node` predicate.
|
2021-12-17 17:06:57 +01:00 |
|
Nick Rolfe
|
28912c508f
|
Fix non-US spelling of 'behavior'
|
2021-12-17 15:29:31 +00:00 |
|
Mathias Vorreiter Pedersen
|
45753e519f
|
C++: Fully lock down the join order correctly.
|
2021-12-17 13:43:56 +00:00 |
|
Tom Hvitved
|
e4d9f5f29e
|
Fix QL doc
|
2021-12-17 13:14:11 +01:00 |
|
Tom Hvitved
|
ab2e0fdb18
|
Data flow: Sync files
|
2021-12-17 13:13:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
c1af8b93c2
|
C++: Better join-order fix.
|
2021-12-17 11:50:53 +00:00 |
|
Anders Schack-Mulligen
|
3adc0b57ed
|
Merge pull request #7426 from MathiasVP/fix-join-order-in-http-string-literal-charpred
C++: Fix join-order in `HttpStringLiteral` charpred
|
2021-12-17 11:21:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
d840796494
|
C++: Fix join-order in 'phi_node' predicate.
|
2021-12-17 07:50:04 +00:00 |
|
Mathias Vorreiter Pedersen
|
53a1f935b7
|
C++: Fix join-order in 'HttpStringLiteral' charpred.
|
2021-12-16 17:12:50 +00:00 |
|
Geoffrey White
|
b142a79a35
|
C++: Remove unnecessary additional taint step.
|
2021-12-15 14:35:54 +00:00 |
|
Geoffrey White
|
f82683cdf4
|
C++: Clean up QLDoc.
|
2021-12-15 14:08:43 +00:00 |
|
Geoffrey White
|
4891a649a2
|
C++: Newlines.
|
2021-12-15 13:52:47 +00:00 |
|
Mathias Vorreiter Pedersen
|
8208f92f59
|
An alternative design for 'cpp/cleartext-transmission'.
|
2021-12-15 13:52:15 +00:00 |
|
Geoffrey White
|
9363d64166
|
Merge pull request #7395 from MathiasVP/fix-fp-in-pointless-self-comparison
C++: Fix FP in `cpp/comparison-of-identical-expressions`
|
2021-12-15 10:47:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
65c301c39f
|
Update cpp/ql/test/query-tests/Likely Bugs/Arithmetic/BadAdditionOverflowCheck/templates.cpp
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2021-12-15 09:22:41 +00:00 |
|
Mathias Vorreiter Pedersen
|
310353060e
|
C++: Also fix the FP in 'cpp/comparison-canceling-subexpr'.
|
2021-12-14 17:08:10 +00:00 |
|
Mathias Vorreiter Pedersen
|
b2082cc3da
|
C++: Fix false positive in 'cpp/cpp/comparison-of-identical-expressions'.
|
2021-12-14 16:39:25 +00:00 |
|
Mathias Vorreiter Pedersen
|
9d14a85f3f
|
C++: Add false positive.
|
2021-12-14 16:38:19 +00:00 |
|
Tom Hvitved
|
37d76f5e49
|
Merge pull request #6791 from hvitved/csharp/update-nuget-packages
C#: Update nuget packages
|
2021-12-14 10:20:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
6fda5e8f5b
|
Merge pull request #7272 from github/redsun82/cpp-overrunning-write-precision-split
C++: refactor buffer overwrite queries with estimate reasons
|
2021-12-14 08:50:30 +00:00 |
|
Paolo Tranquilli
|
0d7d60eebd
|
C++: add small docstring fix
|
2021-12-14 08:15:45 +00:00 |
|
Geoffrey White
|
041c2c77b3
|
C++: Separate two test cases slightly so that we get clearer test coverage of the interprocedural / multi-path cases.
|
2021-12-13 18:18:29 +00:00 |
|
Andrew Eisenberg
|
0669ef505e
|
Fix semver for upgrades references
Ensure the version range is flexible enough to handle
future version changes.
|
2021-12-13 09:03:33 -08:00 |
|
Paolo Tranquilli
|
5ed7056707
|
C++: remove deprecation from getMaxData
|
2021-12-13 11:28:02 +00:00 |
|
Paolo Tranquilli
|
3734e1ca4f
|
C++: auto format
|
2021-12-13 11:28:02 +00:00 |
|
Paolo Tranquilli
|
06acaef43e
|
C++: fix deprecation comments in BufferWrite
|
2021-12-13 11:28:02 +00:00 |
|
Paolo Tranquilli
|
a089898220
|
C++: remove reason from OverrunWrite output
|
2021-12-13 11:28:02 +00:00 |
|
Paolo Tranquilli
|
85de6dd667
|
C++: make BufferWrite changes backward compatible
|
2021-12-13 11:28:02 +00:00 |
|
Paolo Tranquilli
|
88d65b8fcb
|
C++: postpone change-notes addition
We can add it later when more consistent changes to the queries are made
|
2021-12-13 11:28:02 +00:00 |
|
Paolo Tranquilli
|
2020786fb0
|
C++: fix format
|
2021-12-13 11:28:02 +00:00 |
|
Paolo Tranquilli
|
b0242dc55b
|
C++: more idiomatic BufferWriteEstimationReason
|
2021-12-13 11:28:02 +00:00 |
|
Paolo Tranquilli
|
160635ba3c
|
C++: add missing docs for a toString predicate
|
2021-12-13 11:28:02 +00:00 |
|
Paolo Tranquilli
|
a6cbe6f94c
|
C++: add missing change note and docs
|
2021-12-13 11:28:02 +00:00 |
|
Paolo Tranquilli
|
fb03561a31
|
C++: add docstrings to Printf and BufferWrite
|
2021-12-13 11:28:02 +00:00 |
|
Paolo Tranquilli
|
aa68c51797
|
C++: preserve Printf and BufferWrite API
|
2021-12-13 11:28:02 +00:00 |
|
Paolo Tranquilli
|
598f283715
|
C++: add reason to buffer write estimations
|
2021-12-13 11:28:02 +00:00 |
|
Andrew Eisenberg
|
66c1629974
|
Merge pull request #7285 from github/post-release-prep-2.7.3-ddd4ccbb
Post-release preparation 2.7.3
|
2021-12-10 09:59:45 -08:00 |
|
Tom Hvitved
|
1c230d0888
|
C#: Update nuget packages
|
2021-12-10 10:42:29 +01:00 |
|
Geoffrey White
|
23d4d035e5
|
C++: Different approach to sensitive exprs.
|
2021-12-09 18:33:50 +00:00 |
|
Geoffrey White
|
65f4ccce28
|
C++: Another test case.
|
2021-12-09 18:20:52 +00:00 |
|
Geoffrey White
|
0031ed39ec
|
C++: Additional test cases.
|
2021-12-08 17:45:51 +00:00 |
|
Anders Schack-Mulligen
|
38d0bb4a60
|
Merge pull request #7260 from hvitved/dataflow/argument-parameter-matching
Data flow: Introduce `ParameterPosition` and `ArgumentPosition`
|
2021-12-08 12:49:08 +01:00 |
|
Tom Hvitved
|
283173ad02
|
Address review comments
|
2021-12-08 11:26:44 +01:00 |
|
Geoffrey White
|
5ee9684435
|
C++: Change note.
|
2021-12-07 20:42:36 +00:00 |
|
Geoffrey White
|
122f6385e6
|
C++: Improve recognition of stdin, stdout etc.
|
2021-12-07 20:42:35 +00:00 |
|
Geoffrey White
|
6896b20dcd
|
C++: Redesign and fix results that appear to be encrypted.
|
2021-12-07 20:42:13 +00:00 |
|
Tom Hvitved
|
490872173a
|
Data flow: Sync files
|
2021-12-07 20:29:18 +01:00 |
|