Mathias Vorreiter Pedersen
|
0b4459db75
|
C++: Add more QLDoc.
|
2024-07-01 10:13:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
4535043e90
|
C++: Accept test changes.
|
2024-06-27 20:15:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
2ad8704325
|
C++: Add bsl models.
|
2024-06-27 19:48:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
e845204ec9
|
C++: Add tests of internal MaD predicates and accept test changes.
|
2024-06-26 14:10:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
d38ce61e03
|
C++: Mention in the QLDoc that you cannot instantiate templates in the signature string.
|
2024-06-26 13:54:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
9a2c7d34af
|
C++: Simplify 'parseParens'.
|
2024-06-21 15:45:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
2e74ae448c
|
C++: Accept more test changes.
|
2024-06-21 14:04:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
40fb59dc0b
|
C++: Add gnu iterator models to regain TP.
|
2024-06-21 14:04:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
c8f3c1a798
|
C++: Accept test changes. Nothing exciting to see here.
|
2024-06-21 14:04:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
f507b51170
|
C++: Fix Code Scanning errors.
|
2024-06-21 14:04:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
3e9862391b
|
C++: No need for 'decodeUnknownContent' if we specify the MaD summary rows correctly. This avoids a bad join in a compiler-generated predicate.
|
2024-06-21 14:04:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
6513c33d26
|
C++: Accept test changes.
|
2024-06-21 14:04:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
47309df2a9
|
C++: Fix 'toString' on parameter and argument positions.
|
2024-06-21 12:47:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
85da3d2f13
|
C++: Update MaD models.
|
2024-06-21 12:47:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
b0bd7a983f
|
C++: Add MaD syntax for an arbitrary number of dereferences.
|
2024-06-21 12:47:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
4dc13e850e
|
C++: Add summaries for std dequence containers.
|
2024-06-21 12:47:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
716df0c7ce
|
C++: Support a richer language in MaD summaries for selecting member functions.
|
2024-06-21 12:47:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
901fac4282
|
C++: Support 'Element' content in flow summaries.
|
2024-06-19 13:40:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
013ee9c15e
|
C++: Add support for 'Element' content in dataflow.
|
2024-06-19 13:39:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
c158f8054e
|
C++: Get rid of all the 'StdContainer' taint models.
|
2024-06-19 13:36:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
3351b9547d
|
Merge branch 'rc/3.14' into rc-3.14-mergeback
|
2024-06-11 16:21:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
6a6978398a
|
C++: Add file QLDoc.
|
2024-06-11 15:39:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
333df03f64
|
C++: Cache more things.
|
2024-06-11 15:39:43 +01:00 |
|
github-actions[bot]
|
8a25081a0e
|
Post-release preparation for codeql-cli-2.17.5
|
2024-06-10 15:33:08 +00:00 |
|
github-actions[bot]
|
877bfa2468
|
Release preparation for version 2.17.5
|
2024-06-10 13:40:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
c3bba38950
|
C++: Fix QLDoc.
|
2024-06-10 13:39:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
1aea120e89
|
C++: Add change note.
|
2024-06-10 13:01:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
b0c4fcec57
|
C++: Cleanup.
|
2024-06-10 12:53:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
9e088f3e4a
|
C++: Accept test changes.
|
2024-06-10 12:53:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
84c1341b62
|
C++: Support builtin expect in IRGuards.
|
2024-06-10 12:53:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
d76700497b
|
C++: Add testcases using the builtin expect operation.
|
2024-06-10 12:47:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
9c98652116
|
C++: Handle 'unlikely' in IRGuards.
|
2024-06-10 12:47:44 +01:00 |
|
Jeroen Ketema
|
000a81fd29
|
Merge pull request #16690 from MathiasVP/better-guards
C++: Fix missing results for `comparesEq` in `IRGuardCondition`
|
2024-06-10 13:32:10 +02:00 |
|
Mathias Vorreiter Pedersen
|
7819cc1c36
|
C++: Add more QLDoc.
|
2024-06-10 10:58:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
7f62085be5
|
C++: Delete unused predicate.
|
2024-06-07 09:13:29 +01:00 |
|
Mathias Vorreiter Pedersen
|
ed525fce70
|
C++: Accept test changes.
|
2024-06-06 20:38:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
b5a3575130
|
C++: Make proper use of barrier guards in test.
|
2024-06-06 20:38:17 +01:00 |
|
Jeroen Ketema
|
4488518838
|
C++: Update expected test results
|
2024-06-06 21:12:34 +02:00 |
|
Jeroen Ketema
|
5ae8fe502a
|
C++: Correctly identify orphaned variables as static
|
2024-06-06 20:35:26 +02:00 |
|
Jeroen Ketema
|
798357ffc6
|
C++: Add test case that shows that __func__ is not considered static
|
2024-06-06 20:31:45 +02:00 |
|
Mathias Vorreiter Pedersen
|
7b92554cf2
|
Merge branch 'main' into better-guards
|
2024-06-06 19:22:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
9f4c1380e5
|
Merge pull request #16677 from MathiasVP/phi-input-nodes
C++: Extend barrier guards to handle phi inputs
|
2024-06-06 19:21:30 +01:00 |
|
Mathias Vorreiter Pedersen
|
9564ae1ca4
|
C++: Accept more test changes.
|
2024-06-06 17:04:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
528afba919
|
C++: Accept test changes.
|
2024-06-06 16:32:29 +01:00 |
|
Mathias Vorreiter Pedersen
|
36aac3ffd8
|
C++: Get rid of 'relevantUnaryComparison' since it was excluding too much. The performance is most likely fine with that restriction.
|
2024-06-06 16:32:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
703832f5a1
|
C++: Remove a column from a few predicates.
|
2024-06-06 16:30:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
0298755975
|
C++: Add a test.
|
2024-06-06 16:22:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
8aaa2a1079
|
C++: Improve comment.
|
2024-06-06 15:58:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
f7b2d98c6e
|
C++: Add tests to demonstrate that it's not barrier guard that's buggy. Rather, it's the GuardCondition library.
|
2024-06-06 15:35:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
fa09d21c32
|
C++: Simplify. No need for the 'PhiInputNodeExt' class.
|
2024-06-06 15:33:38 +01:00 |
|