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 |
|
Mathias Vorreiter Pedersen
|
3b2c3f6f40
|
C++: Use an 'EquivalenceRelation' instead of the 'shortestDistances' HOP in 'getInstruction'. This reduces the memory pressure when generating the CFG for Wireshark.
|
2023-05-17 13:46:51 +01:00 |
|
Mathias Vorreiter Pedersen
|
06d5a7f0ef
|
Merge pull request #13139 from MathiasVP/faster-product-flow
C++: Speedup product dataflow
|
2023-05-17 13:40:39 +01:00 |
|
Jeroen Ketema
|
883ec7a0e9
|
C++: Add forgotten private specifiers in product flow
|
2023-05-17 11:24:46 +02:00 |
|
Mathias Vorreiter Pedersen
|
150d4f341a
|
C++: Fix looping flow that goes from the output argument node and back into the function argument.
|
2023-05-16 17:39:59 +01:00 |
|
Mathias Vorreiter Pedersen
|
e1cc7dcdc1
|
C++: Tweak join orders.
|
2023-05-12 16:12:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
3f01a2157b
|
Revert "C++: Speedup 'isSuccessor'."
This reverts commit 594da1a21a.
|
2023-05-12 13:41:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
2458fa0ab3
|
C++: Push conjunct into 'isSuccessor' and rename it to 'fwdIsSuccessor'.
|
2023-05-12 12:50:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
594da1a21a
|
C++: Speedup 'isSuccessor'.
|
2023-05-12 12:05:09 +01:00 |
|
Mathias Vorreiter Pedersen
|
e58b99ddd1
|
C++: Don't carry the sources around as columns during the main loop of product flow.
|
2023-05-12 11:58:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
f7924bda0d
|
Merge pull request #13099 from MathiasVP/heuristic-allocation-for-overrun-write
C++: Use heuristic allocation functions in `cpp/overrun-write`
|
2023-05-12 10:15:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
fd6282063e
|
Merge pull request #12971 from MathiasVP/fix-fp-in-invalid-deref-2
C++: Fix more FPs on `cpp/invalid-pointer-deref`
|
2023-05-11 10:06:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
477722a94a
|
Merge pull request #13101 from MathiasVP/member-predicates-on-CallAllocationExprTarget
C++: Cleanup `CallAllocationExprBase` with module signature members
|
2023-05-10 16:52:30 +01:00 |
|
Kasper Svendsen
|
8410eb3477
|
C++: Enable implicit this warnings
|
2023-05-10 15:15:21 +02:00 |
|
Kasper Svendsen
|
f8b3968b38
|
C++: Make implicit this receivers explicit
|
2023-05-10 15:15:21 +02:00 |
|
Mathias Vorreiter Pedersen
|
f05cce8fc2
|
C++: Add a member predicate to phi nodes for checking if a phi is a read-phi and use it to restrict flow in 'cpp/invalid-pointer-deref'.
|
2023-05-10 14:10:13 +01:00 |
|
Kasper Svendsen
|
5b45962dff
|
C++: Make implicit this receiver explicit
|
2023-05-10 12:34:47 +02:00 |
|
Jeroen Ketema
|
c3a7f98b2f
|
Merge branch 'main' into fix-fp-in-invalid-deref-2
|
2023-05-10 11:31:10 +02:00 |
|
Jeroen Ketema
|
6a33e87c27
|
Merge pull request #13100 from jketema/order-by-order
C++: Fix the location of order-by in experimental `RangeNode`
|
2023-05-10 11:08:20 +02:00 |
|
Kasper Svendsen
|
c3191e989b
|
Merge pull request #13078 from kaspersv/kaspersv/explicit-this-receivers-shared3
C#, C++: Make implicit this receivers explicit
|
2023-05-10 11:07:41 +02:00 |
|
Mathias Vorreiter Pedersen
|
6aa40050bd
|
C++: Use member predicates on parameterized module parameters now that it's available in the language.
|
2023-05-10 09:24:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
720586c437
|
Merge pull request #13059 from MathiasVP/remove-self-edges
C++: Remove self edges
|
2023-05-10 09:04:08 +01:00 |
|
Jeroen Ketema
|
a5c7d09702
|
C++: Fix the location of order-by in experimental RangeNode
|
2023-05-10 09:50:10 +02:00 |
|
Mathias Vorreiter Pedersen
|
363514e4ca
|
C++: Expand heuristic to catch more sources.
|
2023-05-10 08:27:29 +01:00 |
|