Jeroen Ketema
|
8fb3d838c9
|
C++: Add FP test case for cpp/invalid-pointer-deref
|
2023-06-15 10:03:31 +02:00 |
|
Owen Mansel-Chan
|
3ff6d033d3
|
Rename to neverSkipInPathGraph
|
2023-06-14 15:29:54 +01:00 |
|
Owen Mansel-Chan
|
5f72ce0935
|
Add stub implementations of flowCheckNodeSpecific
|
2023-06-14 14:46:35 +01:00 |
|
Owen Mansel-Chan
|
e0f7437d40
|
Sync dataflow library
|
2023-06-14 14:29:56 +01:00 |
|
Anders Schack-Mulligen
|
1b7bbf6320
|
Merge pull request #13083 from aschackmull/dataflow/typestrengthen
Dataflow: Strengthen tracked types.
|
2023-06-09 13:23:30 +02:00 |
|
Mathias Vorreiter Pedersen
|
74ed9f535c
|
Merge pull request #13406 from MathiasVP/fix-++-problem
C++: Fix the `++` problem
|
2023-06-09 11:20:00 +01:00 |
|
Anders Schack-Mulligen
|
d230509905
|
Dataflow: Address review comments.
|
2023-06-09 08:37:36 +02:00 |
|
Anders Schack-Mulligen
|
4399138c82
|
Dataflow: Fix QL4QL alert.
|
2023-06-09 08:37:36 +02:00 |
|
Anders Schack-Mulligen
|
53f2b8aab0
|
Dataflow: Sync.
|
2023-06-09 08:37:36 +02:00 |
|
Anders Schack-Mulligen
|
fd832416d8
|
Dataflow: Add empty type strengthening predicate for languages without type pruning.
|
2023-06-09 08:37:35 +02:00 |
|
Anders Schack-Mulligen
|
e8cea79f1d
|
Dataflow: Sync.
|
2023-06-09 08:37:35 +02:00 |
|
github-actions[bot]
|
e4be303a23
|
Release preparation for version 2.13.4
|
2023-06-08 19:57:37 +00:00 |
|
Mathias Vorreiter Pedersen
|
a357eeedac
|
C++: Accept test changes.
|
2023-06-08 12:50:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
afb1129f27
|
C++: Ensure that postfix crement operations are handled properly in dataflow SSA.
|
2023-06-08 12:50:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
57ae1e9ff7
|
C++: Add a testcase that started to fail in #13326.
|
2023-06-08 12:49:08 +01:00 |
|
erik-krogh
|
39438c6196
|
add change-note
|
2023-06-08 10:15:32 +02:00 |
|
erik-krogh
|
2241350d32
|
wait with deprecating Container::getURL()
|
2023-06-08 10:10:21 +02:00 |
|
erik-krogh
|
a4ef8619c6
|
delete old deprecations
|
2023-06-08 10:10:21 +02:00 |
|
Erik Krogh Kristensen
|
6ba7f9a238
|
Merge pull request #13352 from erik-krogh/once-again-deps-not-py-cpp
delete old deprecations
|
2023-06-07 13:00:57 +02:00 |
|
Jeroen Ketema
|
272ced6ea5
|
Merge pull request #13374 from jketema/ptr-deref-min
C++: Remove `cpp/invalid-pointer-deref` results duplicating ones with smaller `k`
|
2023-06-05 19:31:24 +02:00 |
|
Jeroen Ketema
|
93215ba7e1
|
Merge pull request #13355 from jketema/ptr-deref-forward
C++: Ensure that the sink instruction occurs last in `cpp/invalid-pointer-deref`
|
2023-06-05 15:56:50 +02:00 |
|
Jeroen Ketema
|
86df424fca
|
C++: Fix query formatting
|
2023-06-05 15:10:54 +02:00 |
|
Jeroen Ketema
|
4a27028768
|
C++: Remove cpp/invalid-pointer-deref results duplicating ones with smaller k
|
2023-06-05 15:03:58 +02:00 |
|
Jeroen Ketema
|
90f0209095
|
C++: Add cpp/invalid-pointer-deref test case with almost duplicated results
|
2023-06-05 15:03:57 +02:00 |
|
Jeroen Ketema
|
7f7b048f50
|
C++: Update expected test results
|
2023-06-05 15:00:11 +02:00 |
|
Mathias Vorreiter Pedersen
|
52fb00cac3
|
Merge pull request #12036 from nmouha/patch-1
CPP: Add query for CVE-2022-37454: Integer addition may overflow inside if statement
|
2023-06-05 12:13:27 +01:00 |
|
Jeroen Ketema
|
11182e4ee4
|
C++: Move location where getASuccessor is used to avoid join order problems
|
2023-06-05 12:36:25 +02:00 |
|
Jeroen Ketema
|
8ac1d56a7f
|
C++: Fix join order in cpp/invalid-pointer-deref
|
2023-06-02 16:37:35 +02:00 |
|
Jeroen Ketema
|
ac4933a9cc
|
C++: Ensure that the sink instruction occurs last in cpp/invalid-pointer-deref
This avoids some counter-intuitive paths where we would seemingly jump back
to an earlier instruction, which might actually have been in bounds.
|
2023-06-02 12:36:34 +02:00 |
|
Mathias Vorreiter Pedersen
|
05e5ebe4f4
|
Merge pull request #13331 from aibaars/use-shortest-distances-to-count-indirections
C++: Use the shortestDistances HOP to count indirections (rebased copy of #13323)
|
2023-06-02 11:22:59 +01:00 |
|
erik-krogh
|
5cbe6db37d
|
C++: sync files from C#
|
2023-06-02 11:58:08 +02:00 |
|
Mathias Vorreiter Pedersen
|
cc8aac5435
|
C++: Use the 'shortestDistances' HOP to count indirections instead of manual recursion. This avoids cyclic problems when we have invalid types.
|
2023-06-02 11:17:08 +02:00 |
|
Robert Marsh
|
c9c93ca701
|
C++: test for strncmp false positives
|
2023-06-01 12:52:17 -04:00 |
|
Robert Marsh
|
df4d156a36
|
C++: remove unneeded exists variables
|
2023-06-01 11:28:12 -04:00 |
|
Mathias Vorreiter Pedersen
|
4497aa5eb1
|
Merge pull request #13333 from geoffw0/macroname
C++: Make Macro.getName() more efficient.
|
2023-05-31 13:56:58 -07:00 |
|
Alexandre Boulgakov
|
67cd6b7fa6
|
Merge pull request #13337 from MathiasVP/revert-13207
Revert #13207
|
2023-05-31 19:41:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
52eb7aee5e
|
Revert "Merge pull request #13207 from MathiasVP/use-equiv-class-in-getInstruction"
This reverts commit 5bc844c4c6, reversing
changes made to b2fb2aa0d1.
|
2023-05-31 11:26:09 -07:00 |
|
Mathias Vorreiter Pedersen
|
3d9c282f48
|
Merge pull request #13320 from jketema/ptr-deref-dedup
|
2023-05-31 10:12:05 -07:00 |
|
Arthur Baars
|
c211b704f3
|
Merge pull request #13272 from github/post-release-prep/codeql-cli-2.13.3
Post-release preparation for codeql-cli-2.13.3
|
2023-05-31 15:33:12 +02:00 |
|
Jeroen Ketema
|
ace7b6b711
|
C++: Add cpp/invalid-pointer-deref FP test case
|
2023-05-31 11:54:53 +02:00 |
|
Geoffrey White
|
a9811fe2c3
|
Swift: Make Macro.getName() more efficient.
|
2023-05-31 10:53:02 +01:00 |
|
Arthur Baars
|
490d22d123
|
Merge remote-tracking branch 'upstream/main' into post-release-prep/codeql-cli-2.13.3
|
2023-05-30 21:31:28 +02:00 |
|
Jeroen Ketema
|
dd30acf1e3
|
C++: Add nodes query predicate to cpp/invalid-pointer-deref
|
2023-05-30 18:43:01 +02:00 |
|
Jeroen Ketema
|
f5ed02a433
|
C++: Take into account the delta at the final sink in cpp/invalid-pointer-deref
|
2023-05-30 18:33:20 +02:00 |
|
Jeroen Ketema
|
de974cc18a
|
C++: Add cpp/invalid-pointer-deref test case that shows some duplicate results
|
2023-05-30 18:18:13 +02:00 |
|
Jeroen Ketema
|
a8c76388c0
|
C++: Fix configuration names in comments in cpp/invalid-pointer-deref
|
2023-05-30 18:15:37 +02:00 |
|
Mathias Vorreiter Pedersen
|
f00b29d3d2
|
C++: The small-string optimization commonly used inside 'std::string' is causing a lot of FPs. Let's exclude this for now to reduce the number of results for this query.
|
2023-05-30 07:33:07 -07:00 |
|
Robert Marsh
|
2afda5f3f1
|
Merge pull request #13305 from MathiasVP/fix-join-of-pointerArithOverflow0
C++: Fix join in `pointerArithOverflow0`
|
2023-05-30 10:24:35 -04:00 |
|
Jeroen Ketema
|
16bc584bd1
|
Merge pull request #13294 from MathiasVP/better-test-for-range-analysis
C++: Change range-analysis test to not use `getAst`
|
2023-05-30 10:49:58 +02:00 |
|
Mathias Vorreiter Pedersen
|
9828af45a1
|
C++: Change separator from ':' to '|'.
|
2023-05-26 15:23:48 -07:00 |
|