erik-krogh
|
5fdfd98a1d
|
delete the deprecated Conatiner::getURL predicates
|
2023-06-19 23:11:38 +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
|
afb1129f27
|
C++: Ensure that postfix crement operations are handled properly in dataflow SSA.
|
2023-06-08 12:50:05 +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 |
|
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 |
|
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 |
|
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 |
|
Robert Marsh
|
5bc844c4c6
|
Merge pull request #13207 from MathiasVP/use-equiv-class-in-getInstruction
C++: Reduce memory pressure from `getInstruction`
|
2023-05-26 13:13:57 -04:00 |
|
Mathias Vorreiter Pedersen
|
e7f82a3571
|
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2023-05-25 13:56:01 -07:00 |
|
Mathias Vorreiter Pedersen
|
384ca0c31f
|
C++: Respond to review comments.
|
2023-05-25 13:50:35 -07:00 |
|
Mathias Vorreiter Pedersen
|
a7252e625e
|
C++: Fix result duplication on 'cpp/unbounded-write' on 'kirxkirx/vast'.
|
2023-05-25 11:12:01 -07:00 |
|
Robert Marsh
|
7404bd9c4b
|
Merge branch 'main' into rdmarsh2/cpp/cobo-neq-refinement
|
2023-05-24 14:13:38 -04:00 |
|
github-actions[bot]
|
d2e192020b
|
Post-release preparation for codeql-cli-2.13.3
|
2023-05-24 11:26:12 +00:00 |
|
Jeroen Ketema
|
5dc3789df2
|
Merge pull request #13266 from MathiasVP/modernize-print-ir-local-flow
C++: Modernize `PrintIR` for local dataflow
|
2023-05-24 10:54:10 +02:00 |
|
Robert Marsh
|
bad72c42c5
|
Merge pull request #13244 from MathiasVP/promote-product-flow
C++: Promote the product-dataflow library out of experimental
|
2023-05-23 16:23:59 -04:00 |
|
Mathias Vorreiter Pedersen
|
4b92a2a3d0
|
C++: Fix Code Scanning error.
|
2023-05-23 10:13:19 -07:00 |
|
Mathias Vorreiter Pedersen
|
43459c16fd
|
C++: Modernize the PrintIRStoreSteps (and rename it to PrintIRFieldFlowSteps) after the use-use flow changes.
|
2023-05-23 10:02:54 -07:00 |
|
Mathias Vorreiter Pedersen
|
8ee7694e7d
|
C++: Modernize the PrintIRLocalFlow after the use-use flow changes.
|
2023-05-23 10:02:30 -07:00 |
|
Mathias Vorreiter Pedersen
|
0519ceeeaa
|
C++/C#: Sync identical files.
|
2023-05-23 10:00:26 -07:00 |
|
Mathias Vorreiter Pedersen
|
ccc9e09dbd
|
C++: Add mechanism to hide specific instructions and operands from PrintIR.
|
2023-05-23 10:00:09 -07:00 |
|
Mathias Vorreiter Pedersen
|
81dbfecbfc
|
C++: Promote the product-dataflow library out of experimental.
|
2023-05-23 09:48:50 -07:00 |
|
Mathias Vorreiter Pedersen
|
36285ba2c5
|
C++: Fix pointer/pointee conflation.
|
2023-05-22 17:39:43 -07:00 |
|
github-actions[bot]
|
7aa23cf11d
|
Release preparation for version 2.13.3
|
2023-05-22 20:47:00 +00:00 |
|
Robert Marsh
|
6a997aba3b
|
C++: fix equality refinement in new range analysis
|
2023-05-22 11:11:51 -04:00 |
|
Jeroen Ketema
|
f31ab3a7e7
|
C++: Add change note
|
2023-05-22 16:00:12 +02:00 |
|
Jeroen Ketema
|
f46183d0ba
|
C++: Include inline namespaces in StdNamespace
|
2023-05-22 11:41:49 +02:00 |
|
Mathias Vorreiter Pedersen
|
8cf25ba421
|
Merge pull request #13191 from MathiasVP/fix-pointer-pointee-conflation
C++: Fix pointer/pointee conflation
|
2023-05-18 13:09:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
a475efbe39
|
Update cpp/ql/lib/semmle/code/cpp/Type.qll
|
2023-05-18 09:37:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
f3b6b470f4
|
C++: Update documentation for 'TypeMention'.
|
2023-05-18 09:32:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
9e05569121
|
C++/C#: Sync identical files.
|
2023-05-17 15:42:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
57cc316ecd
|
C++: Fix bug for single-instruction basic blocks.
|
2023-05-17 15:42:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
771abf4f97
|
C++/C#: Sync identical files.
|
2023-05-17 13:47:01 +01:00 |
|